論文の概要: Solver-Aided Expansion of Loops to Avoid Generate-and-Test
- arxiv url: http://arxiv.org/abs/2508.08442v1
- Date: Mon, 11 Aug 2025 19:59:16 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-08-13 21:07:34.222507
- Title: Solver-Aided Expansion of Loops to Avoid Generate-and-Test
- Title（参考訳）: 生成とテストを避けるためのループのソルバー支援
- Authors: Niklas Dewally, Özgür Akgün,
- Abstract要約: 本稿では,最終制約セットを生成するのに必要な組み合わせのみを計算するために,ソルバを用いて全列挙を回避する手法を提案する。
これにより、ハイレベルなユーザモデルをソルバ対応形式に変換する効率が向上する。
- 参考スコア（独自算出の注目度）: 0.5064404027153093
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Constraint modelling languages like MiniZinc and Essence rely on unrolling loops (in the form of quantified expressions and comprehensions) during compilation. Standard approaches generate all combinations of induction variables and use partial evaluation to discard those that simplify to identity elements of associative-commutative operators (e.g. true for conjunction, 0 for summation). This can be inefficient for problems where most combinations are ultimately irrelevant. We present a method that avoids full enumeration by using a solver to compute only the combinations required to generate the final set of constraints. The resulting model is identical to that produced by conventional flattening, but compilation can be significantly faster. This improves the efficiency of translating high-level user models into solver-ready form, particularly when induction variables range over large domains with selective preconditions.
- Abstract（参考訳）: MiniZincやEssenceのような制約モデリング言語は、コンパイル中にループをアンロールする(量子化表現や理解の形で)。
標準的アプローチは帰納変数のすべての組み合わせを生成し、部分的評価を用いて、結合的可換作用素の恒等元(例えば、結合について真、和について0)に単純化した要素を捨てる。
これは、ほとんどの組み合わせが究極的に無関係な問題に対して非効率である。
本稿では,最終制約セットを生成するのに必要な組み合わせのみを計算するために,ソルバを用いて全列挙を回避する手法を提案する。
結果として得られるモデルは、従来のフラット化によって生成されたものと同じであるが、コンパイルは大幅に高速である。
これにより、高レベルのユーザモデルをソルバ対応形式に変換する効率が向上する。
関連論文リスト
- Data-driven Verification of Procedural Programs with Integer Arrays [0.0]
整数のパラメトリックサイズ配列を操作する手続きプログラムを自動検証する問題に対処する。
本稿では,ループ不変量と手続き前/後条件を合成するアルゴリズムを提案する。
論文 参考訳（メタデータ） (2025-05-21T19:19:21Z) - Fast Controlled Generation from Language Models with Adaptive Weighted Rejection Sampling [90.86991492288487]
トークンの制約を評価するのは 違法にコストがかかる
LCDは文字列上のグローバル分布を歪め、ローカル情報のみに基づいてトークンをサンプリングすることができる。
我々のアプローチは最先端のベースラインよりも優れていることを示す。
論文 参考訳（メタデータ） (2025-04-07T18:30:18Z) - Tractable Bounding of Counterfactual Queries by Knowledge Compilation [51.47174989680976]
本稿では, パール構造因果モデルにおいて, 因果関係などの部分的特定可能なクエリのバウンダリングの問題について議論する。
最近提案された反復EMスキームは初期化パラメータをサンプリングしてそれらの境界を内部近似する。
シンボルパラメータを実際の値に置き換えた回路構造を,単一のシンボル知識コンパイルによって得られることを示す。
論文 参考訳（メタデータ） (2023-10-05T07:10:40Z) - Variance Reduced Halpern Iteration for Finite-Sum Monotone Inclusions [18.086061048484616]
平衡問題の幅広いクラスをモデル化した有限サム単調包含問題について検討する。
我々の主な貢献は、複雑性の保証を改善するために分散還元を利用する古典的ハルパーン反復の変種である。
我々は、この複雑さが単調なリプシッツ設定では改善できないと論じる。
論文 参考訳（メタデータ） (2023-10-04T17:24:45Z) - Global and Preference-based Optimization with Mixed Variables using Piecewise Affine Surrogates [0.6083861980670925]
本稿では,線形制約付き混合変数問題の解法として,新しいサロゲートに基づく大域的最適化アルゴリズムを提案する。
提案手法は, 目的関数の断片的なアフィンサロゲートを, 実現可能なサンプル上に構築することに基づいている。
この2つのアルゴリズムは、制約なしおよび制約付き混合変数ベンチマーク問題に対して評価される。
論文 参考訳（メタデータ） (2023-02-09T15:04:35Z) - Symmetric Tensor Networks for Generative Modeling and Constrained
Combinatorial Optimization [72.41480594026815]
ポートフォリオ最適化からロジスティクスに至るまで、制約付き最適化問題は業界に多い。
これらの問題の解決における主要な障害の1つは、有効な検索空間を制限する非自明なハード制約の存在である。
本研究では、Ax=bという形の任意の整数値等式制約をU(1)対称ネットワーク(TN)に直接エンコードし、それらの適用性を量子に着想を得た生成モデルとして活用する。
論文 参考訳（メタデータ） (2022-11-16T18:59:54Z) - Will Bilevel Optimizers Benefit from Loops [63.22466953441521]
AID-BiOとITD-BiOの2つの一般的な双レベルマトリクスは、自然に1つまたは2つのサブプロブレムを解決する。
AID-BiO と ITD-BiO の両ループ実装選択に適用可能な統合収束解析をまず確立する。
論文 参考訳（メタデータ） (2022-05-27T20:28:52Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。