Questions marquées «complexity-theory»

Questions liées à la complexité (informatique) de la résolution de problèmes

2
Un oracle pour séparer NP de coNP
Comment prouver que ? Je cherche juste un tel oracle TM et un langage récursif pour lequel cela vaut. ML(M)=LN PUNE≠ c o N PUNENPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML ( M) = LL(M)=LL(M) = L Je connais la preuve où vous montrez qu'il y a un oracle tel que et un oracle …
2
Quelle est la complexité du problème de vide pour les DFA bidirectionnels?
Je me demande quelle est la complexité temporelle de la détermination du vide pour les DFA bidirectionnels? Autrement dit, des automates finis qui peuvent reculer sur leur bande d'entrée en lecture seule. Selon Wikipedia, ils sont équivalents aux DFA, bien que les DFA équivalents puissent être exponentiellement plus importants. J'ai …
1
Comment partitionner un ensemble en un nombre donné de sous-ensembles disjoints soumis à certaines conditions?
On me donne un ensemble A≜{1,…,k}A≜{1,…,k}A\triangleq\{1,\ldots,k\} , un entier s⩽ks⩽ks\leqslant k et des entiers non négatifs aijaija_{ij} . Mon problème est de trouver sss sous - ensembles disjoints SjSjS_j de {1,…,k}{1,…,k}\{1,\ldots,k\} tel que: ⋃sj=1Sj=A⋃j=1sSj=A\bigcup_{j=1}^s S_j=A ; et |Sj|⩽aij|Sj|⩽aij|S_j|\leqslant a_{ij} pour tous les i∈Sji∈Sji\in S_j et j=1,…,sj=1,…,sj=1,\ldots,s . Comment résoudre ce …
1
Pourquoi NP est-il dans EXPTIME?
Existe-t-il un moyen simple de comprendre pourquoi NP est dans EXPTIME? Il me semble a priori concevable qu'il pourrait y avoir un problème qui nécessite un temps super-exponentiel à résoudre, mais dont la solution pourrait être vérifiée en temps polynomial.
1
Pourquoi cet argument pour faux?
Je sais que c'est idiot, mais j'ai réussi à me confondre et j'ai besoin d'aide pour régler ça Supposons que , alors clairement pour chaque oracle nous avons qui contredit le fait qu'il existe un oracle pour lequel , d'oùP= NPP=NPP=NPUNEUNEAPUNE= NPUNEPUNE=NPUNEP^A=NP^AUNEUNEAPUNE≠ NPUNEPUNE≠NPUNEP^A\neq NP^AP≠ NPP≠NPP\neq NP Qu'est-ce qui ne va …
2
Problème de calcul difficile sur une classe spéciale de graphes bipartis
Je suis intéressé par les propriétés d'une classe de graphes bipartites où tous les nœuds sont 3 réguliers, tous les noeuds sont 2 réguliers, et. Tout d'abord, s'agit-il d'une classe de graphiques bien connue? Deuxièmement,G(X∪Y,E)G(X∪Y,E)G(X \cup Y, E)XXXYYY|X|=|2Y/3||X|=|2Y/3||X|=|2Y/3| Existe-t-il un exemple de problème de calcul insoluble limité à cette classe …
1
Pourquoi tous les problèmes dans FPTAS sont-ils également dans FPT?
Selon l'article de Wikipedia sur les schémas d'approximation du temps polynomial : Tous les problèmes dans FPTAS sont traitables à paramètres fixes. Ce résultat me surprend - ces classes semblent être totalement différentes les unes des autres. FPTAS caractérise les problèmes par leur facilité d'approximation, tandis que FPT caractérise les …
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.