Pertanyaan yang diberi tag «proof-techniques»

Telah diketahui secara umum bahwa urutan bilangan universal dan eksistensial tidak dapat dibalik. Dengan kata lain, untuk rumus logis umum ,ϕ(⋅,⋅)ϕ(⋅,⋅)\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) Di sisi lain, kita tahu sisi kanan lebih membatasi daripada sisi kiri; yaitu, (∃y)(∀x)ϕ(x,y)⇒(∀x)(∃y)ϕ(x,y)(∃y)(∀x)ϕ(x,y)⇒(∀x)(∃y)ϕ(x,y)(\exists y)(\forall x) \phi(x,y) \Rightarrow …

73 lo.logic  big-picture  proof-techniques 

Apakah ada referensi (daring atau dalam bentuk buku) yang mengatur dan mendiskusikan teorema TCS dengan teknik bukti? Garey dan Johnson melakukan ini untuk berbagai jenis konstruksi widget yang diperlukan untuk bukti kelengkapan NP (terutama dalam bab 3 buku mereka), tetapi saya bertanya-tanya apakah ada sesuatu yang memperlakukan teknik bukti dalam …

38 reference-request  proof-techniques 

Apakah kompleksitas komunikasi (CC) satu-satunya pendekatan yang dikenal untuk algoritma streaming yang batas bawahnya? Apakah ada teknik lain, bahkan jika batas bawah bersyarat ? Secara umum, apakah kita puas dengan kemajuan yang dicapai melalui CC? Atau mencari teknik alternatif (meskipun kondisional) akan menjadi arah yang menarik?

8 lower-bounds  streaming-algorithms  proof-techniques