Questions marquées «cc.complexity-theory»

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

8
Meilleurs limites supérieures sur SAT
Dans un autre fil de discussion , Joe Fitzsimons s'est interrogé sur "la meilleure limite inférieure actuelle de 3SAT". J'aimerais faire l'inverse: quelle est la meilleure limite supérieure actuelle sur 3SAT? En d'autres termes, quelle est la complexité temporelle du solveur SAT le plus efficace? En particulier, est-il envisageable de …
12
Les bases de Gröbner dans TCS?
Est-ce que quelqu'un connaît des applications intéressantes des bases de Gröbner à l'informatique théorique? Les bases de Gröbner sont utilisées pour résoudre des équations polynomiales multivariées, un problème NP-difficile en général. Je me demandais si des cas spéciaux traitables étaient utilisés pour fournir des algorithmes / constructions / preuves efficaces …
3
Conséquences d'un algorithme temporel quasi-polynomial pour le problème de l'isomorphisme de graphe
Le problème de l’isomorphisme graphique (IG) est sans doute le candidat le mieux connu pour un problème NP-intermédiaire . L'algorithme le plus connu est l'algorithme sous-exponentiel avec la durée d'exécution . On sait que GI n’est pas complet sauf si la hiérarchie polynomiale s’effondre.NP2O(nlogn√)2O(nlog⁡n)2^{O(\sqrt{n \log n})}NPNP\mathsf{NP} Quelles seraient les conséquences …
5
Les quartiers accueillants de «P» et de «NP-hard»
Soit une tâche algorithmique. (Cela peut être un problème de décision ou un problème d'optimisation ou toute autre tâche.) Appelons "du côté polynomial" si supposer que est NP-difficile est connu pour impliquer que la hiérarchie polynomiale s'effondre. Appelons "du côté de NP" si nous supposons que admet qu'un algorithme polynomial …
3
Quelles sont les raisons pour lesquelles les chercheurs en géométrie algorithmique préfèrent le modèle BSS / real-RAM?
Contexte Le calcul sur des nombres réels est plus compliqué que celui sur des nombres naturels, puisque les nombres réels sont des objets infinis et qu'il existe un nombre incalculable de nombres réels. Par conséquent, les nombres réels ne peuvent être fidèlement représentés par des chaînes finies sur un alphabet …
2
Programme GCT de Mulmuley
On prétend parfois que la théorie de la complexité géométrique de Ketan Mulmuley est le seul programme plausible pour régler les questions en suspens de la théorie de la complexité, comme la question P vs NP. Plusieurs théoriciens de la complexité connus ont commenté positivement le programme. Selon Mulmuley, il …
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.