Satisfiability Problem: 편집 역사

2026년 1월 15일 (목)

• 최신이전 15:242026년 1월 15일 (목) 15:24 Ahn9807 토론 기여 잔글 5,080 바이트 −27 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +)

2025년 12월 1일 (월)

• 최신이전 16:422025년 12월 1일 (월) 16:42 Pinkgo 토론 기여 5,107 바이트 +5,107 새 문서: 분류:알고리즘 설계와 분석 분류:컴퓨터 공학 상위 문서: NP-Completeness ==개요== SAT(Satisfiability Problem)는 컴퓨터 과학 이론에서 가장 유명한 NP-complete 문제이며, 전 세계의 알고리즘 전문가들이 빠른 알고리즘(다항시간)을 찾으려 했지만 실패했다. SAT를 빠르게 풀 수 있으면 P = NP가 되어버리며, NP 문제들이 전부 빠르게 풀려 암호...