Je sais que c'est idiot, mais j'ai réussi à me confondre et j'ai besoin d'aide pour régler ça Supposons que , alors clairement pour chaque oracle nous avons qui contredit le fait qu'il existe un oracle pour lequel , d'oùP= NPP=NPP=NPUNEUNEAPUNE= NPUNEPUNE=NPUNEP^A=NP^AUNEUNEAPUNE≠...
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...
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...
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...
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
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...
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...
J'essaie de travailler sur une tâche (tirée du livre Algorithms - par S. Dasgupta, CH Papadimitriou et UV Vazirani , Chap 8, problème 8.6a), et je paraphrase ce qu'il dit: Étant donné que 3SAT reste NP-complet même lorsqu'il est limité à des formules dans lesquelles chaque littéral apparaît au plus...
J'ai appris aujourd'hui que l'analyse d'algorithme diffère en fonction du modèle de calcul. C'est quelque chose auquel je n'ai jamais pensé ni entendu parler. Un exemple qui m'a été donné, qui l'a illustré davantage, par l'utilisateur @chi était: Par exemple, considérons la tâche: étant donné...
Formulation alternative Je suis venu avec une formulation alternative au problème ci-dessous. La formulation alternative est en fait un cas particulier du problème ci-dessous et utilise des graphiques bipartites pour décrire le problème. Cependant, je crois que la formulation alternative est...
J'ai un problème dans mon esprit, je pense que c'est un problème de PNJ mais je ne sais pas comment le prouver. Voici le problème: Il y a k îles dans un lac très grand, et il y a n pontons en forme d' éventail. Ces pontons sont de la même taille mais ont des directions initiales différentes et sont...
Je prends un cours sur la complexité informatique. Mon problème est que je ne comprends pas la méthode de relativisation . J'ai essayé de trouver un peu d'intuition dans de nombreux manuels, malheureusement, jusqu'à présent sans succès. J'apprécierai que quelqu'un puisse faire la lumière sur ce...
Considérons le problème suivant dont l'instance d'entrée est un simple graphe et un entier naturel .GGGkkk Existe-t-il un ensemble tel que est biparti et ?S⊆V(G)S⊆V(G)S \subseteq V(G)G−SG−SG - S|S|≤k|S|≤k|S| \leq k Je voudrais montrer que ce problème est -complet en y réduisant 3-SAT, -CLIQUE,...
Je commence tout juste à entrer dans la théorie du calcul, qui étudie ce qui peut être calculé, à quelle vitesse, en utilisant la quantité de mémoire et avec quel modèle de calcul. J'ai une question assez basique, mais j'espère vraiment que certains d'entre vous pourront m'aider à comprendre le...
Pour raisonner sur des choses comme l'exhaustivité de NP, nous utilisons généralement plusieurs réductions (c.-à-d. Des réductions de Karp). Cela conduit à des images comme celle-ci: (sous conjectures standard). Je suis sûr que nous connaissons tous ce genre de choses. Quelle image obtenons-nous si...
Si alors la hiérarchie s'effondre à son deuxième niveau (par le théorème de Karp-Lipton). Mais qu'en est-il de N P et de c o N P ?RP=NPRP=NP\sf RP = NPNPNP\sf NPcoNPcoNP\sf coNP J'ai essayé de prouver que est contenu dans N P (l'autre sens est trivial si R P = N P ) mais en vain, et je ne suis même...
Étant donné deux entiers et en représentation binaire, quelle est la complexité du calcul de la taille en bits de ?n x nXxxnnnXnxnx^n Une façon de procéder consiste à calculer en calculant une approximation de avec une précision suffisante. Il apparaît que le calcul avec bits de précisions peut se...
Supposons que je vous donne un graphique non orienté avec des bords pondérés, et que je vous dise que chaque nœud correspond à un point dans l'espace 3D. Chaque fois qu'il y a une arête entre deux nœuds, le poids de l'arête est la distance entre les points. Votre objectif est de reconstruire les...
Il y a un jeu de livre de puzzle classique très similaire à un puzzle de mots croisés, sauf qu'une liste de mots est donnée, puis un tableau carré composé de carrés d'unité est donné, avec quelques carrés noircis comme un mot croisé, et certains carrés contiennent déjà une lettre pré-écrite. Le but...