Informatique théorique

Q & A pour les informaticiens théoriques et les chercheurs dans des domaines connexes

4
Les attributs indécidables de P entravent-ils la décision de P par rapport à NP? (réponse: peut-être)
Cinq questions liées sont posées, et une seule réponse intégrée est espérée: Q1: Existe-t-il des langues LLL reconnues uniquement par ces machines Turing PPP dontles exposants d'exécution sont indécidables? Q2: Des exemples de ces machines de Turing peuvent-ils être finement construits? Q3: Ces machines de Turing peuvent-elles être instanciées concrètement? …
4
Ordre topologique positif, prendre 3
Supposons que nous ayons une matrice n par n. Est-il possible de réorganiser ses lignes et colonnes de manière à obtenir une matrice triangulaire supérieure? Cette question est motivée par ce problème: Ordre topologique positif Le problème de décision d'origine est au moins aussi difficile que celui-ci, donc un résultat …
4
Existe-t-il un équivalent à la dérandomisation pour les algorithmes quantiques?
Avec certains algorithmes randomisés, vous pouvez dérandomiser l'algorithme, en supprimant (à un coût possible en temps d'exécution) l'utilisation de bits aléatoires et en maximisant une limite inférieure sur l'objectif (généralement calculé en utilisant le fait que les théorèmes concernent les performances attendues de l'aléatoire algorithme). Existe-t-il un équivalent pour les …
3
TM et oracles délimités par l'espace
En général, la bande de requête d'un oracle compte pour la complexité spatiale d'une MT. Cependant, il semble plausible d'autoriser une bande oracle en écriture seule (comme celle utilisée dans les réductions d'espace L). Une telle construction est-elle utile? Cela donne-t-il des résultats particulièrement absurdes?
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.