Mientras escribía una pequeña publicación sobre la complejidad de los videojuegos Nibbler y Snake ; Descubrí que ambos pueden modelarse como problemas de reconfiguración en gráficos planos; y parece poco probable que tales problemas no hayan sido bien estudiados en el área de planificación del...
Como estoy interesado en los analizadores (principalmente en las gramáticas de expresión de analizadores), me pregunto si hay algún trabajo que ofrezca un tratamiento categórico del análisis. Cualquier referencia sobre aplicaciones de la teoría de categorías al análisis es muy...
He estado leyendo un poco sobre el método de suma de cuadrados (SOS) de la encuesta de Barak & Steurer y las notas de clase de Barak . En ambos casos, barren problemas de precisión numérica debajo de la alfombra. Desde mi comprensión (ciertamente limitada) del método, lo siguiente debería ser...
¿Se sabe algo sobre el segundo corte - t más pequeño en una red de flujo? O, más en general, sobre este problema:sssttt Entrada: una red y un número k , todo en binario. Salida: A k ésimo más pequeño s - t corte.NNNkkkkkksssttt Un ésimo corte s - t más pequeño ( S , T ) es cualquier corte s...
Estoy interesado en comprender la estructura de la clase de gráficos modo que no exista un subgrafo inducido por vértices en cuatro vértices que coincida perfectamente. Dicho de manera diferente para cualquier cuatro vértices a , b , c , d en G si a b y c d son bordes, entonces el gráfico debe...
P / poly es la clase de problemas de decisión que puede resolver una familia de circuitos booleanos de tamaño polinómico. Alternativamente, se puede definir como una máquina de Turing de tiempo polinómico que recibe una cadena de aviso que tiene un tamaño polinómico en n y que se basa únicamente en...
El ancho de árbol y el ancho de ruta son parámetros populares, que miden la cercanía de un gráfico a un árbol o una ruta, respectivamente. De hecho, parece que el ancho de árbol es tan popular que aparece en muchos documentos, libros y notas de conferencias que ofrecen (incluso muy suaves)...
Considere el problema en el que se nos da como entrada un gráfico acíclico dirigido G=(V,E)G=(V,E)G = (V, E) , una función de etiquetado λλ\lambda de VVV a algún conjunto LLL con un orden total
Cuando queremos demostrar que un L∈NPL∈NPL\in \bf NP es -Complete, entonces el enfoque estándar es exhibir un polinomio tiempo computable reducción de muchos uno de una conocida problema -Complete a . En este contexto, no necesitamos un límite estricto en el tiempo de ejecución de la reducción. Es...
Según este artículo , que analiza una extensión no determinista de la hipótesis del tiempo exponencial fuerte (SETH), "[…] Williams ha mostrado recientemente que las hipótesis relacionadas sobre la complejidad de Merlin-Arthur de k-TAUT son falsas". Sin embargo, ese documento solo cita una...
Es bien sabido que la propiedad Church-Rosser es válida para reducción en cálculo lambda de tipo simple. Esto implica que el cálculo es consistente, en el sentido de que no todas las ecuaciones que involucran términos son derivables: por ejemplo, K I , ya que no comparten la misma forma...
¿Qué tan difícil es encontrar la solución más escasa para un sistema de ecuaciones lineales? Más formalmente, considere el siguiente problema de decisión: Instancia: Un sistema de ecuaciones lineales con coeficientes enteros y un número CCc . Pregunta: ¿Existe una solución para el sistema con al...
¿Es cierto que agregar axiomas al CIC podría tener influencias negativas en el contenido computacional de definiciones y teoremas? Entiendo que, en el comportamiento normal de la teoría, cualquier término cerrado se reducirá a su forma canónica normal, por ejemplo, si es verdadero, entonces debe...
f:{−1,1}n→{−1,1}f:{−1,1}n→{−1,1}f\colon\{-1,1\}^n \to \{-1,1\}iiiInfi[f]=defPrx∼{−1,1}n[f(x)≠f(x⊕i)]Infi[f]=defPrx∼{−1,1}n[f(x)≠f(x⊕i)] \operatorname{Inf}_i[f] \stackrel{\rm def}{=} \Pr_{x\sim\{-1,1\}^n}[ f(x) \neq f(x^{\oplus i})] x⊕ix⊕ix^{\oplus...
La lógica lineal se interpreta utilizando espacios coherentes , y ocupan un lugar destacado en los documentos de Girard. Conozco las tres formas principales de definirlas formalmente, y realmente no plantean ningún problema para usar y probar cosas, pero no puedo entender lo que significan...
Busco: Michael O. Rabin, "Grado de dificultad para calcular una función y un ordenamiento parcial de conjuntos recursivos", Universidad Hebrea, Jerusalén, 1960 Resumen: “Intentamos medir la cantidad de trabajo inherente a la tarea de calcular una determinada función computable (recursiva)....
Lance Fortnow afirmó recientemente que probar L! = NP debería ser más fácil que probar P! = NP : Separar NP del espacio logarítmico. Di cuatro enfoques en una encuesta previa al blog de 2001 sobre la diagonalización (Sección 3), aunque ninguno ha funcionado. Debería ser mucho más fácil que...
¿Para qué gráficos no dirigidos son todos los árboles de búsqueda de profundidad primero (para todos los vértices iniciales posibles y para todas las opciones de qué vecinos buscar primero) rutas dirigidas? Es decir, cada árbol DFS debe tener solo una hoja, y todos los demás vértices deben tener...
Ahora podemos ver que la Iglesia estaba asociada con el Cálculo Lambda Simplemente Escrito . De hecho, parece que explicó el cálculo de Lambda simplemente tipado para reducir los malentendidos sobre el cálculo de Lambda. Ahora, cuando John McCarthy creó Lisp, lo basó en el cálculo Lambda . Esto es...
Se sabe que si , la jerarquía polinómica se colapsa en y .N P ⊆ P / P o l y Σ P 2 M A = A MNP⊆P/PolyNP\subseteq P/PolyΣP2\Sigma_2^{P}MA=AMMA = AM ¿Cuáles son los colapsos más fuertes que suceden si ?N E X P ⊆ P / P o l yNEXP⊆P/PolyNEXP\subseteq