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

Quyết định nếu một công thức boolean định lượng như ∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), luôn luôn đánh giá đúng là một vấn đề hoàn chỉnh PSPACE cổ điển. Đây có thể được xem là một trò chơi giữa hai người chơi, với …

31 cc.complexity-theory  sat  gt.game-theory  pspace 

Người ta biết rằng vấn đề sau đây là PSPACE-Complete: Với biểu thức chính quy , không L ( β ) = Σ * ?ββ\betaL ( β) = Σ*L(β)=Σ∗L(\beta) = \Sigma^* Điều gì về việc xác định tương đương với các biểu thức chính quy (cố định) khác ?αα\alpha Với …

21 cc.complexity-theory  automata-theory  regular-expressions  pspace 

Lý lịch Được biết, có tồn tại một oracle ví dụ đó, .P S P A C E A ≠ P H AAAAPSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A Thậm chí người ta còn biết rằng sự tách biệt giữ tương đối với một lời sấm truyền ngẫu nhiên. Một cách không chính thức, …

17 cc.complexity-theory  oracles  relativization  pspace  structural-complexity 

Nó được đề cập trong một bình luận trong một bài đăng khác của cstheorySE rằng tính đầy đủ của PSPACE ngụ ý độ cứng APX. Bất cứ ai có thể vui lòng giải thích / chia sẻ một tài liệu tham khảo cho nó? Đây có phải là "chặt …

14 cc.complexity-theory  approximation-algorithms  approximation-hardness  np  pspace 

Trong bài báo "Về sự phức tạp của một số trò chơi tô màu", Bodlaender đưa ra một số câu hỏi mở về sự phức tạp của việc quyết định xem người chơi 1 hoặc 2 có chiến lược chiến thắng trong một số trò chơi tô màu đồ thị …

12 graph-colouring  pspace  two-player-games 

Bài viết này đưa ra một bằng chứng rằng trong một trò chơi có cửa và tấm áp lực, thật khó để xác định liệu avatar (của người chơi) có thể đạt đến một vị trí nhất định hay không. Điều này được chứng minh bằng cách giảm từ TQBF …

12 reductions  nondeterminism  pspace 

Xem xét đầy đủ thông tin trò chơi kết hợp hai người chơi kết thúc sau một số lần di chuyển đa thức, và theo một cách khác, người chơi chọn từ một số lượng hữu hạn các bước di chuyển được phép. Câu hỏi thông thường là, thật khó …

11 cc.complexity-theory  np  board-games  pspace 

Tôi đoán nó sẽ được gọi là # P-Space nhưng tôi chỉ tìm thấy một bài báo mơ hồ đề cập đến nó. Làm thế nào về phiên bản đếm của các vấn đề EXP-TIME-Complete, NEXP-Complete cũng như EXP-SPACE-Complete? Có bất kỳ công việc nào trước đây mà người ta …

11 cc.complexity-theory  complexity-classes  counting-complexity  pspace 

Khái niệm sau đây về thuật toán chưng cất xuất phát từ "Về các vấn đề không có hạt nhân đa thức". Hãy để một ngôn ngữ được đưa ra. Một thuật toán chưng cất cho có một danh sách nhất định của chuỗi đầu vào và tính ra một …

9 cc.complexity-theory  np-hardness  parameterized-complexity  polynomial-hierarchy  pspace 

Lý lịch Chúng ta biết rằng .P# P⊆ PSPA CEP#P⊆PSPACEP^{\#P} \subseteq PSPACE Bên cạnh đó, chúng tôi được biết đến từ lý Toda của rằng .PH⊆ P# PPH⊆P#PPH \subseteq P^{\#P} Để biết thêm thông tin về , xem tại đây: https://en.wikipedia.org/wiki/Sharp-P# P#P\#P Câu hỏi Liệu có tồn tại một lời …

8 cc.complexity-theory  complexity-classes  oracles  relativization  pspace 

Trong bài viết năm 1969 của Savitch, "Mối quan hệ giữa độ phức tạp băng không xác định và xác định", ông nói rằng "tất cả các hàm lưu trữ phổ biến L (n)> = lg n đều có thể đo lường được. Đặc biệt, mọi đa thức trong n …

8 cc.complexity-theory  pspace  space-complexity