Considere un problema en el que se le proporciona una cuadrícula 2D (por ejemplo, un tablero de ajedrez) donde están ocupados ciertos cuadrados y necesita colocar el número mínimo de rectángulos no superpuestos de cualquier tamaño wxh donde w = 1 o h = 1 (es decir, "cuadrado segmentos ") de modo...
Supongamos que P! = NP. Sabemos que podemos hacer instancias fáciles de 3-SAT en cualquier momento. También podemos generar lo que creemos que son instancias difíciles (porque nuestros algoritmos no pueden resolverlas rápidamente). ¿Hay algo que impida que el conjunto de instancias difíciles sea...
¿Cuáles son los límites superiores asintóticos más conocidos en tamaños de pruebas probabilísticamente comprobables? Idealmente, estoy buscando una encuesta contemporánea sobre esta amplia pregunta, pero si no hay ninguna, estoy especialmente interesado en la inaccesibilidad de 3-SAT. Deje que 7/8...
¿Existen algoritmos conocidos para el siguiente problema que superen al algoritmo ingenuo? Entrada: matriz y vectores , donde todas las entradas de son enteros no negativos.b , c A , b , cAAAb,cb,cb,cA,b,cA,b,cA,b,c Salida: una solución óptima a
Suponga que tengo conjuntos de con elementos tomados de r posibles. Cada conjunto es de tamaño n ( n < r ), donde los conjuntos pueden superponerse. Quiero determinar si los siguientes dos problemas son NP completos o
Me pregunto si el siguiente problema es NP-hard. Entrada: G = ( V, E)G=(V,E)G = (V,E) un gráfico simple y una coloración de los bordes ( no verifica ninguna propiedad específica).fF: E→ { 1 , 2 , 3 }f:E→{1,2,3}f : E \to \{1,2,3\}Fff Pregunta: ¿ es posible dividir en triángulos | E | / 3 , de...
El problema estándar 1-en-3 SAT (o XSAT o X3SAT) es: Instancia : una fórmula CNF con cada cláusula que contiene exactamente 3 literales Pregunta : ¿existe una asignación satisfactoria que establezca exactamente 1 literal por cláusula verdadera? El problema es NP-completo y sigue siendo difícil...
Dado un grafo dirigido fijo (dígrafo) , la problema de decisión -Coloreado pregunta si un dígrafo entrada tiene un homomorfismo a . (Un homomorfismo de a es un mapeo de a que conserva los arcos, es decir, si es un arco de , entonces es un arco de )D G D G D f V ( G ) V ( D ) u v G f ( u ) f ( v )...
Hay un buen artículo de 1991 que contiene tres diagramas sobre diferentes familias de clases de grafos que muestran lo que se sabe sobre la dureza de determinar el índice cromático para ellos. ¿Hay alguna noticia desde entonces sobre esto? Estoy más interesado en lo que se sabe sobre gráficos con...
La siguiente noción de un algoritmo de destilación proviene de "En problemas sin núcleos polinomiales". Deje que se le dé una lenguaUn algoritmo de destilación para toma una lista dada de cadenas de entrada y calcula una cadena de salida tal que:L { x i } i ∈ [ t ] yLLLLLL{ xyo}i ∈ [ t...
Dado un torneo donde y haber dos acíclico sub-torneo de .S 1 S 2 TTTTS1S1S_1S2S2S_2TTT ¿Es NP-Complete el siguiente problema: Encontrar un sub-torneo acíclico máximo , que es un subconjunto de ?S 1 ∪ S 2SSSS1∪ S2S1∪S2S_1 \cup S_2 ¿Se puede resolver el problema dado en tiempo polinómico? De lo...
En nuestro grupo de investigación estamos trabajando en la aplicación de métodos heurísticos al problema de iluminación inversa (es decir, dada una serie de restricciones sobre las condiciones de iluminación en una escena, encontrar los lugares donde se deben colocar las fuentes de luz y sus...
Estoy buscando vincular un problema en el que estoy trabajando con un problema NP-hard conocido. Creo que puedo modelar mi problema como un problema de ruta más corta con recursos limitados. Sin embargo, la estructura de mi gráfico no es completamente arbitraria. Por lo tanto, será útil saber...
Conozco las siguientes variantes de problemas SUBSETSUM: ( Elberfeld at. Al., 2010 ), NP-complete , y NEXP-complete ( enlace ).S U B S E T S U M S U C C I N C T - S U B S E T S U MUN A R Y - S UB S E T S UM∈LUNARY-SUBSETSUM∈L \mathtt{UNARY\mbox{-}SUBSETSUM} \in \mathsf{L} SUBSETSUMETROSUBSETSUM...
¿El siguiente problema es NP-hard? Dado un conjunto de números reales (objetivos) x 1 , ... , x N y un "tridente" definido por dos distancias a , b desde el centro del tridente, ¿cuál es el número mínimo K de posiciones p 1 , ... , p K del tridente para cubrir todos los objetivos, es decir, K ⋃ k...
Net (también conocido como FreeNet o NetWalk) es un juego de rompecabezas que se juega en una cuadrícula con los siguientes objetos:n × nn×nn \times n hay computadoras ; cada computadora ocupa una celda y tiene un cable de enlace;metromm cada computadora debe estar conectada a la unidad central...
Mientras estudiaba un problema en la teoría algorítmica de juegos, me interesó la complejidad de la siguiente pregunta de optimización: Problema Dado: conjunto de tierra dado por ,nU= [ n ] = { 1 , ... , n }U=[n]={1,…,n}U = [n] = \{1,\ldots,n\}nortenn metromm clasificaciones dadas como órdenes...
Para poder explicar el problema P vs NP a los no matemáticos, me gustaría tener un ejemplo pedagógico de cuándo se puede evitar la búsqueda de fuerza bruta. Idealmente, el problema debería ser inmediatamente comprensible y el truco no debería ser ni demasiado fácil ni demasiado difícil. Lo mejor...
Mientras discutíamos la pregunta que había hecho aquí , @NealYoung y yo encontramos otro problema, que es juzgar la complejidad del problema a continuación: Dado un gráfico conectado no dirigido, encontrar un subconjunto de tamaño máximo de los bordes de modo que cada vértice tenga grado como...
En el OrderedPartitionproblema, la entrada es dos secuencias de enteros positivos, y . El resultado es una partición de los índices en dos subconjuntos disjuntos, y , de modo que:nnn(ai)i∈[n](ai)i∈[n](a_i)_{i\in [n]}(bi)i∈[n](bi)i∈[n](b_i)_{i\in