Ciencias de la computación teórica

Definamos una clase de funciones sobre un conjunto de bits. Arregle dos distribuciones p , q que sean "razonablemente" diferentes entre sí (si lo desea, su distancia de variación es al menos ϵ , o algo similar).nnnp,qp,qp, qϵϵ\epsilon Ahora cada función en esta clase se define mediante una colección de …

10 lg.learning 

¿Existe una clase natural de fórmulas de CNF, preferiblemente una que se haya estudiado previamente en la literatura, con las siguientes propiedades:CCC CCC es un caso fácil de SAT, como por ejemplo Horn o 2-CNF, es decir, la membresía en puede probarse en tiempo polinomial, y las fórmulas pueden probarse …

10 sat  proof-complexity 

La siguiente pregunta se relaciona con la optimalidad de Bellman-Ford - t corta algoritmo de programación dinámica ruta (ver este post para una conexión). Además, una respuesta positiva implicaría que el tamaño mínimo de un programa de ramificación no determinista monótono para el problema STCONN es Θ ( n 3 …

10 graph-theory  circuit-complexity  lower-bounds 

En una charla de Razborov, se publica una pequeña y curiosa declaración. Si FACTORING es difícil, entonces el pequeño teorema de Fermat no es demostrable en S12S21S_{2}^{1} . ¿Qué es S12S21S_{2}^{1} y por qué las pruebas actuales no están en S12S21S_{2}^{1} ?

10 cc.complexity-theory  lo.logic  proof-complexity 

Deje que la clase BPNC (la combinación de y ) sean algoritmos paralelos de profundidad logarítmica con probabilidad de error limitada y acceso a una fuente aleatoria (no estoy seguro si este tiene un nombre diferente). Defina la clase DBPNC de manera similar, excepto que todos los procesos tienen acceso …

10 cc.complexity-theory  complexity-classes  dc.parallel-comp  randomness  pseudorandomness 

Estoy buscando referencias sobre la complejidad del problema de equilibrio de la fórmula booleana . En particular, ¿Se sabía que las fórmulas booleanas se pueden equilibrar en ?AC0AC0\mathsf{AC^0} ¿Hay alguna prueba simple de que el equilibrio de la fórmula booleana esté en ?AC0AC0\mathsf{AC^0} Por "simple" me refiero a una prueba …

10 cc.complexity-theory  ds.algorithms  reference-request  lo.logic  boolean-formulas 

BPPBPP\mathsf{BPP} yZPPZPP\mathsf{ZPP} son dos de las clases básicas de complejidad probabilística. BPPBPP\mathsf{BPP} es la clase de lenguajes decididos por algoritmos probabilísticos de tiempo de polinomio de Turing donde la probabilidad de que el algoritmo devuelva una respuesta incorrecta está limitada, es decir, la probabilidad de error es como máximo1313\frac{1}{3} (para …

10 cc.complexity-theory  complexity-classes  randomness  randomized-algorithms 

Mi pregunta es ¿por qué los límites inferiores para los circuitos booleanos de profundidad 3 con puertas "y" y "xor" para determinante no implican los mismos límites inferiores para los circuitos aritméticos sobre ?ZZ\mathbb{Z} Lo que está mal con el siguiente argumento: Sea un determinante calculador del circuito aritmético y …

10 cc.complexity-theory  circuit-complexity  arithmetic-circuits 

Dada una familia de a lo sumo n subconjuntos de { 1 , 2 , ... , n } . El cierre unión F es otra familia conjunto C que contiene cada conjunto que puede ser construido mediante la adopción de la unión de 1 o más conjuntos en F …

10 co.combinatorics  graph-algorithms  clique  independence 

En la semántica del lenguaje de programación, a menudo se escucha que las personas hablan sobre significado y denotación . Parecen no ser lo mismo. ¿Cuál es la diferencia? ¿El primero está asociado con la semántica operacional mientras que el segundo con la semántica denotacional? Gracias.

10 pl.programming-languages  semantics  denotational-semantics  operational-semantics 

Contexto : Kavvadias y Sideri han demostrado que el problema Inverso 3-SAT es coNP Completo: Dado un conjunto de modelos en n variables, ¿existe una fórmula 3-CNF tal que ϕ es su conjunto exacto de modelos? Surge una fórmula candidata inmediata que es la conjunción de todas las 3 cláusulas …

10 cc.complexity-theory  lo.logic  complexity-classes  computability  sat 

Sé que Gaussian Elimination toma operaciones aritméticas , pero no estoy seguro de si se conocen algoritmos mejores.O ( n3)O(norte3)O(n^3)

10 ds.algorithms  linear-algebra  matrices 

En la mayoría de los sistemas de prueba probabilística (teorema PCP, por ejemplo), las probabilidades de error generalmente se definen del lado de los falsos positivos, es decir, una definición típica podría verse así: si , el verificador siempre acepta, pero en En otro caso, la probabilidad de rechazo es …

10 cc.complexity-theory  pcp  interactive-proofs 

Parece que hay muchos algoritmos aleatorios para las pruebas de identidad polinomiales, que verifican si un polinomio dado es cero o no. ¿Hay algún resultado de algoritmos que hagan algún tipo de estimación de polinomios sobre un conjunto específico de puntos? Esto podría ser, por ejemplo, aproximar para qué fracción …

10 ds.algorithms  approximation-algorithms  randomized-algorithms  derandomization  polynomials 

Sea un conjunto de N puntos en R d . Para cualquier t ≥ 1 , un t -spanner es un gráfico no dirigido G = ( P , E ) ponderado bajo la medida euclidiana, de modo que para cualquiera de los dos puntos v , u , la …

10 cg.comp-geom