Preguntas etiquetadas con cc.complexity-theory

Arreglemos una codificación sin prefijo de máquinas de Turing y una máquina universal de Turing que en la entrada (codificada como el código sin prefijo de seguido de ) emite salidas de en la entrada (posiblemente ambos corriendo para siempre). Defina la complejidad de Kolmogorov de , , como la …

28 cc.complexity-theory  kolmogorov-complexity  universal-computation  universal-turing-machines 

La pregunta sobre la teoría " ¿Qué es NP restringido a testigos de tamaño lineal? " Pregunta sobre la clase NP restringida a testigos de tamaño lineal , peroO ( n )O(n)O(n) ¿Existen problemas naturales de NP completo en los que (sí) las instancias de tamaño requieren testigos de tamaño …

28 cc.complexity-theory  np  proof-complexity 

En su libro, Boolean Function Complexity, Stasys Jukna menciona (página 564) que Kolmogorov creía que cada lenguaje en P tiene circuitos de tamaño lineal. No se menciona ninguna referencia y no pude encontrar nada en línea. ¿Alguien sabe más sobre esto?

28 cc.complexity-theory  reference-request  circuit-complexity  ho.history-overview 

¿Hay ejemplos de juguetes que brinden información 'esencial' para comprender las tres barreras conocidas para el problema : relativización, pruebas naturales y algebrización?PAGS= NPAGSP=NPP = NP

28 cc.complexity-theory  relativization  p-vs-np  natural-proofs  barriers 

Arregle un entero nortenn alfabeto Σ = { 0 , 1 }Σ={0,1}\Sigma=\{0,1\} . Defina D FA ( n )DFA(n)DFA(n) como la colección de todos los autómatas de estado finito en nortenn estados con estado inicial 1. Estamos considerando todos los DFA (no solo los conectados, mínimos o no degenerados); por …

28 cc.complexity-theory  fl.formal-languages  automata-theory  counting-complexity 

Estoy buscando buenos ejemplos, donde ocurre el siguiente fenómeno: (1) Un problema algorítmico parece difícil, si desea resolverlo trabajando desde las definiciones y utilizando solo resultados estándar. (2) Por otro lado, se vuelve fácil, si conoce algunos teoremas (no tan estándar). El objetivo de esto es ilustrar para los estudiantes …

28 cc.complexity-theory  ds.algorithms  graph-algorithms 

Sea f(x1,…,xn)f(x1,…,xn)f(x_1,\dots,x_n) un polinomio de grado en variables sobre , donde es constante (digamos 2 o 3). Me gustaría encontrar la fórmula más pequeña para , donde "fórmula" y "tamaño de fórmula" se definen de manera obvia (por ejemplo, la fórmula más pequeña para el polinomio es ).n F 2 …

28 cc.complexity-theory  formulas 

¿Tiene sentido considerar una categoría de todos los problemas de NP completo, con morfismos como reducciones de poli-tiempo entre diferentes instancias? ¿Alguien ha publicado alguna vez un artículo sobre esto, y si es así, dónde puedo encontrarlo?

28 cc.complexity-theory  np-hardness  ct.category-theory 

La publicación de blog de Scott Aaronson hoy dio una lista de interesantes problemas / tareas abiertas en complejidad. Uno en particular me llamó la atención: Cree una biblioteca pública de instancias 3SAT, con la menor cantidad de variables y cláusulas posibles, que tendrían consecuencias notables si se resuelven. (Por …

28 cc.complexity-theory  cr.crypto-security  sat  reductions  factoring 

Considere el problema 3-SAT en n variables. El número de posibles cláusulas distintas es: do= 2 n × 2 ( n - 1 ) × 2 ( n - 2 ) / 3 ! = 4 n ( n - 1 ) ( n - 2 ) / 3 .C=2n×2(n−1)×2(n−2)/3!=4n(n−1)(n−2)/3.C …

28 cc.complexity-theory  sat 

En muchos dominios, hay técnicas canónicas que todos los que trabajan en el campo deben dominar. Por ejemplo, para las reducciones de espacio de registro, el "truco de bits" para la composición que consiste en no construir la salida completa de la función compuesta, pero siempre solicita volver a calcular …

28 cc.complexity-theory  oracles  relativization 

En primer lugar, me disculpo de antemano por cualquier estupidez. De ninguna manera soy un experto en teoría de la complejidad (¡lejos de eso! Soy un estudiante universitario que toma mi primera clase en teoría de la complejidad). Aquí está mi pregunta. Ahora el teorema de Savitch establece que Ahora …

28 cc.complexity-theory  space-bounded 

Editar : como Ravi Boppana señaló correctamente en su respuesta y Scott Aaronson también agregó otro ejemplo en su respuesta , la respuesta a esta pregunta resultó ser "sí" de una manera que no esperaba en absoluto. Primero pensé que no respondían la pregunta que quería hacer, pero después de …

28 cc.complexity-theory  conditional-results  np  polynomial-hierarchy 

Solo conozco dos pruebas del lema de Schwartz-Zippel. La primera prueba (más común) se describe en la entrada de wikipedia . La segunda prueba fue descubierta por Dana Moshkovitz. ¿Hay alguna otra prueba que use ideas sustancialmente diferentes?

28 cc.complexity-theory  reference-request  algebra  polynomials  finite-fields 

Los problemas clásicos -queens preguntan, dado un número entero positivo n , si hay una matriz Q [ 1 .. n ] de números enteros que satisfacen las siguientes condiciones:nnortennnortenQ[1..n]Q[1 ..norte]Q[1..n] para todo i1≤Q[i]≤n1≤Q[yo]≤norte1\le Q[i] \le niyoi para todo i ≠ jQ[i]≠Q[j]Q[yo]≠Q[j]Q[i] \ne Q[j]i≠jyo≠ji\ne j para todo i ≠ jQ[i]−i≠Q[j]−jQ[yo]-yo≠Q[j]-jQ[i]-i …

27 cc.complexity-theory  board-games