Preguntas etiquetadas con reference-request

En resumen: ¿cómo se clasifican los sistemas de tipos en contextos académicos; particularmente, ¿dónde puedo encontrar fuentes confiables que aclaren las distinciones entre los diferentes tipos de sistemas de tipos? En cierto sentido, la dificultad con esta pregunta no es que no pueda encontrar una respuesta, sino que puedo encontrar …

23 reference-request  programming-languages  type-theory 

Cuando se trata del diseño de algoritmos, a menudo se emplean las siguientes técnicas: Programación dinámica La codiciosa estrategia Divide y conquistaras Si bien para los primeros dos métodos, existen fundamentos teóricos bien conocidos, a saber, el Principio de Optimidad de Bellman y la teoría matroide (resp. Greedoid), no pude …

22 algorithms  reference-request  divide-and-conquer 

He terminado la mayor parte del material en el libro de Introducción a Algoritmos de Cormen y estoy buscando un libro de algoritmos que cubra material más allá del libro de Corman. ¿Hay alguna recomendación? NOTA: pregunté esto en stackoverflow pero no estaba muy contento con la respuesta. NOTA: Mirando …

21 algorithms  reference-request  books 

Esta pregunta se migró de Intercambio teórico de apilamiento de informática porque se puede responder en Intercambio apilado de informática. Migrado hace 7 años . ¿Cuál es un buen libro de ciencias de la computación para principiantes para un adulto joven, digamos, un joven de 15 años? Quiero comenzar en …

21 education  reference-request 

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í generalmente tienen una forma bastante directa …

20 algorithms  reference-request  books 

Ú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 estructuras de datos sin bloqueo para admitir el acceso …

20 reference-request  data-structures  time-complexity  concurrency  search-trees 

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 , ...222SABSAT\text{SAT}SABSAT\text{SAT} ¿Existen documentos de encuesta (o páginas …

20 complexity-theory  reference-request  satisfiability 

Algunos algoritmos complicados ( union-find ) tienen la función inversa de Ackermann casi constante que aparece en la complejidad de tiempo asintótica, y son óptimos en el peor de los casos si se ignora el término de Ackermann inverso casi constante. ¿Hay ejemplos de algoritmos conocidos con tiempos de ejecución …

20 reference-request  algorithm-analysis  time-complexity  runtime-analysis 

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 una imagen Parikh semi-lineal …

20 formal-languages  reference-request  context-free  closure-properties 

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 …

20 reference-request  human-computing 

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 que generalmente se resuelven utilizando …

20 algorithms  reference-request  data-structures  partitions  sets 

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(logc⁡n)O(\log^cn) en procesadores con .p(n)∈O(nk)p(n)∈O(nk)p(n) \in O(n^k)c,k∈Nc,k∈Nc,k \in \mathbb{N} Podemos …

20 complexity-theory  reference-request  parallel-computing 

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 u u , …

20 reference-request  graphs  data-structures  network-flow 

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 programado explícitamente ? Puede …

19 terminology  reference-request  machine-learning  history 

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 ordenarlos? ¿Se puede resolver este problema en …

19 algorithms  reference-request  sorting