[논문 리뷰] Solving Assembly Line Balancing Problems by Combining IP and CP

Alexander Bockmayr, Nicolai Pisaruk|ArXiv.org|2001. 06. 01.

Assembly Line Balancing OptimizationEngineering참고 문헌 14인용 수 22

한 줄 요약

이 논문은 정수계획법(IP)과 제약프로그래밍(CP)을 융합한 하이브리드 알고리즘을 제안하여 단순조립라인균형문제(SALBP)를 해결한다. 분기컷 기반의 타당한 부등식과 CP 기반의 영역 축소를 활용해 검색 공간을 크게 줄인다. 주요 기여는 IP 컷 생성과 CP 영역 축소를 번갈아가며 수행하는 협업 프레임워크로, 변수 영역을 최대 85% 감소시키며 이전에는 해결이 어려웠던 인스턴스를 수시간 내로 해결하여 독립적인 IP 또는 CP보다 뛰어난 성능을 발휘한다.

ABSTRACT

Assembly line balancing problems consist in partitioning the work necessary to assemble a number of products among different stations of an assembly line. We present a hybrid approach for solving such problems, which combines constraint programming and integer programming.

연구 동기 및 목표

• 선형순서 제약과 스테이션 용량 제한이 있는 NP-완전 단순조립라인균형문제(SALBP)를 해결하기 위해.
• 정수계획법(IP)과 제약프로그래밍(CP)을 통합하여 검색 트리의 가지치기 효율을 향상시키고 해결 성능을 개선하기 위해.
• IP가 컷을 생성하고 CP가 영역을 축소하는 협업 프레임워크를 개발하여 문제 크기 축소를 향상시키기 위해.
• 하이브리드화의 효과를 벤치마크 인스턴스에서 평가하여, 특히 어려운 또는 대규모 문제에 대해 성능을 분석하기 위해.
• 복잡한 부가 제약 조건을 수반하는 실제 산업용 조립라인 문제를 위한 확장 가능한 모델링 플랫폼을 제공하기 위해.

제안 방법

• 작업 j가 스테이션 i에 할당되는지를 나타내는 이진변수 xij를 사용해 SALBP를 정수계획문제로 수식화하며, 할당, 용량, 선형순서 제약 조건을 포함한다.
• 부분적 해를 제거하기 위해 상향식 커버 및 (1,d)-구성 불등식을 사용한 분기컷 기반의 접근법을 적용하여 IP의 타당화를 강화한다.
• 작업 j의 시작 시점을 나타내는 도메인 변수 startj를 사용한 CP 모델을 개발하며, 도메인 필터링을 통해 선형순서 및 스테이션 용량 제약을 강제한다.
• 이중 단계 협업을 구현: 첫 번째로 CP의 영역 축소를 통해 변수 영역을 줄이고, 두 번째로 제약된 도메인을 가진 변수로 IP가 완화된 부분문제를 풀이한다.
• IP의 선형계획(LP) 해를 기반으로 CP 레이블링을 유도한다: 각 작업에 대해 LP 값으로 활성 스테이션을 식별하고, CP를 통해 도메인을 고정한다.
• LP 해의 지원 집합을 기반으로 CP 모델을 구축하고 제한된 레이블링을 실행하여 타당해를 찾는 '반올림' 기법을 도입한다.

실험 결과

연구 질문

• RQ1 IP와 CP를 융합하여 협업적 가지치기를 통해 SALBP의 검색 공간을 크게 줄일 수 있는가?
• RQ2 분기컷 컷과 CP의 영역 축소를 통합함으로써 변수 도메인 축소와 어려운 인스턴스 해결에 얼마나 효과적인가?
• RQ3 엄격한 선형순서 제약 조건이 있는 벤치마크 SALBP 인스턴스에서 하이브리드 접근법이 독립적인 IP 또는 CP보다 뛰어난 성능을 보이는가?
• RQ4 하이브리드 솔버는 표준 SALBP를 초월한 실제 산업 현장의 부가 제약 조건을 얼마나 잘 처리할 수 있는가?
• RQ5 Warnecke (73-22)와 같은 표준 벤치마크에서 해결되지 않은 인스턴스를 실용적인 시간 제한 내에 해결할 수 있는가?

주요 결과

• Sawyer30 (47-7)와 같은 인스턴스에서 변수 도메인 총합(|Sj|의 합)을 최대 85% 감소시켜 210에서 33으로 줄였다.
• 어려운 인스턴스인 Warnecke (73-22)의 경우 하이브리드 솔버는 1시간 36분 내에 완료되었지만, 독립적인 IP 또는 CP는 1시간 이내에 해결하지 못했다.
• 표준 컷 외에 생성된 컷을 모두 사용할 경우, 표준 컷만 사용하는 것보다 도메인 크기를 더 효과적으로 줄였다.
• CP의 영역 축소만으로도 도메인 크기를 크게 줄일 수 있었으며, Lutz3 (118-14)의 경우 초기 할당 수가 1246에서 285로 감소했다.
• Tonge70 (251-14)에서 하이브리드 솔버는 검색 공간을 90% 감소시켜 CP 및 표준 컷 적용 후 도메인 합을 980에서 394로 줄였다.
• IP와 CP 간의 협업이 필수적이었으며, 둘 중 어느 하나만으로도 가장 어려운 인스턴스를 실용적인 시간 내에 해결할 수 없었다.