Ciencias de la computación teórica

Deje ser un gráfico. Un conjunto de vértices se llama crítico si y no vértice en es adyacente a exactamente un vértice en . El problema es encontrar un conjunto de vértices de tamaño mínimo tal que para cada conjunto crítico .X ⊆ V X ≠ ∅ V ∖ X …

9 cc.complexity-theory  graph-theory  co.combinatorics  optimization 

Instancia: un gráfico no dirigido solGGcon dos vértices distinguidos s ≠ ts≠ts\neq t , y un entero k ≥ 0k≥0k\geq 0 . Pregunta: ¿Existe una ruta s - ts−ts-t en solGG , de modo que la ruta se cruce en la mayoría de los triángulos kkk ? (Para este problema, …

9 cc.complexity-theory  graph-algorithms 

Estoy interesado en algoritmos eficientes para la intersección de DFA para casos especiales. Es decir, cuando los DFA que se cruzan obedecen una determinada estructura y / o funcionan en un alfabeto limitado. ¿Hay alguna fuente donde pueda encontrar algoritmos en estos casos? Para no hacer que la pregunta sea …

9 automata-theory  time-complexity  dfa 

Esta pregunta es doble y está principalmente orientada a referencias: ¿Hay algún lugar donde se den las intuiciones principales para probar el teorema menor del gráfico, sin entrar demasiado en los detalles? Sé que la prueba es larga y difícil, pero seguramente debe haber ideas clave que puedan comunicarse de …

9 reference-request  graph-theory  graph-minor 

Uno de mis proyectos Java es una bifurcación de parboiled y, a diferencia de, por ejemplo, Antlr o JavaCC, los analizadores se generan en tiempo de ejecución. Las gramáticas generadas son gramáticas de expresión de análisis, o PEG (escuché que otro término para ellas es "packrat"). Mientras que la generación …

9 research-practice  books  parsing 

Quiero saber si la capacidad de decisión de igualdad de dos pruebas decidibles de la misma proposición puede demostrarse sin ningún axioma adicional en el cálculo de construcciones inductivas. Específicamente, quiero saber si esto es cierto sin ningún axioma adicional en Coq. ∀ P: Prop , P∨ ¬ P⇒ ( …

9 coq  constructive-mathematics  calculus-of-constructions 

Arreglemos una codificación de máquinas de Turing y una máquina universal de Turing, U, que en la entrada (T, x) emite cualquier salida de T en la entrada x (posiblemente ambas funcionando para siempre). Defina la complejidad de Kolmogorov de x, K (x), como la longitud del programa más corto, …

9 cc.complexity-theory  universal-computation  kolmogorov-complexity  universal-turing-machines 

Estoy buscando referencias para el siguiente problema: dados los enteros y , enumere todos los gráficos planos no isomórficos en vértices y ancho de árbol \ leq k . Me interesan los resultados teóricos y prácticos, pero en su mayoría algoritmos prácticos que son posibles de codificar y ejecutar para …

9 reference-request  graph-theory  graph-algorithms  treewidth 

Los bosques aleatorios tienen una reputación entre los profesionales de estar entre las técnicas de clasificación más efectivas. Sin embargo, no los encontramos mucho en la literatura teórica del aprendizaje, de la cual deduzco una ausencia de resultados teóricos profundos. Si uno quisiera profundizar en esta teoría, ¿por dónde empezaría?

9 machine-learning  lg.learning 

Reynolds propuso originalmente una semántica relacional para el cálculo lambda polimórfico de segundo orden [1]. Sin embargo, más tarde mostró [2] que este enfoque era inconsistente con la teoría de conjuntos clásica. Pitts describió el marco de los modelos de hiperdoctrina y modelos de topos [3] que son consistentes con …

9 type-theory  parametricity 

La mayoría de los métodos actuales de criptografía dependen de la dificultad de factorizar números que son el producto de dos números primos grandes. Según tengo entendido, eso es difícil siempre y cuando el método utilizado para generar los números primos grandes no se pueda usar como un atajo para …

9 cr.crypto-security  primes 

Sabemos por el teorema de Church que determinar la satisfacción de primer orden es indecidible en general, pero existen varias técnicas que podemos usar para determinar la satisfacción de primer orden. Lo más obvio es buscar un modelo finito. Sin embargo, hay una serie de declaraciones en la lógica de …

9 reference-request  lo.logic  automated-theorem-proving 

Estoy estudiando la Conjetura de juegos únicos y la famosa reducción a Max-Cut de Khot et al. Desde su artículo y en otras partes de Internet, la mayoría de los autores usan (lo que para mí es) una equivalencia implícita entre la reducción MAX-CUT y la construcción de pruebas particulares …

9 cc.complexity-theory  approximation-hardness  pcp  max-cut  unique-games-conjecture 

Sea un polinomio variable dado como un circuito aritmético de tamaño poly , y sea un primo.Fffnortenn( n )(n)(n)p = 2Ω ( n )p=2Ω(n)p = 2^{\Omega(n)} ¿Puede probar si es idénticamente cero sobre , con tiempo y probabilidad de error , incluso si el grado no es a priori acotado? …

9 polynomials  arithmetic-circuits 

Considere una gramática arbitraria sin contexto sobre el alfabeto . A las producciones de esta gramática, agregue dos producciones fijas sin contexto : y . Llame a la gramática resultante que significa " aumentada con las producciones ".{ 0 , 1 , ¯ 0 , ¯ 1 } P ¯ …

9 context-free  decidability