1
Tình trạng hoàn thành PP của MAJ3SAT
CÂU HỎI NGẮN HẠN: MAJ-3CNF có phải là vấn đề hoàn chỉnh PP theo nhiều mức giảm không? PHIÊN BẢN DÀI HẠN: Người ta biết rằng MAJSAT (quyết định xem phần lớn các bài tập của câu mệnh đề có thỏa mãn câu không) có hoàn thành PP theo nhiều …