강한 부분대수와 제약 만족 문제의 복합성 분석

초록

이 논문은 약한 근접다수(WNU) 연산이 보존되지 않을 때 CSP가 NP‑hard임을 보이고, WNU 연산을 갖는 제약 언어는 지역 일관성 검사만으로 풀 수 있음을 증명한다. 핵심 도구는 “강한 부분대수(strong subalgebra)” 개념으로, 변수 도메인을 단계적으로 축소해 문제를 해결한다. 또한, 강한 부분대수의 여러 종류(이진 흡수, 중심, PC 부분대수)와 이들의 존재 조건을 전형적인 대수적 성질과 연결시킨다.

상세 분석

논문은 먼저 CSP 복잡도 이론의 대수적 접근법을 정리하고, 강한 부분대수(strong subalgebra)의 정의와 그 종류를 체계화한다. 강한 부분대수는 크게 세 가지 형태로 구분된다. 첫째, **이진 흡수(subuniverse)**는 어떤 이항 연산 t가 존재해 B를 포함한 모든 입력에서 결과가 B에 머무는 구조이며, 이는 흡수 이론과 직접 연결된다. 둘째, **중심(subuniverse)**는 흡수성을 만족하면서, 외부 원소 a와 B 사이의 쌍이 생성하는 서브대수에 a가 포함되지 않는 강한 제약을 가진다. 이는 기존의 ‘센터’ 개념을 약화했지만, 여전히 중요한 동형 사상과 동등 관계를 유지한다. 셋째, PC(다항 완전) 부분대수는 전체 대수의 클론이 모든 연산을 생성하도록 하는 블록이며, 흡수나 중심이 없는 경우에도 구조적 복잡성을 제어한다.

핵심 정리는 모든 유한 아이디엠포턴트 대수 A(크기 ≥2)가 위 네 가지 경우 중 하나에 속한다는 것이다: (1) 비자명 이진 흡수 부분대수, (2) 비자명 중심 부분대수, (3) 비자명 PC 부분대수, (4) p‑affine 인수분해가 가능한 동치류, (5) 비자명 투사 부분대수. 특히, 투사 부분대수가 존재하면 대수는 본질적으로 일변량(essentially unary) 형태이거나 이진 흡수 부분대수를 갖는다.

이러한 대수적 분류를 CSP에 적용하면, WNU 연산이 존재하지 않을 경우 강한 부분대수의 부재가 보장되어, 논문은 기존 결과(