La literatura es bastante clara que las RAM de costo unitario con multiplicación primitiva no son razonables, ya que no puede ser simulado por máquinas de Turing en tiempo polinómico puede resolver problemas completos de PSPACE en tiempo polinómico Sin embargo, todas las referencias que puedo...
¿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...
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...
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...
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...
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...
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 de la informática sobre los sistemas de...
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?...
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
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...
¿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...
Todo el mundo conoce "Garey & Johnson", que es mi referencia cuando necesito un problema para transformarme para una prueba de dureza NP. Sin embargo, recientemente me encuentro en la necesidad de una prueba de dureza APX, y me pregunto si hay una colección similar (y más actualizada ...?) De...
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...
¿Quieres mejorar esta publicación? Proporcione respuestas detalladas a esta pregunta, incluidas citas y una explicación de por qué su respuesta es correcta. Las respuestas sin suficiente detalle pueden ser editadas o eliminadas. Me encargaron construir una biblioteca de...
Necesito una definición concisa del "estado de un objeto" en la programación orientada a objetos (para un artículo). Durante aproximadamente medio día busqué un documento que pueda citar sobre este tema, pero no pude encontrar uno. Todos los documentos que encontré eran principalmente documentos...
Me dijeron que las computadoras cuánticas no son computacionalmente más poderosas que las máquinas de Turing. ¿Podría alguien ayudarme amablemente a dar algunas referencias de literatura que expliquen este
En el trabajo, se me ha encomendado la tarea de inferir cierta información sobre un lenguaje dinámico. Reescribo secuencias de declaraciones en letexpresiones anidadas , así: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x...
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 \neq...
¿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...
Mi pregunta va a aquellos que están preocupados por los algoritmos de biología computacional. Voy a tomar un curso sobre bioinformática este otoño; El problema, sin embargo, es que tengo muy poca experiencia en biología y química para sentirme preparado para ese ciclo de lecciones (estaba bastante...