Estoy leyendo este conocido artículo sobre los universos en la teoría de tipos . Al principio esperaba algo similar a SetωAgda, pero resulta que es incluso algo más general. Parece generalizar la construcción del universo de un tipo simple inductivo-recursivo a una carpeta (similar a y Σ ). La...
Hay un teorema que dice que: Dado un autómata de estado finito que tiene estados, si existe una cadena cuya longitud satisface entonces el lenguaje aceptado por el autómata es infinito.nortenortenwwwn ≤ | w | ≤ 2 n - 1norte≤El |wEl |≤2norte-1n \leq |w| \leq 2n-1 Entiendo la restricción El | w...
A continuación se presenta gramática independiente del contexto de una "colgando más" tipo de ambigüedad (imagina que sinónimo de y b representa y c representa algún otro tipo de instrucción o bloque): Saaaif expr thenbbbelseccc Por ejemplo,aacbcse puede analizar como(a(acbc))o como(a(ac)bc)(esta...
En Spanner, TrueTime y The CAP Theorem , Eric Brewer escribe: Una cosa sutil acerca de Spanner es que obtiene serialización de los bloqueos, pero obtiene consistencia externa (similar a la linealización ) de TrueTime [ énfasis agregado ]. ¿Cuál es la definición de consistencia externa y cómo...
Dado que: Un lenguaje con sistemas de tipos muy expresivos (por ejemplo, Idris ) también puede tener mecanismos de escape como interfaces de funciones foráneas / unsafePerformIO. Hay asistentes de prueba que pueden usarse para probar algunas propiedades de un programa escrito en un lenguaje que...
En las Pruebas y Tipos de Girard podemos leer: Desde un punto de vista algorítmico, el cálculo posterior no tiene isomorfismo de Curry-Howard, debido a la multitud de formas de escribir la misma prueba. Esto nos impide usarlo como un cálculo λλ\lambda tipificado, aunque vislumbramos alguna...
Dado un matriz booleana , dejemos que entradas representen el mar y entradas representen la tierra. Definir una isla como (pero no en diagonal) vertical u horizontalmente adyacentes entradas.n×mn×mn \times mXX\mathrm X000111111 La pregunta original era contar el número de islas en una matriz dada....
Muchas clases de complejidad tienen problemas "completos". ¿Existen problemas completos para la clase de complejidad de problemas que se pueden resolver en el tiempo ?O ( 1 )O(1)O(1) Una complicación es que esta clase depende del modelo de cálculo; un problema puede resolverse en el tiempo en un...
¿Dónde puedo encontrar algún código para generar caminatas aleatorias de autoevaluación en redes de 2 y 3 dimensiones cuyas longitudes laterales son potencias de dos? La caminata debe pasar por cada punto de la red. Más específicamente, ¿cómo puedo encontrar una ruta hamiltoniana aleatoria en un...
He estado tratando de separar las definiciones de seguridad de tipo y solidez de tipo y me lo estoy pasando muy bien. Le pregunté a un profesor recientemente y después de pensar un poco me dijo que realmente no había ninguna diferencia. Sin embargo, después de leer esto , parece que: Type Safety...
Suponiendo que los bordes no están dirigidos, tienen un peso único y no tienen rutas negativas, ¿estos algoritmos producen los mismos árboles de expansión
Una declaración del teorema de Rice se da en la página 35 de "Complejidad computacional: un enfoque moderno" (Arora-Barak): Una función parcial de { 0 , 1 }∗{0,1}∗\{0,1\}^* a { 0 , 1 }∗{0,1}∗\{0,1\}^* es una función que no está necesariamente definida en todas sus entradas. Decimos que una TM...
Estoy trabajando en un problema relacionado con los cuadrados latinos, y quiero un método para lo que esencialmente se reduce al problema de decisión: Entrada : Un gráfico simple finito G. Salida : YESsi G tiene un automorfismo no trivial, de lo NOcontrario. Por lo tanto... Pregunta : ¿Existe...
Veo muchos problemas algorítmicos que siempre reducen a algo las líneas de: Tiene una matriz entera h[1..n]≥0h[1..n]≥0h[1..n]\geq 0 , necesita encontrar i,ji,ji,j tal que maximice (h[j]−h[i])(j−i)(h[j]−h[i])(j−i)(h[j]-h[i])(j-i) en el tiempo O(n)O(n)O(n) . Obviamente, la solución de tiempo...
Recientemente me enteré de KRR (Representación del conocimiento y razonamiento) y ASP, sin haber escuchado nada sobre ellos antes (excepto un poco sobre el prólogo). He leído un poco sobre ellos y uno de sus usos principales parece ser la IA. Mi pregunta sería cuán ampliamente utilizados son los...
El problema es probar o refutar la existencia de , st, ; ; d (c_i, c_j) \ geq2,1 \ leq i <j \ leq32 . ( d significa distancia de hamming)CCC|c|=6,∀c∈C|c|=6,∀c∈C|c| = 6,\forall c\in C|C|=32|C|=32|C| = 32d(ci,cj)≥2,1≤i<j≤32d(ci,cj)≥2,1≤i<j≤32d(c_i,c_j)\geq2,1\leq...
Encontré este problema y estoy luchando por encontrar una manera de abordarlo. Cualquier idea sería muy apreciada! Supongamos que se nos da una matriz { - 1 , 0 , 1 }n × k {−1,0,1}n × k\{-1, 0, 1\}^{n\ \times\ k} , por ejemplo, ⎡⎣⎢⎢⎢⎢⎢⎢1- 10 0- 110 00 01- 10 010 010 00 00 00 00 010 0- 11-...
Hay múltiples anotaciones , como u etc. Me preguntaba si hay variaciones de las que en realidad son como u , o si son matemáticamente incorrectas.OOOO(n)O(n)O(n)O(n2)O(n2)O(n^2)O(2n2)O(2n2)O(2n^2)O(logn2)O(logn2)O(\log n^2) ¿O sería correcto decir que es posible mejorar un a un ? Todavía no puedo...
Estoy trabajando en el Libro Sipser (2ª edición) y encontré este ejemplo, que no entiendo. En el libro dice que este NFA acepta la cadena vacía, ϵϵ\epsilon . ¿Podría alguien explicarme por qué este es el caso? Tengo entendido que ϵϵ\epsilon se moverá a q3q3q_3 que no es un estado de...
A menudo se dice (por ejemplo, en Wikipedia ) que el tiempo de ejecución de la búsqueda de amplitud primero (BFS) en un gráfico G = ( V, E)G=(V,E)G=(V,E) es O ( | VEl | + | miEl | )O(|V|+|E|)O(|V|+|E|) . Sin embargo, cualquier gráfico conectado tiene El | VEl | ≤ | miEl | +1|V|≤|E|+1|V|\leq |E|+1...