Dados números modo que hay una asignación de números que es una permutación de tal queA 1 ≤ A 2 ≤ . . . ≤ A k k Σ i = 1 A i = k ( 2 k + 1 ) i 1 , i 2 , . . . , I 2 k 1 , 2 , . . . , 2 kkkkUN1≤ A2≤ . . . ≤ AkUN1≤UN2≤...≤UNkA_1 \leq A_2 \leq ... \leq A_k∑i =...
Mi libro dice esto Si un problema de decisión B está en P y A se reduce a B, entonces el problema de decisión A está en P. Un problema de decisión B es NP completo si B está en NP y para cada problema en A en NP, A se reduce a B. Un problema de decisión C es NP completo si C está en NP y...
¿Es esta variante del problema de suma de subconjuntos fácil / conocida? Dado un entero , y un conjunto de enteros positivos tal que cada tiene como máximo bits establecidos en ( ); ¿hay un subconjunto tal que la suma de sus elementos sea igual a ?A = { x 1 , x 2 , . . . , x n } x i k = 2 1 x i =...
Tengo un problema que sospecho es NP-completo. Es fácil demostrar que es NP. Mi actual tren de pensamiento gira en torno al uso de una reducción de la mochila, pero daría como resultado casos de 0-1-mochila con el valor de cada elemento igual a su peso. ¿Sigue siendo NP completo? ¿O me estoy...
¿Hay alguna clase de problemas NP que tengan una solución única? Lo pregunto porque cuando estaba estudiando criptografía leí sobre la mochila y la idea me pareció muy
Así que acabamos de aprender sobre la auto-reducibilidad en clase. Mi profesor y nuestro libro de texto no se comprometerían a decir que todos los problemas en NP son auto reducibles, pero no parece haber ningún ejemplo de problemas que no lo sean. Me preguntaba si hay algún ejemplo, o si es solo...
Considere el siguiente problema del universo . El problema del universo. Dado un conjunto finitoΣΣ\Sigma para una clase de idiomas y un autómata que acepta el idioma LLL, decidir si L=Σ∗L=Σ∗L=\Sigma^*. En [1], se afirma y prueba que el problema del universo es indecidible para una clase...
Dejar L1L1L_1 y L2L2L_2 ser el siguiente: 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):...
Estaba mirando esta lectura del MIT sobre la complejidad computacional y en el minuto 15:00 Erik Demaine se embarca en una demostración para mostrar lo que se indica en el título de esta pregunta. Sin embargo, no puedo seguir su razonamiento, en la práctica lo que dice es esto: podemos establecer...