Estoy leyendo sobre el algoritmo de mecanografía Hindley-Milner mientras escribo una implementación, y veo que, siempre que todas las variables estén vinculadas, siempre obtendrás tipos atómicos o tipos donde los argumentos determinarán el tipo final, como t1 -> t1o (t1 -> t2) -> (t1 ->...
Supongamos que tengo un buque de superficie autónomo alimentado por energía solar en algún lugar de los fiordos de Noruega, provisto de un conjunto bastante reciente de mapas, un receptor GPS y ningún medio para descifrar comandos detallados de mi parte. Este barco tiene que llegar, digamos, a la...
Dado un alfabeto , ¿cuántos idiomas regulares diferentes puede aceptar un autómata finito no determinista de estados?Σ={a,b}Σ={a,b}\Sigma = \{ a,b \}nnn Como ejemplo, consideremos . Luego tenemos configuraciones de transición diferentes y configuraciones de estado inicial y final diferentes, por...
Me pregunto sobre la relación entre la complejidad computacional y la jerarquía de Chomsky, en general. En particular, si sé que algún problema es NP-completo, ¿se deduce que el lenguaje de ese problema no está libre de contexto? Por ejemplo, el problema de la camarilla es NP-completo. ¿Se deduce...
Tomé una clase de algoritmos en Coursera. El profesor en el video sobre tablas hash dijo que Lo cierto es que para los datos no patológicos, obtendrá operaciones de tiempo constante en una tabla hash implementada correctamente. ¿Qué significa "datos no patológicos"? ¿Puedes dar algunos...
Estoy leyendo el libro de HoTT y tengo una pregunta (probablemente muy ingenua) sobre las cosas en el capítulo uno. El capítulo presenta el tipo de función y luego lo generaliza haciendo que dependa de y eso se llama el tipo de función dependiente .f:A→Bf:A→B f:A\to B
Supongamos que se nos dan dos números y y que queremos encontrar para l \ le i, \, j \ le r .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r El algoritmo ingenuo simplemente verifica todos los pares posibles; por ejemplo en ruby tendríamos: def max_xor(l, r) max = 0...
Un estudiante recientemente me pidió que verificara una prueba de dureza NP para ellos. Realizaron una reducción en la línea de: Reduzco este problema P′P′P' que se sabe que es NP completo a mi problema PPP (con una reducción múltiple de tiempo múltiple), por lo que PPP es NP-duro. Mi...
Supongamos que quiero construir un sistema operativo basado en un kernel inferior nativo muy pequeño que actúe como un intérprete de código administrado / tiempo de ejecución y un kernel superior más grande compilado en un lenguaje de máquina no nativo (código de bytes Java, CIL, etc.). Ejemplos de...
Un microkernel implementa todos los controladores como programas de espacio de usuario e implementa características centrales como IPC en el núcleo mismo. Sin embargo, un kernel monolítico implementa los controladores como parte del kernel (por ejemplo, se ejecuta en modo kernel). He leído algunas...
Idiomas como HALTTMHALTTM\text{HALT}_{TM} son RE-completeRE-complete\textsf{RE-complete} bajo muchas reducciones. Es trivial ver que co-REco-RE\text{co-RE} tiene problemas completos. S. Schmitz [1] considera algunas clases entre ELEMELEM\text{ELEM} y RECREC\text{REC} . Presentan problemas completos...
ej. ?xy+x+y=x+y(x+1)xy+x+y=x+y(x+1)xy+x+y=x+y(x+1) Las expresiones son del álgebra ordinaria de la escuela secundaria, pero están restringidas a la suma y multiplicación aritmética (por ejemplo, ), sin inversos, restas o divisiones. Las letras son variables.2+2=4;2.3=62+2=4 4;2.3=6 62+2=4;...
Me pregunto, ¿cuál es el algoritmo más conocido, en términos de notación Big- , para resolver la programación lineal entera?OOO Sé que el problema es completo, por lo que no espero nada polinomial. Y sé que hay muchas heurísticas y otras que se usan en aplicaciones prácticas como CPLEX, pero estoy...
Estoy tratando de entender la prueba del teorema de Karp-Lipton como se afirma en el libro "Complejidad computacional: un enfoque moderno" (2009). En particular, este libro establece lo siguiente: Teorema de Karp-Lipton Si NP , entonces PH .P ∖ p o l y⊆⊆\subseteq P∖polyP∖polyP_{\backslash...
Para medir la complejidad de un algoritmo, ¿es la complejidad del tiempo o la complejidad computacional? ¿Cuál es la diferencia entre ellos? Solía calcular el recuento máximo (peor) de la operación básica (más costosa) en el
Estoy seguro de que alguien ha pensado en esto antes o lo descartó de inmediato, pero ¿por qué la teoría de la dicotomía de Schaefer junto con el teorema de Mahaney sobre conjuntos dispersos no implican P = NP? Aquí está mi razonamiento: crear un lenguaje que sea igual a SAT intersectado por un...
Aquí leo eso: Haskell definitivamente no tiene el sistema de tipos más avanzado (ni siquiera cerca si cuenta los idiomas de investigación), pero de todos los idiomas que realmente se usan en la producción, Haskell probablemente esté en la cima. Entonces estoy preguntando dos cosas: qué...
Por lo general, Sudoku es , pero esta pregunta se extiende a n 2 × n 2 rompecabezas con n > 3 también. Hay muchas reglas de deducción de tiempo polinomial que pueden avanzar en la búsqueda de una solución para un rompecabezas de Sudoku. Pero a veces, puede ser necesario adivinar valores y seguir...
Sé que esta es una pregunta muy común. Pero tengo un ángulo diferente en mi mente. Trataré de articularlo aquí. Por lo que sé, cada instrucción que ejecuta una CPU está en lenguaje de máquina y todo lo que la CPU puede hacer es realizar algunas operaciones aritméticas gracias a ALU y a sus...
Sé que las compuertas NAND se pueden usar para crear circuitos que implementen todas las tablas de verdad, y las computadoras modernas se componen de compuertas NAND. ¿Cuál es el vínculo teórico entre las puertas NAND y la integridad de Turing? Me parece que los circuitos de compuerta NAND están...