Permettez-moi de commencer par quelques exemples. Pourquoi est-il si simple de montrer que CVP est dans P mais si difficile de montrer que LP est dans P; alors que les deux sont des problèmes P-complets. Ou prenez la primalité. Il est plus facile de montrer des composites en NP que des nombres...
On sait que L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} et L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , où L2=DSPACE(log2n)L2=DSPACE(log2n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) . Nous savons aussi que...
Quelles sont les meilleures limites inférieures actuelles pour le temps et la profondeur de circuit pour
Le livre d’ Arora et Barak présente l’affacturage comme le problème suivant: FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}\text{FACTORING} = \{\langle L, U, N \rangle \;|\; (\exists \text{ a prime } p \in \{L, \ldots, U\})[p | N]\} Ils ajoutent, plus...
Le théorème de Ladner stipule que si P ≠ NP, il existe une infinie hiérarchie de classes de complexité contenant strictement P et strictement contenu dans NP. La preuve utilise l'intégralité de la SAT sous plusieurs réductions de NP. La hiérarchie contient des classes de complexité construites...
La hiérarchie de Chomsky (–Schützenberger) est utilisée dans les manuels d'informatique théorique, mais elle ne couvre évidemment qu'une très petite fraction des langages formels (REG, CFL, CSL, RE) par rapport au diagramme de complexité complet . La hiérarchie joue-t-elle un rôle dans la recherche...
Je cherche des hypothèses sur les algorithmes et la complexité qui ont été jugées crédibles par beaucoup à un moment donné, mais qui ont ensuite été réfutées, ou du moins incrédules, en raison de la multiplication des contre-preuves. Voici deux exemples: Hypothèse aléatoire d'oracle: les relations...
J'ai toujours eu du mal à comprendre l'importance de l' écart d' intégrité (IG) et des limites qui s'y rattachent. IG est le rapport entre (la qualité de) une réponse entière optimale à (la qualité de) une solution réelle optimale de la relaxation du problème. Prenons la couverture de vertex (VC)...
De manière informelle, la complexité de Kolmogorov d'une chaîne est la longueur d'un programme le plus court qui génère x . Nous pouvons définir une notion de 'chaîne aléatoire' en l'utilisant ( x est aléatoire si K ( x ) ≥ 0,99 | x | ) Il est facile de voir que la plupart des chaînes sont...
Il est connu que la PST métrique peut être approximée dans un et ne peut pas être mieux estimée que 1231,51.51.5 en temps polynomial. Est-il connu quoi que ce soit sur la recherche de solutions d'approximation en temps exponentiel (par exemple, moins de2npas avec seulement un espace polynomial)?...
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?...
Quelqu'un peut-il fournir une explication concise de l'approche GCT de Mulmuley compréhensible par les non-experts? Une explication qui conviendrait pour une page Wikipedia sur le sujet (qui est stub pour le moment). Motivation: Je suis en train de "co-lire" l'ouvrage de Scott Aaronson sur...
Quelles sont les explications théoriques à la réussite pratique des solveurs SAT, et quelqu'un peut-il donner un aperçu et des explications de type "wikipedia"? Par analogie, l' analyse lissée ( version arXiv ) de l'algorithme simplex explique très bien pourquoi elle fonctionne si bien dans la...
J'écris actuellement une enquête sur les théorèmes de hiérarchie sur le TCS. En recherchant des articles apparentés, j'ai remarqué que la hiérarchie était un concept fondamental non seulement dans les domaines du SDC et des mathématiques, mais également dans de nombreuses sciences, allant de la...
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...
C'est une question sur la complexité du circuit. (Les définitions sont en bas.) Yao et Beigel-Tarui ont montré que chaque famille de circuits de taille possède une famille de circuits équivalente de taille de profondeur deux , où la porte de sortie est une fonction symétrique et le deuxième niveau...
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...
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...
Il est communément admis que pour tout , il est possible de multiplier deux matrices en un temps . Une discussion est ici .ϵ>0ϵ>0\epsilon > 0n×nn×nn \times nO(n2+ϵ)O(n2+ϵ)O(n^{2 + \epsilon}) J'ai demandé à des personnes plus familières avec les recherches si elles pensaient qu'il y avait un...
Laissez PRIMES (aka test de primalité ) être le problème: Étant donné un nombre naturel , est-il un nombre premier?nnnnnnn Soit FACTORING le problème: Soit les nombres naturels , avec , a-t-il un facteur avec ?nnnmmm1≤m≤n1≤m≤n1 \leq m \leq nnnnddd1<d<m1<d<m1 < d < m Sait-on si PRIMES...