Запитання з тегом «proof-techniques»

5
Методика повернення порядку квантових ефірів
Загальновідомо, що в цілому порядок універсальних та екзистенційних кількісних показників неможливо змінити. Іншими словами, для загальної логічної формули ,ϕ(⋅,⋅)ϕ(⋅,⋅)\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) З іншого боку, ми знаємо, що права частина є більш обмежуючою, ніж ліва; тобто (∃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 …

9
Довідники щодо методів підтвердження TCS
Чи є посилання (в Інтернеті чи в книжковій формі), які організовують та обговорюють теореми TCS методом доказування? Гарі та Джонсон роблять це для різних видів конструкцій віджетів, необхідних для доказів повноти NP (особливо в розділі 3 їхньої книги), але мені цікаво, чи є щось, що більш широко розглядає методи доказування …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.