論文の概要: XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems
- arxiv url: http://arxiv.org/abs/1611.03398v5
- Date: Thu, 29 Aug 2024 09:26:01 GMT
- ステータス: 処理完了
- システム内更新日: 2024-09-01 17:15:41.496211
- Title: XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems
- Title（参考訳）: XCSP3: Combinatorの制約された問題をベンチマークするための統合フォーマット
- Authors: Frederic Boussemart, Christophe Lecoutre, Gilles Audemard, Cédric Piette,
- Abstract要約: 新しいフォーマットはコンパクトで、可読性が高く、パースも比較的容易である。
XCSP3は、ほとんどすべての制約を包含している。
ユーザは、非常に正確な基準からインスタンスを選択するための洗練されたクエリを作成できる。
- 参考スコア（独自算出の注目度）: 3.149883354098941
- License: http://creativecommons.org/licenses/by-sa/4.0/
- 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.
- Abstract（参考訳）: 組合せ制約問題の統合表現を構築するために,XCSP2.1 フォーマット XCSP3 の大規模な改訂を提案する。
この新しいフォーマットは、モノ/マルチ最適化、多くの種類の変数、コスト関数、リフィケーション、ビュー、アノテーション、変数定量化、分散、確率的および定性的推論を扱うことができる。
新しいフォーマットはコンパクトで、可読性が高く、パースも比較的容易である。
興味深いことに、変数の配列を宣言し、制約の構文的および意味的グループを特定する可能性を通じて、問題モデルの構造をキャプチャする。
制約の数は、制限された基本的な制約形式を導入し、リフト、制限、スライディング、論理結合、緩和機構を通じて、ほぼ自動的にそのバリエーションを発生させることによって制御される。
結果として、XCSP3はCPコミュニティによって開発された主要な制約解決器に見られるような、事実上全ての制約を包含する。
フォーマットと組み合わせて開発されたWebサイトには、多くのモデルと一連のインスタンスが含まれている。
ユーザは、非常に正確な基準からインスタンスを選択するための洗練されたクエリを作成できる。
XCSP3の目的は、組合せ制約のあるインスタンスの共通テストベッドを提供することで、異なるアルゴリズムのテストと比較に必要な労力を緩和することである。
関連論文リスト
- Adaptive-RAG: Learning to Adapt Retrieval-Augmented Large Language Models through Question Complexity [59.57065228857247]
Retrieval-augmented Large Language Models (LLMs) は、質問回答(QA)のようなタスクにおける応答精度を高めるための有望なアプローチとして登場した。
本稿では,クエリの複雑さに基づいて,LLMの最適戦略を動的に選択できる適応型QAフレームワークを提案する。
オープンドメインのQAデータセットを用いて、複数のクエリの複雑さを網羅し、QAシステムの全体的な効率性と精度を高めることを示す。
論文 参考訳（メタデータ） (2024-03-21T13:52:30Z) - Toward Unified Controllable Text Generation via Regular Expression
Instruction [56.68753672187368]
本稿では,正規表現の利点をフル活用し,多様な制約を一様にモデル化する命令ベース機構を用いた正規表現指導(REI)を提案する。
提案手法では,中規模言語モデルの微調整や,大規模言語モデルでの少数ショット・インコンテクスト学習のみを要し,各種制約の組み合わせに適用した場合のさらなる調整は不要である。
論文 参考訳（メタデータ） (2023-09-19T09:05:14Z) - ACE, a generic constraint solver [1.550120821358415]
制約プログラミング(CP)は制約された問題のモデリングと解決に有用な技術である。
本稿では,Javaで開発されたオープンソースの制約解決ツールACEについて述べる。
論文 参考訳（メタデータ） (2023-01-06T12:15:18Z) - Symmetric Tensor Networks for Generative Modeling and Constrained
Combinatorial Optimization [72.41480594026815]
ポートフォリオ最適化からロジスティクスに至るまで、制約付き最適化問題は業界に多い。
これらの問題の解決における主要な障害の1つは、有効な検索空間を制限する非自明なハード制約の存在である。
本研究では、Ax=bという形の任意の整数値等式制約をU(1)対称ネットワーク(TN)に直接エンコードし、それらの適用性を量子に着想を得た生成モデルとして活用する。
論文 参考訳（メタデータ） (2022-11-16T18:59:54Z) - Personalized Federated Learning via Convex Clustering [72.15857783681658]
本稿では,局所凸型ユーザコストを用いた個人化フェデレーション学習のためのアルゴリズム群を提案する。
提案するフレームワークは,異なるユーザのモデルの違いをペナル化する凸クラスタリングの一般化に基づいている。
論文 参考訳（メタデータ） (2022-02-01T19:25:31Z) - Lifting Symmetry Breaking Constraints with Inductive Logic Programming [2.036811219647753]
我々は、Symmetry Breaking Constraintsを解釈可能な一階制約の集合に引き上げる、Answer Set Programmingのための新しいモデル指向のアプローチを導入する。
実験は、我々のフレームワークがインスタンス固有のSBCから一般的な制約を学習できることを実証する。
論文 参考訳（メタデータ） (2021-12-22T11:27:48Z) - Bilinear Classes: A Structural Framework for Provable Generalization in
RL [119.42509700822484]
Bilinear Classesは強化学習の一般化を可能にする新しい構造フレームワークである。
このフレームワークは、サンプルの複雑さが達成可能な、ほとんどすべての既存のモデルを取り込んでいる。
我々の主な成果は、双線形クラスのためのサンプル複雑性を持つRLアルゴリズムである。
論文 参考訳（メタデータ） (2021-03-19T16:34:20Z) - Handling Hard Affine SDP Shape Constraints in RKHSs [3.8073142980733]
関数誘導体上でハードアフィンSDP制約を符号化するための統一化されたモジュール型凸最適化フレームワークを提案する。
vRKHSの幾何学的性質を利用して、提案されたスキームとその適応変種の一貫性を証明します。
論文 参考訳（メタデータ） (2021-01-05T14:08:58Z) - XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems [3.149883354098941]
XCSP3-coreはXCSP3のサブセットであり、制約満足度/最適化問題を表現することができる。
JavaとC++で書かれた(関数を使って)XCSP3コアコールバック
制約解決器の比較(競合)のコアフォーマットを定義すること。
論文 参考訳（メタデータ） (2020-09-01T15:24:49Z) - An Integer Linear Programming Framework for Mining Constraints from Data [81.60135973848125]
データから制約をマイニングするための一般的なフレームワークを提案する。
特に、構造化された出力予測の推論を整数線形プログラミング(ILP)問題とみなす。
提案手法は,9×9のスドクパズルの解法を学習し,基礎となるルールを提供することなく,例からツリー問題を最小限に分散させることが可能であることを示す。
論文 参考訳（メタデータ） (2020-06-18T20:09:53Z) - An ASP semantics for Constraints involving Conditional Aggregates [9.289905977910378]
ハイブリッド・アンサー・セット・プログラミング(ASP)の正式な基礎について詳しく述べる。
制約値や変数を集約する関数で、その基盤となる論理的フレームワークを拡張します。
線形制約を持つ論理プログラムに重きを置いて、いわゆる条件付き線形制約の特定のケースとして、ASP集約がいかに共通であるかを示す。
論文 参考訳（メタデータ） (2020-02-17T12:25:01Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。