Preguntas etiquetadas con reference-request

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 estructural …

8 complexity-theory  reference-request 

Esta gramática se deja recursiva: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term | MultiplicationExpression '/' Term Term ::= Number | '(' AdditionExpression ')' Number ::= [+-]?[0-9]+(\.[0-9]+)? Entonces, en teoría, el descenso recursivo no funcionará. Pero al …

8 reference-request  formal-grammars  recursion  parsers  left-recursion 

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 cierto tipo …

8 formal-languages  reference-request  formal-grammars  programming-languages 

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 …

8 complexity-theory  automata  reference-request  complexity-classes 

¿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 detención?

8 computability  reference-request  undecidability 

¿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 investigación de doctorado …

8 graph-theory  reference-request  optimization  combinatorics  applied-theory 

Un TA llegó hoy para preguntar algunas cosas sobre NP y co-NP. Llegamos a un punto en el que también estaba perplejo: ¿qué aspecto tiene un diagrama de Venn de P, NPI, NP y co-NP suponiendo que P ≠ NP (el otro caso es aburrido)? Parece que hay cuatro opciones …

8 complexity-theory  reference-request  complexity-classes  np 

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 necesitar estos algoritmos …

8 reference-request  concurrency  mutual-exclusion 

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 procesadores. Lo …

8 complexity-theory  reference-request  parallel-computing  complexity-classes 

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 recursos para alguien en mi posición de autoaprendizaje de …

8 reference-request 

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 general? ¿Son estos dos problemas …

8 algorithms  complexity-theory  graph-theory  reference-request  matching 

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 matemáticos. ¿Puedes recomendar un libro …

8 reference-request  game-theory  mathematical-analysis 

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 particular de autómatas …

8 formal-languages  reference-request  automata  undecidability  decision-problem 

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 pushdown. …

8 formal-languages  reference-request  automata  pushdown-automata  nondeterminism 

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 …

8 reference-request  automata  finite-automata