Estoy buscando material tutorial que cubra las pruebas de corrección del compilador, preferiblemente utilizando métodos de denotación, al nivel de un estudiante graduado principiante. Alternativamente, ¿conoce algunos ejemplos simples de compiladores que pueda usar para ilustrar los problemas?...
El siguiente problema interesante surgió en mi investigación recientemente: INSTANCIA: Gráfico .G ( V, E)G(V,E)G(V, E) SOLUCIÓN: Una finalización de ciclo impar sin acordes, definida como un superconjunto del conjunto de bordes E, de modo que el gráfico completado G ' ( V , E ' ) tiene la...
Acabo de leer en la Wikipedia alemana que un gráfico infinito es un gráfico con un número infinito de nodos o un número infinito de bordes. Solo conozco aplicaciones y algoritmos para gráficos finitos. ¿Para qué sirven los gráficos infinitos? ¿Cuáles son las aplicaciones de esos? No puedo...
Dos preguntas relacionadas sobre la computación de profundidad limitada: 1) Suponga que comienza con n bits, y para comenzar con el bit i puede ser 0 o 1 con alguna probabilidad p (i), independientemente. (Si simplifica el problema, podemos suponer que todos los p (i) s son 0,1 o 1/2.o incluso que...
El gráfico lineal de una hipergrafía es el gráfico (simple) G que tiene bordes de H ya que los vértices con dos bordes de H son adyacentes en G si tienen una intersección no vacía. Una hipergrafía es un r- hiperígrafo si cada uno de sus bordes tiene como máximo r
Si bien el teorema de Adleman muestra que , no conozco ninguna literatura que investigue la posible inclusión de B Q P ⊆ P / poly . ¿Qué consecuencias teóricas de la complejidad tendría tal inclusión?BPP⊆P/polyBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}BQP⊆P/polyBQP⊆P/poly\mathsf{BQP}...
Deje que sea la clase de todos los idiomas regulares.R E GREG\mathsf{REG} Se conoce y \ mathsf {REG} \ not \ subset \ mathsf {AC} ^ 0 . Pero, ¿hay alguna caracterización de idiomas en \ mathsf {AC} ^ 0 \ cap \ mathsf {REG} ?A C0 0⊄ R E GAC0⊄REG\mathsf{AC}^0 \not\subset \mathsf{REG}A C 0 ∩ R E GR...
Supongamos que queremos ordenar una lista de números reales. Supongamos que se nos da un cuadro negro que puede ordenar números reales al instante. ¿Cuánta ventaja podemos ganar usando esta caja negra?SSSnnnn−−√n\sqrt n Por ejemplo, ¿podemos ordenar los números con solo llamadas al cuadro negro?...
Dada una familia conjunto FF\mathcal{F} de subconjuntos de un universo UUU . Deje S1,S2∈FS1,S2∈FS_1,S_2 \in \mathcal F y queremos responder es S1⊆S2S1⊆S2S_1 \subseteq S_2 . Estoy buscando una estructura de datos que me permita responder rápidamente a esto. Mi aplicación es de la teoría de grafos...
(Esta pregunta es un poco una "encuesta"). Actualmente estoy trabajando en un problema en el que trato de dividir los bordes de un torneo en dos conjuntos, los cuales son necesarios para cumplir con algunas propiedades estructurales. El problema "se siente" bastante difícil, y espero que sea...
Es bien sabido que los palíndromos se pueden reconocer en tiempo lineal en máquinas Turing de cintas, pero no en máquinas Turing de cinta única (en cuyo caso el tiempo necesario es cuadrático). El algoritmo de tiempo lineal usa una copia de la entrada y, por lo tanto, también usa un espacio...
Una garra es un K1,3K1,3K_{1,3} . Un algoritmo trivial detectará una garra en el tiempo O(n4)O(n4)O(n^4) . Se puede hacer en O(nω+1)O(nω+1)O(n^{\omega+1}) , donde ωω\omega es el exponente de la multiplicación de matriz rápida, de la siguiente manera: tome el subgrafo inducido por N[v]N[v]N[v] para...
Dadas las expresiones regulares , ¿existen límites no triviales en el tamaño de la gramática libre de contexto más pequeña para ?R 1R1, ... , RnorteR1,…,RnR_1, \dots, R_nR1∩ ⋯ ∩ RnorteR1∩⋯∩RnorteR_1 \cap \cdots \cap
¿Qué tan rápido debería ser un algoritmo no determinista para un problema completo EXPTIME para implicar ? Un algoritmo no determinista de tiempo polinómico implicaría esto inmediatamente porque pero nadie cree que . Si he hecho el álgebra a la derecha (ver más abajo), el teorema de la jerarquía...
¿Existe un cálculo lambda tipificado donde la lógica correspondiente bajo la correspondencia de Curry-Howard es consistente y donde hay expresiones lambda tipificables para cada función computable? Esta es ciertamente una pregunta imprecisa, que carece de una definición precisa de "cálculo lambda...
Tengo dos preguntas históricas: ¿Quién describió por primera vez el cálculo no determinista? Sé que Cook describió problemas NP-completos, y que Edmonds propuso que los algoritmos P son algoritmos "eficientes" o "buenos". Busqué en este artículo de Wikipedia y hojeé "Sobre la complejidad...
Digamos que un lenguaje LLL está cerca de la densidad P si hay un algoritmo de tiempo polinómico que decide correctamente LLL en casi todas las entradas. A∈A∈A\in LΔALΔAL\Delta Alimn→∞|(LΔA)∩{0,1}n|2n=0.limn→∞|(LΔA)∩{0,1}n|2n=0.\lim_{n\rightarrow\infty} \frac{|(L\Delta A) \cap...
Wikipedia proporciona ejemplos de problemas donde la versión de conteo es difícil, mientras que la versión de decisión es fácil. Algunos de estos están contando combinaciones perfectas, contando el número de soluciones para 222 -SAT y el número de clasificaciones topológicas. ¿Hay otras clases...
La aparente inutilidad de la minería de criptomonedas planteó la cuestión de alternativas útiles, vea estas preguntas en Bitcoin , CST , MO . Me pregunto si existe un algoritmo que pueda convertir prácticamente cualquier desafío computacional (cuya solución se puede verificar eficientemente) en...
con el número de palabras de longitud en un lenguaje (posiblemente ambiguo) libre de contexto.wnortewnortew_nnortenorten ¿Qué se sabe sobre ?wnortewnortew_n Estoy seguro de que esto se ha estudiado mucho, pero no pude encontrar nada en