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

Có bất kỳ ví dụ đồ chơi nào cung cấp những hiểu biết 'thiết yếu' trong việc tìm hiểu ba rào cản đã biết đối với vấn đề P=NPP=NPP = NP - thuyết tương đối hóa, bằng chứng tự nhiên và giải thích không?

28 cc.complexity-theory  relativization  p-vs-np  natural-proofs  barriers 

Tôi nghĩ rằng một định lý phân cấp kích thước cho độ phức tạp của mạch có thể là một bước đột phá lớn trong khu vực. Đó có phải là một cách tiếp cận thú vị để tách lớp? Động lực cho câu hỏi là chúng ta phải nói …

18 cc.complexity-theory  circuit-complexity  lower-bounds  natural-proofs  hierarchy-theorems 

Trong bài viết Bằng chứng tự nhiên của Razborov-Rudich , trang 6, trong phần họ thảo luận rằng có "bằng chứng mạnh mẽ chống lại các mô hình mạch đơn điệu " và cách chúng phù hợp với hình ảnh, có những câu sau: Ở đây, vấn đề không phải …

15 cc.complexity-theory  circuit-complexity  randomness  natural-proofs  boolean-functions 

Bằng chứng tự nhiên là một rào cản đối với việc chứng minh các giới hạn thấp hơn về độ phức tạp mạch của các hàm boolean. Họ không trực tiếp ngụ ý bất kỳ rào cản như vậy trong việc chứng minh các giới hạn thấp hơn về độ …

15 cc.complexity-theory  circuit-complexity  barriers  natural-proofs