Considérez ce problème: étant donné une liste d'ensembles finis, recherchez un ordre qui minimise .s1,s2,s3,…s1,s2,s3,…s_1, s_2, s_3, \ldots|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s_1| + |s_1 \cup s_2| + |s_1 \cup s_2 \cup s_3| + \ldots Existe-t-il des algorithmes connus pour cela?...
Il est bien connu que de nombreux problèmes NP-complets présentent une transition de phase. Je m'intéresse ici à la transition de phase par rapport au confinement dans le langage, plutôt qu'à la dureté de l'entrée, par rapport à un algorithme. Pour rendre le concept sans ambiguïté, définissons-le...
Contexte Il est connu qu'il existe un oracle AAA de telle sorte que, P S P A C E A ≠ P H APSPACEA≠PHAPSPACE^A \neq PH^A . On sait même que la séparation tient par rapport à un oracle aléatoire. De manière informelle, on peut interpréter cela comme signifiant qu'il existe de nombreux oracles pour...
Un circuit booléen non déterministe possède, en plus des entrées ordinaires , un ensemble d'entrées "non déterministes" . Un circuit non déterministe accepte l'entrée s'il existe tel que la sortie du circuit sur . Analogue à (la classe de langues décidables par des circuits de taille polynomiale),...
Est-il possible de convertir un CNFCC\mathcal C en un autre CNF tel queΨ(C)Ψ(C)\Psi(\mathcal C) La fonction peut être calculée en temps polynomial à partir d'un paramètre aléatoire secret r .ΨΨ\Psirrr a une solution si et seulement si C a une solution.Ψ(C)Ψ(C)\Psi(\mathcal C)CC\mathcal C Toute...
Quels sont les principaux problèmes de complexité de calcul ouverts qui découlent des langages de programmation, en particulier l'analyse et la compilation de programmes? Je recherche des problèmes du type "la complexité temporelle de l'inférence de type Hindley-Milner" ou "la complexité temporelle...
Le célèbre Picture of The World de Neil Immerman est le suivant (cliquez pour agrandir): Sa classe "Vraiment faisable" ne comprend aucune autre classe; ma question est alors: Qu'est-ce qu'un problème AC 0 considéré comme peu pratique et pourquoi?...
Le problème de l'automorphisme libre à points fixes demande un automorphisme de graphe qui déplace au moins k ( n ) nœuds. Le problème est N P -complet si k ( n ) = n c pour tout ckkkk(n)k(n)k(n)NPNPNPk(n)=nck(n)=nck(n)=n^cccc > 0. Cependant, si alors le problème est le temps polynomial Turing...
LogCFL est l'ensemble de toutes les langues qui sont réductibles en espace de journalisation en une langue sans contexte. De même, LogDCFL est l'ensemble de toutes les langues qui sont un espace de journalisation réductible à une langue déterministe sans contexte. Consultez cet article de wikipedia...
Une lacune que j'ai toujours su que je ne comprends pas vraiment est entre la complexité de calcul non uniforme et uniforme où la complexité du circuit représente la version non uniforme et les machines de Turing où les choses sont uniformes. Je suppose que "uniforme" est un moyen de restreindre la...
Supposons que l'on nous donne une matrice n par n, M, avec des entrées entières. Peut-on décider dans P s'il existe une permutation telle que pour toutes les permutations π ≠ σ on a Π M i σ ( i ) ≠ Π M i π ( i ) ?σσ\sigmaπ≠ σπ≠σ\pi\ne\sigmaΠ Mi σ( i )≠ Π Mi π( i )ΠMjeσ(je)≠ΠMjeπ(je)\Pi...
Contexte : Dans le document UGC original de Subhash Khot ( PDF ), il prouve la dureté UG de décider si une instance CSP donnée avec des contraintes toutes de la forme Pas-tout-égal (a, b, c) sur un alphabet ternaire admet une affectation satisfaisante 1 - des contraintes ou s'il n'y a pas...
Nisan a prouvé dans "Générateurs aléatoires pour le calcul délimité par l'espace", qu'il existe un générateur pseudo-aléatoire qui "trompe" les calculs délimités par l'espace. Cette construction est-elle valable pour chaque oracle (au moins pour les requêtes non
J'ai pensé à une variante d' hex , où au lieu que les deux joueurs effectuent des mouvements alternativement, chaque tour un joueur choisi au hasard fait un mouvement. Est-il difficile de déterminer les chances de chaque joueur de gagner? Ce problème est évidemment dans PSPACE, mais ne peut pas...
Cette question concerne la page 125 du livre "Les automates cellulaires dans les espaces hyperboliques: Volume 2" de Maurice Margenstern, Publisher Archives contemporaines, 2008. http://books.google.com/books?id=eEgvfic3A4kC&pg=PA125 De l'avis de l'auteur, la question P = NP est mal posée car...
Une fonction f:{0,1}∗→{0,1}∗f:{0,1}∗→{0,1}∗f \colon \{0, 1\}^* \to \{0, 1\}^* est unidirectionnelle si fff peut être calculé par un algorithme de temps polynomial, mais pour chaque algorithme de temps polynomial randomisé AAA ,
Soit la complexité de Kolmogorov d'une chaîne x . Existe-t-il une chaîne telle que K ( x x ) < K ( x ) . (Ici x x est la concaténation de x avec lui-même). Une question similaire mais différente a été posée ici , mais le contre-exemple donné dans la réponse à cette question ne fonctionne pas...
Il est bien connu que les formules aléatoires -CNF sur n variables avec c n clauses sont insatisfaisantes (c'est-à-dire qu'elles sont des contradictions) avec une probabilité élevée, pour une constante c suffisamment grande . Ainsi, les formules k -CNF aléatoires (pour c assez grand) constituent...
Que dois-je lire pour comprendre ce problème? La puissance des circuits quantiques de faible profondeur. Est-ce que ? En d'autres termes, la partie "quantique" de tout algorithme quantique peut-elle être compressée à la profondeur du polylogue (n), à condition que nous soyons prêts à effectuer un...
Il existe des preuves théoriques que la construction de produits cartésiens naïfs pour l'intersection des DFA est "le meilleur que nous pouvons faire". Qu'en est-il de la concaténation de deux DFA? La construction triviale implique la conversion de chaque DFA en NFA, l'ajout d'une transition...