Ciencias de la Computación

Estoy buscando un algoritmo eficiente que me permita procesar el árbol de búsqueda minimax para ajedrez con poda alfa-beta en una arquitectura distribuida. Los algoritmos que he encontrado (PVS, YBWC, DTS, ver más abajo) son bastante antiguos (1990 es el último). Supongo que ha habido muchos avances sustanciales desde entonces. …

19 algorithms  distributed-systems  board-games 

Dejar L = { anorte∣ ∃p ≥ n pag, p + 2 son primos } . L={an∣∃p≥n p, p+2 are prime}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. ¿ es regular?LLL Esta pregunta parecía sospechosa a primera vista y me di cuenta de que está …

19 formal-languages  automata  regular-languages  finite-automata 

Hay una reducción en el libro de Sipser "Introducción a la teoría de la computación" en la página 286 de 3SAT al problema del camino hamiltoniano. ¿Hay una reducción más simple? Por simple quiero decir una reducción que sería más fácil de entender (para estudiantes). ¿Existe una reducción que use …

19 complexity-theory  np-hard 

La Ley de De Morgan a menudo se introduce en un curso introductorio de matemáticas para ciencias de la computación, y a menudo lo veo como una forma de convertir las declaraciones de AND a OR negando los términos. ¿Existe una explicación más intuitiva de por qué esto funciona en …

19 logic  discrete-mathematics  didactics 

Nuestro profesor nos pidió que pensáramos en una función en OCaml que tenga el tipo 'a -> 'b es decir, una función de un argumento que podría ser cualquier cosa, y que puede devolver una cosa diferente. Pensé en usar raiseuna función que ignora su argumento: let f x = …

19 programming-languages  typing  functional-programming 

Un gráfico unipático es un gráfico dirigido de tal manera que existe como máximo una ruta simple desde cualquier vértice a cualquier otro vértice. Los gráficos unipáticos pueden tener ciclos. Por ejemplo, una lista doblemente vinculada (¡no circular!) Es un gráfico unipático; si la lista tiene elementos, el gráfico tiene …

19 graphs  combinatorics 

Los cursos de introducción de gráficos generalmente tienen un proyecto que le pide que cree un trazador de rayos para representar una escena. Muchos estudiantes de gráficos que ingresan a la escuela de posgrado dicen que quieren trabajar en el trazado de rayos. Y, sin embargo, parece que el trazado …

19 graphics 

Hace poco leí que es posible tener matrices que no necesitan inicializarse, es decir, es posible usarlas sin tener que perder tiempo tratando de establecer cada miembro en el valor predeterminado. es decir, puede comenzar a usar la matriz como si se hubiera inicializado por el valor predeterminado sin tener …

19 data-structures  arrays 

Estoy comenzando una investigación bibliográfica personal sobre algoritmos de verificación de tipos y quiero algunos consejos. ¿Cuáles son los algoritmos, estrategias y técnicas generales de verificación de tipos más utilizados? Estoy particularmente interesado en algoritmos complejos de verificación de tipos que se implementaron en lenguajes de tipeo muy estáticos y …

19 algorithms  programming-languages  reference-request  type-checking 

He estado trabajando en programación dinámica por algún tiempo. La forma canónica de evaluar una recursión de programación dinámica es creando una tabla de todos los valores necesarios y llenándola fila por fila. Ver por ejemplo Cormen, Leiserson et al: "Introducción a los algoritmos" para una introducción. Me concentro en …

19 algorithms  dynamic-programming 

Soy un estudiante graduado que está tomando un curso de teoría de la computación y tengo serios problemas para producir contenido una vez que me lo piden. Puedo seguir el libro de texto (Introducción a la teoría de la computación de Michael Sipser) y las conferencias; sin embargo, cuando se …

19 computability  education  intuition 

Muchas referencias de sistemas operativos dicen que con la multitarea cooperativa (en lugar de preventiva), un proceso mantiene la CPU hasta que se suspende voluntariamente de forma explícita. Si un proceso en ejecución realiza una solicitud de E / S que no puede satisfacerse de inmediato (por ejemplo, solicita una …

19 operating-systems  process-scheduling 

El operador de diferencia de conjuntos (p. Ej., EXCEPTEn algunas variantes de SQL) es uno de los muchos operadores fundamentales del álgebra relacional. Sin embargo, hay algunas bases de datos que no admiten el operador de diferencia de conjunto directamente, pero que admiten LEFT JOIN(una especie de unión externa), y …

19 database-theory  relational-algebra  finite-model-theory 

Estaba leyendo sobre programación dinámica cuando me encontré con la siguiente cita Un algoritmo de programación dinámica examinará todas las formas posibles de resolver el problema y elegirá la mejor solución. Por lo tanto, podemos pensar aproximadamente en la programación dinámica como un método inteligente de fuerza bruta que nos …

19 algorithms  terminology  optimization  dynamic-programming 

Estoy atrapado en la siguiente pregunta: "Los lenguajes regulares son precisamente los aceptados por autómatas finitos. Dado este hecho, demuestre que si el lenguaje es aceptado por algún autómata finito, entonces también es aceptado por algún finito; consiste en todas las palabras de invertido ".LLLLRLRL^{R}LRLRL^{R}LLL

19 formal-languages  regular-languages  automata  finite-automata