Informatique théorique cc.complexity-theory

1

Pouvons-nous prouver que pour chaque langue qui n'est pas -hard (cela suppose ), ? Sinon, cela peut-il être prouvé sous des hypothèses raisonnables?L∈NPL∈NPL\in\mathsf{NP}NPNP\mathsf{NP}P≠NPP≠NP\mathsf P \ne \mathsf{NP}PL≠PSATPL≠PSAT\mathsf{P}^L \ne \mathsf{P}^{\text{SAT}}

12 cc.complexity-theory complexity-classes np-intermediate

1

Le théorème de Kannan implique-t-il que NEXPTIME ^ NP ⊄ P / poly?

Je lisais un article de Buhrman et Homer "Circuits superpolynomiaux , oracles presque clairsemés et hiérarchie exponentielle" . Au bas de la page 2, ils remarquent que les résultats de Kannan impliquent que n'a pas de circuits de taille polynomiale. Je sais que dans la hiérarchie de temps exponentielle, est …

12 cc.complexity-theory complexity-classes time-complexity oracles circuits

1

La dureté APX n'implique aucun QPTAS?

Donc, une recherche rapide sur le Web m'a amené à croire que "APXHardness implique qu'aucun QPTAS n'existe pour un problème à moins que [une certaine classe de complexité] ne soit incluse dans une [autre classe de complexité]" et c'est bien connu aussi! Il semble que tout le monde le sait, …

12 cc.complexity-theory reference-request

1

comme oracle

Est-ce que NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP}maintenez? Clairement NPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP} , mais il me semble que NP∩coNPNP∩coNP\mathsf{NP\cap coNP} est "déterministe" ce qui me fait croire que c'est vrai. Existe-t-il une preuve simple (ou peut-être juste par définition)?

12 cc.complexity-theory complexity-classes oracles

1

Exprimer le déterminant comme permanent

Un problème majeur du TCS est le problème de l'expression d'un permanent comme déterminant. Je lisais le document d'Agrawal Determinant Versus Permanent et dans un paragraphe, il affirme que le problème inverse est facile. Il est facile de voir que le déterminant d'une matrice peut être exprimé comme le permanent …

12 cc.complexity-theory algebraic-complexity permanent determinant

3

Propriété graphique NP-complète héréditaire mais non additive?

Une propriété de graphe est appelée héréditaire si elle se ferme par rapport à la suppression de sommets (c'est-à-dire que tous les sous-graphes induits héritent de la propriété). Une propriété de graphe est appelée additive si elle est fermée par rapport à la prise d'unions disjointes. Il n'est pas difficile …

12 cc.complexity-theory graph-theory graph-algorithms np

2

Quelle est la complexité de ce problème de chemin?

Instance: Un graphe non orienté avec deux sommets distincts s ≠ t , et un entier k ≥ 2 .gGGs ≠ ts≠ts\neq tk ≥ 2k≥2k\geq 2 Question: Existe-t-il un chemin dans G , tel que le chemin touche au plus k sommets? (Un sommet est touché par le chemin s'il …

12 cc.complexity-theory graph-theory graph-algorithms

1

Classe de complexité de ce problème?

J'essaie de comprendre à quelle classe de complexité appartient le problème suivant: Exponentiating Polynomial Root Problem (EPRP) Soit un polynôme avec deg ( p ) ≥ 0 avec des coefficients tirés d'un champ fini G F ( q ) avec q un nombre premier, et r une racine primitive pour …

12 cc.complexity-theory reference-request comp-number-theory np-intermediate

4

Commencez à apprendre la complexité des preuves

J'ai récemment commencé à lire beaucoup sur la complexité des preuves et j'ai vraiment apprécié ce que j'ai lu. J'aimerais vraiment en savoir plus à ce sujet, mais j'ai du mal à trouver du bon matériel pour les débutants. Quelqu'un pourrait-il recommander des notions de base?

12 cc.complexity-theory lo.logic proof-complexity

1

L'effondrement de

Entre chaque niveau de la hiérarchie polynomiale se trouvent différentes classes de complexité, notamment , , et . Faute d'une meilleure terminologie, je les qualifierai, ainsi que d'autres, de classes intermédiaires entre les niveaux et dans la hiérarchie polynomiale. Aux fins de cette question, supposons que ce sont les classes …

12 cc.complexity-theory polynomial-hierarchy

1

Minimiser les automates à états finis résiduels

Les automates à états finis résiduels (RFSA, définis dans [DLT02]) sont des NFA qui ont de belles fonctionnalités en commun avec les DFA. En particulier, il y a toujours une RFSA de taille minimale canonique pour chaque langue régulière, et la langue reconnue par chaque état dans la RFSA est …

12 cc.complexity-theory ds.algorithms automata-theory lg.learning minimization

1

Algorithme efficace pour l'existence d'une permutation avec séquence de différences?

Cette question est motivée par ce post, pouvez-vous identifier la somme de deux permutations en temps polynomial? et mon intérêt pour les propriétés de calcul des permutations. Une séquence de différences d'une permutation π de nombres 1 , 2 , … n + 1 est formée en trouvant la différence …

12 cc.complexity-theory co.combinatorics np-hardness permutations

2

La hiérarchie

TC0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd L'entrée Zoo pour TC0TC0\mathsf{TC^0} ne mentionne que la séparation entre la profondeur 2 et 3. Existe-t-il également une référence standard pour le fait que la hiérarchie AC0dACd0\mathsf{AC^0_d} ne s'effondre pas?

12 cc.complexity-theory reference-request complexity-classes circuit-complexity bounded-depth

2

Complexité des jeux d'informations partielles à états finis

Étant donné un jeu déterministe à somme partielle et à informations partielles avec seulement un nombre fini d'états, dont les résultats possibles sont [perdre, dessiner, gagner] avec des valeurs [-1,0, + 1] respectivement, quelle est la complexité de l'approximation de la valeur de tels un jeu additivement dans ?ϵϵ\epsilon En …

12 cc.complexity-theory gt.game-theory

1

Quelle est la relation entre et ?

Quelle est la relation entre PLSPLS\mathsf{PLS} et APXAPX\mathsf{APX} ? En d'autres termes, les problèmes qui admettent une recherche locale en temps polynomial sont-ils approximables? Les problèmes d'optimisation approximatifs impliquent-ils un algorithme de recherche local en général?

12 cc.complexity-theory approximation-algorithms

Questions marquées «cc.complexity-theory»