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

Một động lực có thể để nghiên cứu các lớp phức tạp tính toán là để hiểu sức mạnh của các loại tài nguyên tính toán khác nhau (tính ngẫu nhiên, không xác định, hiệu ứng lượng tử, v.v.). Nếu chúng ta xem xét nó từ quan điểm này, thì …

21 complexity-theory  oracle-machines 

Tôi biết điều đó thật ngớ ngẩn, nhưng tôi đã tự làm mình bối rối và tôi cần sự giúp đỡ để giải quyết chuyện này Giả sử , sau đó rõ ràng cho mỗi oracle Một chúng tôi có P Một = N P A mà mâu thuẫn với …

11 complexity-theory  p-vs-np  oracle-machines 

Tôi hiểu rằng hầu hết các vấn đề là tầm thường nếu có một lời tiên tri tạm dừng (hoặc, tôi nghĩ tương đương, siêu tính toán). Tuy nhiên, việc áp dụng đối số cho thấy Sự cố dừng là không thể đối với máy Turing cũng cho thấy rằng …

11 computability  undecidability  halting-problem  oracle-machines 

Làm thế nào chúng ta có thể đảm bảo rằng chúng ta đang tiếp tục đưa ra những tuyên bố hợp lý và hợp lý về các lớp phức tạp khi sử dụng máy Turing orory? Theo sự hiểu biết của tôi (dựa trên các định nghĩa được đưa ra …

9 complexity-theory  oracle-machines 

Sau đây là một bài tập mà tôi bị mắc kẹt tại (nguồn: Sanjeev Arora và Boaz Barak; nó không phải là bài tập về nhà): Chứng minh rằng có một oracle và một ngôn ngữ ví dụ rằng không phải là thời gian đa thức rút gọn về 3SAT …

7 complexity-theory  np  nondeterminism  oracle-machines  relativization 

Tôi xin lỗi, nhưng ngay cả sau hai bài đăng khác: ở đây và ở đây tôi vẫn gặp khó khăn trong việc hiểu các TM tiên tri và thuyết tương đối hóa. Câu hỏi này xuất phát từ vấn đề từ một góc độ khác: Tại sao các bằng …

7 complexity-theory  proof-techniques  oracle-machines  relativization