조건부 시간 네트워크와 불확실성의 동적 제어 가능성

초록

본 논문은 조건부 제약과 불확실한 지속시간을 동시에 다루는 Conditional Simple Temporal Network with Uncertainty (CSTNU)를 정의하고, 기존 CSTP의 동적 일관성 및 STNU의 동적 제어 가능성을 일반화한 새로운 동적 제어 가능성 개념을 제시한다. 또한 동적 제어 가능성을 판단하기 위한 소리 있는 제약 전파 규칙들을 제시하여 향후 알고리즘 구현의 기반을 마련한다.

상세 분석

CSTNU는 세 가지 기존 모델을 통합한다. 첫째, Simple Temporal Network (STN)의 기본적인 시간점 간의 선형 제약을 유지함으로써 전통적인 일정 관리의 표현력을 보존한다. 둘째, Conditional Simple Temporal Problem (CSTP)에서 차용한 조건부 노드와 관측 변수는 실행 중에 외부 환경이나 사용자 입력에 따라 활성화되는 제약을 모델링한다. 셋째, Simple Temporal Network with Uncertainty (STNU)의 contingent link를 도입해, 시작 시점은 제어 가능하지만 종료 시점은 외부 요인에 의해 불확정적인 작업을 표현한다. 이러한 결합은 비즈니스 프로세스나 의료 치료와 같이 “관측 → 선택 → 실행” 흐름이 불확실한 지속시간과 얽혀 있는 실제 상황을 정확히 포착한다.

동적 제어 가능성(Dynamic Controllability, DC)의 정의는 두 단계로 구성된다. 조건부 부분에서는 관측이 발생한 순간에만 결정을 내릴 수 있도록 “동적 일관성(Dynamic Consistency, DC)”과 동일한 시점 의존성을 요구한다. 불확실성 부분에서는 contingent link의 실제 지속시간이 드러날 때까지 기다렸다가, 그 이후에 가능한 모든 미래 선택을 보장하는 “동적 제어 가능성”을 유지한다. 논문은 이 두 요구를 하나의 수학적 프레임워크로 통합해, 모든 관측과 불확실성이 동시에 발생하는 상황에서도 실행 가능한 스케줄을 사전에 검증할 수 있음을 보인다.

제안된 제약 전파 규칙은 기존 STNU의 “propagation of lower/upper bounds”와 CSTP의 “label propagation”을 결합한다. 라벨은 관측 변수의 진리값 조합을 나타내며, 각 라벨에 대해 최소·최대 시간 간격을 계산한다. 전파 과정에서 발생하는 “inconsistent label”은 즉시 제거되어 탐색 공간을 크게 축소한다. 또한, contingent link에 대한 “wait‑and‑see” 전략을 라벨별로 적용함으로써, 동적 제어 가능성을 판단하는 데 필요한 충분조건을 제공한다. 이러한 규칙들은 다중 라벨 그래프에서 선형 시간 복잡도로 수행될 수 있어, 실제 알고리즘 구현 시 효율성을 기대한다.

결과적으로 CSTNU와 그 동적 제어 가능성 개념은 복합적인 조건부 및 불확실성 요소를 동시에 고려해야 하는 현대의 자동화된 계획·스케줄링 문제에 대한 이론적 토대를 제공한다. 향후 연구에서는 제시된 전파 규칙을 기반으로 한 완전·다항 시간 알고리즘 개발과, 실제 비즈니스·의료 사례에 대한 실험적 검증이 진행될 전망이다.