Questions marquées «np-hardness»

15
Peut-on échantillonner efficacement et de manière uniforme un voisin d'un sommet dans le graphique d'un polytope?

J'ai un polytope PPP défini par {x:Ax≤b,x≥0}{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} . Question: Étant donné un sommet vvv de PPP , existe-t-il un algorithme polynomial de temps pour échantillonner uniformément à partir des voisins de vvv dans le graphique de PPP ? (Polynôme dans la dimension, le...

14
Ajoutez une correspondance à un chemin hamiltonien pour réduire la distance maximale entre des paires de sommets données

Quelle est la complexité du problème suivant? Entrée : unchemin hamiltonienen K nHHHKnKnK_n un sous-ensemble de paires de sommetsR⊆[n]2R⊆[n]2R \subseteq [n]^2 un entier positif kkk Requête : existe-t-il un correspondant tel que pour chaque , ? (où G = ( [ n ] , M ∪ H ) )MMM(v,u)∈R(v,u)∈R(v,u) \in...

14
L'équivalence eta pour les fonctions est-elle compatible avec l'opération seq de Haskell?

Lemme: En supposant une équivalence éta, nous avons cela (\x -> ⊥) = ⊥ :: A -> B. Preuve: ⊥ = (\x -> ⊥ x)par eta-équivalence, et (\x -> ⊥ x) = (\x -> ⊥)par réduction sous lambda. Le rapport Haskell 2010, section 6.2 spécifie la seqfonction par deux équations: seq :: a -> b -> b...

13
Jeu d'arc à rétroaction transitive (TFAS): NP-complet?

Il y a quelque temps, j'ai publié une demande de référence pour les problèmes de graphe où nous voulons trouver une partition à 2 des bords où les deux ensembles remplissent une propriété sans rapport avec leur cardinalité. J'essayais de prouver que le problème suivant est NP-difficile: Étant donné...

13
Intermédiaire

Le problème de partition est faiblement NP-complet car il a un algorithme de temps polynomial (pseudo-polynomial) si les entiers d'entrée sont délimités par un polynôme. Cependant, la partition 3 est un problème fortement NP-complet même si les entiers d'entrée sont délimités par un polynôme. En...