다단계 오픈샵 시스템의 안전성·도달성·교착 상태 분석

초록

본 논문은 다단계 오픈샵 처리 시스템에서 상태의 안전성 판단, 초기 상태로부터의 도달 가능성, 그리고 교착 상태 발생 여부를 결정하는 알고리즘적 복잡성을 체계적으로 조사한다. 안전·불안전 상태는 “차단 집합” 존재 여부로 다항시간에 판별할 수 있음을 보이며, 초기 상태에서 임의의 상태로의 도달성 역시 다항시간에 해결한다. 반면, 임의의 두 상태 사이의 도달성 검증은 NP‑hard임을 증명한다. 교착 상태 도달 가능성 문제도 일반적으로 NP‑hard하지만, 각 작업이 두 대 이하의 기계만 필요하거나 모든 기계 용량이 1인 경우에는 선형계획법·매칭 이론·그래프 이론을 이용해 다항시간 알고리즘을 제시한다.

상세 분석

논문은 먼저 다단계 오픈샵 시스템을 정형화하고, 각 작업이 필요로 하는 기계 집합 M(Jj)와 기계의 용량 cap(Mi)를 명시한다. 시스템 상태 s는 각 작업이 현재 어느 기계에 대기·처리 중인지와 앞으로 남은 처리 기계 집합을 포함한다. 안전성은 최종 상태 f(모든 작업이 시스템을 떠난 상태)로 도달 가능한지를 기준으로 정의되며, 불안전 상태는 반드시 교착 상태로 수렴한다. 저자는 “차단 집합(blocking set)”이라는 개념을 도입한다. 차단 집합은 모든 포함 기계가 용량 한도에 도달하고, 해당 기계에 머무는 작업들이 앞으로 이동하려는 기계도 모두 차단 집합 안에 있을 때 성립한다. 이때 차단 집합이 존재하면 그 상태는 교착으로 이어지는 불안전 상태가 된다. 차단 집합의 존재 여부는 상태 s에 대한 보조 유향 그래프를 구성해 강하게 연결된 성분을 검사함으로써 선형 시간에 확인할 수 있다. 따라서 안전 상태 인식 문제는 다항시간 알고리즘으로 해결된다.

다음으로 도달 가능성 문제를 다룬다. 초기 상태 0에서 임의의 상태 s가 도달 가능한지 여부는 “역방향” 접근법을 사용한다. 상태 s를 기준으로 남은 작업을 반대로 해석해 인공 상태 t를 정의하고, t가 안전하면 s는 도달 가능하다는 동등성을 증명한다. 이는 앞서 확보한 안전성 판별 절차와 결합해 초기 상태에서의 도달 가능성 인식을 다항시간에 수행하게 만든다.

그러나 두 임의의 상태 s와 t 사이의 도달 가능성은 급격히 복잡도가 상승한다. 논문은 이를 SAT‑문제와의 다항시간 환원(reduction)을 통해 NP‑hard임을 보인다. 즉, 일반적인 다단계 오픈샵에서는 상태‑간 도달성을 효율히 판단할 수 없으며, 이는 시스템 설계 시 사전 검증이 어려움을 의미한다.

교착 상태 도달 가능성 문제 역시 일반적으로 NP‑hard이다. 저자는 제한된 경우 두 가지 다항시간 해결책을 제시한다. 첫 번째는 각 작업이 최대 두 대의 기계만 필요할 때이며, 이를 선형계획법(LP) 모델로 표현하고, 매칭 이론을 이용해 해를 찾는다. 두 번째는 모든 기계의 용량이 1인 경우로, 이때 시스템은 이분 그래프 형태로 모델링될 수 있고, 교착 상태는 특정 색칠된 사이클 존재 여부와 동등함을 보인다. 이러한 특수 경우는 실제 제조 현장에서 흔히 나타나는 제한 조건에 부합한다.

전체적으로 논문은 다단계 오픈샵 시스템의 상태 공간을 그래프·조합론적 관점에서 정밀히 분석하고, 안전성·도달성·교착성 판단 문제의 복잡도 경계를 명확히 제시한다. 특히 차단 집합을 통한 안전성 판별과 역방향 접근법을 이용한 초기 상태 도달성 검증은 실용적인 알고리즘으로서 시스템 운영자에게 유용한 도구가 된다.