Perguntas sobre métodos e técnicas gerais para provar múltiplos teoremas. Ao perguntar sobre a prova de uma única declaração, use tags relacionadas ao que é a prova.
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...
Já ouvi falar em indução (estrutural). Ele permite que você construa estruturas finitas a partir de estruturas menores e fornece princípios de prova para raciocinar sobre essas estruturas. A ideia é clara o suficiente. Mas e a coindução? Como funciona? Como alguém pode dizer algo conclusivo...
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 é
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 ....
Estou planejando ministrar um curso de inverno sobre um número variável de tópicos, um dos quais serão compiladores. Agora, eu me deparei com esse problema enquanto pensava em atribuições a serem entregues ao longo do trimestre, mas ele me deixou perplexo, para que eu pudesse usá-lo como...
Entendo a prova da indecidibilidade do problema da parada (dada, por exemplo, no livro de Papadimitriou), com base na diagonalização. Embora a prova seja convincente (eu entendo cada etapa dela), não é intuitivo para mim no sentido de que não vejo como alguém a derivaria, partindo apenas do...
Quando eu estava explicando a prova de Baker-Gill-Solovay de que existe um oráculo com o qual podemos ter, , e um oráculo com o qual podemos ter para um amigo, surgiu uma pergunta sobre por que essas técnicas são inadequadas para provar o problema , e não pude dar uma resposta...
Eu tenho um algoritmo ganancioso que suspeito estar correto, mas não tenho certeza. Como verifico se está correto? Quais são as técnicas a serem usadas para provar que um algoritmo ganancioso está correto? Existem padrões ou técnicas comuns? Espero que isso se torne uma pergunta de referência que...
Todo problema indecidível que eu conheço se enquadra em uma das seguintes categorias: Problemas indecidíveis por causa da diagonalização (auto-referência indireta). Esses problemas, como o problema da parada, são indecidíveis, porque você pode usar um pretenso argumento para a linguagem construir...
Estou fazendo um curso de complexidade e estou tendo problemas para apresentar reduções entre os problemas dos NPCs. Como posso encontrar reduções entre problemas? Existe um truque geral que eu possa usar? Como devo abordar um problema que me pede para provar que é um
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...
Meu problema é como posso provar que uma gramática é inequívoca? Eu tenho a seguinte gramática: S→statement∣if expression then S∣if expression then S else SS→statement∣if expression then S∣if expression then S else SS → statement ∣ \mbox{if } expression \mbox{ then } S ∣ \mbox{if } expression...
Dado qualquer problema computacional, a tarefa de encontrar limites mais baixos para esse cálculo é realmente possível? Suponho que tudo se resume a como um único passo computacional é definido e qual modelo usamos para a prova, mas, dado que, realmente provamos um limite inferior ao geral? O que...
A lógica construtivista é um sistema que remove a lei do meio excluído, bem como a dupla negação, como axiomas. É descrito na Wikipedia aqui e aqui . Em particular, o sistema não permite provas por contradição. Eu estou querendo saber, alguém está familiarizado com como isso afeta os resultados em...
Eu tenho duas maneiras de produzir uma lista de itens em uma ordem aleatória e gostaria de determinar se eles são igualmente justos (imparciais). O primeiro método que eu uso é construir a lista inteira de elementos e, em seguida, fazer um shuffle (por exemplo, um shuffle de Fisher-Yates). O...
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...
Estou procurando uma explicação sobre como alguém poderia provar que dois modelos de computação são equivalentes. Eu tenho lido livros sobre o assunto, exceto que as provas de equivalência são omitidas. Eu tenho uma idéia básica sobre o que significa dois modelos de computação serem equivalentes (a...
Em matemática, existem muitas provas de existência que não são construtivas; portanto, sabemos que um determinado objeto existe, embora não saibamos como encontrá-lo. Estou à procura de resultados semelhantes em ciência da computação. Em particular: existe um problema que podemos provar que é...
Existe um método geral para resolver a recorrência do formulário: T(n)=T(n−nc)+T(nc)+f(n)T(n)=T(n−nc)+T(nc)+f(n)T(n) = T(n-n^c) + T(n^c) + f(n) para , ou mais geralmentec<1c<1c < 1 T(n)=T(n−g(n))+T(r(n))+f(n)T(n)=T(n−g(n))+T(r(n))+f(n)T(n) = T(n-g(n)) + T(r(n)) + f(n) onde são algumas...
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...