¿Cuál de las siguientes afirmaciones es correcta? existen condiciones suficientes y necesarias sobre la regularidad de un idioma pero aún no se han descubierto. No hay una condición suficiente y necesaria sobre la regularidad de un idioma. El lema de bombeo es una condición necesaria para...
Considere un sistema de archivos dirigido a algunos dispositivos integrados que hace poco más que almacenar archivos en una estructura de directorios jerárquica. Este sistema de archivos carece de muchas de las operaciones a las que puede estar acostumbrado en sistemas como Unix y Windows (por...
¿Cómo se puede decidir si ππ\pi tiene alguna secuencia de dígitos? me inspiró a preguntar si la siguiente variación de aspecto inocente es computable: f(n)={10if n¯ occurs in the decimal representation of πotherwisef(n)={1if n¯ occurs in the decimal representation of π0otherwisef(n) =...
Sistema de reescritura es un conjunto de reglas en forma de . Si aplicamos esa regla a una cadena , reemplazamos cualquier subcadena en con una subcadena y viceversa.A↔BA↔BA \leftrightarrow BwwwAAAwwwBBB Dada una cadena de inicio podemos derivar en el sistema con las siguientes...
Un dispensador de bebidas requiere que el usuario inserte una moneda ( ), luego presione uno de los tres botones: solicita una taza de té , lo mismo para el café , y solicita un reembolso (es decir, la máquina devuelve la moneda: ). Este dispensador puede modelarse mediante el siguiente proceso CCS...
Un algoritmo de máquina de Turing de tiempo polinómico se considera eficiente si su tiempo de ejecución, en el peor de los casos, está limitado por una función polinómica en el tamaño de entrada. Soy consciente de la fuerte tesis de Church-Turing: Cualquier modelo razonable de cálculo puede...
Esto podría estar al borde de la ciencia cognitiva computacional, pero tengo curiosidad sobre cómo el proceso seguido por los algoritmos de búsqueda de caminos comunes (como A * ) se compara con el proceso que los humanos usan en diferentes situaciones de búsqueda de caminos (dada la misma...
Tengo el siguiente idioma { 0yo1j2k∣ 0 ≤ i ≤ j ≤ k }{0i1j2k∣0≤i≤j≤k}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} Estoy tratando de determinar en qué clase de idioma Chomsky encaja. Puedo ver cómo se podría hacer usando una gramática sensible al contexto, así que sé que al menos es sensible...
Actualmente estoy aprendiendo el cálculo lambda y me preguntaba sobre los siguientes dos tipos diferentes de escribir un término lambda. λxy.xyλxy.xy\lambda xy.xy λx.λy.xyλx.λy.xy\lambda x.\lambda y.xy ¿Hay alguna diferencia en el significado o la forma en que aplica la reducción beta, o esas...
Si entiendo correctamente, NFA tiene el mismo poder expresivo que las expresiones regulares. A menudo, leer expresiones regulares equivalentes de NFA es fácil: traduce ciclos a estrellas, uniones como alternativas, etc. Pero qué hacer en este caso: [ fuente ] Los ciclos superpuestos hacen que...
El algoritmo simplex camina con avidez por las esquinas de un politopo para encontrar la solución óptima al problema de programación lineal. Como resultado, la respuesta es siempre una esquina del politopo. Los métodos de punto interior recorren el interior del politopo. Como resultado, cuando un...
Este es el precursor de mi otra pregunta más avanzada sobre la inspección de la pila. Stack Inspection es un mecanismo de seguridad introducido en la JVM para manejar el código en ejecución que se origina en ubicaciones que tienen diferentes niveles de confianza. Esta pregunta tiene como objetivo...
Tengo una tarea para la cual me he estado golpeando la cabeza durante algún tiempo, y agradecería cualquier pista. Se trata de elegir un problema conocido, cuya integridad NP está probada, y construir una reducción de ese problema al siguiente problema que llamaré DGD (diagnóstico de gráfico...
Un montón de Fibonnaci admite las siguientes operaciones: insert(key, data) : agrega un nuevo elemento a la estructura de datos find-min() : devuelve un puntero al elemento con clave mínima delete-min() : elimina el elemento con clave mínima delete(node) : elimina el elemento señalado por...
Esta es una pregunta de tarea del libro de Udi Manber. Cualquier pista sería buena :) Debo demostrar que: n ( log3( n ) )5 5= O ( n1,2)n(log3(n))5=O(n1.2)n(\log_3(n))^5 = O(n^{1.2}) Intenté usar el Teorema 3.1 del libro: c > 0 a > 1F( n )C= O ( aF( n ))f(n)c=O(af(n))f(n)^c =...
La idea principal de k-Nearest-Neighbor tiene en cuenta los puntos más cercanos y decide la clasificación de los datos por mayoría de votos. Si es así, entonces no debería tener problemas en los datos de dimensiones superiores porque los métodos como el hashing sensible a la localidad pueden...
Estoy trabajando en un lenguaje basado en expresiones de genealogía ML, por lo que naturalmente necesita inferencia de tipos> :) Ahora, estoy tratando de extender una solución basada en restricciones al problema de inferir tipos, basada en una implementación simple en EOPL (Friedman y Wand),...
Supongamos que yo soy dado un conjunto finito de puntos en el plano, y se le pidió que dibujara una curva C ( P ) dos veces diferenciable a través de los p i 's, de modo que su perímetro sea lo más pequeño posible. Suponiendo que p i = ( x i , y i ) y x i < x i + 1 , puedo formalizar este...
Mi pregunta va a aquellos que están preocupados por los algoritmos de biología computacional. Voy a tomar un curso sobre bioinformática este otoño; El problema, sin embargo, es que tengo muy poca experiencia en biología y química para sentirme preparado para ese ciclo de lecciones (estaba bastante...
En la discusión sobre esta pregunta , Gilles menciona correctamente que cualquier prueba de corrección de un algoritmo que usa matrices tiene que demostrar que no hay accesos de matriz fuera de los límites; dependiendo del modelo de tiempo de ejecución, esto provocaría un error de tiempo de...