problemas de decisión que son al menos tan difíciles como los problemas de NP completo
La mayor parte del cifrado actual, como el RSA, se basa en la factorización de enteros, que no se cree que sea un problema NP-hard, pero pertenece a BQP, lo que lo hace vulnerable a las computadoras cuánticas. Me pregunto, ¿por qué no ha habido un algoritmo de cifrado basado en un problema NP-hard...
Leí en muchos lugares que algunos problemas son difíciles de aproximar (es NP-difícil aproximarlos ). Pero la aproximación no es un problema de decisión: la respuesta es un número real y no Sí o No. Además, para cada factor de aproximación deseado, hay muchas respuestas correctas y muchas...
Hay nnn contenedores mmm tipo de bolas. El iii th bin tiene etiquetas ai,jai,ja_{i,j} para 1≤j≤m1≤j≤m1\leq j\leq m , es el número esperado de bolas de tipo jjj . Comienzas con bjbjb_j bolas de tipo jjj . Cada bola de tipo jjj tiene peso wjwjw_j , y desea colocar las bolas en los contenedores de...
Me pregunto si hay un buen ejemplo para un problema NP-Hard fácil de entender que no sea NP-Complete y no sea indecidible. Por ejemplo, el problema de detención es NP-Hard, no NP-Complete, pero es indecidible. Creo que esto significa que es un problema que puede verificarse una solución, pero no...
Wikipedia, así como otras fuentes que he encontrado, enumeran el voidtipo de C como un tipo de unidad en lugar de un tipo vacío. Esto me parece confuso, ya que me parece que se voidajusta mejor a la definición de un tipo vacío / inferior. No habito valores void, por lo que puedo decir. Una...
Dado franjas horarias que gente quiere comprar. La persona tiene un valor para cada intervalo de tiempo . Cada persona solo puede comprar un bloque consecutivo de franjas horarias, que podrían estar vacías.nnnkkkiiih(i,j)≥0h(i,j)≥0h(i,j)\geq 0jjj ¿Existe un algoritmo de tiempo polinómico para...
Supongamos que P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} . NPINPI\mathsf{NPI} es la clase de problemas en NPNP\mathsf{NP} que no están ni en PP\mathsf{P} ni en NPNP\mathsf{NP} -duros. Puede encontrar una lista de problemas conjeturados como NPINPI\mathsf{NPI} aquí . El teorema de Ladner nos dice que si...
Aquí está el problema. Dado , donde cada T i ⊆ { 1 , ... , n } . ¿Hay un subconjunto S ⊆ { 1 , ... , n } con un tamaño máximo de k tal que S ∩ T i ≠ ∅ para todo i ? Estoy tratando de reducir este problema a SAT. Mi idea de una solución sería tener una variable x ik , n , T1, ... ,...
¿Cómo puedo probar que la conversión de CNF a DNF es NP-Hard? No estoy pidiendo una respuesta, solo algunas sugerencias sobre cómo
Wikipedia afirma que el problema de la suma de subconjuntos es encontrar un subconjunto de un conjunto múltiple de números enteros, cuya suma es cero. Además, afirma que es equivalente a encontrar un subconjunto con la suma de para cualquier dado .ssssss Entonces, como son equivalentes, debe haber...
Hay una reducción en el libro de Sipser "Introducción a la teoría de la computación" en la página 286 de 3SAT al problema del camino hamiltoniano. ¿Hay una reducción más simple? Por simple quiero decir una reducción que sería más fácil de entender (para estudiantes). ¿Existe una reducción...
¿Se requiere que un problema NP-hard sea computable? No lo creo, pero no estoy
Un Hidoku es una cuadrícula con algunos enteros precompletados de 1 a n 2 . El objetivo es encontrar un camino de enteros sucesivos (de 1 an×nn×nn \times nn2n2n^2 ) en la cuadrícula. Más concretamente, cada celda de la cuadrícula debe contener un número entero diferente de 1 a n 2 y cada celda con...
Un rompecabezas "Flow Free" consiste en un entero positivo y un conjunto de pares (desordenados) de vértices distintos en el gráfico de cuadrícula n × n , de modo que cada vértice esté en un par como máximo. Una solución para tal rompecabezas es un conjunto de rutas no dirigidas en el gráfico de...
¿Cuál es la complejidad de MIN-2-XOR-SATMIN-2-XOR-SAT\text{MIN-2-XOR-SAT} y MAX-2-XOR-SATMAX-2-XOR-SAT\text{MAX-2-XOR-SAT} ? ¿Están en P? ¿Son NP-hard? Para formalizar esto más precisamente, dejemos Φ ( x ) = ∧norteyoCyo,Φ(x)=∧inCi,\Phi\left(\mathbf x\right)={\huge\wedge}_{i}^{n}C_i, donde x =(...
Estaba jugando el otro día en este sitio web: http://regexcrossword.com/ y me pregunté cuál era la mejor manera de resolverlo. ¿Puedes resolver el siguiente problema en tiempo polinómico o es NP-hard? Dada una cuadrícula NxM con N expresiones regulares para las columnas y M para las filas,...
Supongamos que hay una sesión de tutoría en una universidad. Tenemos un conjunto de kkk preguntas Q = { q 1 ... q k }Q={q1…qk}Q = \{ q_1 \ldots q_k \} y un conjunto de nnn estudiantes S = { s 1 ... s n }S={s1…sn}S = \{ s_1 \ldots s_n \} . Cada estudiante tiene una duda en un determinado...
¿La completitud de coNP implica dureza NP? En particular, tengo un problema que he demostrado que es completo para coNP. ¿Puedo afirmar que es NP-hard? Me doy cuenta de que puedo reclamar dureza de coNP, pero no estoy seguro de si esa terminología es estándar. Me siento cómodo con la afirmación de...
Supongamos que yo soy dado un conjunto finito de puntos en el plano, y se le pidió que dibujara una curva C ( P ) dos veces diferenciable a través de los p i 's, de modo que su perímetro sea lo más pequeño posible. Suponiendo que p i = ( x i , y i ) y x i < x i + 1 , puedo formalizar este...
Tengo una tarea para la cual me he estado golpeando la cabeza durante algún tiempo, y agradecería cualquier pista. Se trata de elegir un problema conocido, cuya integridad NP está probada, y construir una reducción de ese problema al siguiente problema que llamaré DGD (diagnóstico de gráfico...