Cette question se pose par pure curiosité (elle est venue en pensant à décompresser une chaîne , mais je ne sais pas si elle est réellement liée), donc j'espère que c'est approprié. Il existe différents produits graphiques, et je suis intéressé par l'un d'eux ici. Quelle est la complexité de...
À la lumière des résultats récents d'Arora, Barak et Steurer, Algorithmes sous-exponentiels pour les jeux uniques et les problèmes connexes , je suis intéressé par les problèmes de graphes qui ont des algorithmes de temps sous-exponentiels mais qui ne sont pas résolus polynomialement. Un exemple...
Existe-t-il un langage NP (complet de préférence naturel) , tel que pour chaque détient? En d'autres termes, contient précisément la moitié de toutes les instances à bits.L ⊆ { 0 , 1 }∗L⊆{0,1}∗L\subseteq \{0,1\}^*| L ∩ { 0 , 1 } n | = 2 n - 1 Ln ≥ 1n≥1n\geq 1 | L∩{0,1 }n| = 2n -...
Une caractéristique bien connue des instances -SAT est le rapport du nombre de clauses sur le nombre de variables n , c'est-à-dire le quotient \ rho = m / n . Pour chaque k , il existe une valeur seuil \ alpha st \ pour \ rho \ ll \ alpha , la plupart des instances sont satisfaisables et pour \ rho...
Supposons que nous ayons une classe d'objets (par exemple des graphiques, des chaînes) et une relation d'équivalence sur ces objets. Pour les graphiques, cela pourrait être un isomorphisme de graphique. Pour les chaînes, nous pourrions déclarer deux chaînes équivalentes si elles sont des anagrammes...
Cette réponse aux problèmes majeurs non résolus en informatique théorique? question indique qu'il est ouvert si un problème particulier dans NP nécessite un temps .Ω ( n2)Ω(n2)\Omega(n^2) En regardant les commentaires sous la réponse, je me suis demandé: Mis à part le rembourrage et les astuces...
Il est bien connu que toute preuve résolvant la question P vs NP doit surmonter la relativisation , les preuves naturelles et les barrières d' algèbre . Le diagramme suivant partitionne "l'espace de preuve" en différentes régions. Par exemple, correspond à l'ensemble des preuves qui relativisent et...
Étant donné un graphe non orienté et non pondéré et un entier pair , quelle est la complexité de calcul des ensembles de sommets tels que et le sous-graphe de restreint à l'ensemble des sommets admet une correspondance parfaite? La complexité # P-complète? Y a-t-il une référence pour ce problème?k...
Considérez le problème suivant: étant donné une formule CNF et une affectation qui satisfait cette formule, y a-t-il une autre affectation satisfaisante pour cette formule? Quelle est la complexité de ce problème? (C'est sûrement en NP, mais est-il aussi difficile en NP?) Que se passe-t-il si vous...
Pour tout , je dis qu'une séquence s d'entiers dans { 1 , … , n } est n -complète si, pour chaque permutation p de , écrite comme une séquence de paires entiers distincts , la séquence p est une sous-séquence de s , c'est-à-dire qu'il existe 1 ≤ i 1 < i 2 < ⋯ < i n ≤ | s |n>0n>0n >...
Selon D. den Hertog, Interior Point Approach to Linear, Quadratic and Convex Programming, 1994 , un programme linéaire avec variables, n contraintes et précision L est résoluble en temps O ( n 3 L ) . Cela a-t-il été amélioré?nnnnnnLLLO ( n3L
J'ai lu dans plusieurs articles que l'existence de fonctions à sens unique est largement admise. Quelqu'un peut-il expliquer pourquoi c'est le cas? Quels arguments avons-nous pour soutenir l'existence de fonctions à sens
Toutes mes excuses pour avoir posé une question qui doit sûrement figurer dans de nombreuses références standard. Je suis curieux de savoir exactement la question dans le titre, en particulier je pense aux circuits booléens, sans limite de profondeur. J'ai mis "le plus petit" entre guillemets pour...
Hé les gars, je comprends que l'astuce de remplissage nous permet de traduire les classes de complexité vers le haut - par exemple . Le remplissage fonctionne en "gonflant" l'entrée, en exécutant la conversion (disons de à ), ce qui donne un algorithme "magique" que vous pouvez exécuter sur...
Que sait-on de la complexité de calcul de la factorisation d'entiers dans des champs de nombres généraux? Plus précisement: Sur les entiers, nous représentons des entiers via leurs extensions binaires. Quelles sont les représentations analogues d'entiers dans des champs numériques généraux? Est-il...
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...
Bien sûr, certains résultats de complexité peuvent s'effondrer pour les langues unaires, mais je me demande s'il existe quelque part une enquête résumant les résultats connus dans ce cas: une sorte de zoo de complexité pour les langues unaires. Connaissez-vous une telle
Question: Quelle est la limite inférieure de taille de formule la plus connue pour une fonction explicite dans AC 0 ? Existe-t-il une fonction explicite avec une borne inférieure Ω(n2)Ω(n2)\Omega(n^2) ? Contexte: Comme la plupart des limites inférieures, les limites inférieures de la taille de la...
Quelles sont les conséquences d'avoir des problèmes complets dans ?NP∩ c o NPNP∩coNPNP\cap
Existe-t-il des problèmes NP-complets pour lesquels un algorithme est connu que le temps d'exécution attendu est polynomial (pour une distribution sensible sur les instances)? Sinon, existe-t-il des problèmes pour lesquels l'existence d'un tel algorithme a été établie? Ou l'existence d'un tel...