Coq incluye expresiones let en su lenguaje principal. Podemos traducir expresiones let a aplicaciones como esta: let x : t = v in b ~> (\(x:t). b) v entiendo que esto no siempre funciona porque el valor vno estaría disponible cuando se verifica la escritura b. Sin embargo, esto se puede...
En un video que discute los méritos de los filtros de partículas para la localización, se dio a entender que existe cierta ambigüedad sobre el costo de complejidad de las implementaciones de filtros de partículas. ¿Es esto correcto? ¿Alguien podría explicar
Estoy trabajando en un analizador para un lenguaje de estilo C, y para ese analizador necesito la expresión regular que coincida con el estilo C / ** / comentarios. Ahora, he encontrado esta expresión en la web: /\*([^\*]*\*+[^\*/])*([^\*]*\*+|[^\*]*\*/ Sin embargo, como puede ver, esta es una...
Estoy aprendiendo programación en ML (OCaml), y antes pregunté sobre las funciones de tipo ML'a -> 'b . Ahora he estado experimentando un poco con funciones de tipo 'a list -> 'b list. Hay algunos ejemplos simples obvios: let rec loop l = loop l let return_empty l = [] let rec...
Esta es una pregunta de seguimiento de esta . En una pregunta anterior sobre máquinas de estado exóticas , Alex ten Brink y Raphael abordaron las capacidades computacionales de un tipo peculiar de máquina de estado: los autómatas de min-montón. Pudieron demostrar que el conjunto de idiomas...
Este es un seguimiento de ¿Cómo funciona la Inspección de pila? que explora la noción con más detalle La inspección de la pila es un mecanismo para garantizar la seguridad en el contexto de las máquinas virtuales JVM y CLR cuando los módulos de código descargados externamente de diferentes niveles...
He estado leyendo este sitio con mucho interés, pero me parece que muchas cosas me pasan por la cabeza. Esto me ha hecho desear aprender mucho más sobre algoritmos y CS en general. Por lo que puedo deducir de mi investigación, hay 2 formas principales de hacerlo. Puedo por un buen libro grueso y...
Considere dos 2D-Array (la matriz de compra) y (la matriz de venta) donde cada elemento está asociado con una matriz de valores de coma flotante y cada uno de los valores de coma flotante, a su vez, está asociado con una matriz de enteros.BijBijB_{ij} SijSijS_{ij}ithithi^{th} Por ejemplo B = [...
Sé que esta es una pregunta simple, pero ¿alguien puede mostrarme cómo ( λ y. λ x . λ y. y) ( λ x . λ y. y)(λy.λX.λy.y)(λX.λy.y)(\lambda y. \lambda x. \lambda y.y) (\lambda x. \lambda y. y) reduce a λ x . λ y. yλX.λy.y\lambda x. \lambda y.
Considere un árbol minimax para un problema de búsqueda adversarial. Por ejemplo, en esta imagen (poda alfa-beta): Al marcar el árbol con los valores abajo hacia arriba, primero atravesamos el nodo 3 y asignamos B. \ max = 3 . Luego atravesamos 12 y 8 en este orden, se asegurará de que B.max = 3...
He notado en mi corta vida académica que muchos artículos publicados en nuestra área a veces no tienen mucho rigor con respecto a las estadísticas. Esto no es solo una suposición; He escuchado a los profesores decir lo mismo. Por ejemplo, en las disciplinas de CS veo publicaciones que afirman que...
En la poda Alpha-Beta, NegaScout afirma que puede acelerar el proceso estableciendo [Alpha, Beta] en [Alpha, Alpha-1]. No entiendo todo el proceso de NegaScout. ¿Como funciona? ¿Cuál es su mecanismo de recuperación cuando fallaron sus
Se nos da un conjunto de frutas. Cada fruta tiene un precio y un contenido de vitaminas ; asociamos la fruta con el par ordenado . Ahora tenemos que organizar estas frutas de tal manera que la lista ordenada contenga los precios en orden ascendente y el contenido de vitaminas en orden...
Sea una matriz . Decimos que dos entradas son vecinas si son adyacentes horizontal o verticalmente, y ambas entradas son 's. Uno quiere encontrar un número mínimo de para agregar, por lo que cada puede alcanzar a otro a través de una secuencia de vecinos.MMM(0,1)(0,1)(0,
Quiero contar el número de cadenas sobre un alfabeto finito , que no contiene repeticiones, y con eso me refiero a cualquier subcadena de ,, no hay una copia disjunta de en . Por ejemplo, deje . Entonces es una de las cadenas que quiero contar, ya que para la subcadena , no hay copias disjuntas....
Supongamos que me dan una serie de nortenorten enteros de ancho fijo (es decir, caben en un registro de ancho www), una1,una2, ...unanorteuna1,una2,...unanortea_1, a_2, \dots a_n. Quiero calcular la sumaS=una1+ ... +unanorteS=una1+...+unanorteS = a_1 + \ldots + a_n en una máquina con aritmética de...
Tengo un problema logístico que puede verse como una variante de TSPTSP\text{TSP}. Es tan natural, estoy seguro de que se ha estudiado en la investigación de operaciones o algo similar. Aquí hay una forma de ver el problema. Tengo almacenes en el plano cartesiano. Hay un camino desde un almacén a...
Me pidieron que encontrara los argumentos adversarios necesarios para encontrar los límites inferiores para la selección y el tipo de inserción. No pude encontrar una referencia en ningún lado. Tengo algunas dudas al respecto. Entiendo que los argumentos adversos generalmente se usan para...
Sé que los problemas de la mochila 2D y 3D son NPC, pero ¿hay alguna forma de resolverlos en un tiempo razonable si las instancias no son muy complicadas? ¿Funcionaría la programación dinámica? Por mochila 2D (3D) quiero decir que tengo un cuadrado (cubo) y una lista de objetos, todos los datos...
Estoy trabajando en el problema H en el concurso ACM ICPC 2004–2005 del noreste de Europa . El problema es básicamente encontrar el peor de los casos que produce un número máximo de intercambios en el algoritmo (tamizar hacia abajo) para construir el montón. Entrada: el archivo de entrada...