Câu hỏi được gắn thẻ «cc.complexity-theory»

Tôi có một vài câu hỏi về phỏng đoán của Quantum PCP: Tuyên bố của phỏng đoán PCP lượng tử là gì? Định lý PCP lượng tử có ý nghĩa gì đối với việc mô phỏng người Hamilton? Có phải người ta tin rằng việc áp dụng bằng chứng của …

8 cc.complexity-theory  quantum-computing  approximation-hardness  pcp  physics 

(Tôi đang ở giữa khóa học lý thuyết cs đầu tiên của mình, vì vậy tôi xin lỗi trước vì đây có thể là một câu hỏi ngu ngốc.) Vì vậy, chúng tôi nói rằng một số ngôn ngữ L nằm trong P, có nghĩa là máy Turing có thể …

8 cc.complexity-theory 

Trong bài báo Tương đối hóa của P =? Câu hỏi NP , Baker và cộng sự. cho thấy có những thế giới tương đối hóa trong đó P = NP hoặc P ≠ NP nắm giữ. Tất cả các nhà tiên tri trong các thiết lập của họ là …

8 cc.complexity-theory  computability  oracles  relativization 

Được biết liệu SPACE (n) (lớp ngôn ngữ được nhận dạng bởi các TM xác định có không gian tuyến tính) có phải là tập hợp con của E (lớp ngôn ngữ được nhận dạng bởi các TM xác định trong thời gian 2 ^ O (n)) không?

8 cc.complexity-theory  complexity-classes 

Câu hỏi này xuất phát từ một câu trả lời Joe Fitzsimons đưa ra cho một câu hỏi khác . Hầu hết các lớp phức tạp tự nhiên có một "mô tả trực quan" một dòng giúp đặc trưng các vấn đề cốt lõi trong lớp đó. NP là "xác …

8 cc.complexity-theory  quantum-computing  big-picture  qma 

Tôi đã đọc một bài báo của một nhà hóa học toán học. Ông đề xuất một số chỉ số để đo độ phức tạp của các phân tử. Từ đây trở đi, thay vì các phân tử, hãy nghĩ các đồ thị được kết nối vô hướng: một đỉnh …

8 cc.complexity-theory  ds.algorithms  graph-algorithms  clique 

Vấn đề mệnh đề độc lập tối đa được tham số hóa: Đầu vào: Công thức r-CNFSAT F có n biến và m mệnh đề, k Ques: Có tồn tại ít nhất k mệnh đề sao cho chúng độc lập lẫn nhau tức là không có biến nào xảy ra …

8 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

Vấn đề # MONOTONE-2SAT được biết là # P-Complete. Điều này có nghĩa là #SAT có thể được giảm xuống. Câu hỏi của tôi là: đưa ra một ví dụ #SAT , đó là phép biến đổi chuyển đổi F thành ví dụ # MONOTONE-2SAT tương ứng của nó F …

8 cc.complexity-theory  ds.algorithms  complexity-classes  sat 

Được biết, nếu thì . Ngoài ra, người ta biết rằng . Dường như PCP không thể cho chúng tôi biết những vấn đề tự nhiên nào không có trong . Tôi tự hỏi nếu có thể sử dụng đặc tính của PCP để tách khỏi .C o N P …

8 cc.complexity-theory  pcp  proof-complexity 

Giả sử bạn có nam và nữ. Mỗi người có thuộc tính. Mỗi người chỉ ra một tập các thuộc tính mà một ứng cử viên có thể nên có. Một kết hợp là một tập hợp các cặp. Mỗi cặp ràng buộc một nam với một nữ. Sự hài …

8 cc.complexity-theory  np-hardness  matching 

Thời gian gần đây đã có một tuyên bố bằng chứng cho thấy P≠ NPP≠NPP \ne NP . Không lâu sau khi xuất bản, đã có một số vấn đề với bằng chứng này. Vậy ... bằng chứng có đúng hay không? (Vui lòng chỉ trả lời câu hỏi này …

8 np-hardness  cc.complexity-theory