[论文解读] XML Representation of Constraint Networks: Format XCSP 2.1

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

Model-Driven Software Engineering Techniques被引用 8

一句话总结

本文介紹了 XCSP 2.1，一種基於 XML 的格式，用於表示約束滿足問題（CSP）、量化 CSP（QCSP）和加權 CSP（WCSP）中的約束網絡。該格式支援外延約束與內涵約束、全域約束以及帶有成本的軟約束，實現了 CP 社群中標準化基準測試與工具互操作性。

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' 的成本函數，以計算約束違背成本，與布林謂詞明確區分。
• 在約束中指定 maximalCost 和 initialCost 等屬性，以定義 WCSP 實例中的評估值框架。

实验结果

研究问题

• RQ1 如何設計一種標準化、人類可讀且機器可處理的格式，以適用於多樣化的約束問題？
• RQ2 哪些表示機制能支援在單一統一格式中同時處理 CSP、QCSP 和 WCSP？
• RQ3 如何在 XML 中一致地編碼外延與內涵約束（包括硬約束與軟約束）？
• RQ4 約束實例格式中，冗長性、可讀性與可解析性之間存在哪些權衡？
• RQ5 如何將全域約束與成本函數整合到一個協調且可擴展的格式中？

主要发现

• XCSP 2.1 提供了一種標準化、可擴展的 XML 格式，支援使用標記語法與簡化符號的 CSP、QCSP 和 WCSP 實例。
• 簡化符號可實現簡潔、人類可編輯的表示，長度與表格格式相當，提升易用性。
• 透過加權元組與 defaultCost 屬性支援軟約束，可精確建模 WCSP 的成本結構。
• 成本函數以返回整數的表達式建模，與布林謂詞明確區分，支援內涵中的靈活成本計算。
• 在 2008 年 CSP 競賽中，該格式限制 maximalCost 為有限整數，initialCost 為零，確保一致性與簡潔性。
• 該格式透過提供共用且明確定義的表示方式，實現了求解器與工具之間的互操作性，有利於基準測試與評估。