Se sabe que es NP completo para probar si existe un ciclo hamiltoniano en un gráfico de 3 regulares, incluso si es plano (Garey, Johnson y Tarjan, SIAM J. Comput. 1976) o bipartito (Akiyama, Nishizeki, y Saito, J. Inform. Proc. 1980) o para probar si existe un ciclo hamiltoniano en un gráfico...
Está claro que cualquier problema que sea decidible en el espacio de registro determinista ( ) se ejecuta en la mayoría de los casos de polinomios ( ). Hay una gran cantidad de clases de complejidad entre y . Los ejemplos incluyen , , , , , . Se cree ampliamente que .P L P N L L o g C F L N C i S A...
Una pregunta muy específica, lo sé, y dudo que sea respondida por alguien que no esté familiarizado con las reglas de Magic. Publicación cruzada en Draw3Cards . Aquí están las reglas integrales para el juego Magic: the Gathering . Vea esta pregunta para obtener una lista de todas las cartas...
Existe una rica literatura y al menos un libro muy bueno que establece la dureza conocida de los resultados de aproximación para problemas NP-duros en el contexto de error multiplicativo (por ejemplo, la aproximación 2 para la cobertura de vértices es óptima suponiendo UGC). Esto también incluye...
Un gráfico H es un núcleo si cualquier homomorfismo de H a sí mismo es una biyección. Un subgrafo H de G es un núcleo de G si H es un núcleo y hay un homomorfismo de G a H. http://en.wikipedia.org/wiki/Core_%28graph_theory%29 Dado un gráfico G, ¿cuál es el algoritmo exacto más conocido para...
Contar el número de coincidencias perfectas en un gráfico bipartito se puede reducir de inmediato a calcular el permanente. Dado que encontrar una coincidencia perfecta en un gráfico no bipartito está en NP, existe una reducción de los gráficos no bipartitos al permanente, pero puede implicar una...
Dada una enorme base de datos de palabras permitidas (ordenadas alfabéticamente) y una palabra, encuentre la palabra de la base de datos que esté más cerca de la palabra dada en términos de distancia de Levenshtein. El enfoque ingenuo es, por supuesto, simplemente calcular la distancia levenshtein...
La conjetura de reconstrucción dice que los gráficos (con al menos tres vértices) están determinados únicamente por sus subgrafos eliminados de vértices. Esta conjetura tiene cinco décadas. Al buscar literatura relevante, descubrí que se sabe que las siguientes clases de gráficos son...
Problema de matrimonio estable: http://en.wikipedia.org/wiki/Stable_marriage_problem Soy consciente de que para una instancia de un SMP, son posibles muchos otros matrimonios estables, aparte del que devuelve el algoritmo Gale-Shapley. Sin embargo, si solo se nos da , el número de hombres /...
Tipos y lenguajes de programación se enfoca bastante en el subtipo, pero por lo que puedo decir, el subtipo no parece especialmente fundamental. ¿El subtipo le da algo más que los tipos dependientes? Trabajar con tipos dependientes seguramente será más trabajo, por lo que puedo entender por qué los...
Quiero hacer un primer solucionador SAT. Conozco la competencia SAT y la conferencia SAT, y hay tantos documentos sobre este tema. Soy un abridor, un abrumador abrumador. ¿Dónde debería comenzar? Finalmente quiero impulsar el estado del arte. Quiero un consejo experto sobre cómo comenzar, para no...
Dados subconjuntos de .S 1 , ... , S n { 1 , ... , d }nnnS1,…,SnS1,…,SnS_1,\ldots,S_n{1,…,d}{1,…,d}\{1,\ldots,d\} Compruebe si hay conjuntos con . (Si es así, encuentre un ejemplo, si no, simplemente diga "no")Si,SjSi,SjS_i,S_jSi⊊SjSi⊊SjS_i \subsetneq S_j La solución trivial a este problema pasa...
Para cualquier lenguaje sobre Σ * , definir L 1 / 2 = { x ∈ Σ * : x y ∈ L , y ∈ Σ | x | } . En palabras, consiste de todas las para los cuales existe un de igual longitud tal que .LLLΣ∗Σ∗\Sigma^*L1/ 2= { x ∈ Σ∗: x y∈ L , y∈ ΣEl | x |} .L1/ /2={X∈Σ∗:Xy∈L,y∈ΣEl |XEl |}.L_{1/2} = \{x \in \Sigma^* :...
En "Requisitos para el cálculo cuántico" , Bartlett y Sanders resumen algunos de los resultados conocidos para el cálculo cuántico variable continuo en la siguiente tabla: MI pregunta es triple: Nueve años después, ¿se puede llenar la última celda? Si se agrega una columna con el título...
Está bien establecido que existe un umbral de ruido para el cómputo cuántico, de modo que por debajo de este umbral, el cómputo se puede codificar de tal manera que produzca el resultado correcto con probabilidad acotada (a lo sumo, sobrecarga computacional polinómica). Este umbral depende de la...
Esto está relacionado con la pregunta ¿Ya se conoce el tamaño de membresía de los testigos para cada idioma de NP? Algunos problemas naturales (-completos) tienen testigos de longitud lineal: una asignación satisfactoria para , una secuencia de vértices para , etc. S A T H A M P A T...
Editar: Primero formulé mal mi restricción (2), ahora está corregida. También agregué más información y ejemplos. Con algunos colegas, estudiando alguna otra pregunta algorítmica, pudimos reducir nuestro problema al siguiente problema interesante, pero no pudimos resolver la cuestión de su...
EDITAR (v2): se agregó una sección al final sobre lo que sé sobre el problema. EDITAR (v3): discusión agregada sobre el grado de umbral al final. Pregunta Esta pregunta es principalmente una solicitud de referencia. No sé mucho sobre el problema. Quiero saber si ha habido trabajo previo sobre...
¿Qué implicaciones tendría una prueba de la conjetura abc para
Estoy buscando un libro sobre estructuras de datos avanzadas que vaya más allá de lo que se cubre en los libros de texto estándar como Cormen, Leiserson, Rivest y Stein "Introducción a los algoritmos". Un libro que se puede usar para enseñar un curso de posgrado sobre estructuras de datos...