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

É sabido que, em geral, a ordem dos quantificadores universais e existenciais não pode ser revertida. Em outras palavras, para uma fórmula lógica geral ,ϕ(⋅,⋅)ϕ(⋅,⋅)\phi(\cdot,\cdot) (∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(\forall x)(\exists y) \phi(x,y) \quad \not\Leftrightarrow \quad (\exists y)(\forall x) \phi(x,y) Por outro lado, sabemos que o lado direito é mais restritivo do que o …

73 lo.logic  big-picture  proof-techniques 

Existem referências (online ou em forma de livro) que organizam e discutem os teoremas do TCS pela técnica de prova? Garey e Johnson fazem isso para os vários tipos de construções de widgets necessários para as provas de completude do NP (particularmente no capítulo 3 do livro), mas estou pensando …

38 reference-request  proof-techniques 

A complexidade da comunicação (CC) é a única abordagem conhecida para algoritmos de streaming com limites mais baixos? Existem outras técnicas, mesmo que limites inferiores condicionais ? Em geral, estamos satisfeitos com o progresso alcançado via CC? Ou buscar técnicas alternativas (mesmo que condicionais) seria uma direção interessante?

8 lower-bounds  streaming-algorithms  proof-techniques