Questions marquées «cc.complexity-theory»

P versus NP et autres calculs liés aux ressources.

2
Fonctions non constructibles et résultats anormaux
Dans le livre Arora-Barak, dans la définition des fonctions constructibles dans le temps, il est dit que l'utilisation de fonctions qui ne sont pas constructibles dans le temps peut conduire à des "résultats anormaux". Quelqu'un at-il un exemple d'un tel "résultat anormal"? J'ai entendu en particulier qu'il pourrait exister des …
2
Les automates d'arborescence non déterministes sont-ils plus forts que les automates déterministes?
Mise à jour: Il semble que ce problème ait été étudié et résolu récemment, voir cet article wiki: http://en.wikipedia.org/wiki/Tree_walking_automaton Et aussi cette enquête: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Supposons qu'au lieu de l'ensemble habituel de mots, {0,1} *, nos mots ne soient pas linéaires mais plutôt donnés sur une structure arborescente. Pour éviter …
3
Dureté de trouver un mot de longueur au plus acceptée par un automate pushdown non déterministe
Énoncé du problème: Soit un automate de refoulement (potentiellement non déterministe) et soit son alphabet d'entrée. Y a-t-il un mot st accepté par ?A w ∈ A ∗ | w | ≤ k MMMMAA\cal Aw∈A∗w∈A∗w \in \cal A^*|w|≤k|w|≤k|w| \leq kMMM Ce problème est-il NP-complet? At-il été étudié? Existe-t-il un algorithme …
1
Quelle est la référence du premier théorème d'incomplétude de Gödel basé sur l'indécidabilité du problème d'arrêt?
Une forme plus faible du premier théorème d'incomplétude de Gödel, dont les preuves directes à la manière de Gödel sont longues, impliquées et à un endroit plutôt contre-intuitives, a une preuve simple et intuitive basée sur l'indécidabilité du problème d'arrêt - voir par exemple https: / /en.wikipedia.org/wiki/Halting_problem#Sketch_of_proof Qui a proposé …
4
Des résultats d'amorçage qui amorcent vraiment
Il existe un type de résultats dans TCS généralement appelé résultats d'amorçage . En général, il a la forme Si la proposition est vraie, alors la proposition est vraie.UNEAAUNE′A′A' où et sont des propositions qui se ressemblent, et est apparemment "plus faible" que , c'est la raison pour laquelle nous …
2
Y a-t-il un problème informatique qui est en temps quasi polynomial mais qui n'est (peut-être) pas en
Le temps quasi-polynomial, ou QP pour faire court, est une classe de complexité sur la machine de Turing déterministe. Voici la définition précise: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp Alors que βP est une classe de complexité de non-déterminisme limité. Voici la définition précise: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:B#betap Il est facile de voir que n'importe quelle machine de …
1
Une accélération quadratique du non-déterminisme du calcul déterministe est-elle plausible?
Il s'agit d'un suivi de l'accélération non déterministe du calcul déterministe . Est-il plausible que le non-déterminisme (ou plus généralement l'alternance) permette une accélération quadratique générale du calcul déterministe? Ou y a-t-il des conséquences invraisemblables connues pour quelque chose comme ?DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n)
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.