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

Động vật học phức tạp của Greg Kuperberg nói rằng có một ngôn ngữ XXX sao cho BPPX⊈Δ2PXBPPX⊈Δ2PX\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^X - nói cách khác, BPPX⊈PNPXBPPX⊈PNPX\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X} - nhưng không đưa ra tham chiếu cho kết quả này. Tại sao điều này giữ? Hoặc một bằng chứng có thể …

12 cc.complexity-theory  oracles  relativization  polynomial-hierarchy  separation 

Trong câu hỏi này , nó đã được đề cập rằng có các phiên bản phức tạp mô tả của định lý Rice. Tôi tìm thấy một bằng chứng của định lý sau: Với một lớp C phức tạp , các thuộc tính không cần thiết của các ngôn ngữ …

10 cc.complexity-theory  complexity-classes  descriptive-complexity  separation 

Hiển thị một hàm có thể xây dựng theo không gian nhưng không thể định thời gian.f( n )f(n)f(n) Vấn đề này có liên quan đến sự phân tách có thể có giữa các lớp phức tạp DTIME (f (n)) và SPACE (f (n)) không?

10 cc.complexity-theory  space-bounded  separation 

Định lý phân cấp thời gian cho phép người ta chỉ ra rằng, ví dụ, có những vấn đề trong P không thể giải quyết kịp thời ít hơn const * n ^ 2 bằng máy Turing. Nhưng hãy cho máy Turing một số lời khuyên và tất cả các …

9 cc.complexity-theory  lower-bounds  circuit-complexity  advice-and-nonuniformity  separation 

Có ai trong số các bạn biết một tài liệu tham khảo cho kết quả sau đây (đáng ngạc nhiên là tẻ nhạt để chứng minh) không? Cho một đồ thị phẳng kết nối với n đỉnh và n + t mép, nó có một tách đỉnh của kích thước …

8 reference-request  planar-graphs  separation