Preguntas etiquetadas con reference-request

El algoritmo Ramer-Douglas-Peucker para la simplificación de línea tiene el peor tiempo de ejecución . Para entradas aleatorias distribuidas adecuadamente, se espera una complejidad de tiempo de ejecución . En 2D, hay otros algoritmos con la peor complejidad de tiempo de ejecución , que calculan exactamente el mismo resultado que …

19 reference-request  computational-geometry  randomized-algorithms 

Las estructuras de datos persistentes son estructuras de datos inmutables. Las operaciones en ellos devuelven una nueva "copia" de la estructura de datos, pero modificada por la operación; Sin embargo, la antigua estructura de datos permanece sin cambios. La eficiencia generalmente se logra compartiendo algunos de los datos subyacentes y …

19 reference-request  data-structures  functional-programming  persistent-data-structure 

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 

Tengo una pequeña pregunta de historia, a saber, como dice el título, estoy buscando los primeros usos de los árboles (como estructura de datos, árbol de búsqueda, lo que sea) en informática.

18 data-structures  reference-request  trees  history 

Se dice que 'Eugene Goostman', un programa de computadora desarrollado para simular a un niño de 13 años, logró convencer al 33 por ciento de los jueces de que era humano, y así pasó la prueba de Turing. El programa de computadora, también conocido como chatbot, pretendía ser un niño …

18 reference-request  artificial-intelligence  history  turing-test 

Los problemas de corte son problemas en los que cierto objeto grande debe cortarse en varios objetos pequeños. Por ejemplo, imagine que tiene una fábrica que trabaja con grandes hojas de vidrio en bruto, de anchura y la longitud . Hay varios compradores, cada uno de los cuales quiere un …

18 reference-request  computational-geometry  lower-bounds  packing 

Empecé a leer más y más trabajos de investigación lingüística. Me parece muy interesante y una buena manera de aprender más sobre la programación en general. Sin embargo, generalmente viene una sección en la que siempre lucho (tome, por ejemplo, la tercera parte de esto ) ya que no tengo …

18 logic  reference-request  terminology  type-theory 

Como se desprende de mi pregunta anterior , he estado jugando con la hipótesis de Riemann como una cuestión de matemática recreativa. En el proceso, he llegado a una recurrencia bastante interesante, y tengo curiosidad por su nombre, sus reducciones y su capacidad de seguimiento hacia la capacidad de solución …

18 complexity-theory  reference-request  recurrence-relation  mathematical-analysis 

¿Existe una máquina de Turing que se detiene en todas las entradas pero esa propiedad no es demostrable por alguna razón? Me pregunto si esta pregunta ha sido estudiada. Tenga en cuenta que "no demostrable" podría significar un sistema de prueba "limitado" (que en el sentido débil piensa que la …

17 computability  reference-request  turing-machines  halting-problem 

Los solucionadores de SAT se están volviendo cada vez más eficientes en la resolución de grandes instancias y se están utilizando como back-end en varios contextos. Cada vez que uno quiere usarlos para resolver un problema en un dominio específico, tiene que encontrar una codificación ad-hoc que no solo tenga …

17 reference-request  satisfiability  sat-solvers 

Sea una función fija construible en el tiempo.fff El clásico resultado de la simulación universal para TMs (Hennie y Stearns, 1966) establece que hay una TM dos cintas tal queUUU la descripción de un TM , y⟨M⟩⟨M⟩\langle M \rangle una cadena de entrada ,xxx corre por pasos y devuelve la …

16 complexity-theory  reference-request  turing-machines  machine-models  simulation 

Algunos comentarios: soy un informático recreativo e ingeniero de software empleado. Entonces, perdón si este mensaje parece algo fuera del campo izquierdo: juego rutinariamente con simulcra matemática y problemas abiertos cuando no tengo nada mejor que hacer. Mientras jugaba con la hipótesis de Riemann , determiné que la brecha principal …

16 algorithms  reference-request  discrete-mathematics 

Llegué a saber que la unidad de procesamiento gráfico tiene algo llamado fusión de memoria. Al leerlo, no tenía claro el tema. ¿Está relacionado de alguna manera con el paralelismo del nivel de memoria? He buscado en Google pero no pude obtener una respuesta satisfactoria. Sería útil si alguien da …

16 terminology  reference-request  computer-architecture  memory-management 

Estaba leyendo una pregunta en Stack Overflow preguntando si era NP difícil enumerar todos los ciclos simples en un gráfico que contiene un nodo particular y se me ocurrió que no podía pensar en ninguna clase de complejidad existente que fuera adecuada para hablando de problemas de la forma "enumere …

15 complexity-theory  reference-request  complexity-classes  enumeration 

¿Cuáles son algunos ejemplos de problemas de decisión difíciles que se pueden resolver en tiempo polinómico? Estoy buscando problemas para los cuales el algoritmo óptimo es "lento", o problemas para los cuales el algoritmo más rápido conocido es "lento". Aquí hay dos ejemplos: Reconocimiento de gráficas perfectas. En su artículo …

15 algorithms  complexity-theory  reference-request