2
ETH: k-SAT so với SAT?
Đặt SAT là ngôn ngữ của các trường hợp SAT có chứa các biến , hãy để -SAT là ngôn ngữ của các trường hợp SAT trong đó mọi mệnh đề đều có nhiều nhất là chữ và để -SAT là giao điểm của chúng. Đặt , trong đó phạm …