Câu hỏi được gắn thẻ «proof-techniques»

Người ta biết rằng nói chung, thứ tự của các bộ lượng tử phổ và tồn tại không thể đảo ngược. Nói cách khác, đối với một công thức logic chung ϕ(⋅,⋅)ϕ(⋅,⋅)\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) Mặt khác, chúng ta biết phía …

73 lo.logic  big-picture  proof-techniques 

Có bất kỳ tài liệu tham khảo nào (trực tuyến hoặc dưới dạng sách) tổ chức và thảo luận về các định lý TCS bằng kỹ thuật chứng minh không? Garey và Johnson làm điều này cho các loại công cụ phụ tùng khác nhau cần thiết cho bằng chứng …

38 reference-request  proof-techniques 

Là sự phức tạp trong giao tiếp (CC) là cách tiếp cận duy nhất được biết cho các thuật toán phát trực tuyến giới hạn thấp hơn? Có bất kỳ kỹ thuật nào khác, ngay cả khi giới hạn dưới có điều kiện ? Nói chung, chúng tôi có hài …

8 lower-bounds  streaming-algorithms  proof-techniques