Un algorithme de machine de Turing à temps polynomial est considéré comme efficace si son temps d'exécution, dans le pire des cas, est limité par une fonction polynomiale dans la taille d'entrée. Je connais la forte thèse de Church-Turing: Tout modèle raisonnable de calcul peut être simulé...
J'ai un devoir à faire contre lequel je me bats la tête depuis un certain temps, et j'apprécierais tout indice. Il s'agit de choisir un problème connu, dont l'exhaustivité NP est prouvée, et de construire une réduction de ce problème au problème suivant que j'appellerai DGD (diagnostic de graphe...
Supposons que je me donne un ensemble fini de points dans le plan, et a demandé de tracer une courbe C ( P ) deux fois différenciable à travers les p i , de sorte que son périmètre soit aussi petit que possible. En supposant que p i = ( x i , y i ) et x i < x i + 1 , je peux formaliser ce...
Existe-t-il un moyen simple de comprendre pourquoi NP est dans EXPTIME? Il me semble a priori concevable qu'il pourrait y avoir un problème qui nécessite un temps super-exponentiel à résoudre, mais dont la solution pourrait être vérifiée en temps
J'étudie pour ma finale en théorie du calcul, et je me bats avec la bonne façon de répondre si cette affirmation est vraie ou fausse. Par la définition de nous pouvons construire l'instruction suivante,≤m≤m\leq_m w ∈ A⟺F( w ) ∈ B → w ∉ A⟺F( w ) ∉ Bw∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw \in A \iff f(w) \in B...
On me donne un ensemble A≜{1,…,k}A≜{1,…,k}A\triangleq\{1,\ldots,k\} , un entier s⩽ks⩽ks\leqslant k et des entiers non négatifs aijaija_{ij} . Mon problème est de trouver sss sous - ensembles disjoints SjSjS_j de {1,…,k}{1,…,k}\{1,\ldots,k\} tel que: ⋃sj=1Sj=A⋃j=1sSj=A\bigcup_{j=1}^s S_j=A ; et...
Le problème de déterminer si une expression booléenne donnée est satisfaisante sur le plan du calcul est-il distinct de trouver réellement une solution à l'expression? En d'autres termes, existe-t-il un autre moyen de trouver qu'une expression donnée est satisfaisable sans déterminer explicitement...
De Wikipédia : Le type de problème de calcul: Les problèmes les plus couramment utilisés sont les problèmes de décision . Cependant, les classes de complexité peuvent être définies en fonction des problèmes de fonction, des problèmes de comptage, des problèmes d'optimisation, des problèmes de...
On peut comprendre votre question de deux manières, selon la définition de "le complément de CFL". cas A: le complément de CFL est la classe de toutes les langues qui ne sont pas en CFL. Formellement, Dans ce cas, est bien plus grand que , il a même des langages qui ne sont pas en , etc. Mais...
Existe-t-il des algorithmes connus qui donnent correctement "oui" à un problème NP-complet sans générer implicitement un certificat? Je comprends qu'il est simple de transformer un oracle de satisfiabilité en un chercheur d'affectation satisfaisante: il suffit d'itérer sur les variables, en...
Le Complexity Zoo définit comme la classe de problèmes de décision pouvant être résolus par une machine de Turing déterministe en temps linéaire.L INLINLIN L IN⊆ PLIN⊆PLIN \subseteq P Étant donné que HORN-SAT est soluble dans (comme indiqué dans les algorithmes à temps linéaire pour tester la...
Existe-t-il un algorithme pour le problème suivant: Étant donné une machine de Turing qui décide d'un langage , existe-t-il une machine de Turing décidant telle que ?M1M1M_1M 2 L t 2 ( n ) = o ( t 1 ( n ) )LLLM2M2M_2LLLt2( n ) = o ( t1( n ) )t2(n)=o(t1(n))t_2(n) = o(t_1(n)) Les fonctions et sont...
Je sais que l'ensemble indépendant maximum sur les graphiques sans triangle cubique est NP-complet. Est-il toujours NP-complet au cas où nous aurions besoin que l'ensemble indépendant soit exactement de la taille ?| V| / 2|V|/2|V|/2 Fondamentalement, l'instance OUI d'un problème d'ensemble...
Par exemple, je sais que la langue non régulière est en . J'aimerais en savoir plus d'exemples comme
Je me demande s'il y a des problèmes durs qui sont "polynomiaux" dans le cas moyen. Je pense qu'il y a deux façons d'interpréter cela?NPNPNP Si , peut-il y avoir un algorithme résolvant un problème dur avec un temps d'exécution amorti (cas moyen) de pour une constante ?P≠NPP≠NPP \neq...
Selon l'article de Wikipedia sur les schémas d'approximation du temps polynomial : Tous les problèmes dans FPTAS sont traitables à paramètres fixes. Ce résultat me surprend - ces classes semblent être totalement différentes les unes des autres. FPTAS caractérise les problèmes par leur facilité...
Soit un problème de comptage connu pour être # -Complete .PΠΠ\PiPPP Cela implique-t-il que est -hard (c'est-à-dire qu'il n'y a pas de PTAS pour le problème sauf si )?A P X P = N
Tout le monde connaît "Garey & Johnson", qui est ma référence à chaque fois que j'ai besoin d'un problème de transformation pour une preuve de dureté NP. Cependant, j'ai récemment eu besoin d'une preuve de dureté APX, et je me demande s'il existe une collection similaire (et plus à jour ..?) De...
Je suis intéressé par les propriétés d'une classe de graphes bipartites où tous les nœuds sont 3 réguliers, tous les noeuds sont 2 réguliers, et. Tout d'abord, s'agit-il d'une classe de graphiques bien connue? Deuxièmement,G(X∪Y,E)G(X∪Y,E)G(X \cup Y, E)XXXYYY|X|=|2Y/3||X|=|2Y/3||X|=|2Y/3|...
J'ai lu plusieurs fois qu'il n'est pas possible de retourner la réponse d'un NDTM efficacement. Cependant, je ne comprends pas pourquoi. Par exemple, étant donné un MTND qui fonctionne en O ( n ) , ce texte (section 3.3) indique qu'il ne sait pas comment une autre MTND T peut déterminer dans O ( n...