Cho thấy giảm là một chức năng thời gian đa thức.
CIRCUIT-SAT là người đầu tiên không xác định đa thức
thời gian đầy đủ (NPC) vấn đề. Tất cả các giấy tờ chứng minh theo bằng cách giảm
từ thời điểm đầy đủ của không xác định đa thức
CIRCUIT-SAT
đang được dịch, vui lòng đợi..