Recientemente aprendí sobre Q-learning, una técnica de aprendizaje de refuerzo que estima directamente el valor esperado de tomar una acción en un estado. Me pregunto si existen técnicas para hacer "aprendizaje dinámico", para estimar la dinámica de un sistema. Un agente de "aprendizaje dinámico"...
Tengo la siguiente pregunta. ¿Los solucionadores SAT son deterministas? Me refiero, por ejemplo, al algoritmo miniSAT y DPLL . ¿Son completamente deterministas? Si estos algoritmos devolverán unSAT, ¿significa que ciertamente la solución no
Estoy tratando de entender cómo puedo ordenar una matriz de elementos cuando solo no está en su lugar.nortenortenIniciar sesiónnorteIniciar sesiónnorte\log n Escuché que ordenar una matriz con a lo sumo inversiones tiene complejidad . Debido a que hay elementos que no están clasificados, en mi...
Estoy estudiando sistemas de tipos puros, particularmente el cálculo de construcciones, y tratando de usar una codificación para tipos recursivos, lo que, según Philip Wadler, es posible . Como ejemplo, estoy usando la biblioteca Morte Haskell para codificar los números de Scott tal como los da...
Como se dijo, quiero construir un programa para generar n puntos equidistantes en un espacio euclidiano. Por lo que sé 1d: todos los puntos 2d: todos los triángulos equiláteros 3d: todos los tetraedros equiláteros hasta 3d: supongo que se llama hipertriangulo equilátero Entonces, mi problema es...
Esto es algo que no pude encontrar, pero siempre me pareció interesante que el lema de bombeo sea solo un lema (especialmente porque tiene el mismo nombre para idiomas normales, idiomas libres de contexto, etc.) ¿Para qué es un
Mi algoritmo inicial: Compare el elemento 0 con cualquier otro elemento, haciendo un seguimiento de cuántos elementos son menores. Repita para cada elemento hasta que se encuentre un elemento que sea mayor que exactamente (k-1). Supongo que esto tomaría en el peor de los casos. ¿Se puede...
Dado un DFA, A, deje que L (A) denote el número de palabras que A acepta. Creo que es fácil calcular L (A): traducir la codificación de A a una expresión regular. Si la estrella de Kleene aparece en algún lugar de la expresión, el lenguaje es infinito. De lo contrario: revisa y cuenta todas las...
Recientemente he pensado la siguiente prueba de que L = P implica P = NP. Supongamos que L = P. Deje que A sea un problema en NP. Según la definición del verificador de NP, cada solución positiva a A tiene un testigo que puede verificarse en tiempo polinómico. Como P = L, la misma solución se...
Después de mi clase de teoría de la computación de hoy, esta pregunta apareció en mi mente: si un problema puede ser resuelto por un autómata finito, este problema pertenece a P. Creo que es cierto, ya que los autómatas reconocen lenguajes muy simples, por lo tanto, todos estos lenguajes tendrían...
Supongamos que tiene un lenguaje de programación con administración de memoria manual. ¿Qué características necesita tener este lenguaje para poder implementar la recolección de basura precisa como una biblioteca, y no como una construcción de lenguaje fundamental? Por GC preciso me refiero a uno...
Esta gramática se deja recursiva: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term |...
Me pregunto si hay funciones útiles asintóticamente mayores que una función pollogarítmica y menores que una función polinómica. Es decir, una función F( n )f(n)f(n) tal que f(n)=ω(log(n)k)f(n)=ω(log(n)k)f(n) = \omega(\log(n)^k) por alguna constante k>0k>0k > 0 y f(n)=o(nk)f(n)=o(nk)f(n)...
¡Yo! Esta es probablemente una pregunta estúpida, sin embargo, nunca lo he visto escrito explícitamente si, por ejemplo, la capacidad de decisión de la verificación de tipo es equivalente a la propiedad de normalización fuerte. Por lo tanto, hago esta pregunta para aclarar todas las relaciones...
En los últimos dos años, construí una computadora mecánica impulsada por canicas e hice un juego con ella. Es similar al antiguo Digi-Comp II, excepto por dos diferencias clave: Las piezas son reposicionables en el tablero. Puede conectar múltiples 'bits' juntos usando engranajes. Cuando uno de...
Esta es una tarea del concurso de TI alemán ("Bundeswettbewerb Informatik"), pero dado que la fecha límite ha pasado, hacer esta pregunta no es trampa. Dado un gráfico dirigido ponderado por vértices y valores , encuentre un subconjunto de nodos que maximice sujeto a ¿Es este problema NP-hard?G =...
Tengo dos números, que son el producto de una gran cantidad de números más pequeños que conozco. Quiero encontrar el MCD (Máximo común divisor) de estos dos números. ¿Hay alguna forma de utilizar la factorización parcial que tengo para acelerar el proceso? En particular, cada número mayor es el...
Leí uno de esos artículos populares sobre la teoría de los tipos cúbicos, pero no es de extrañar que solo pudiera ver fórmulas y diagramas sin poder reconocerlos en absoluto. Entonces esto es lo que quiero. Quiero una explicación lo suficientemente profunda de qué composición, relleno y pegado de...
Suponiendo que tuviéramos una computadora cuántica con un número suficiente de qubits, ¿podríamos usarla para hacer álgebra lineal más rápido que con una computadora clásica? ¿Qué tipo de aceleración podríamos esperar? ¿Alguien ha creado un algoritmo cuántico para álgebra lineal, y cuál es su...
Tengo que resolver un sistema de hasta 10000 ecuaciones con 10000 incógnitas lo más rápido posible (preferiblemente en unos pocos segundos). Sé que la eliminación gaussiana es demasiado lenta para eso, entonces, ¿qué algoritmo es adecuado para esta tarea? Todos los coeficientes y constantes son...