다중방향 제약을 활용한 일반 사양 직접 실행을 위한 계산 모델

초록

본 논문은 제약 만족 문제를 푸는 것이 아니라, 다중방향 제약을 이용해 설계 사양을 그대로 실행함으로써 사회·비즈니스 시스템을 시뮬레이션하는 새로운 계산 모델을 제안한다. 기존 제약 프로그래밍과 구조는 유사하지만, 해결 경로 탐색을 생략하고 ‘보라색’ 제약 솔버라 명명된 실행 전용 메커니즘을 도입한다. 은행 업무 예시를 통해 데이터 흐름과 다중방향 연산이 어떻게 직접 실행되는지를 보여준다.

상세 분석

이 논문이 제시하는 핵심 아이디어는 “제약을 만족시키는 해를 찾는 것이 목적이 아니라, 사양에 명시된 제약 자체를 실행 흐름으로 활용한다”는 점이다. 전통적인 제약 프로그래밍은 제약식 집합을 입력받아 해를 탐색하고, 탐색 과정에서 백트래킹·지역 전파·휴리스틱 등 복잡한 알고리즘을 적용한다. 반면 저자는 제약을 ‘데이터 변환 규칙’으로 해석하고, 입력 데이터가 변할 때마다 해당 규칙을 즉시 적용해 새로운 상태를 만든다. 이때 제약식은 다중방향성을 갖으며, 하나의 제약이 여러 변수에 동시에 영향을 미칠 수 있다.

논문은 기존 제약 솔버 스펙트럼을 색상으로 구분하고, 현재까지는 빨강(문제 정의), 주황(전략 선택), 노랑(단순 전파), 파랑(지역 전파)까지가 알려져 있다고 가정한다. 저자는 이 흐름에 ‘보라색’ 단계—즉, 사전 정의된 실행 경로를 그대로 따라가는 단계—를 추가한다. 보라색 단계에서는 해 탐색이 전혀 일어나지 않으며, 제약식 자체가 실행 로직이 된다. 따라서 알고리즘적 복잡도는 O(n) 수준으로 제한되고, 종료 문제도 발생하지 않는다.

구현 예시로 제시된 은행 시스템은 입금·출금·이력 관리 등 여러 데이터 구조를 정의하고, 각 구조 간 관계를 수식 형태로 기술한다. 예를 들어 `DepositInformation