Informatique théorique nondeterminism

3

Greibach célèbre défini un langage , que l'on appelle la version non - déterministe de , de telle sorte que toute la LCF est une image inverse de morphique . Existe-t-il une déclaration similaire avec DCFL, éventuellement avec une certaine restriction sur les morphismes autorisés?D 2 HHHHD2D2D_2HHH (Voir, par exemple, …

12 fl.formal-languages open-problem context-free nondeterminism hard-instances

3

Y a-t-il une réduction des jeux de «porte et plaque de pression» qui n'explose pas la longueur de la solution?

Cet article prouve que dans un jeu avec des portes et des plaques de pression, il est difficile pour PSPACE de déterminer si l'avatar (du joueur) peut atteindre un emplacement donné. Cela est prouvé par une réduction de TQBF , et la longueur des solutions résultantes dépend exponentiellement du nombre …

12 reductions nondeterminism pspace

1

Implications entre

Si nous pouvons prouver que , cela implique-t-il que ?L = PL=P\mathsf{L}=\mathsf{P}N L = N PNL=NP\mathsf{NL}=\mathsf{NP} Je pensais que c'était le cas, mais je ne peux pas le prouver (également pour l'inverse).

10 cc.complexity-theory complexity-classes nondeterminism

1

Manière uniforme de quantifier la «ramification» dans le calcul non déterministe, probabiliste et quantique?

Le calcul d'une machine de Turing non déterministe (NTM) est bien connu pour être représentable comme un arbre de configurations, enraciné à la configuration de départ. Toute transition dans le programme est représentée par un lien père-enfant dans cet arbre. Des arbres similaires peuvent également être construits pour visualiser également …

10 cc.complexity-theory quantum-computing randomness derandomization nondeterminism

2

Nombre de DFA minimaux de taille au plus

Soit un alphabet de taille 2 , et considérons des DFA minimaux dont la taille est limitée par au plus m . Soit f ( m ) le nombre de différents DFA minimaux.ΣΣ\Sigma222mmmF( m )f(m)f(m) Peut-on trouver une formule sous forme fermée pour ?F( m )f(m)f(m) Considérant que pour la …

9 cc.complexity-theory automata-theory nondeterminism dfa

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)

9 cc.complexity-theory nondeterminism speed-up alternation tradeoff

3

Existe-t-il un problème NP-complet (ou NP-intermédiaire) connu dans l'espace non déterministe sublinéaire?

Il existe certains problèmes NP-Complete ( , S U B S E T S U M , etc.) connus pour être dans D S P A C E ( n ) . Et les espaces sub-linéaires?SATSAT \mathsf{SAT} SUBSETSUMSUBSETSUM \mathsf{SUBSETSUM} DSPACE(n)DSPACE(n) \mathsf{DSPACE(n)} Existe-t-il un problème NP-complet (ou NP-intermédiaire) connu dans l' …

9 cc.complexity-theory np-hardness nondeterminism np-intermediate

Questions marquées «nondeterminism»