Perguntas com a marcação «reference-request»

Eu sou novo na teoria da complexidade e quero saber o que é a teoria da complexidade estrutural? quais são os problemas que os teóricos tentam resolver nesse campo e qual é o seu futuro? Da wikipedia: A teoria da complexidade estrutural ou simplesmente a complexidade estrutural é o estudo …

8 complexity-theory  reference-request 

Essa gramática é deixada recursiva: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term | MultiplicationExpression '/' Term Term ::= Number | '(' AdditionExpression ')' Number ::= [+-]?[0-9]+(\.[0-9]+)? Portanto, em teoria, a descida recursiva não funcionará. Mas, explorando …

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

Pergunta: Existem textos introdutórios na linguagem formal ou na teoria da linguagem de programação que discutam como aplicá-la ao estudo da notação ideal? Em particular, estou interessado em aprender o que são linguagens de pilha, árvores de análise e índices e como prever quando um determinado tipo de notação levará …

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

Existem problemas cuja decisão é desconhecida, mas é sabido que os problemas são menos difíceis do que o problema da parada.

8 computability  reference-request  undecidability 

Não consegui encontrar um gráfico representando ou respondendo à seguinte pergunta: Existe uma relação direta entre a complexidade de um algoritmo (como o melhor / pior caso de classificação rápida) e a classe de autômatos que podem implementar o algoritmo. Por exemplo, existe uma variedade de complexidade que os autômatos …

8 complexity-theory  automata  reference-request  complexity-classes 

Existem aplicações do mundo real do Steiner Tree Problem (STP)? Entendo que o design do chip VSLI é uma boa aplicação do STP. Existem outros exemplos de problemas do mundo real que as pessoas possam sugerir que poderiam ser formulados em termos do STP? Antecedentes: Estou iniciando minha pesquisa de …

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

Um AT apareceu hoje para perguntar algumas coisas sobre NP e co-NP. Também chegamos a um ponto em que fiquei perplexo: como é o diagrama de Venn de P, NPI, NP e co-NP assumindo P ≠ NP (o outro caso é chato)? Parece haver quatro opções básicas. NP ∩ co-NP …

8 complexity-theory  reference-request  complexity-classes  np 

Houve uma boa quantidade de pesquisas sobre algoritmos de exclusão mútua - por exemplo, muitas delas são apresentadas em livros clássicos como The Art of Multiprocessor Programming , onde um capítulo inteiro é dedicado a eles. Pergunto-me quais são as situações práticas em que alguém pode precisar desses algoritmos durante …

8 reference-request  concurrency  mutual-exclusion 

A classe de Nick (NC) é a classe de problemas que podem ser resolvidos em tempo de poliolog usando um número polinomial de processadores. Quero saber sobre o analógico exponencial, que abrangeria problemas que podem ser decididos em tempo polinomial usando um número exponencial de processadores. O que estou procurando …

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

Eu sou um programador autodidata e tenho codificado por 8 anos. Devido a essa experiência, eu já estou muito familiarizado com os princípios de programação (como declarações if, classes, polimorfismo etc.). No entanto, nunca aprendi "ciência da computação", apenas programação. Quais são alguns bons recursos para alguém na minha posição …

8 reference-request 

Recentemente, tenho lidado com um problema que me levou às seguintes perguntas: Existe um bom algoritmo para enumerar todas as correspondências máximas / perfeitas em um gráfico geral? Existe um bom algoritmo para encontrar todas as correspondências máximas / perfeitas em um gráfico geral? Esses dois problemas são equivalentes em …

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

Sou Ph.D. iniciante estudante de ciência da computação, e estou tentando entender alguns trabalhos clássicos sobre teoria dos jogos, como os de Nash, Kalai e Smorodinsky. Mas acho difícil entender as partes matemáticas. Parece que esses trabalhos foram escritos por matemáticos, para matemáticos. Você pode recomendar um livro que explique …

8 reference-request  game-theory  mathematical-analysis 

Considere o seguinte problema no universo . O problema do universo. Dado um conjunto finito para uma classe de idiomas e um autômato que aceita o idioma , decida se .ΣΣ\SigmaLLLL=Σ∗L=Σ∗L=\Sigma^* Em [1], é afirmado e provado que o problema do universo é indecidível para uma classe específica de autômatos …

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

Esses slides de aula esboçam uma prova de que não pode ser aceito por nenhum Empurrão Determinístico Autômato. Infelizmente, os slides não fornecem referências sobre a origem da prova.L = {umanbn∣ n ≥ 0 } ∪ {umanb2 n∣ n ≥ 0 }eu={umanbn∣n≥0 0}∪{umanb2n∣n≥0 0}L=\{ a^n b^n \mid n \geq 0 …

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

Estou procurando aplicações práticas de máquinas de estado finito como máquinas DFA, NFA, Moore, Mealy ... Seria útil se alguém apontasse para exemplos do Linux Kernel. Eu sei que o DFA é usado na correspondência de strings como o algoritmo KMP. Qual é o significado das máquinas NFA, Moore e …

8 reference-request  automata  finite-automata