Reservado - não deve ser usado para a maioria das novas perguntas. Perguntas com amplo escopo sobre métodos e conceitos gerais, como métodos de prova, ferramentas para análise de algoritmos ou conceitos básicos de arquitetura de computadores. Isso não é para perguntas que solicitam referências, como livros ou artigos.
Há muitas perguntas sobre como analisar o tempo de execução de algoritmos (ver, por exemplo, tempo de execução, análise e algoritmo de análise ). Muitos são semelhantes, por exemplo, aqueles que solicitam uma análise de custos de loops aninhados ou algoritmos de dividir e conquistar, mas a maioria...
Converter expressões regulares em NFA (mínimo) que aceitam o mesmo idioma é fácil com algoritmos padrão, por exemplo, o algoritmo de Thompson . A outra direção parece ser mais entediante e, às vezes, as expressões resultantes são confusas. Quais algoritmos existem para converter NFA em expressões...
Existem muitas tentativas de provar ou P ≠ N P , e naturalmente muitas pessoas pensam sobre a questão, tendo idéias para provar qualquer direção.P=NPP=NP\mathsf{P} = \mathsf{NP} P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Eu sei que existem abordagens que comprovadamente não funcionam, e provavelmente há...
Na maioria das aulas introdutórias de algoritmo, são apresentadas notações como (Big O) e , e um aluno geralmente aprende a usar uma delas para encontrar a complexidade do tempo.OOOΘΘ\Theta No entanto, existem outras notações, como , e . Existem cenários específicos em que uma notação seria...
Normalmente, em algoritmos, não nos preocupamos com comparação, adição ou subtração de números - assumimos que eles correm no tempo . Por exemplo, assumimos isso quando dizemos que a classificação baseada em comparação é O ( n log n ) , mas quando os números são grandes demais para caber nos...
As pessoas costumam dizer que os analisadores LR (k) são mais poderosos que os analisadores LL (k) . Essas declarações são vagas na maioria das vezes; em particular, devemos comparar as classes para um fixo ou a união sobre todos os k ? Então, como está realmente a situação? Em particular, estou...
Existem muitos métodos para provar que um idioma não é regular , mas o que preciso fazer para provar que um idioma é regular? Por exemplo, se me é dado que é regular, como posso provar que o a seguir também é
Suponha que eu sou um programador e tenho um problema NP-completo que preciso resolver. Quais métodos estão disponíveis para lidar com problemas de NPC? Existe uma pesquisa ou algo semelhante sobre este
Sou nerd de computador há muitos e muitos anos. Eu posso programar em várias línguas e até construí-las. Outro dia, sentei-me com um amigo e perguntei como um computador realmente leva eletricidade e faz alguma coisa com ele, e simplesmente não conseguimos descobrir, e o Google também não ajudou...
Parece que neste site, as pessoas geralmente corrigem outras por "algoritmos" e "problemas" confusos. Qual é a diferença entre estes? Como sei quando devo considerar algoritmos e problemas? E como eles se relacionam com o conceito de linguagem na teoria formal da
Na teoria da computabilidade e da complexidade (e talvez em outros campos), as reduções são onipresentes. Existem muitos tipos, mas o princípio permanece o mesmo: mostre que um problema é pelo menos tão difícil quanto outro problema mapeando instâncias de para instâncias a solução em ....
Suponha que eu tenha uma lista de funções, por exemplo nloglog(n),2n,n!,n3,nlnn,…nloglog(n),2n,n!,n3,nlnn,…\qquad n^{\log \log(n)}, 2^n, n!, n^3, n \ln n, \dots Como os classifico assintoticamente, ou seja, após a relação definida por f≤Og⟺f∈O(g)f≤Og⟺f∈O(g)\qquad f \leq_O g \iff f \in O(g)...
Pode parecer uma pergunta estúpida, mas estou realmente curioso para saber como um computador sabe disso ? Além disso, como um computador sabe que a ordem do número inteiro é 1 , 2 , 3 , 4 , 5 , … e o alfabeto é A, B, C, D, ...? Está em algum lugar armazenado no hardware ou o sistema operacional...
Existem muitas técnicas para provar que uma linguagem não é livre de contexto, mas como posso provar que uma linguagem é livre de contexto? Que técnicas existem para provar isso? Obviamente, uma maneira é exibir uma gramática sem contexto para o idioma. Existem técnicas sistemáticas para encontrar...
Especificar linguagens formais dando gramáticas formais é uma tarefa frequente: precisamos de gramáticas não apenas para descrever as línguas, mas também para analisá-las ou mesmo fazer a ciência apropriada . Em todos os casos, é importante que a gramática em questão esteja correta , ou seja, gere...
No meu curso de teoria da computação, muitos dos nossos problemas envolvem o uso de indução no comprimento da string de entrada para provar declarações sobre autômatos finitos. Eu entendo a indução matemática, no entanto, quando as cordas entram em jogo, eu fico tropeçando de verdade. Eu realmente...
O idioma é obviamente regular - por exemplo, corresponde à expressão regular . Mas o seguinte argumento do lema de bombeamento parece mostrar que não é regular. O que deu errado?L={02n | n≥0}L={02n | n≥0}L = \{0^{2n} \space |\space n \ge 0 \}(00)∗(00)∗(00)^* Eu encontrei uma maneira de dividir uma...