A menudo interactúo con personas que desean solicitar un algoritmo para un problema computacional (o su complejidad), pero no lo expresan de manera rigurosa para que nosotros (los científicos informáticos) lo comprendamos. Remitirlos a libros como CLRS no es útil porque los ejemplos allí...
Muchos algoritmos de flujo máximo que comúnmente veo implementados, el algoritmo de Dinic, el relé de empuje y otros, pueden mejorar su costo de tiempo asintótico a través del uso de árboles dinámicos (también conocidos como árboles de corte de enlace). Push reetiquetado se ejecuta normalmente en...
Últimamente he estado leyendo un poco de literatura y he encontrado algunas estructuras de datos bastante interesantes. He investigado varios métodos diferentes para reducir el tiempo de actualización a peor tiempo de actualización [1-7].O ( 1 )O(1)\mathcal{O}(1) Recientemente comencé a buscar...
El refinamiento de partición es una técnica en la que comienza con un conjunto finito de objetos y divide progresivamente el conjunto. Algunos problemas, como la minimización de DFA, se pueden resolver utilizando el refinamiento de partición de manera bastante eficiente. No conozco otros problemas...
Bien, antes de comenzar, me doy cuenta de que esto está al margen del tema (he leído la ayuda de Preguntas para este sitio), particularmente porque este no es un problema del mundo real. Sin embargo: No puedo encontrar nada relevante en Google ¿Desde un punto de vista purista seguramente debe...
He tenido problemas para aceptar la visión teórica de la complejidad de "eficientemente resuelto por algoritmo paralelo" que es dada por la clase NC : NC es la clase de problemas que puede resolver un algoritmo paralelo en el tiempo O(logcn)O(logcn)O(\log^cn) en procesadores con...
Recientemente encontré en un artículo [1] una versión simétrica especial de SAT llamada 2/2/4-SAT . Pero hay muchas variantes completas de , por ejemplo: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...notario públicoNP\text{NP} Algunas otras variantes son manejables: - SAT , Planar-NAE- SAT ,...
Los lenguajes libres de contexto no están cerrados bajo complemento, lo sabemos. Por lo que yo entiendo, los lenguajes sin contexto que son un subconjunto de a∗b∗un∗si∗a^*b^* para algunas letras a,bun,sia,b están cerrados bajo el complemento (!?) Aquí está mi argumento. Cada lenguaje CF LLL tiene...
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...
Considere el siguiente problema: Entrada: dos matrices y de longitud , donde está en orden.B n BAAABBBnnnBBB Consulta: ¿ y contienen los mismos elementos (con su multiplicidad)?BAAABBB ¿Cuál es el algoritmo determinista más rápido para este problema? ¿Se puede resolver más rápido que...
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...
Estoy tratando de descubrir quién acuñó el término "aprendizaje automático". Una pregunta complementaria es de dónde se cita a Arthur Samuel como definidor del campo del "aprendizaje automático" en 1959 como: El campo de estudio que brinda a las computadoras la capacidad de aprender sin ser...
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...
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...
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
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 ucraniano de...
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 número...
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 los...
¿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...
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...