L'analyse du pire et du cas moyen sont des mesures bien connues de la complexité d'un algorithme. L'analyse lissée récemment est apparue comme un autre paradigme pour expliquer pourquoi certains algorithmes exponentiels dans le pire des cas fonctionnent si bien dans la pratique, par exemple...
Le problème suivant est-il dans PTIME ou coNP-hard: Étant donné deux expressions booléennes et e 2 dans les variables x 1 , … , x n , sans négation (c'est-à-dire que les expressions sont entièrement construites via ∧ et ∨ ). Décidez si e 1 ≡ e 2 , c'est-à-dire qu'ils ont la même valeur pour toutes...
Je cherche un problème qui appartient à dans les graphiques généraux mais qui est dans dans les graphiques de largeur d'arbre borné, En fait, je pense que ces problèmes sont plus difficiles que d'utiliser la programmation dynamique normale dans borné -des graphiques de largeur pour les...
Quel est le nombre minimal de portes binaires nécessaires pour calculer ET et OU de bits d'entrée simultanément? La borne supérieure triviale est . Je pense que c'est optimal, mais comment le prouver? La technique d'élimination de porte standard ne fonctionne pas ici car en attribuant une constante...
Par un résultat classique de Kuroda, la classe de complexité NSPACE [ ]nnn (également connue sous le nom de NLIN-SPACE) est précisément la classe CSL des langages contextuels . Le problème de satisfiabilité SAT est dans NSPACE [ ], car une estimation de taille linéaire pour une solution peut être...
Ce problème m'intéresse: étant donné un graphe non orienté , y a-t-il une partition de en graphes et tels que etG(E,V)G(E,V)G(E, V)GGGG1(E1,V1)G1(E1,V1)G_1(E_1, V_1)G2(E2,V2)G2(E2,V2)G_2(E_2, V_2)G1G1G_1G2G2G_2 sont isomorphes? Ici, est partitionné en deux ensembles disjoints et . Les ensembles et...
Je me demandais si des problèmes pour lesquels existent des algorithmes de temps sublinéaire (dans la taille d'entrée) pouvaient être caractérisés comme possédant des propriétés spécifiques. Cela comprend le temps sublinéaire (par exemple, les tests de propriétés, une autre notion d'approximation...
On ne sait pas si isomorphisme de graphes (IG) pour les graphiques fortement réguliers (SRGS) est en P . Y a-t-il des indices qu'il pourrait ou non être GI- Complet? Y a-t-il des conséquences importantes dans de tels cas? (Similaire à la croyance que l'IG peut ne pas être
Dans le problème de l' emballage de rectangle, on se donne un ensemble de rectangles et délimitant rectangle . La tâche consiste à trouver un emplacement de intérieur de sorte qu'aucun des rectangles ne se chevauche. Généralement, l'orientation de chaque rectangle est fixe. Autrement dit, les...
Supposons que, pour chaque , il existe une machine de Turing qui décide d'un langage dans le temps . Existe-t-il un seul algorithme déterminant dans le temps ? (Ici, le terme est mesuré en termes de , la longueur d'entrée.)ϵ>0ϵ>0\epsilon > 0MϵMϵM_{\epsilon}LLLO(na+ϵ)O(na+ϵ)O(n^{a +...
Je ne connais pas le domaine de la théorie de la complexité impliquant des groupes, je m'excuse donc si c'est un résultat bien connu. Question 1. Soit un simple graphe non orienté d'ordre n . Quelle est la complexité de calcul (en termes de n ) pour déterminer si G est transexuel?ggGnnnnnnggG...
Supposons que . N P I est la classe de problèmes en N P qui ne sont ni en P ni en N P -hard. Vous pouvez trouver une liste des problèmes supposés être N P I ici .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPje\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} Le théorème de Ladner...
On sait que l'on peut calculer exactement le déterminant d'une matrice dans l' espace determinstic . Quelles seraient les implications de complexité d'approximer le déterminant d'une matrice réelle, de norme au plus ( ) dans l'espace logarithmique randomisé, jusqu'à un 1 / \ text {poly }...
Un nouvel article est sorti revendiquant un algorithme quasi-polynomial pour le logarithme discret. http://arxiv.org/abs/1306.4244 Si elle est correcte, cela signifie-t-il que nous n'avons plus de séparation exponentielle en complexité d'un algorithme classique et de sa version quantique pour le...
Il n'y a que très peu d'informations que je peux trouver sur le problème NP-complet de la résolution de l'équation diophantienne linéaire en nombres entiers non négatifs. C'est - à - dire, est - il une solution non négatif à l'équation a 1 x 1 + a 2 x 2 + . . . + a n x n = b , où toutes les...
Gowers a récemment souligné un problème, qu'il appelle «la détermination discrète de Borel», dont la solution est liée à la vérification des limites inférieures du circuit. Pouvez-vous fournir un résumé de l'approche adaptée à un public de théoriciens de la complexité? Que faudrait-il pour que...
Les automates finis sans ambiguïté (UFA) sont un type spécial d'automates finis non déterministes (NFA). Un NFA est appelé sans ambiguïté si chaque mot a au plus un chemin d'acceptation.w∈Σ∗w∈Σ∗w\in \Sigma^* Cela signifie .DFA⊂UFA⊂NFADFA⊂UFA⊂NFADFA\subset UFA\subset NFA Résultats d'automate...
Je recherche des problèmes connus pour être des PNJ pour les graphes dirigés mais qui ont un algorithme polynomial pour les graphes non orientés. J'ai vu la question concernant l'inverse des problèmes «dirigés» qui sont plus faciles que leur variante «non dirigée» , mais je recherche la dureté du...
Les théorèmes de la hiérarchie sont des outils fondamentaux. Un bon nombre d'entre eux ont été rassemblés dans une question précédente (voir Quelles hiérarchies et / ou théorèmes de hiérarchie connaissez-vous? ). Certaines séparations de classes de complexité découlent directement des théorèmes de...
NP est-il dans DTIME(npolylogn)DTIME(npolylogn)DTIME(n^{poly\log n})