Ciencias de la Computación

Acabo de leer algunas páginas en el libro de Sipser Introducción a la teoría de la computación sobre el problema posterior a la correspondencia, y estoy pensando que PCP está realmente en NP. El certificador es: para una configuración de entrada de pile concatenando como una cadena y concatenando como …

12 complexity-theory  decision-problem  np 

Soy nuevo en los autómatas, y ayer me dieron una breve introducción a las expresiones regulares. He leído las diversas reglas para definir una expresión regular. Pero no puedo diferenciar entre las expresiones regulares y la gramática de un idioma (no me han enseñado la gramática de las expresiones regulares). …

12 automata  formal-grammars  regular-expressions 

La distancia de edición de Levenshtein-Distance entre listas es un problema bien estudiado. Pero no puedo encontrar mucho sobre posibles mejoras si se sabe que ningún elemento ocurre más de una vez en cada lista . Supongamos también que los elementos son comparables / ordenables (pero las listas para comparar …

12 algorithms  strings  string-metrics  edit-distance 

Estoy diseñando una base de datos de objetos en memoria para un caso de uso muy específico. Es un escritor único, pero debe admitir lecturas concurrentes eficientes. Las lecturas deben estar aisladas. No hay lenguaje de consulta, la base de datos solo admite: obtener objeto / -s por atributo / …

12 data-structures  concurrency  databases 

Tengo curiosidad por saber si hay problemas completos en la clase de complejidad Arthur-Merlin. Graph Non-Isomorphism (GNI) parece ser el ejemplo canónico de un problema en AM, pero probablemente no sea completo. Supongo que también me pregunto si un problema "completo" está bien definido para AM. Como AM = BP.NP, …

12 complexity-theory  reductions  complexity-classes  interactive-proof-systems 

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 

He visto cómo XOR-3-SAT se puede resolver de manera eficiente (por ejemplo, consulte la sección "Satisfacción de XOR" en la entrada de Wikipedia para el problema de satisfacción booleana ). Me pregunto una pregunta básica: ¿es XOR-k-SAT eficientemente solucionable, para fórmulas con cantidades variables de literales por cláusula? Realmente me …

12 complexity-theory  satisfiability 

Esta es probablemente una pregunta estúpida, pero simplemente no entiendo. En otra pregunta se les ocurrió el teorema de dicotomía de Schaefer . Para mí, parece que demuestra que cada problema de CSP está en P o en NP-completo, pero no en el medio. Dado que cada problema de NP …

12 np-complete  satisfiability  p-vs-np 

El objetivo es crear DFA a partir de una expresión regular y usar "Exp. Regular> NFA> Conversión de DFA" no es una opción. ¿Cómo debería uno hacer eso? Le hice esta pregunta a nuestro profesor, pero él me dijo que podemos usar la intuición y amablemente se negó a dar …

12 automata  finite-automata  regular-expressions  simulation 

Tengo problemas para entender el problema de Turing. Su prueba asume que existe una máquina mágica que podría determinar si una computadora se detendría o realizaría un bucle para siempre para una entrada determinada. Luego conectamos otra máquina que invierte la salida y tenemos una contradicción y, por lo tanto, …

12 computability  halting-problem 

Las tablas hash dinámicas perfectas y las tablas hash cuco son dos estructuras de datos diferentes que admiten las búsquedas de O (1) en el peor de los casos y las inserciones y eliminaciones esperadas de O (1). Ambos requieren espacio auxiliar O (n) y acceso a familias de funciones …

12 data-structures  hash-tables 

En la imagen a continuación, estoy tratando de averiguar qué es exactamente lo que esta NFA está aceptando. Lo que me confunde es el salto en .q 0ϵϵ\epsilonq0q0q_0 Si se ingresa un , ¿el sistema se mueve a y (el estado de aceptación)?q 0 q 1000q0q0q_0 q1q1q_1 Si se ingresa …

12 automata  finite-automata  nondeterminism 

Al leer algunos blogs sobre la complejidad computacional (por ejemplo, aquí ) asimilé la noción de que decidir si dos grupos son isomórficos es más fácil que probar dos gráficos para el isomorfismo. Por ejemplo, en la página indicada dice que el isomorfismo gráfico es un problema más general que …

12 complexity-theory  graph-isomorphism  group-theory 

Me encanta todo lo que es tiempo de compilación y me encanta la idea de que una vez que compilas un programa, se hacen muchas garantías sobre su ejecución. En términos generales, un sistema de tipo estático (Haskell, C ++, ...) parece ofrecer garantías de tiempo de compilación más sólidas …

12 programming-languages  type-theory  type-checking  software-verification 

Tengo una pregunta muy genérica que hacer. Está relacionado con la investigación. Estoy interesado en la teoría de grafos. He hecho un curso al respecto. He hecho algunos temas relacionados con la teoría de grafos como un punto de vista para hacerlo como estudiante de matemáticas y también estudié algunos …

12 graph-theory  graphs