Questions marquées «complexity-theory»

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

2
Pourquoi FACTOR est-il dans Co-NP?
J'ai du mal à comprendre les problèmes PRIME, COMPOSITE, FACTOR et comment ils sont liés en termes de complexité. Je comprends que PRIME s'est révélé être en par le test de primalité AKS, et je pense que cela fonctionne également pour COMPOSITE.PPP Quant à FACTOR, FACTOR={(m,r):∃s such that1<s<r and s …
2
Comment prouver P
Je suis conscient que cela semble une question très stupide (ou trop évidente à énoncer). Cependant, je suis confus à un moment donné. Nous pouvons montrer que P NP=== si et seulement si nous pouvons concevoir un algorithme qui résout une instance donnée de problème dans NP en temps polynomial. …
2
Le XOR-SAT généralisé est-il efficacement résoluble?
J'ai vu comment XOR-3-SAT est efficacement résoluble (par exemple, voir la section "XOR-satisfiabilité" dans l'entrée Wikipedia pour le problème de satisfiabilité booléenne ). Je me pose une question de base: XOR-k-SAT est-il efficacement résoluble, pour des formules avec des quantités variables de littéraux par clause? J'aimerais vraiment savoir si nous …
2
La complétude du coNP implique-t-elle une dureté NP?
La complétude du coNP implique-t-elle une dureté NP? En particulier, j'ai un problème dont j'ai montré qu'il était coNP-complet. Puis-je prétendre qu'il est NP-difficile? Je me rends compte que je peux revendiquer la dureté coNP, mais je ne sais pas si cette terminologie est standard. Je suis à l'aise avec …
2
Prouver l'exhaustivité de NP pour décider de la satisfiabilité de la formule booléenne monotone
J'essaie de résoudre ce problème et j'ai vraiment du mal. Une formule booléenne monotone est une formule en logique propositionnelle où tous les littéraux sont positifs. Par exemple, (x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor x_4 \lor x_5) est une fonction booléenne monotone. D'un autre côté, …
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.