El lenguaje de los whileprogramas puede expresar las funciones computablemente enumerables. (Esto es cierto incluso si las únicas operaciones aritméticas en variables son, por ejemplo, incremento y decremento). Si whilese reemplaza por forhacer bucles siempre delimitados, el lenguaje solo puede...
¿Cuáles son algunas aplicaciones de la descomposición gráfica modular en TCS / teoría de la complejidad? Estoy especialmente interesado en su uso en pruebas o límites superior / inferior si ocurre. [1] Descomposición gráfica modular , Wikipedia. [2] Referencias para la descomposición modular...
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...
Leí el famoso libro de Alon y Spencer sobre el método probabilístico en combinatoria. ¿Hay una encuesta o notas de conferencias sobre avances recientes y relaciones con los siguientes temas teóricos de complejidad de este método más allá de este libro de texto? generadores pseudoaleatorios que...
Considere cualquier lenguaje . Defina s ( L ) ∈ { 0 , 1 } ω (una secuencia infinita de bits) mediante la fórmula recursivaLLLs ( L ) ∈ { 0 , 1 }ωs(L)∈{0,1}ωs(L) \in {\lbrace 0, 1 \rbrace}^\omega s ( L )norte= χL( s ( L )< n)s(L)n=χL(s(L)<n)s(L)_n=\chi_L(s(L)_{>0:s(L)_n=\chi_U(s(L)_{0:s(L,...
Esto está motivado por mi pregunta anterior, Algoritmos de aproximación de tiempo súper polinomial para MAX-3SAT . Para muchos problemas de optimización, para cada uno tenemos una aproximación inferior de aproximación inferior asumiendo alguna conjetura teórica de complejidad ampliamente creída. En...
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...
En el documento "Codificación eficiente de CNF para seleccionar 1 de N objetos", los autores presentan su técnica de "variable comandante" para codificar la restricción, y luego hablan sobre el problema del casillero. Dado que mi error puede existir en la comprensión de nivel inferior, permítame...
Respuesta aceptada La respuesta de Scott Aaronson ha sido "aceptada" (¡principalmente porque es la única respuesta!) Resumen de respuesta de una oración Las generalizaciones plausiblemente naturales de la pregunta P versus NP no son obviamente más fáciles de resolver que P versus NP en sí. Una...
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...
La teoría de la complejidad parece estar construida alrededor de problemas de decisión más que de funciones. ¿Quién introdujo esto primero y cuál es la razón de esta elección? Por ejemplo, el papel de "Caminos, árboles y flores" de Edmonds se acredita generalmente como la fuente de la noción de...
Definamos el problema SAT de : dado F 3 , una fórmula satisfactoria de 3-CNF, y F 2 , una fórmula de 2-CNF ( F 3 y F 2 se definen en las mismas variables). ¿Es F 3 ∧ F 2 satisfactoria?( 3 , 2 )s(3,2)s(3,2)_sF3F3F_3F2F2F_2F3F3F_3F2F2F_2F3∧F2F3∧F2F_3 \wedge F_2 ¿Cuál es la complejidad de este...
Estoy interesado en cómo se prueba que una oración se relativiza. Por supuesto, probar que una oración no se relativiza es simple, como se ve en el resultado de Baker-Gill-Solovay; pero ¿cómo se prueba que una oración se relativiza, es decir, que es verdadera en relación con cualquier oráculo?...
Mientras hojeaba publicaciones antiguas de CStheory.se , me encontré con una fascinante publicación de blog sobre el problema de la mortalidad matricial . A menos que haya malinterpretado el problema, establece que dada una colección finita de 3 x 3 matrices con entradas enteras para cada valor de...
Dado un gráfico , ¿cuál es el número mínimo de bordes de que necesitamos eliminar para liberar el triángulo del gráfico? Para mi ojo inexperto, esto parece ser un problema difícil.solsolGsolsolG ¿Se sabe que este problema es NP completo? ¿Qué pasa con el análogo para gráficos orientados (es decir,...
(Publiqué esta pregunta en CS hace diez días, sin respuesta desde entonces, así que la publico aquí). Cualquier fórmula CNF se puede transformar en tiempo polinómico en una fórmula 3-CNF mediante el uso de nuevas variables. No siempre es posible si no se permiten nuevas variables (tome por ejemplo...
Estoy buscando una referencia sobre 'reducir' las reducciones de Turing a muchas reducciones. Tengo en mente una declaración de la siguiente forma (declaraciones suficientemente similares también me satisfarían): Teorema. Si , entonces .A ≤ 2 f m B t tA ≤FTsiA≤TfB\mathsf{A}\leq_T^f \mathsf{B}A...
¿Cuál es el algoritmo más rápido conocido para factorizar polinomios con nnn variables y grado total ≤d≤d\leq d ? Aquí, nnn está creciendo ddd está arreglado. La mayoría del trabajo parece considerar el caso cuando ddd está creciendo nnn es fijo. Me interesan los resultados tanto en campos finitos...
Una forma de probar NP coNP es mostrar que para cada sistema de prueba proposicional f computable en tiempo polinómico, existe una familia de tautologías para las cuales f requiere longitudes de prueba súper polinomiales (wrt la longitud de la tautología que se está probando). Resultados como el de...
¿Existe un problema gráfico de -completo natural , que sigue siendo N P -completo incluso cuando está restringido a cualquier clase de gráfico reconocible en tiempo polinómico? Para evitar casos degenerados, consideremos solo clases de gráficos densos , en los que el número de gráficos no...