Preguntas etiquetadas con reference-request

Sigo escuchando acerca de cómo uno debe aprender la teoría de categorías para comprender realmente la teoría del lenguaje de programación. Hasta ahora, he aprendido una gran cantidad de PL sin siquiera entrar en el ámbito de las categorías. Sin embargo, pensé que era hora de dar el salto para …

13 reference-request  programming-languages  type-theory  category-theory 

La página del problema de isomorfismo gráfico de Wikipedia parece indicar que, no, no se ha resuelto. Sin embargo, un amigo mío señaló un Algoritmo de tiempo polinómico para el isomorfismo gráfico . No soy lo suficientemente sofisticado como para seguir el razonamiento en el documento. Tengo mi propio intento …

13 complexity-theory  reference-request  time-complexity  graph-isomorphism 

¿Hay alguna forma natural o notable de relacionar o vincular grupos matemáticos y lenguajes formales de CS o algún otro concepto central de CS, por ejemplo, máquinas de Turing? Estoy buscando referencias / aplicaciones. Sin embargo, tenga en cuenta que conozco el vínculo entre los semigrupos y los lenguajes CS …

13 formal-languages  reference-request  automata  discrete-mathematics  group-theory 

Me preguntaba si alguien sabía el origen del modelo de servidor del cliente. ¿De dónde viene el término (papel, aplicación de software, libro)?

13 terminology  reference-request  distributed-systems  history 

El problema posterior a la correspondencia (PCP) es indecidible. La versión limitada del PCP es -complete y la versión marcada del PCP (las palabras de una de las dos listas deben diferir en la primera letra) está en [1].N PnortePAG\mathrm{NP}P S P A C EPAGSPAGUNCmi\mathrm{PSPACE} ¿Se utilizan estas versiones restringidas …

13 complexity-theory  computability  reference-request 

Existe ese problema popular [1] [2] en la informática que consiste en encontrar un número mínimo de líneas rectas que cubren un conjunto dado de puntos en 2D. Aunque he escaneado muchos documentos, ninguno de ellos tiene una motivación clara para el problema. ¿De qué sirve resolver este problema? ¿Hay …

12 reference-request  computational-geometry  applied-theory 

En términos de tiempo de ejecución asintótico en el peor de los casos, ¿qué problema de NP completo tiene el algoritmo (exacto) más rápido conocido y cuál es el algoritmo? ¿Hay algo conocido que sea más rápido que ?O(n2∗2n)O(n2∗2n)O(n^2*2^n)

12 algorithms  reference-request  np-complete 

Estoy tratando de resolver un problema SAT de 25k cláusulas 5k variables. Como ha estado funcionando durante una hora (precosat) y me gustaría resolver los más grandes después, estoy buscando un SAT-Solver multinúcleo. Como parece haber muchos solucionadores SAT, estoy bastante perdido. ¿Alguien podría señalarme el mejor para mi caso? …

12 algorithms  reference-request  parallel-computing  sat-solvers 

No sé si fue una broma, pero una vez que leí lo que se conoce como una definición formal de un archivo en un sistema de versiones como git, hg o svn. Era algo así como un objeto matemático como un homeomorfismo. ¿Fue una broma o hay realmente una teoría …

12 terminology  reference-request 

Me pregunto, ¿cuál es la complejidad temporal de determinar el vacío para los DFA de 2 vías? Es decir, autómatas finitos que pueden moverse hacia atrás en su cinta de entrada de solo lectura. Según Wikipedia, son equivalentes a los DFA, aunque el DFA equivalente podría ser exponencialmente más grande. …

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

¿Existe alguna herramienta para la creación de prototipos de una semántica de lenguaje de programación y un sistema de tipos y que también permita algún tipo de verificación de modelo de propiedades estándar, como la solidez de tipo? Pregunto esto, porque estoy leyendo un libro sobre Alloy y proporciona la …

11 reference-request  programming-languages  semantics  model-checking 

Me pregunto si hay duros que son "polinomiales" en el caso promedio. ¿Creo que hay dos formas de interpretar esto?NPNPNP Si , ¿puede haber un algoritmo que resuelva un problema duro con tiempo de ejecución amortizado (caso promedio) de para una constante ?N P O ( n k ) kP≠NPP≠NPP …

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

¿Me puede dar algunas sugerencias sobre un buen libro introductorio (pero completo) sobre Lógica y Computación? Algunos temas confusos que tengo en mente son: Presburger artihm., PA, ZF, ZFC, HOL Teoría de conjuntos, Teoría de tipos Computación de modelado (máquinas de Turing) en diferentes teorías Enlaces con complejidad computacional (FMT, …

11 reference-request  logic  books 

Según el artículo de Wikipedia sobre esquemas de aproximación de tiempo polinomial : Todos los problemas en FPTAS son manejables de parámetros fijos. Este resultado me sorprende: estas clases parecen ser totalmente diferentes entre sí. FPTAS caracteriza los problemas por su facilidad de aproximación, mientras que FPT caracteriza los problemas …

11 complexity-theory  reference-request  approximation  parameterized-complexity 

Dada nnn empleos J1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_n , cada trabajo requiere Ti>0,Ti∈NTi>0,Ti∈NT_i > 0, T_i \in N tiempo para completarse. Cada trabajo debe ser preprocesado y procesado posteriormente por una sola máquina M que puede manejar solo 1 trabajo a la vez y ambas fases requieren 1 unidad de tiempo. Después de ser …

11 complexity-theory  reference-request  scheduling