Estoy enseñando un curso sobre estructuras de datos y cubriré árboles de despliegue a principios de la próxima semana. He leído muchas veces el documento sobre árboles de separación y estoy familiarizado con el análisis y la intuición detrás de la estructura de datos. Sin embargo, parece que no...
Decimos que NFA MMM es constantemente ambiguo si existe k∈Nk∈Nk\in \mathbb{N} tal que cualquier palabra w∈Σ∗w∈Σ∗w\in \Sigma^* sea aceptada por 000 o (exactamente) caminos.kkk Si el autómata es constantemente ambiguo para , entonces se llama FA inequívoca (UFA).k = 1 MMMMk=1k=1k=1MMM Deje que...
Cualquier lenguaje que no esté completo no puede escribir un intérprete para sí mismo. No tengo idea de dónde lo leí, pero lo he visto varias veces. Parece que esto da lugar a una especie de lenguaje completo "Turing" no Turing completo; la (s) que solo puedenser interpretado por una máquina de...
Recientemente tuve una discusión con un amigo (que defiende los idiomas fuertemente tipados). Hizo el comentario: Los inventores del cálculo Lambda siempre pretendieron que fuera mecanografiado. Ahora podemos ver que la Iglesia estaba asociada con el Cálculo Lambda Simplemente Escrito . De...
Necesito una lista de idiomas completos. Hay dos de estos problemas enumerados en el Complejo Zoo , a saber:Σpag2Σ2pag\Sigma_2^p Mínimo equivalente DNF. Dada una fórmula DNF F y un entero k, ¿hay una fórmula DNF equivalente a F con k o menos ocurrencias de literales? El implicante más corto. Dada...
El siguiente problema aparece en la lista de Aaronson Diez desafíos grandes para la teoría de la computación cuántica . Es B Q P = B P PB Q N CsiQPAG=siPAGPAGsiQnorteC\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} En otras palabras, ¿se puede comprimir la parte "cuántica" de cualquier algoritmo...
¿Existe un teorema general que establezca, con una desinfección adecuada, que los resultados más conocidos con respecto al uso de números reales se pueden usar cuando se consideran solo reales computables? ¿O hay una caracterización adecuada de los resultados que siguen siendo válidos cuando se...
Sea un dígrafo (no necesariamente un DAG) y sea s , t ∈ V ( G ) . ¿Cuál es la complejidad de contar el número de rutas s - t simples en G ? GGGs,t∈V(G)s,t∈V(G)s,t \in V(G) s−ts−ts-tGGG Esperaría que el problema sea # completo pero no he podido localizar una referencia exacta. PP{\mathsf...
Estoy buscando un algoritmo de una pasada que calcule la paridad de una permutación. Supongo que una permutación de entrada viene dada por la secuencia π[1],π[2],⋯,π[n]π[1],π[2],⋯,π[n]\pi[1], \pi[2], \cdots, \pi[n] . La salida debe ser la paridad de la permutación. La pregunta que me interesa es...
Mirando el blog de teoría de tipos de homotopía, se puede encontrar fácilmente una gran cantidad de bibliotecas que formalizan la mayoría de la teoría de tipos de homotopía en Agda y Coq. ¿Alguien sabe si hay algún intento similar de formalizar HoTT en Idris
Leí que la programación lineal entera se puede resolver en tiempo polinominal si el número de variables es fijo, es decir, n ∈ O ( 1 ) . Si el número de variables crece logarítmicamente, es decir, n ∈ O ( log 2 ( N ) ) para una entrada dada de tamaño N , ¿el problema aún se puede resolver en tiempo...
El principio 0-1 dice que si una red de clasificación funciona para todas las secuencias 0-1, entonces funciona para cualquier conjunto de números. ¿Hay una tal que si una red ordena cada secuencia 0-1 de S, entonces ordena cada secuencia 0-1 y el tamaño de S es polinomial en n...
El recuento de triángulos en gráficos generales se puede hacer trivialmente en el tiempo y creo que hacer mucho más rápido es difícil (se aceptan referencias). ¿Qué pasa con los gráficos planos? El siguiente procedimiento sencillo muestra que se puede hacer en tiempo . Mi pregunta es...
Introduciré mi problema con un ejemplo. Supongamos que está diseñando un examen, que consiste en un cierto conjunto de preguntas independientes (que los candidatos pueden obtener bien o mal) Desea decidir sobre un puntaje para dar a cada una de las preguntas, con la regla de que los candidatos con...
Sean AAA y BBB subconjuntos de { 0 , ... , n }{0,…,n}\{0,\ldots,n\} . Estamos interesados en encontrar la suma de Minkowski A + B = { a + b | a ∈ A , b ∈ B } A+B={a+b | a∈A,b∈B}A+B=\{a+b~|~a\in A,b\in B\} . χ X : { 0 , … , 2 n } → { 0 , 1 }χX:{0,…,2n}→{0,1}\chi_X:\{0,\ldots,2n\}\to \{0,1\} es...
En la descripción formal de los Autómatas de empuje determinista, permiten movimientos , donde la máquina puede hacer estallar o empujar símbolos en la pila sin leer un símbolo de la entrada. Si estos movimientos no están permitidos, y la pila solo se puede modificar una vez después de cada símbolo...
Un gráfico mixto es un gráfico que puede tener bordes tanto dirigidos como no dirigidos. Su gráfico subyacente no dirigido se obtiene olvidando las orientaciones de los bordes dirigidos, y en la otra dirección se obtiene una orientación de un gráfico mixto al asignar una dirección a cada borde no...
Debido a una pregunta que me hizo Greg Kuperberg, me pregunto si hay documentos que definan y estudien clases complejas de idiomas que admitan varios tipos de pruebas de conocimiento . Las clases como SZK y NISZK son extremadamente natural desde un punto de vista la complejidad, incluso si nos...
¿Cuáles son algunos ejemplos de pares de clases de complejidad y B tales queAAABBB no sabemos si , yA=BA=BA=B tampoco conocemos relativizaciones contradictorias (es decir, no conocemos los oráculos y Q de manera que A P = B P y A Q ≠ B Q )?PPPQQQAP=BPAP=BPA^P = B^PAQ≠BQAQ≠BQA^Q \ne B^Q Para...
Muchas publicaciones de ciencias de la computación de las décadas de 1950 y 1960 contienen especulaciones filosóficas fascinantes sobre la naturaleza de la mente y el significado de la información en relación con el mundo físico. Ejemplos famosos son la "Prueba de Turing", el "Espacio de cálculo"...