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]...
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...
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...
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, p, de...
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...
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...
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...
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⇒...
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...
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, se dice que una ruta se cruza con un...
Dado un gráfico y un δ > 0, uno quiere calcular h ( G , δ ) = m i n | S | ≤ δ | V | ϕ ( S ) . ( ϕ ( S ) = E ( S , ˉ S )G = ( V, E)G=(V,E)G=(V,E)δ> 0δ>0\delta > 0h ( G , δ) = m i nEl | SEl | ≤ δEl | VEl |ϕ ( S)h(G,δ)=min|S|≤δ|V|ϕ(S)h(G,\delta)=min_{\vert S\vert \leq \delta \vert V \vert }...
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 X S ⊆ V S ∩ X ≠ ∅ XG = ( V, E)G=(V,E)G=(V,E)X⊆...
Estoy buscando una prueba de que la complejidad de Kolmogorov es indiscutible utilizando una reducción de otro problema incontestable. La prueba común es una formalización de la paradoja de Berry en lugar de una reducción, pero debe haber una prueba reduciendo algo como el Problema de detención o...
Estoy tomando un curso de posgrado en teoría de la información y constantemente me sorprende la cantidad de optimización convexa que hay en esta materia. Sin embargo, las pruebas parecen eludir el uso de toda la maquinaria de la teoría de la relajación, la dualidad, etc. Esto es comprensible ya que...
Estoy interesado en la música de computadora, donde hay enfoques para tratar piezas musicales como oraciones en gramáticas generativas o sistemas L. En lugar de componer, uno podría especificar una gramática y dejar que la computadora genere la música. Por ejemplo, el grupo de Yale alrededor del...
Dejar solsolG ser un gráfico que es la unión disjunta de una camarilla y un conjunto independiente, es decir G =Knorte1+Knorte2¯¯¯¯¯¯¯¯=Knorte1+yonorte2.sol=Knorte1+Knorte2¯=Knorte1+yonorte2.G = K_{n_1} + \overline{K_{n_2}} = K_{n_1} + I_{n_2} . La clase de gráfico de todos estos gráficos se...
Considere el siguiente problema: Entrada: un gráfico simple (no dirigido) .G = ( V, E)sol=(V,mi)G=(V,E) Pregunta: ¿Existe una orientación de satisfaga la propiedad de que para cada s , t ∈ V hay a lo sumo una s - t walk (dirigida) ?solsolGs , t ∈ Vs,t∈Vs,t \in Vsssttt Esto puede expresarse...
Si solo consideramos los problemas en P, ¿hay grandes diferencias entre el algoritmo de palabra-RAM más rápido conocido y el algoritmo de máquina de Turing más rápido conocido para problemas particulares? Estoy particularmente interesado si existen grandes lagunas para los problemas naturales de...
Me pregunto si el siguiente problema es NP-hard. Entrada: G = ( V, E)G=(V,E)G = (V,E) un gráfico simple y una coloración de los bordes ( no verifica ninguna propiedad específica).fF: E→ { 1 , 2 , 3 }f:E→{1,2,3}f : E \to \{1,2,3\}Fff Pregunta: ¿ es posible dividir en triángulos | E | / 3 , de...
Si entiendo correctamente, para demostrar que el problema es NP difícil, debe elegir todos los problemas posibles B i que están en NP y luego demostrar que se reducen a A mediante una función computable de tiempo polinomial, que mapea instancias de cada B i a los casos de a