Preguntas etiquetadas con cc.complexity-theory

En mi educación en ciencias de la computación, noto cada vez más que la mayoría de los problemas discretos son NP completos (al menos), mientras que la optimización de problemas continuos es casi siempre fácil de lograr, generalmente a través de técnicas de gradiente. ¿Hay excepciones a esto?

27 cc.complexity-theory  co.combinatorics  optimization 

Esta pregunta se migró de Computer Science Stack Exchange porque se puede responder en Teorematic Computer Science Stack Exchange. Migrado hace 6 años . Parece que muchas personas creen que , en parte porque creen que la factorización no es solucionable por tiempo múltiple. (Shiva Kintali ha enumerado algunos otros …

27 cc.complexity-theory  np  conditional-results 

¿Cuál es la complejidad de decidir si un circuito con bits de entrada y bits de salida calcula una permutación de ? en otras palabras, si cada cadena de bits en es una salida del circuito para alguna entrada? Parece un problema que ha sido estudiado, pero no puedo encontrar …

27 cc.complexity-theory  circuit-complexity  permutations 

Quisiera preguntar sobre un caso especial de la pregunta " Decidir si un circuito NC 0 determinado calcula una permutación " por QiCheng que no se ha respondido. Un circuito booleano se denomina circuito NC 0 k si cada puerta de salida depende sintácticamente de, como máximo, k puertas de …

27 cc.complexity-theory  open-problem  permutations  circuit-families 

Mientras lee el artículo "¿Es hora de declarar la victoria en el conteo de la complejidad?" en el blog "La carta perdida de Godel y P = NP" , mencionaron la dicotomía para los CSP. Después de seguir algunos enlaces, buscar en Google y escribir en wikipedia, me encontré con …

27 cc.complexity-theory  np-hardness  complexity-classes  sat  csp 

Soy un científico de la computación que toma un curso sobre topología (una pizca de topología de conjunto de puntos fuertemente aromatizada con la teoría del continuo). Me interesaron los problemas de decisión al probar una descripción de un espacio (por simplificaciones) para propiedades topológicas; los conservados hasta el homeomorfismo. …

27 cc.complexity-theory  big-list  topology 

En la complejidad computacional, existe una distinción importante entre los cálculos monótonos y generales, y un famoso teorema de Razborov afirma que 3-SAT e incluso MATCHING no son polinomiales en el modelo de circuitos booleanos monótonos. Mi pregunta es simple: ¿hay un análogo cuántico para circuitos monótonos (o más de …

27 cc.complexity-theory  quantum-computing  circuit-complexity 

Dada una matriz binaria por (las entradas son o ), el problema es determinar si existen dos vectores binarios modo que (todas las operaciones se realizan sobre ). ¿Es este problema NP-hard?mmmnnnMMM000111v1≠v2v1≠v2v_1 \ne v_2Mv1=Mv2Mv1=Mv2Mv_1 = Mv_2ZZ\mathbb{Z} Está claramente en NP, ya que puede dar dos vectores como testigos. Equivalente: dado …

27 cc.complexity-theory  np-hardness  linear-algebra 

Peter Shor mostró que dos de los problemas NP-intermedios más importantes, la factorización y el problema de registro discreto, están en BQP. Por el contrario, el algoritmo cuántico más conocido para SAT (búsqueda de Grover) solo produce una mejora cuadrática sobre el algoritmo clásico, lo que sugiere que los problemas …

27 cc.complexity-theory  quantum-computing  np  np-intermediate 

Parity-L es el conjunto de lenguajes reconocidos por una máquina de Turing no determinista que solo puede distinguir entre un número par o un número impar de rutas de "aceptación" (en lugar de un número cero o no cero de rutas de aceptación), y que es restringido aún más al …

27 cc.complexity-theory  complexity-classes  conditional-results 

En el modelo de caja negra, el problema de determinar la salida de una máquina BPP en la entrada es el problema de conteo aproximado de determinar con error aditivo 1/3 (digamos).x E r M ( x , r )METRO( x , r )M(x,r)M(x,r)XxxmirMETRO( x , r )ErM(x,r)E_r M(x,r) ¿Hay …

27 cc.complexity-theory  quantum-computing  black-box 

¿Qué son las "regiones fáciles" para la satisfacción? En otras palabras, condiciones suficientes para que un solucionador de SAT pueda encontrar una tarea satisfactoria, suponiendo que exista. Un ejemplo es cuando cada cláusula comparte variables con algunas otras cláusulas, debido a la prueba constructiva de LLL, ¿algún otro resultado en …

27 cc.complexity-theory  sat 

Quiero saber si la falta de uniformidad ayuda a las funciones informáticas en la práctica. Es fácil mostrar que hay funciones en , tome cualquier función no calificable y considere el lenguaje { }, que claramente tiene -circuitos uniformes, pero no es computable de manera uniforme en absoluto, pero este …

27 cc.complexity-theory  uniformity 

Esta puede ser una pregunta básica, pero he estado leyendo y tratando de entender documentos sobre temas como el cálculo de equilibrio de Nash y las pruebas de degeneración lineal y no he estado seguro de cómo se especifican los números reales como entrada. Por ejemplo, cuando se afirma que …

27 cc.complexity-theory  computability  na.numerical-analysis  computing-over-reals  computable-analysis 

Sea una matriz entera cuadrada, y sea n un entero positivo. Estoy interesado en la complejidad del siguiente problema de decisión:MMMnnn ¿Es positiva la entrada superior derecha de ?MnMnM^n Tenga en cuenta que el enfoque obvio de la cuadratura iterada (o cualquier otro cálculo explícito) requiere que manejemos potencialmente enteros …

26 cc.complexity-theory  linear-algebra  matrices