Questions marquées «cc.complexity-theory»

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

3
Problèmes succincts dans
L'étude de la représentation succincte des graphiques a été lancée par Galperin et Wigderson dans un article de 1983, où ils prouvent que pour de nombreux problèmes simples comme la recherche d'un triangle dans un graphique, la version succincte correspondante dans -complete. Papadimitriou et Yanakkakis poursuivent cette ligne de recherche …
2
Quelles sont les conséquences de
Shiva Kintali vient d'annoncer un résultat (cool!) Que l' isomorphisme des graphes pour les graphes à largeur d'arbre bornée de largeur est ⊕ L -hard≥4≥4\geq 4⊕L⊕L\oplus L . De manière informelle, ma question est: "C'est difficile?" Nous savons que non uniformément , voir les réponses à cette question . Nous …
2
Quelle est la complexité de distinguer un vrai spectre de Fourier d'un faux?
Une machine PHPHPH accès oracle à une fonction booléenne aléatoire f:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f:\{0,1\}^n \to \{ -1,1 \} , et deux spectres de Fourier ggg et hhh . Le spectre de Fourier d'une fonction fff est défini comme F:{0,1}n→RF:{0,1}n→RF:\{0,1\}^n \to R : F(s)=∑x∈{0,1}n(−1)(s⋅xmod 2)f(x)F(s)=∑x∈{0,1}n(−1)(s⋅xmod 2)f(x)F(s)=\sum_{x\in\{0,1\}^n} (-1)^\left( s\cdot x \mod\ 2 \right) f(x) L'un …
3
Calcul des informations sur Max-3SAT
Pour une formule 3CNF laisser soit le nombre de maximal de clauses satisfaites dans toute affectation à . On sait que Max-3SAT est difficile à estimer (sous réserve de P ≠ NP), c'est-à-dire qu'il n'y a pas d'algorithme de polytime dont l'entrée est une formule 3CNF , et dont la …
3
Problèmes intermédiaires entre L et NL
Il est bien connu que la connectivité st dirigée est complète en . Résultat percée Reingold a montré que undirected st-connectivité est en . La connectivité st dirigée planaire est connue pour être dans . Cho et Huynh ont défini un problème de sac à dos paramétré et ont présenté …
3
Est-il difficile de lire correctement les brouillons internationaux?
Le problème suivant est-il NP-difficile? Étant donné une configuration de carte pour brouillons internationaux , trouvez un mouvement juridique unique.n×nn×nn\times n Le problème correspondant pour les vérificateurs américains (ou versions anglaises) est trivialement résoluble en temps polynomial. Il existe trois différences majeures entre ces deux jeux.n×nn×nn\times n La première et …
3
Des problèmes naturels dans pas dans ?
Existe-t-il des problèmes naturels dans qui ne sont pas (connus pour être / pensés être) dans ?U P ∩ c o U PNP∩coNPNP∩coNPNP \cap coNPUP∩coUPUP∩coUPUP \cap coUP Évidemment, le grand que tout le monde connaît dans est la version décisionnelle de l'affacturage (n'a pas un facteur de taille au plus …
4
Couverture de l'ensemble de fréquence bornée à cardinalité bornée: dureté de l'approximation
Considérez le problème de couverture de l'ensemble minimal avec les restrictions suivantes: chaque ensemble contient au plus éléments et chaque élément de l'univers se produit dans au plus ensembles.kkkfff Exemple: le cas et est équivalent au problème de couverture minimale des sommets dans les graphiques avec un degré maximum 4.k=4k=4k …
5
Implications mathématiques des conjectures de la théorie de la complexité en dehors du TCS
Connaissez-vous les conséquences intéressantes des conjectures (standard) dans la théorie de la complexité dans d'autres domaines des mathématiques (c'est-à-dire en dehors de l'informatique théorique)? Je préférerais des réponses où: la conjecture de la théorie de la complexité est aussi générale et standard que possible; Je suis d'accord avec les conséquences …
3
Constructivité dans la preuve naturelle et la complexité géométrique
Récemment, Ryan Willams a prouvé que la constructivité dans la preuve naturelle est inévitable pour dériver une séparation des classes de complexité: et . T C 0N E X PNEXP\mathsf{NEXP}T C0TC0\mathsf{TC}^{0} La constructivité dans la preuve naturelle est une condition que toutes les preuves combinatoires dans la complexité du circuit …
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.