Queremos en mosaico -square usando dos tipos de mosaicos: -square tile y -square tile de modo que cada cuadrado subyacente se cubra sin superponerse. Definamos una función que proporcione el tamaño del cuadrado más grande que se puede labrar usando cuadrados y cualquier número de cuadrados.1 × 1 2...
Al leer esta pregunta " Problemas naturales indecidibles de RE pero no completos de Turing ", me vino a la mente el siguiente lenguaje: Si es la función de castor ocupado (puntaje máximo alcanzable entre todas las máquinas Turing de 2 símbolos de estado n detenidas del tipo descrito anteriormente,...
Lucho con pocas definiciones en la representación del conocimiento y busco ayuda creíble para distinguirlas. He estado buscando en Wikipedia y en muchos sitios web la diferencia entre ontologías y redes semánticas (que no debe confundirse con la web semántica). Si bien la página de Wikipedia en la...
Dado un programa entero (binario) de la forma:0,10,10,1 mins.t.f(x)Ax=bxi≥0xi∈{0,1}∀i∀iminf(x)s.t.Ax=bxi≥0∀ixi∈{0,1}∀i \begin{array}{lll} \text{min} & f(x) & \\ \text{s.t.} & A x = b \\ & x_i \ge 0 & \quad \forall i\\ & x_i \in \{0,1\} & \quad \forall i \end{array} Tenga en cuenta que el...
Los cachés de la CPU se utilizan mediante la explotación de la localidad temporal y espacial. Mi pregunta es quién es responsable de administrar estos cachés. ¿Es este sistema operativo el que identifica un patrón de acceso particular y luego administra (es decir, almacena los datos en) la memoria...
En un video de recitación para MIT OCW 6.006 a las 43:30, Dada una matriz matriz con columnas y filas, el algoritmo de búsqueda de picos 2D, donde un pico es cualquier valor mayor o igual a sus vecinos adyacentes, se describió como:A m nm×nm×nm \times nAAAmmmnnn Nota: Si hay confusión al...
Tengo un problema con respecto a la siguiente situación. Tengo dos conjuntos de números como este: index/pos 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Array 1(i): 1 2 3 4 7 5 4 3 7 6 5 1 2 3 4 2 Array 2(j): 4 4 8 10 10 7 7 10 10 11 7 4 7 7 4 ahora supongamos que la segunda matriz es muy difícil...
Un SkipList proporciona los mismos límites para la búsqueda que un árbol equilibrado con la ventaja de que no es necesario reequilibrar. Dado que SkipList se construye utilizando lanzamientos aleatorios de monedas, estos límites solo se mantienen mientras la estructura de SkipList esté...
Inspirado por esta pregunta en la que el autor de la pregunta quiere saber si el tiempo de ejecución cambia cuando el comparador utilizado en un algoritmo de búsqueda estándar se reemplaza por un lanzamiento de moneda justo, y también por la falla prominente de Microsoft al escribir un generador de...
Recientemente, hice una pregunta sobre Math SE. Ninguna respuesta todavia. Esta pregunta está relacionada con esa pregunta, pero más detalles técnicos hacia la informática. Dados dos DFA y donde el conjunto de estados, el alfabeto de entrada y la función de transición de y son iguales, los estados...
En la universidad hemos estado aprendiendo sobre la teoría de la computación en general y las máquinas de Turing más específicamente. Uno de los grandes resultados teóricos es que, a costa de un alfabeto (símbolos) potencialmente grande, puede reducir el número de estados a solo 2. Estaba buscando...
Sé que un chico inteligente de 15 años está interesado en la informática y la genética. Le dije que estos campos son una excelente combinación. Me gustaría darle un libro sobre bioinformática o genómica computacional. Estoy buscando un libro divertido, no un libro de texto. Específicamente, debería...
¿Existe algún conjunto de reglas o métodos para convertir cualquier gramática libre de contexto en un autómata push down? Ya encontré algunas diapositivas en línea, pero no pude entenderlas. En la diapositiva 10 habla sobre algunas reglas, ¿alguien podría explicar
Tengo un problema que sospecho es NP-completo. Es fácil demostrar que es NP. Mi actual tren de pensamiento gira en torno al uso de una reducción de la mochila, pero daría como resultado casos de 0-1-mochila con el valor de cada elemento igual a su peso. ¿Sigue siendo NP completo? ¿O me estoy...
En el Capítulo 1 de Fundamentos prácticos para lenguajes de programación , el autor menciona que los árboles de sintaxis abstractos están asociados con géneros . Intuitivamente, los tipos son como los tipos, pero me gustaría saber si tienen una definición precisa. Me alegraría si también se...
Estoy tratando de entender por qué el ordenamiento rápido usando la partición Lomuto y un pivote fijo funciona de manera errática, pero en general deficiente, en entradas generadas aleatoriamente. Estoy pensando que aunque las entradas se generan aleatoriamente, puede haber mucho orden en las...
He estado leyendo algunos documentos de teoría del lenguaje formal y me he encontrado con un término que no entiendo. El documento a menudo se referirá a un conjunto que está "efectivamente cerrado bajo intersección" u otras operaciones. ¿Qué significa "efectivamente" aquí? ¿Cómo difiere esto del...
Estoy investigando el aprendizaje PAC (teoría del aprendizaje computacional) como un principiante sin conocimientos previos de aprendizaje automático / IA. Estoy investigando el modelo principalmente desde un punto de vista histórico. Para esto, lo más importante son, por supuesto, los resultados...
¿Qué son los polígonos degenerados? ¿Cómo se comprueba si un par de polígonos dado está degenerado o
En la teoría de tipos, si se permite que Type sea miembro de sí mismo, la teoría es inconsistente. Lo entiendo por analogía con la paradoja de Russel en Set Theory, pero preferiría verlo hecho en Type Theory. ¿Hay un breve ejemplo del equivalente en la teoría de