Questions marquées «cc.complexity-theory»

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

3
Quelle est la difficulté de la simulation exacte des algorithmes et d'une opération connexe sur les classes de complexité
Taquin Étant donné que le problème est assez long, voici un cas spécial qui capture son essence. Problème: Soit A un algorithme detrministique pour 3-SAT. Est le problème de la simulation complète de l'algorithme A (sur chaque instance du problème). P-Space dur? (Plus précisément, y a-t-il des raisons de croire …
2
Théorie des catégories, complexité informatique et connexions combinatoires?
J'ai essayé de lire « Perles de conception d'algorithmes fonctionnels », puis « L'algèbre de programmation », et il existe une correspondance évidente entre les types de données définis de manière récursive (et polynomiale) et les objets combinatoires, ayant la même définition récursive et menant par la suite à la …
4
Complexité de trouver une deuxième solution donnée une solution correcte à un problème NP-complet
Je cherche à savoir s'il y a des résultats généraux ou des exemples concernant l'exhaustivité NP du problème de trouver une deuxième solution à un problème NP-complet. Plus précisément, je suis intéressé par tout problème de la forme suivante: Étant donné une solution à une instance d'un problème NP-complet, existe-t-il …
1
La structure des instances pathologiques pour les algorithmes simplex
Pour autant que je sache, toutes les règles de pivot déterministes connues pour les algorithmes simplex ont des entrées spécifiques sur lesquelles l'algorithme nécessite un temps exponentiel (ou du moins pas polynomial) pour trouver l'optimum. Appelons ces instances «pathologiques» car généralement (c'est-à-dire sur la plupart des entrées) l'algorithme simplex se …
2
MIP avec des étalons efficaces
Il est bien connu que l'ensemble des langages ayant des systèmes de preuve interactifs à deux prouveurs, dans lesquels le vérificateur s'exécute en temps polynomial (MIP), est NEXP. Mais existe-t-il des limites connues sur la puissance de ces preuves interactives lorsque les prouveurs sont limités en puissance? Par exemple, quelle …
2
Est-ce que
Dans le "dernier paragraphe" de la "première page" de l'article suivant: Vikraman Arvind , Johannes Köbler , Uwe Schöning , Rainer Schuler , «If NP Has Polynomial-Size Circuits, then MA = AM», Theoretical Computer Science, 1995. J'ai rencontré une affirmation quelque peu contre-intuitive: (ΣP2∩ΠP2)NP=ΣP3∩ΠP3(Σ2P∩Π2P)NP=Σ3P∩Π3P(\Sigma^P_2 \cap \Pi^P_2)^{NP} = \Sigma^P_3 \cap \Pi^P_3 …
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.