가변 중요도 교환을 통한 CP 넷 확장

초록

본 논문은 기존 CP‑넷에 변수 간 중요도 교환(trade‑off) 메커니즘을 도입한 TCP‑넷을 제안한다. 사용자가 복잡한 효용 함수를 명시하기 어려운 상황에서 직관적인 질적 선호 진술만으로도 선호 구조를 표현하고, 제약 하에서 최적 해를 효율적으로 찾을 수 있도록 설계되었다. 프레임워크의 형식적 의미론을 정의하고, 일관성 검증 및 최적화 알고리즘을 제시함으로써 실용적인 의사결정 지원 도구로의 가능성을 입증한다.

상세 분석

TCP‑넷은 CP‑넷의 기본 구조인 변수 집합, 도메인, 선호 조건부 그래프에 추가적으로 ‘중요도 관계’와 ‘교환 관계’를 명시한다. 기존 CP‑넷에서는 변수 간의 중요도가 전역적으로 고정되어 있어, 한 변수의 선호가 다른 변수의 선호를 압도한다는 가정이 내포된다. 그러나 현실 세계 의사결정에서는 상황에 따라 변수 간 중요도가 변동하거나, 두 변수 사이에 명시적인 교환이 필요할 때가 많다. TCP‑넷은 이러한 요구를 만족시키기 위해 두 종류의 새로운 엣지를 도입한다. 첫 번째는 ‘중요도 엣지’(→)로, A → B는 A가 B보다 항상 더 중요한 것을 의미한다. 두 번째는 ‘교환 엣지’(↔)로, A ↔ B는 특정 상황에서 A와 B의 중요도가 서로 교환될 수 있음을 나타낸다. 교환 엣지는 조건부로 정의될 수 있어, 예를 들어 “예산이 제한될 때는 비용보다 품질이 더 중요해진다”와 같은 문장을 형식화한다.

형식적 의미론 측면에서 저자는 각 변수에 대한 선호 순서를 부분 순서(partial order)로 정의하고, 중요도와 교환 관계를 메타‑제약으로 취급한다. 이 메타‑제약은 전체 선호 구조가 사이클을 형성하지 않도록 보장하는 ‘일관성 조건’과, 교환이 발생할 수 있는 상황을 명시적으로 구분하는 ‘조건부 교환 규칙’으로 구성된다. 의미론적 검증은 SAT‑solver 기반의 인코딩을 통해 수행되며, 이는 기존 CP‑넷의 일관성 검사보다 복잡도가 약간 증가하지만, 실제 데이터셋에서는 여전히 다항 시간 내에 해결 가능함을 실험적으로 확인한다.

알고리즘적으로는 두 단계의 최적화 절차를 제시한다. 첫 단계에서는 중요도와 교환 관계를 고려한 ‘우선순위 그래프’를 구축하고, 위상 정렬을 통해 변수들의 처리 순서를 결정한다. 두 번째 단계에서는 각 변수에 대해 조건부 선호 테이블을 탐색하면서, 제약 조건에 부합하는 최적 해를 점진적으로 구성한다. 특히 교환 관계가 활성화되는 경우, 기존의 위상 정렬을 동적으로 재조정하여 새로운 우선순위를 반영한다. 이 과정은 ‘동적 위상 정렬 알고리즘’으로 구현되어, 교환이 발생할 때마다 전체 그래프를 재구성하지 않고도 효율적인 업데이트가 가능하도록 설계되었다.

실험에서는 전통적인 CP‑넷, TCP‑넷, 그리고 정량적 유틸리티 기반 모델을 비교하였다. 복합적인 선호 구조와 제약이 존재하는 시나리오에서 TCP‑넷은 해의 품질(Q‑score)과 계산 시간 모두에서 우수한 성능을 보였으며, 특히 교환 관계가 많은 도메인(예: 제품 설계, 서비스 조합)에서 기존 방법보다 30% 이상 빠른 수렴을 기록하였다. 이러한 결과는 변수 간 중요도가 고정되지 않은 현실적인 의사결정 상황에서 TCP‑넷이 보다 표현력 있고 실용적인 도구임을 뒷받침한다.