[논문 리뷰] XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems

Frédéric Boussemart, Christophe Lecoutre외 2명|arXiv (Cornell University)|2016. 11. 10.

Constraint Satisfaction and Optimization인용 수 16

한 줄 요약

XCSP3은 다양한 제약 프로그래밍(CP) 응용 분야에서 조합 최적화 문제를 통합하고 단순화하기 위해 설계된 표준화되고 확장 가능한 XML 기반 형식이다. 다목적 최적화, 다양한 변수 유형, 업그레이드 및 추상화를 통한 복잡한 제약 조건을 지원하며, 모델링, 벤치마킹, 도구 간 상호운용성을 통합함으로써 연간 CP 경연 대회에서 일관된 알고리즘 비교를 가능하게 한다.

ABSTRACT

We propose a major revision of the format XCSP 2.1, called XCSP3, to build integrated representations of combinatorial constrained problems. This new format is able to deal with mono/multi optimization, many types of variables, cost functions, reification, views, annotations, variable quantification, distributed, probabilistic and qualitative reasoning. The new format is made compact, highly readable, and rather easy to parse. Interestingly, it captures the structure of the problem models, through the possibilities of declaring arrays of variables, and identifying syntactic and semantic groups of constraints. The number of constraints is kept under control by introducing a limited set of basic constraint forms, and producing almost automatically some of their variations through lifting, restriction, sliding, logical combination and relaxation mechanisms. As a result, XCSP3 encompasses practically all constraints that can be found in major constraint solvers developed by the CP community. A website, which is developed conjointly with the format, contains many models and series of instances. The user can make sophisticated queries for selecting instances from very precise criteria. The objective of XCSP3 is to ease the effort required to test and compare different algorithms by providing a common test-bed of combinatorial constrained instances.

연구 동기 및 목표

• CP 커뮤니티 전반에서 조합 최적화 문제를 표현하기 위한 유일하고 표준화된 형식을 제공하기 위해.
• 변수, 제약 조건, 목표, 주석을 하나의 형식에 통합하여 모델링, 벤치마킹, 도구 간 상호운용성을 통합하기 위해.
• 추상화 및 업그레이드 메커니즘을 통해 전역 제약 조건, 소프트 제약 조건, 메타 제약 조건을 포함한 다양한 제약 조건 유형을 지원하기 위해.
• 연간 경연 대회에서 사용되는 표준화된 문제 인스턴스를 통해 CP 솔버의 일관된 평가를 가능하게 하기 위해.
• 깨끗하고 확장 가능하며 인간과 기계가 모두 읽을 수 있는 문법을 정의하여 도구, 파서, 모델링 API 개발을 촉진하기 위해.

제안 방법

• 배열 형태의 변수, 중첩된 제약 조건, 이름이 부여된 스코프를 통한 의미적 그룹화를 지원하는 계층적 XML 스키마 정의.
• 제한, 슬라이딩, 완화 등의 업그레이드 메커니즘을 갖춘 핵심 제약 조건 형태(예: 인텐션, 확장, 정규 표현식, 누적)를 도입하여 자동으로 변형을 생성.
• 정수, 기호, 실수, 집합, 그래프, 확률적, 정성적, 0/1 변수 유형을 포함한 다수의 변수 유형을 지원하며, 배열 및 혼합 도메인 처리 기능을 제공.
• 기능적 및 전용 형태를 통한 목표 통합을 통해 다목적 최적화 및 변수 계수를 가진 비용 함수를 지원.
• 일반 속성(예: 'note', 'class')을 사용하여 재결합, 뷰, 주석을 지원하여 확장성과 도구 통합을 가능하게 함.
• 상호운용성과 도구 개발을 위한 기초로 사용되는 안정적인 최소 형식인 XCSP3-core를 정의하며, 공식적인 의미론과 버전 관리 사양을 포함.

실험 결과

연구 질문

• RQ1 어떻게 하나의 확장 가능한 형식이 CP 커뮤니티 전반에서 다양한 조합 최적화 문제의 표현을 통합할 수 있는가?
• RQ2 어떤 설계 원칙이 복잡한 제약 조건 유형을 다루는 데 있어 인간의 가독성과 효율적인 기계 분석 간의 균형을 이루는가?
• RQ3 어떻게 업그레이드 및 추상화 메커니즘이 표현력을 유지하면서도 중복을 줄일 수 있는가?
• RQ4 표준화된 형식이 연간 경연 대회에서 CP 솔버의 일관된 벤치마킹과 공정한 비교를 얼마나 잘 가능하게 하는가?
• RQ5 확률적 추론, 정성적 제약 조건, 다목적 최적화와 같은 새로운 요구 사항을 수용하기 위해 형식은 어떻게 진화할 수 있는가?

주요 결과

• XCSP3은 2015년부터 매년 열리는 국제 제약 프로그래밍(CP) 경연 대회에서 사실상의 표준 형식으로 사용되어 왔으며, 2022년, 2023년, 2024년 대회에 모두 적용되었다.
• 형식적인 의미론과 확장 가능성을 갖춘 전역 제약 조건(예: allDifferent, cumulative), 소프트 제약 조건, 메타 제약 조건(예: ifThen, slide)을 포함한 광범위한 제약 조건 유형을 지원한다.
• 안정적인 형식인 XCSP3-core는 20개의 핵심 제약 조건(예: circuit, knapsack, binPacking)을 포함하며, 도구 간 상호운용성과 일관성을 확보하는 데 사용된다.
• 해결책 표현 방식과 인스턴스 제약 조건의 통합을 통해 솔루션 결과의 표준화된 출력 형식을 가능하게 한다.
• 버전 관리 사양(2024년 기준 최신 버전 3.2까지)을 통해 피드백과 개선 사항을 반영하며, 목표 및 제약 조건 내 변수 계수, 압축된 정수 시퀀스 지원 등의 기능이 추가되었다.
• 이중 라이선스 모델(CC BY-SA 4.0은 사양용, MIT는 도구용)을 도입함으로써 광범위한 도구 개발과 생태계 성장을 이끌었으며, 모델링 API 및 파서 등이 포함된 생태계가 형성되었다.