Perguntas com a marcação «proof-techniques»

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 das respostas …

159 algorithms  algorithm-analysis  runtime-analysis  proof-techniques  reference-question 

Na ciência da computação, geralmente precisamos resolver as relações de recorrência , ou seja, encontrar uma forma fechada para uma sequência de números definida recursivamente. Ao considerar os tempos de execução, geralmente nos interessamos principalmente pelo crescimento assintótico da sequência . Exemplos são O tempo de execução de uma função …

89 asymptotics  proof-techniques  combinatorics  recurrence-relation  reference-question 

Aprendemos sobre a classe de linguagens livres de contexto CFLCFL\mathrm{CFL} . É caracterizado por gramáticas livres de contexto e autômatos de empilhamento, portanto é fácil mostrar que um determinado idioma é livre de contexto. Como mostro o oposto? Meu AT foi firme em afirmar que, para fazer isso, teríamos que …

88 formal-languages  context-free  proof-techniques  reference-question 

Aprendemos sobre a classe de idiomas regulares . É caracterizado por qualquer conceito entre expressões regulares, autômatos finitos e gramáticas lineares à esquerda, portanto é fácil mostrar que um determinado idioma é regular.REGREG\mathrm{REG} Como mostro o oposto? Meu TA tem sido inflexível que, para fazer isso, teríamos que mostrar para …

76 formal-languages  regular-languages  proof-techniques  reference-question 

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 sobre uma estrutura infinita? …

68 terminology  logic  proof-techniques  formal-methods  coinduction 

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 é regular?LLLL′L′L' L′:={w∈L:uv=w for u∈Σ∗∖L and v∈Σ+}L′:={w∈L:uv=w for u∈Σ∗∖L …

48 formal-languages  regular-languages  automata  proof-techniques  reference-question 

Eu sei que existe uma máquina de Turing, se uma função é computável. Então, como mostrar que a função não é computável ou não existe uma Máquina de Turing para isso. Existe algo como um lema de bombeamento?

43 computability  proof-techniques  undecidability  reference-question 

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 . Essencialmente, mostramos que qualquer …

40 complexity-theory  computability  reductions  proof-techniques  reference-question 

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 exemplo. public class …

32 computability  proof-techniques  compilers 

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 problema. No …

30 computability  proof-techniques  undecidability  halting-problem  intuition 

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 …

29 complexity-theory  proof-techniques  p-vs-np  relativization 

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 possa ser …

29 algorithm-analysis  proof-techniques  correctness-proof  greedy-algorithms 

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 uma TM cujo comportamento leva a uma contradição. Você …

28 computability  proof-techniques  undecidability 

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 NPC?

27 complexity-theory  np-complete  proof-techniques  reductions 

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 uma gramática livre …

26 formal-languages  context-free  formal-grammars  proof-techniques  reference-question