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 casi...
Algunos investigadores de alto nivel en informática teórica me han dicho que trabajar en un trabajo de la industria que no es de investigación, incluso solo durante unos años, matará su carrera como investigador de TCS. Sin embargo, sospecho de la afirmación de que el camino de ser un investigador...
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...
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 de...
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...
RP es la clase de problemas que puede resolver una máquina de Turing no determinista que termina en tiempo polinómico, pero también se permite un error unilateral. P es la clase habitual de problemas que puede resolver una máquina de Turing determinista que termina en tiempo polinómico. P = RP se...
La intersección de dos (mínimos) DFA con n estados se puede calcular utilizando O (n 2 ) tiempo y espacio. Esto es óptimo en general, ya que el DFA resultante (mínimo) puede tener n 2 estados. Sin embargo, si el DFA mínimo resultante tiene estados z, donde z = O (n), ¿se puede calcular en el...
¿Hay alguna referencia que cubra
El rango de signos de una matriz A con entradas + 1, -1 es el rango mínimo (sobre los reales) de una matriz B que tiene el mismo patrón de signos que A (es decir, para todo i , j ) Esta noción es importante en la complejidad de la comunicación y la teoría del aprendizaje.UNAyo jsiyo j>...
Es bien sabido que cualquier prueba que resuelva la cuestión P vs NP debe superar la relativización , las pruebas naturales y las barreras de algebrización . El siguiente diagrama divide el "espacio de prueba" en diferentes regiones. Por ejemplo, RNRNRN corresponde al conjunto de pruebas que se...
Considere esta pregunta resuelta. No elegiré la mejor respuesta ya que todas ellas han contribuido a mi comprensión del tema. No estoy seguro de qué beneficio tenemos al definir formalmente la semántica de la lógica de predicados. Pero sí valoro tener un cálculo de prueba formal. Mi punto es que...
Considere el siguiente problema: dada una fórmula CNF y una asignación que satisface esta fórmula, ¿hay otra asignación satisfactoria para esta fórmula? ¿Cuál es la complejidad de este problema? (Seguramente está en NP, pero ¿también es NP-hard?) ¿Qué sucede si no se le asigna la tarea y solo...
¿Se ha estudiado la complejidad del siguiente problema? Entrada : un gráfico cúbico (o regular) , un límite superior naturalG = ( V , E ) t333G = ( V, E)G=(V,E)G=(V,E)ttt Pregunta : ¿hay una partición de en partes de tamaño modo que la suma de los órdenes de los subgrafos correspondientes (no...
Recientemente enseñé expansores e introduje la noción de gráficos Ramanujan. Michael Forbes preguntó por qué se les llama así, y tuve que admitir que no lo sé.
1) ¿Cuál es, si la hay, la relación entre la escritura estática y las gramáticas formales? 2) En particular, ¿sería posible que un autómata lineal limitado verificara si, por ejemplo, un programa C ++ o SML estaba bien escrito? ¿Un autómata apilado anidado? 3) ¿Existe una forma natural de...
Hola chicos, entiendo que el truco de relleno nos permite traducir clases de complejidad hacia arriba - por ejemplo, . El relleno funciona "inflando" la entrada, ejecutando la conversión (digamos de N P a P ), lo que produce un algoritmo "mágico" que puede ejecutar en la entrada rellenada. Si bien...
Disculpas por hacer una pregunta que seguramente debe estar en muchas referencias estándar. Tengo curiosidad acerca de exactamente la pregunta en el título, en particular estoy pensando en los circuitos booleanos, sin límite de profundidad. Pongo "el más pequeño" entre comillas para permitir la...
A la luz del resultado reciente de Arora, Barak y Steurer, Algoritmos subexponenciales para juegos únicos y problemas relacionados , me interesan los problemas de gráficos que tienen algoritmos de tiempo subexponenciales pero que no se pueden resolver polinomialmente. Un ejemplo famoso es...
Por lo general, uno construye un gráfico y luego hace preguntas sobre la descomposición del valor propio de la matriz de adyacencia (o algún pariente cercano como el laplaciano ) (también llamado espectro de un gráfico ). Pero, ¿qué pasa con el problema inverso? Dados valores propios, ¿puede uno...
Estaba leyendo esto . Dice ... No te encontrarás con hambre de financiación como Pure Mathematics. (Todavía siempre te encontrarás hambriento de fondos) ... ¿Por qué los matemáticos puros necesitan financiación? (Ooops su pregunta de overflow matemático) ¿Por qué alguien que realiza una...