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

Nhiều người tin rằng . Tuy nhiên, chúng ta chỉ biết rằng ở cấp thứ bậc đa thức thứ hai, tức là . Một bước để hiển thị \ mathsf {BPP} = \ mathsf {P} trước tiên là đưa nó xuống cấp độ đầu tiên của hệ thống phân cấp …

34 cc.complexity-theory  randomness  randomized-algorithms  nondeterminism  barriers 

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 

Gần đây, Ryan Willams đã chứng minh rằng Cấu trúc trong Bằng chứng tự nhiên là không thể tránh khỏi để rút ra sự phân tách các lớp phức tạp: NEXPNEXP\mathsf{NEXP} và TC0TC0\mathsf{TC}^{0} . Cấu trúc trong Bằng chứng tự nhiên là điều kiện mà tất cả các bằng chứng …

25 cc.complexity-theory  complexity-classes  circuit-complexity  gct  barriers 

Người ta biết rằng bất kỳ bằng chứng nào giải quyết câu hỏi P vs NP đều phải vượt qua quá trình tương đối hóa , bằng chứng tự nhiên và các rào cản đối kháng . Sơ đồ sau phân vùng "không gian bằng chứng" thành các vùng khác …

25 cc.complexity-theory  proofs  barriers  p-vs-np 

Phrasing chính xác của tiêu đề là do Anand Kulkarni (người đề xuất trang web này được tạo ra). Câu hỏi này đã được hỏi như một câu hỏi ví dụ, nhưng tôi cực kỳ tò mò. Tôi biết rất ít về hình học đại số, và trên thực tế …

22 cc.complexity-theory  np-hardness  lower-bounds  gct  barriers 

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 

Chúng ta đều biết cho thấy có rào cản. Tất cả chúng ta đã nghiên cứu những rào cản này bởi vì chúng tôi tin rằng P ≠ N P .P≠ NPP≠NPP\ne NPP≠ NPP≠NPP\ne NP Tuy nhiên, giả sử và có những người khôn ngoan tin rằng khả năng đó …

15 p-vs-np  barriers 

Đây là phần tiếp theo câu hỏi trước đây của tôi: Độ phức tạp thời gian xác định được biết đến thấp nhất ràng buộc cho một vấn đề tự nhiên trong NP Tôi thấy hoang mang rằng chúng tôi không thể chứng minh bất kỳ thời gian xác định …

11 cc.complexity-theory  lower-bounds  big-picture  barriers 

Tôi không nhớ đã thấy một sự tách lớp không dựa trên kết quả đường chéo và tương đối hóa. Đường chéo vẫn có thể được sử dụng để phân tách các lớp đã biết còn lại, bởi vì các đối số không tương đối hóa vẫn có thể được …

11 cc.complexity-theory  complexity-classes  relativization  barriers 

Đỗ Tự Nhiên Giấy tờ chứng minh , Relativization và Algebrization cũng ảnh hưởng đến tách các lớp phức tạp khác như vv?L≠NL≠NP≠coNP≠PH≠PSPACEL≠NL≠NP≠coNP≠PH≠PSPACEL\neq NL\neq NP\neq coNP \neq PH\neq PSPACE Ví dụ chứng minh tự nhiên rào cản ảnh hưởng đến bất kỳ bằng chứng về vì nó sẽ tách P …

9 cc.complexity-theory  barriers