SAT 문제의 정보 함량, 다항식 시간 해결 가능성 및 고정 코드 알고리즘

SAT 문제의 정보 함량은 입력 크기에 따라 지수적으로 증가하며, 고정 코드 알고리즘으로는 다항식 시간 내에 해결할 수 없다.