본 논문은 제약 최적화 문제의 대칭성과 로컬 서치 이웃 간의 연관성을 활용했어요. IDP 시스템 내에서 제약 사양으로부터 자동으로 이웃을 생성하는 기술을 제시합니다. 6가지 고전적인 최적화 문제에 대한 실험 결과, 이 기술의 실현 가능성을 확인했어요.
일반적으로 조합 최적화 문제에 로컬 서치 알고리즘을 적용하려면 인간의 개입이 필요해요. 이 논문은 제약 조건을 메타휴리스틱 알고리즘의 입력 데이터로 컴파일하는 과정을 자동화하는 데 목표를 두고 있어요.
연구 결과는 이 기술이 유효함을 뒷받침하며, 제약 최적화 문제 해결에 새로운 가능성을 제시합니다.