Las máquinas de Turing tienen un alfabeto de símbolos formales , un estado y una descripción basada en reglas de transición de cómo se realiza un cálculo. El Modelo de actor a veces se menciona como un modelo computacional más poderoso que las máquinas de Turing (no en lo que puede calcular, sino...
Estoy buscando un texto de referencia sobre teoría gráfica aplicada y algoritmos gráficos. ¿Existe un texto estándar utilizado en la mayoría de los programas informáticos? Si no, ¿cuáles son los textos más respetados en el campo? Tengo Cormen et
Estoy particularmente interesado en soluciones al problema de que la búsqueda encapsulada puede depender del orden de evaluación. De acuerdo con [1], la búsqueda encapsulada en PAKCS depende del orden de evaluación, mientras que en MCC no, pero su uso requiere conocimiento de la implementación del...
Considere el siguiente problema: Deje ser una constante. Se nos da una matriz -ary de y 's. Deje .kkkkkkUNAre1× … ×rekAd1×…×dkA_{d_1\times\ldots\times d_k}0 000111norte=∏ki = 1reyoN=∏i=1kdiN = \prod_{i=1}^k d_i Queremos crear una estructura de datos preprocesando para realizar el siguiente tipo...
Estoy buscando aplicaciones prácticas de máquinas de estado finito como máquinas DFA, NFA, Moore, Mealy ... Sería útil si alguien señalara ejemplos del kernel de Linux. Sé que DFA se usa en la coincidencia de cadenas como el algoritmo KMP. ¿Cuál es el significado de las máquinas NFA, Moore y...
Considere el siguiente problema del universo . El problema del universo. Dado un conjunto finitoΣΣ\Sigma para una clase de idiomas y un autómata que acepta el idioma LLL, decidir si L=Σ∗L=Σ∗L=\Sigma^*. En [1], se afirma y prueba que el problema del universo es indecidible para una clase...
Estas diapositivas de la conferencia bosquejan una prueba de queL = {unanortesinorte∣ n ≥ 0 } ∪ {unanortesi2 n| N ≥ 0 }L={unanortesinorte∣norte≥0 0}∪{unanortesi2norte∣norte≥0 0}L=\{ a^n b^n \mid n \geq 0 \} \cup \{ a^n b^{2n} \mid n \geq 0 \} no puede ser aceptado por ningún autómata determinista...
Soy un Ph.D. estudiante de ciencias de la computación, y estoy tratando de entender algunos documentos clásicos de teoría de juegos, como los de Nash, Kalai y Smorodinsky. Pero me resulta difícil entender las partes matemáticas. Parece que estos documentos fueron escritos por matemáticos, para...
Recientemente he estado lidiando con un problema que me llevó a las siguientes preguntas: ¿Existe un buen algoritmo para enumerar todas las coincidencias máximas / perfectas en un gráfico general? ¿Existe un buen algoritmo para encontrar todas las coincidencias máximas / perfectas en un gráfico...
Soy un programador autodidacta y he estado codificando durante 8 años. Debido a esta experiencia, ya estoy muy familiarizado con los principios de programación (como sentencias if, clases, polimorfismo, etc.). Sin embargo, nunca aprendí "informática", solo programación. ¿Cuáles son algunos buenos...
La clase de Nick (NC) es la clase de problemas que se pueden decidir en el tiempo de poli-log utilizando un número polinómico de procesadores. Quiero saber sobre el análogo exponencial, que cubriría los problemas que se pueden decidir en el tiempo polinómico usando un número exponencial de...
Se ha investigado bastante sobre algoritmos de exclusión mutua; por ejemplo, gran parte se presenta en libros de texto clásicos como The Art of Multiprocessor Programming , donde se dedica un capítulo completo a ellos. Me pregunto cuáles son las situaciones prácticas en las que uno podría...
¿Existen aplicaciones del mundo real del Steiner Tree Problem (STP)? Entiendo que el diseño del chip VSLI es una buena aplicación del STP. ¿Hay otros ejemplos de problemas del mundo real que la gente pueda sugerir que podrían formularse en términos del STP? Antecedentes: estoy comenzando mi...
¿Hay problemas cuya capacidad de decisión es desconocida pero se sabe con certeza que los problemas son menos difíciles que el problema de
No he podido encontrar un gráfico que represente o un texto que responda a la siguiente pregunta: ¿Existe una relación directa entre la complejidad de un algoritmo (como el mejor / peor caso de clasificación rápida) y la clase de autómatas que pueden implementar el algoritmo. Por ejemplo, ¿hay un...
Pregunta: ¿Hay algún texto introductorio en lenguaje formal o teoría del lenguaje de programación que discuta cómo aplicarlo al estudio de la notación óptima? En particular, estoy interesado en aprender qué son los lenguajes de pila, los árboles de análisis y los índices, y cómo predecir cuándo un...
Esta gramática se deja recursiva: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term |...
Soy nuevo en la teoría de la complejidad y quiero saber qué es la teoría de la complejidad estructural. ¿Cuáles son los problemas que los teóricos intentan resolver en este campo y cuál es su futuro? De la wikipedia: La teoría de la complejidad estructural o simplemente la complejidad...