El problema del isomorfismo gráfico es uno de los problemas más antiguos que resistió la clasificación en problemas o N P- completos. Tenemos evidencias de que no puede ser N P- completo. En primer lugar, el isomorfismo gráfico no puede ser N P- completo a menos que la jerarquía polinómica [1] se...
Siguiendo las preguntas equivalentes sobre NP-Completeness (ver la pregunta de peso y la pregunta dirigida ), me preguntaba cómo los problemas parametrizados se ven afectados por estos atributos. ¿Qué gráficos duros son -Hard en gráficos dirigidos, pero parámetros fijos manejables en gráficos...
Quizás la principal fuente de problemas de rendimiento en Haskell es cuando un programa sin darse cuenta acumula una cantidad de profundidad ilimitada, lo que provoca una pérdida de memoria y un desbordamiento potencial de la pila al evaluar. El ejemplo clásico se define sum = foldr (+) 0en...
Los problemas han sido, en su conjunto, clasificados, gracias a la Complejidad Computacional. Pero, en ecuaciones diferenciales, ¿es posible clasificar las ecuaciones diferenciales en función de su estructura computacional? Por ejemplo, si una ecuación no homogénea de primer orden es...
Para una prueba de corrección, estoy buscando una noción utilizable de equivalencia de programa para los sistemas de tipo puro (PTS) de Barendregt; falta eso, para suficientes sistemas de tipos específicos. Mi objetivo es simplemente usar la noción, no investigarla por sí misma.≅≅\cong Esta noción...
Q . ¿Cuál es la complejidad de encontrar la celda limitada de mayor volumen en una disposición de hiperplanos en la dimensión d ?nnnddd Siento que debería saber esto ... Pero no estoy encontrando una referencia definitiva. ¿Es ? ¿Qué tal la especialización d = 2 : la celda delimitada de área...
Hay un problema abierto en los idiomas formales conocido como el Problema de separación; que se indica brevemente como dadas dos cadenas distintas de longitud , qué tan grande de un DFA se requiere para "separarlas", lo que significa aceptar una cadena pero rechazar la otra.nnn Aquí hay algunos...
¿Cuál es la complejidad del siguiente problema ( P? NP-hard?):∈∈\in Entrada: un gráfico acíclico dirigido , un conjunto de bordes hacia atrás E ' ⊂ V × V , y dos nodos distinta s y t .D=(V,E)D=(V,E)D=(V,E)E′⊂V×VE′⊂V×VE'\subset V\times Vsssttt Pregunta: Sea denotar la gráfica formada al agregar a...
En la prueba de identidad polinómica buscamos un algoritmo determinista para inferir la igualdad de dos polinomios . Desrandomizar algoritmos aleatorizados eficientes conocidos y producir un algoritmo determinista eficiente es un importante problema abierto. ¿Existe un problema completo para PIT de...
Dadas dos permutaciones y sobre elementos (es decir, miembros de ), ¿cuál es la complejidad de calcular el orden del subgrupo generado por ? ¡O simplemente de decidir si el subgrupo es de orden(es decir, todo
Es un viejo problema abierto si un teorema de suma directa es válido para la complejidad de comunicación determinista, es decir, si resolver instancias independientes de un problema es t veces más difícil que resolver una sola instancia. [FKNN95] mostró los siguientes resultados:tttttt Un...
Deje ser una constante fija. Dado un número entero , queremos construir una permutación tal que:n σ ∈ S nk > 0k>0 0k>0nortenortenσ∈ Snorteσ∈Snorte\sigma \in S_n La construcción utiliza tiempo y espacio constantes (es decir, el preprocesamiento requiere tiempo y espacio constantes). Podemos...
Me pregunto si puede existir una forma de dar una especie de "forma normal" para los árboles de decisión binarios (BDT) de forma manejable. Más precisamente: una BDT es un árbol con nodos internos etiquetados por variables booleanas y hojas etiquetadas por o . Una BDT representa una función...
Este blog habla de generar "pequeños laberintos retorcidos" usando una computadora y enumerándolos. La enumeración se puede hacer usando el algoritmo de Wilson para obtener el UST , pero no recuerdo la fórmula de cuántos
Deje que se dé un número . Considere el siguiente lenguaje L n = {nortenn .Lnorte= {w wEl |w ∈ { 0 , 1 }norte}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} En palabras, es el conjunto de cadenas de copia de longitud 2 n .LnorteLnL_n2 n2n2n Considere la siguiente función de...
Sea una clase hereditaria de gráficos. (Hereditaria = cerrado con respecto a tomar subgrafos inducidos.) Let denotar el conjunto de gráficos -vertex en . Digamos que contiene casi todos los gráficos, si la fracción de todos los gráficos de -vértices que caen en aproxima a 1, como .Q n n Q...
Los combinadores de interacción se han propuesto antes como objetivo de compilación para el cálculo λ. Ese documento implementa el cálculo λ completo. También se sabe que es posible optimizar las codificaciones de la red de interacción del cálculo λ para el subconjunto de términos λ que es de tipo...
El teorema de Borsuk-Ulam dice que por cada función impar continua solsolg desde una esfera n al espacio n euclidiano, hay un punto X0 0X0 0x_0 tal que sol( x0 0) = 0sol(X0 0)=0 0g(x_0)=0 . Simmons y Su (2002) describen un método para aproximar el punto X0 0X0 0x_0 usando el lema de Tucker . Sin...
En http://www.dharwadker.org/tevet/isomorphism/ , hay una presentación de un algoritmo para determinar si dos gráficos son isomorfos. Teniendo en cuenta una serie de afirmaciones "interesantes" de A Dharwadker, no estoy dispuesto a creerlo. En mi investigación, encuentro que el algoritmo...
El siguiente término λ, aquí en forma normal: sort = (λabc.(a(λdefg.(f(d(λhij.(j(λkl.(k(λmn.(mhi))l)) (h(λkl.l)i)))(λhi.(i(λjk.(bd(jhk)))(bd(h(λjk.(j (λlm.m)k))c)))))e))(λde.e)(λde.(d(λfg.g)e))c)) Implementa un algoritmo de clasificación para listas codificadas por la iglesia. Es decir, el...