[논문 리뷰] XML Representation of Constraint Networks: Format XCSP 2.1

Olivier Roussel, Christophe Lecoutre|ArXiv.org|2009. 02. 13.

Model-Driven Software Engineering Techniques인용 수 8

한 줄 요약

이 논문은 제약 만족 문제(CSP), 양자화된 제약 만족 문제(QCSP), 가중치가 있는 제약 만족 문제(WCSP)의 제약 네트워크를 표현하기 위한 XML 기반 형식인 XCSP 2.1을 소개한다. 이 형식은 확장형 및 내재형 제약, 글로벌 제약, 비용이 있는 소프트 제약를 모두 지원하여 제약 프로그래밍 커뮤니티 내에서 표준화된 벤치마킹과 도구 간 상호운용성을 가능하게 한다.

ABSTRACT

We propose a new extended format to represent constraint networks using XML. This format allows us to represent constraints defined either in extension or in intension. It also allows us to reference global constraints. Any instance of the problems CSP (Constraint Satisfaction Problem), QCSP (Quantified CSP) and WCSP (Weighted CSP) can be represented using this format.

연구 동기 및 목표

• 제약 프로그래밍(CP) 커뮤니티에서 제약 네트워크 인스턴스를 표현하기 위한 표준화된 형식의 부족을 해결한다.
• 다양한 CSP, QCSP, WCSP 솔버 간 비교 및 평가를 용이하게 하기 위한 공통 테스트 베드를 제공한다.
• 인간 작성자와 기계 처리를 모두 고려한 가독성, 간결성, 구조적 명확성의 균형을 확보한다.
• 확장형, 내재형, 글로벌, 소프트(가중치가 있는) 제약을 포함한 다양한 제약 유형을 지원한다.
• 단일이고 확장 가능한 형식을 사용하여 CSP, QCSP, WCSP 문제 간 일관된 표현을 가능하게 한다.

제안 방법

• 기계 분석을 위한 완전 태그가 적용된 XML과 인간 가독성을 위한 약어 표기법을 병행하는 이중 표현 방식을 정의한다.
• 명확한 의미 체계를 가진 변수, 도메인, 제약, 술어, 함수를 XML 구문을 사용해 구조화한다.
• 확장형 제약은 선택적 비용이 있는 명시적 튜플을 통해, 내재형 제약은 기능적 또는 논리적 표현을 통해 지원한다.
• 소프트 관계는 defaultCost 속성을 도입하고, 가중치가 있는 튜플을 명시적으로 사용하여 WCSP 비용 구조를 모델링한다.
• 반환 타입이 'int'인 비용 함수를 정의하여 제약 위반 비용을 계산하며, 이는 불리 조건과 구별된다.
• WCSP 인스턴스의 평가 프레임워크를 정의하기 위해 제약 내 maximalCost 및 initialCost 속성을 명시한다.

실험 결과

연구 질문

• RQ1 다양한 제약 문제를 위한 표준화되고, 인간 가독성이 있으며, 기계 처리가 가능한 형식은 어떻게 설계할 수 있는가?
• RQ2 단일 통합 형식 내에서 CSP, QCSP, WCSP를 모두 지원할 수 있는 표현 메커니즘은 무엇인가?
• RQ3 확장형 및 내재형 제약—하드 및 소프트 제약를 포함하여—XML 내에서 일관되게 어떻게 인코딩할 수 있는가?
• RQ4 제약 인스턴스 형식에서 복잡성, 가독성, 분석 가능성 사이의 상충 관계는 무엇인가?
• RQ5 글로벌 제약과 비용 함수는 어떻게 통합적이고 확장 가능한 형식에 통합할 수 있는가?

주요 결과

• XCSP 2.1은 CSP, QCSP, WCSP 인스턴스를 태그가 있는 형식과 약어 표기법을 모두 사용해 표준화되고 확장 가능한 XML 형식으로 제공한다.
• 약어 표기법은 표기 형식이 표 형태와 유사한 길이로 간결하게 유지되며, 사용자 편의성을 향상시킨다.
• 가중치가 있는 튜플과 defaultCost 속성을 통해 소프트 제약를 지원하여 WCSP 비용 구조를 정밀하게 모델링할 수 있다.
• 비용 함수는 불리 조건과 구별되는 정수를 반환하는 표현식으로 모델링되어 내재형에서의 비용 계산을 민첩하게 가능하게 한다.
• 2008년 CSP 경쟁에서는 형식이 유한 정수 maximalCost와 0 initialCost로 제한되어 일관성과 단순성을 확보했다.
• 공통이고 잘 정의된 표현을 제공함으로써 이 형식은 솔버와 도구 간 상호운용성을 가능하게 하여 벤치마킹과 평가에 활용된다.