수도망 분리 밸브 최적 배치: CLP(FD) 기반 완전 탐색

초록

본 논문은 물 배급망의 파이프 손상 시 서비스 중단을 최소화하기 위해 밸브를 배치하는 문제를 제약 논리 프로그래밍(특히 CLP(FD))으로 모델링하고, 미니맥스 게임 형태의 완전 탐색 알고리즘을 구현한다. 기존 유전 알고리즘 대비 최대 10% 향상된 파레토 최적해를 얻으며, 불필요한 밸브 배치와 대칭 해를 제약으로 제거해 탐색 효율을 크게 높인다.

상세 분석

이 연구는 물 배급망을 무방향 가중 그래프 G = (N,E) 로 모델링하고, 각 파이프 eᵢⱼ 에 두 개의 가능한 밸브 위치 vᵢⱼ, vⱼᵢ 를 정의한다. 목표는 주어진 Nᵥ 개의 밸브를 배치하여 (1) 모든 파이프가 고장 시 차단 가능하도록 하고, (2) 최대 미배급 수요 UD 를 최소화하는 것이다. 저자는 이를 두 명의 플레이어가 번갈아 움직이는 제로섬 게임으로 전환한다. 첫 번째 플레이어는 Nᵥ 개의 밸브 배치를 선택하고, 두 번째 플레이어는 고장 파이프를 선택한다. 이후 첫 번째 플레이어는 고장 파이프와 연결된 밸브만을 닫아 차단한다. 게임의 비용은 차단된 파이프들에 연결된 수요의 합이며, 이는 바로 UD 값이 된다.

미니맥스 알고리즘을 직접 구현하기보다는 CLP(FD) 의 minimize/3 와 maximize/3 메타프레디케이트를 활용한다. 각 가능한 밸브 위치에 불리언 변수 Xᵢⱼ (1 = 밸브 존재)를 할당하고, sum(Xᵢⱼ)=Nᵥ 제약을 부과한다. 고장 파이프 선택은 break_pipe/1 프로시저를 통해 전역적으로 탐색되며, 선택된 파이프에 대해 닫혀야 할 밸브 집합 C(eᵢⱼ) 은 그래프 탐색(DFS/BFS)으로 결정된다. 차단된 영역 D(C) 는 소스 노드 Σ 에서 도달 불가능한 모든 에지의 집합으로 정의하고, undelivered_demand/3 를 통해 UD 값을 계산한다.

탐색 공간은 2^{|E|·Nᵥ} 에 달하지만, 저자는 세 가지 가지치기 전략을 도입한다. 첫째, “단일 밸브 경로 금지” 제약을 통해 폐쇄 경로에 밸브가 정확히 하나만 존재하는 경우를 배제한다. 이는 그래프의 면(face)마다 하나의 제약을 추가함으로써 구현한다. 둘째, 대칭 제거를 위해 특정 노드(예: 차수가 2인 노드)에서의 밸브 배치를 고정(v₈₇=0)한다. 셋째, 현재 최적값보다 큰 UD 값을 초과하는 부분해는 즉시 백트랙하도록 max_ud 변수에 상한을 설정한다. 이러한 제약은 모두 CLP(FD) 의 도메인 축소와 불가능성 전파 메커니즘에 의해 자동으로 적용된다.

실험에서는 이탈리아 남부 아풀리아 지역의 실제 배급망 데이터를 사용하였다. 기존 연구(Giustolisi & Savic, 2010)의 유전 알고리즘이 제공한 파레토 전선에 비해, 제안된 CLP(FD) 모델은 동일한 밸브 수 Nᵥ 에 대해 UD 값을 평균 7~10% 감소시켰으며, 최적 해를 증명하는 데 걸린 시간은 수 초에서 수 분 수준으로 실용적이었다. 특히, 밸브 수가 제한된 상황에서(예: Nᵥ=6) 최적 UD 값을 정확히 찾았으며, 이는 기존 근사 해보다 현저히 낮은 값이었다.

이 논문은 물리적 설계 단계에서 완전 탐색이 가능한 이유를 제시한다. 설계자는 실시간 의사결정이 아니라 사전 시뮬레이션을 수행하므로, 약간의 계산 비용을 감수하고도 전역 최적 해를 확보할 수 있다. 또한, 제약 논리 프로그래밍이 그래프 기반 최적화 문제에 자연스럽게 적용될 수 있음을 보여주며, 향후 ASP (Answer Set Programming)나 SMT 와 같은 다른 논리 기반 솔버와의 비교 연구 가능성을 열어준다.