Questions marquées «decision-problem»

Mon livre dit ceci Si un problème de décision B est dans P et A se réduit à B, alors le problème de décision A est dans P. Un problème de décision B est NP-complet si B est dans NP et pour chaque problème dans A dans NP, A se réduit à B. Un problème de décision C est NP-complet si C est dans NP et...

J'ai un problème que je soupçonne être NP-complet. Il est facile de prouver qu'il s'agit de NP. Mon courant de pensée tourne autour de l'utilisation d'une réduction par rapport au sac à dos, mais il en résulterait des instances de 0-1-sac à dos avec la valeur de chaque élément étant égale à son...

Cette variante du problème de somme de sous-ensemble est-elle facile / connue? Étant donné un entier mmm et un ensemble d'entiers positifs tels que chaque a au plus bits mis à ( ); existe-t-il un sous-ensemble tel que la somme de ses éléments soit égale à ?x i k = 2 1 x i = 2 b i 1 + 2 b i 2...

Y a-t-il une classe de problèmes NP qui ont une solution unique? C'est ce que je demande, parce que lorsque j'étudiais la cryptographie, j'ai lu sur le sac à dos et j'ai trouvé l'idée très

Considérez le problème d'univers suivant . Le problème de l'univers. Étant donné un ensemble fini pour une classe de langages, et un automate acceptant le langage L , décidez si L = \ Sigma ^ * .ΣΣ\SigmaLLLL=Σ∗L=Σ∗L=\Sigma^* Dans [1], il est indiqué et prouvé que le problème de l'univers est...

Nous venons donc d'apprendre sur l'auto-réductibilité en classe. Mon professeur et notre manuel ne s'engageraient pas à dire que tous les problèmes de NP sont auto-réductibles, mais il ne semble pas y avoir d'exemples de problèmes qui ne le soient pas. Je me demandais s'il y avait des exemples, ou...

Soit et les suivants:L1L1L_1L2L2L_2 L1={r:∃x,y∈Z such that x2+y2=r}L1={r:∃x,y∈Z such that x2+y2=r}L_1=\{r:\exists x,y \in \mathbb{Z} \text{ such that } x^2+y^2=r\} L2={(N,M):M<N,∃1<d≤M such that d|N}L2={(N,M):M<N,∃1<d≤M such that d|N}L_2=\{(N,M):

Je regardais cette lecture du MIT sur la complexité de calcul et à la minute 15h00, Erik Demaine se lance dans une démonstration pour montrer ce qui est indiqué dans le titre de cette question. Cependant, je ne peux pas suivre son raisonnement, dans la pratique ce qu'il dit est le suivant: nous...