Lorsque nous voulons prouver qu'un est N P- complet, alors l'approche standard est de montrer à L une réduction de plusieurs un calculable en temps polynomial d'un problème N P- complet connu . Dans ce contexte, nous n'avons pas besoin d'une limite stricte sur la durée de la réduction. Il suffit...
Je cherche: Michael O. Rabin, "Degré de difficulté de calcul d'une fonction et ordre partiel d'ensembles récursifs", Université hébraïque, Jérusalem, 1960 Sommaire: «Nous essayons de mesurer la quantité de travail inhérente à la tâche de calculer une fonction calculable (récursive) donnée. Une...
Lance Fortnow a récemment affirmé que prouver L! = NP devrait être plus facile que prouver P! = NP : NP séparé de l'espace logarithmique. J'ai donné quatre approches dans une enquête pré-blog 2001 sur la diagonalisation (section 3), mais aucune n'a échoué. Cela devrait être beaucoup plus facile que...
La complexité classe PPAD a été inventé par Christos Papadimitriou dans son 1994 fondateur du papier . La classe est conçue pour capturer la complexité des problèmes de recherche où l'existence d'une solution est garantie par "Argument de parité dans les graphes dirigés": s'il y a un sommet...
Adleman a montré en 1978 que BPP⊆P/polyBPP⊆P/poly\mathrm{BPP}\subseteq \mathrm{P/poly} : si une fonction booléenne fff de nnn variables peut être calculée par un circuit booléen probabiliste de taille MMM , alors fff peut également être calculé par un circuit booléen déterministe de taille polynôme...
Supposons que nous ayons une propriété de graphe qui peut être vérifiée en temps polynomial non déterministe, et une preuve dans un système formel faible (disons RCA 0 ) que la propriété est mineure fermée. Pouvons-nous dire quoi que ce soit sur la force d'un système formel, qui est capable de...
Étant donné un automate A (déterministe ou non déterministe, je pense que cela n'a pas beaucoup d'importance) et un seuil n , A accepte-t-il un mot contenant au plus n lettres distinctes? (Par k lettres différentes, je veux dire que aabaa a deux lettres distinctes, a et b .) J'ai montré que ce...
Considérons le jeu suivant sur un graphique pondéré dirigé avec une puce à un nœud.GGG Tous les nœuds de sont marqués par A ou B.GGG Il y a deux joueurs Alice et Bob. Le but d'Alice (Bob) est de déplacer la puce vers un nœud marqué par A (B). Initialement, Alice et Bob ont respectivement et...
Quels sont les autres langages de problèmes différents de l'isomorphisme des graphes dans ? Pouvez-vous donner quelques références?NP∩ c o A MNP∩coAMNP\cap coAM Mise à jour: J'ai oublié de mentionner que je suis intéressé dans les langues ne sont pas connus pour être en .c o...
Soit { 0 , . . . , N - 1 } et ∘ : S × S → S . Je veux calculer la complexité de la communication pour décider si ∘ est associatif.S=S=S=0 , . . . , n - 10,...,n−10,...,n-1∘ : S× S→ S∘:S×S→S\circ : S \times S \rightarrow S∘∘\circ Le modèle est le suivant. est donnée à une matrice M . Alice (resp....
Le papier Lauri Hella et José María Turull-Torres, Requêtes informatiques avec des logiques d'ordre supérieur , TCS 355 197–214, 2006. doi: 10.1016 / j.tcs.2006.01.009 propose une logique VO, une logique d'ordre variable. Cela permet de quantifier les commandes sur les variables. VO est assez...
Une formulation équivalente du théorème PCP est: Pour Max 3-SAT, il est -hard de faire la distinction entre les formules satisfaisables et les formules où au plus r -fraction des clauses sont satisfaisables (pour certains r < 1 ).NPNPNPrrrr<1r<1r\lt 1 Existe-t-il un théorème de dichotomie...
La question suivante utilise des idées de cryptographie appliquées à la théorie de la complexité. Cela dit, il s'agit d'une question purement théorique, et aucune connaissance cryptographique n'est requise pour y répondre. J'écris délibérément cette question de manière très informelle. Manquant de...
Par http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Si est un langage complet-PSPACE, P A = N P A .UNEAAPUNE= NPUNEPA=NPAP^{A}=NP^{A} Si est un oracle à temps polynomial déterministe, P B ≠ N P B (en supposant P ≠ N P ).BBBPB≠ NPBPB≠NPBP^{B}\ne NP^{B}P≠ NPP≠NPP\ne NP est la classe de...
Encore une fois un problème de partitionnement des bords dont je suis curieux de complexité, motivé par une question précédente . Entrée: un graphe cubique G = ( V, E)G=(V,E)G=(V,E) Question: existe-t-il une partition de en E 1 , E 2 , … , E s , de sorte que le sous-graphe induit par chaque E i est...
Le résultat de Baker-Gill-Solovay a montré que la question P = NP ne se relativise pas, en ce sens qu'aucune preuve relativisante (insensible à la présence d'un oracle) ne peut régler la question P = NP. Ma question est: Y a-t-il un résultat similaire pour la question, "Existe-t-il un problème de...
Ce que je me demande précisément, c'est s'il existe une condition intéressante sur le pourcentage d'affectations qui satisfont à une formule 3SAT pour garantir que ces problèmes sont traitables. Supposons par exemple la classe de problèmes 3SAT que des 2 n affectations possibles satisfont la...
Tout en travaillant sur un projet quelque peu indépendant pour Suresh, j'ai récemment rencontré des travaux effectués par Page et Opper sur les systèmes composables par l'utilisateur et une partie de leur travail a brièvement discuté de problèmes qui ne peuvent pas être vérifiés en temps...
En comptant les arguments, on peut montrer qu'il existe des polynômes de degré n dans 1 variable (c'est-à-dire quelque chose de la forme qui ont complexité du circuit n. De plus, on peut montrer qu'un polynôme comme nécessite au moins multiplications (vous en avez besoin juste pour obtenir un degré...
Soit G un graphe connecté. Quelle est la complexité du comptage de tous les sous - graphiques connectés si G est des types suivants? G est général. G est plan. G est bipartite. Je ne me soucie pas des structures ou ..., il suffit de compter tous les sous-graphiques connectés! Je suis également...