Ciencias de la computación teórica

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 

Lamento si esta pregunta es un poco vaga, pero tengo curiosidad por saber cómo los investigadores exitosos tienen una "idea" de los resultados en TCS. Por ejemplo, el álgebra lineal puede entenderse geométricamente o en términos de sus interpretaciones físicas (los vectores propios pueden considerarse "puntos estables" en un sistema), …

27 soft-question  intuition 

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 

A menudo puede encontrar métodos de plano de corte, propagación variable, ramificación y encuadernación, aprendizaje de cláusulas, retroceso inteligente o incluso heurística humana tejida a mano en solucionadores SAT. Sin embargo, durante décadas, los mejores solucionadores de SAT se han basado en gran medida en técnicas de prueba de resolución …

27 reference-request  big-list  sat  proof-complexity  lo.logic 

He estado pensando en el siguiente problema por un tiempo, y no he encontrado una solución polinómica para él. Solo de origen bruto. He estado tratando de reducir un problema NP-Complete en él también sin éxito. Aquí está el problema : Tiene un conjunto ordenado de pares enteros positivos. { …

27 ds.algorithms  np-hardness  sorting 

Recientemente he estado leyendo sobre algunas de las ideas y la historia del trabajo innovador realizado por varios lógicos y matemáticos con respecto a la computabilidad. Si bien los conceptos individuales son bastante claros para mí, estoy tratando de comprender con firmeza las interrelaciones y el nivel abstracto en el …

27 lo.logic  computability  turing-machines 

En general, se considera improbable que las computadoras cuánticas puedan resolver problemas NP-completos de manera eficiente. En el caso clásico, un enfoque para abordar tales problemas es utilizar algoritmos de aproximación. ¿Ha habido alguna investigación sobre algoritmos de aproximación que utilicen la computación cuántica en la que la cuantidad proporcione …

27 quantum-computing  approximation-algorithms 

Algunos problemas NP-hard que son exponenciales en gráficos generales son subexponenciales en gráficos planos porque el ancho del árbol es como máximo y son exponenciales en el ancho del árbol.4.9|V(G)|−−−−−−√4.9|V(G)|4.9 \sqrt{|V(G)|} Básicamente, estoy interesado si hay algoritmos subexponenciales para SAT PLANAR que es NP-complete. Sea una fórmula CNF en las …

26 graph-theory  sat  reductions 

Los otros editores sabios de Wikipedia han rechazado mi solicitud de mover el artículo de Wikipedia sobre el algoritmo Rabin-Karp a lo que creo que debería llamarse, el algoritmo Karp-Rabin, sobre la base de que el nombre Rabin-Karp se usa con más frecuencia ( falso, si uno usa los números …

26 ho.history-overview  string-matching 

Definimos un lenguaje de árbol regular como en el libro TATA : es el conjunto de árboles aceptado por un autómata de árbol finito no determinista (Capítulo 1) o, de manera equivalente, el conjunto de árboles generado por una gramática de árbol regular (Capítulo 2). Ambos formalismos se parecen mucho …

26 co.combinatorics  fl.formal-languages  tree  regular-language 

Estoy interesado en la densidad 3 satisfacciones críticas (3-SAT) . Se conjetura que tal existe: si el número de cláusulas 3-SAT generadas al azar es más, es casi seguro que no son satisfactorias. (Aquí es cualquier constante pequeña es el número de variables). Si el número es o menos, es …

26 pr.probability  random-k-sat 

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 

Shiva Kintali acaba de anunciar un resultado (¡genial!) De que el isomorfismo gráfico para gráficos de ancho de árbol acotado de ancho es -hard≥4≥4\geq 4⊕L⊕L\oplus L . Informalmente, mi pregunta es: "¿Qué tan difícil es eso?" Sabemos que no uniformemente , vea las respuestas a esta pregunta . También sabemos …

26 cc.complexity-theory  complexity-classes  logspace