«proof-techniques» etiketlenmiş sorular

5
Quant Düzenini Tersine Çevirme Teknikleri
Genel olarak, evrensel ve varoluşsal niceleyicilerin sırasının tersine çevrilemeyeceği iyi bilinmektedir. Başka bir deyişle, genel bir mantıksal formül için ,ϕ(⋅,⋅)ϕ(⋅,⋅)\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) Öte yandan, sağ tarafın sol taraftan daha kısıtlayıcı olduğunu biliyoruz; yani, (∃y)(∀x)ϕ(x,y)⇒(∀x)(∃y)ϕ(x,y)(∃y)(∀x)ϕ(x,y)⇒(∀x)(∃y)ϕ(x,y)(\exists y)(\forall x) \phi(x,y) \Rightarrow (\forall x)(\exists y) …

9
TCS kanıtı teknikleri için referanslar
TCS teoremlerini ispat tekniği ile organize eden ve tartışan referanslar (online ya da kitap şeklinde) var mı? Garey ve Johnson bunu NP eksiksizliği kanıtları için gereken çeşitli widget yapıları için yapıyorlar (özellikle kitaplarının 3. bölümünde), ancak TCS'deki ispat tekniklerini daha geniş bir şekilde ele alan herhangi bir şey olup olmadığını …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.