Sudoku est un puzzle bien connu qui est NP-complet. Le Sudoku binaire est une variante qui n'autorise que les chiffres et 1 . Les règles sont les suivantes.000111 Chaque ligne et chaque colonne doit contenir un nombre égal de zéros et de uns. Chaque ligne et chaque colonne est unique. Aucune ligne...
Cette question est motivée par ce post, pouvez-vous identifier la somme de deux permutations en temps polynomial? et mon intérêt pour les propriétés de calcul des permutations. Une séquence de différences d'une permutation π de nombres 1 , 2 , … n + 1 est formée en trouvant la différence entre tous...
En répondant à cette question sur cstheory , j'ai (officieusement) prouvé à la volée le théorème suivant: Théorème : Pour tout fixe, le probem du cycle hamiltonien reste NP-complet même s'il est limité à des graphes bipartites planaires non orientés de degré 3 maximum qui ne contiennent pas de...
Dans un graphe dirigé, , F ⊂ E , si G ∖ F est un DAG (graphe acyclique dirigé), F est appelé un ensemble d'arc de rétroaction. G=(V,E)G=(V,E)G=(V,E)F⊂EF⊂EF\subset EG∖FG∖FG\setminus FFFF Si chaque bord est associé à un poids , le problème de jeu d'arc à rétroaction de coût minimum est de trouver un...
Je me demande si les classes NPC définies par plusieurs réductions et les réductions de Turing sont égales. Edit: Une autre question, est-ce que les réductions de Turing ne font que réduire les classes C et co-C pour certains C ou existe-t-il une classe telle qu'il existe un problème qui n'est pas...
Dans un graphique, un ensemble indépendant est un sous-ensemble de sommets qui ne contient pas d'arête comme sous-graphique induit. Le problème de trouver les plus grands ensembles indépendants dans un graphique est une question algorithmique fondamentale, et difficile à résoudre. Considérons la...
Dans la complexité paramétrée, les gens utilisent la réduction à paramètres fixes (FPT) pour prouver la dureté W [t]. Théoriquement, une réduction FPT n'est pas une réduction du temps polynomial, car elle peut s'exécuter de façon exponentielle dans le paramètre k. Mais dans la pratique, toutes les...
Cette question était motivée par une question posée sur stackoverflow . Supposons que l'on vous donne un arbre enraciné (c'est-à-dire qu'il y a une racine et que les nœuds ont des enfants, etc.) sur n nœuds (étiquetés 1 , 2 , … , n ).TTTnnn1,2,…,n1,2,…,n1, 2, \dots, n Chaque sommet a un poids...
Nurikabe est un puzzle de remplissage de grille basé sur des contraintes, semblable à celui du Démineur / Nonogrammes; les nombres sont placés sur une grille qui doit être remplie avec des valeurs d'activation / désactivation pour chaque cellule, chaque nombre indiquant une région de cellules...
Je m'intéresse à une variation SAT où la formule CNF est monotone (aucune variable n'est niée). Une telle formule est évidemment satisfaisable. Mais disons que le nombre de vraies variables est une mesure de la qualité de notre solution. Nous avons donc le problème suivant: VÉRITABLE MONOTONE 3SAT...
Cette question n'est peut-être pas technique. En tant que locuteur non natif et TA pour la classe d'algorithmes, je me suis toujours demandé ce que signifie gadget dans «gadget de clause» ou «gadget variable». Le dictionnaire dit qu'un gadget est une machine ou un appareil, mais je ne sais pas...
Le problème de la partition à 3 cliques est le problème de déterminer si les sommets d'un graphe, disons , peuvent être partitionnés en 3 cliques. Ce problème est NP-difficile par une simple réduction du problème de la colorabilité 3. Il n'est pas difficile de voir que la réponse à ce problème est...
Le problème de la N-reine est le suivant: Entrée: N Sortie: Un placement de N "reines" sur un échiquier NXN de telle sorte qu'il n'y ait pas deux reines sur la même ligne, colonne ou diagonale. En effectuant une recherche Google à ce sujet, j'ai constaté que de nombreuses diapositives de nombreux...
Y a-t-il unL∈NPL∈NPL\in {\bf NP} avec les propriétés suivantes: On sait que implique P = N P .L∈PL∈PL\in {\bf P}P=NPP=NP{\bf P}={\bf NP} Il n'y a pas (connu) polynomiale réduction de Turing (ou un autre N P problème -complete) à L .SATSATSATNPNP{\bf NP}LLL En d'autres termes, si un algorithme...
Je recherche des problèmes fortement NP-durs pour une réduction. Jusqu'à présent, j'ai trouvé les problèmes suivants: Problème de 3 partitions problème de bin-packing Correspondance numérique tridimensionnelle TSP Tout problème NP-complet sans données numériques, par exemple, SATISFACILITÉ, CYCLE...
Ce problème a-t-il été étudié auparavant? Étant donné un graphe métrique non orienté G (les longueurs d'arête satisfont l'inégalité du triangle), trouver un ensemble S de sommets tel que MST (G [S]) est maximisé, où MST (G [S]) est l'arbre couvrant minimum du sous-graphe induit par S. Ce problème...
Tout d'abord, ma compréhension du théorème d'incomplétude de Gödel (et de la logique formelle en général) est très naïve, tout comme mes connaissances en informatique théorique (c'est-à-dire qu'un seul cours de troisième cycle est suivi pendant que je suis encore étudiant), donc cette question peut...
Je pensais à quelle classe ce langage appartient: est un graphique, est un nombre naturel et est le nombre chromatique dek k G }L = { ⟨ G , k ⟩ | GL={⟨g,k⟩∣gL =\{ \langle G,k \rangle \mid G kkkkkkG }g}G\} J'ai pensé à comme (1) "il n'y a pas de coloration des couleurs k-1" et (2) "il y a coloration...
Le problème de correspondance parfaite bicolore consiste à décider si un graphique a une coloration à deux couleurs de sorte que chaque nœud a exactement un voisin de la même couleur que lui. Schaefer a démontré que le problème était NP-complet . Il reste NP-complet même pour les graphes cubiques...
J'ai le problème suivant: Entrée: deux ensembles d'intervalles et T (tous les points d'extrémité sont des entiers). Requête: existe-t-il une bijection monotone f : S → T ?SSSTTTf:S→Tf:S→Tf:S \to T Le bijection est monotones l'ordre wrt d'inclusion ensemble sur et T . ∀ X ⊆ Y ∈ S , f ( X ) ⊆ f ( Y...