FRP se trata de transmitir eventos y comportamientos a través de funciones puras. El modelo de actor, al menos, tal como se implementa en Akka, se trata de transmitir mensajes inmutables (que pueden considerarse eventos discretos) a través de objetos potencialmente impuros, llamados actores. Así...
Me gustaría enumerar todos los gráficos no dirigidos de tamaño nnn , pero solo necesito una instancia de cada clase de isomorfismo . En otras palabras, quiero enumerar todos los gráficos no isomorfos (no dirigidos) en nnn vértices. ¿Cómo puedo hacer esto? Más precisamente, quiero un algoritmo que...
Estaba pasando por la discusión sobre la pregunta ¿Cómo definir las máquinas cuánticas de Turing? y siento que la TM cuántica y la TM no determinista son lo mismo. Las respuestas a la otra pregunta no tocan eso. ¿Son estos dos modelos uno y el mismo? Si no, ¿Cuáles son las diferencias entre...
Me asignaron un ejercicio en mi universidad. Me lo llevé a casa e intenté programar un algoritmo para resolverlo, supongo que era algo relacionado con gráficos, encontrar componentes conectados. Luego hice lo más trivial que se me ocurrió y luego se lo mostré a mi profesor. Después de una breve...
Muchos libros de texto cubren los tipos de intersección en el cálculo lambda. Las reglas de tipeo para la intersección se pueden definir de la siguiente manera (además del cálculo lambda simplemente tipado con
Actualmente estoy leyendo un libro sobre algoritmos y complejidad. En este momento, estoy leyendo sobre funciones computables y no computables, y mi libro dice que hay muchas más funciones que no son computables que computables, de hecho, la mayoría no son computables, dice. En cierto sentido,...
¿SQL necesita subconsultas? Imagine una implementación suficientemente generalizada del lenguaje de consulta estructurado para bases de datos de relaciones. Como la estructura de la SELECTdeclaración canónica de SQL es bastante importante para que esto tenga sentido, no apelo directamente al...
Estoy implementando un conjunto de algoritmos de búsqueda de rutas como Dijkstra, Depth First, etc. Al principio usé un par de gráficos hechos por mí mismo, pero ahora me gustaría llevar el desafío un poco más allá y, por lo tanto, estoy buscando gráficos utilizados en puntos de...
He estado estudiando compiladores durante un tiempo, y he estado buscando lo que se entiende por "contexto" en gramática y lo que significa que la gramática esté "libre de contexto", pero sin resultado. Entonces, ¿alguien puede ayudar con
Cuando estaba explicando la prueba de Baker-Gill-Solovay de que existe un oráculo con el que podemos tener, , y un oráculo con el que podemos tener a un amigo, surgió una pregunta de por qué tales técnicas no son adecuadas para probar el problema , y no pude dar una respuesta satisfactoria.P ≠ N P...
Tengo curiosidad por determinar un enfoque para abordar un algoritmo de "amigos sugeridos". Facebook tiene una función en la que le recomendará personas que cree que puede conocer. Estos usuarios normalmente (excluyendo los casos extremos en los que un usuario recomienda específicamente a un amigo...
Aprendimos sobre el concepto de enumeraciones de funciones. En la práctica, corresponden a lenguajes de programación. En un comentario pasajero, el profesor mencionó que la clase de todas las funciones totales (es decir, las funciones que siempre terminan para cada entrada) no es enumerable. Eso...
La tesis de Church-Turing establece que todo lo que se puede calcular físicamente, se puede calcular en una máquina de Turing. El documento "Computación analógica a través de redes neuronales" (Siegelmannn y Sontag, Theoretical Computer Science , 131: 331–360, 1994; PDF ) afirma que una red...
Dado que comprar potencia de cálculo es mucho más económico que en el pasado, ¿el conocimiento de algoritmos y la eficiencia son cada vez menos importantes? Está claro que querrás evitar un bucle infinito, por lo tanto, no todo funciona. Pero si tiene un mejor hardware, ¿podría tener un software...
Encontré a continuación la declaración de Alan M. Turing aquí : "La opinión de que las máquinas no pueden dar lugar a sorpresas se debe, creo, a una falacia a la que los filósofos y matemáticos están particularmente sujetos. Esta es la suposición de que tan pronto como se presenta un hecho a la...
Hay un algoritmo polinomial fácil para decidir si hay una ruta entre dos nodos en un gráfico dirigido (solo haga un recorrido de rutina del gráfico con, por ejemplo, búsqueda de profundidad primero). Sin embargo, parece que, sorprendentemente, el problema se vuelve mucho más difícil si en lugar de...
He estado leyendo durante algunas semanas sobre el cálculo de Lambda, pero todavía no he visto nada que sea materialmente distinto de las funciones matemáticas existentes, y quiero saber si es solo una cuestión de notación, o si hay alguna nueva propiedades o reglas creadas por los axiomas del...
Las redes backprop totalmente conectadas (al menos capa a capa con más de 2 capas ocultas) son aprendices universales. Desafortunadamente, a menudo son lentos para aprender y tienden a ajustarse demasiado o tienen generalizaciones incómodas. Al perder el tiempo con estas redes, he observado que...
Mi madre está tomando un curso en línea para ser una especie de bibliotecaria, en este curso cubren búsquedas booleanas, por lo que pueden buscar bases de datos de manera eficiente, sin embargo, recibió una pregunta que suena así: La búsqueda "x OR y" dará como resultado 105 000 resultados,...
Estoy buscando un algoritmo para generar una matriz de N números aleatorios, de modo que la suma de los N números sea 1, y todos los números se encuentren dentro de 0 y 1. Por ejemplo, N = 3, el punto aleatorio (x, y, z) debe estar dentro del triángulo: x + y + z = 1 0 < x < 1 0 < y <...