論文の概要: You-Only-Randomize-Once: Shaping Statistical Properties in Constraint-based PCG
- arxiv url: http://arxiv.org/abs/2409.00837v1
- Date: Sun, 1 Sep 2024 20:43:55 GMT
- ステータス: 処理完了
- システム内更新日: 2024-09-06 08:51:29.900569
- Title: You-Only-Randomize-Once: Shaping Statistical Properties in Constraint-based PCG
- Title（参考訳）: You-Only-Randomize-Once:Constraint-based PCGの統計特性
- Authors: Jediah Katz, Bahar Bateni, Adam M. Smith,
- Abstract要約: 制約解法のための決定変数順序付け法であるYou-Only-Randomize-Once (YORO) プレロールを導入する。
本手法は,市販のSATソルバが生成するタイルグリッド出力の統計を効果的に制御することを示す。
- 参考スコア（独自算出の注目度）: 3.581471126368696
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: In procedural content generation, modeling the generation task as a constraint satisfaction problem lets us define local and global constraints on the generated output. However, a generator's perceived quality often involves statistics rather than just hard constraints. For example, we may desire that generated outputs use design elements with a similar distribution to that of reference designs. However, such statistical properties cannot be expressed directly as a hard constraint on the generation of any one output. In contrast, methods which do not use a general-purpose constraint solver, such as Gumin's implementation of the WaveFunctionCollapse (WFC) algorithm, can control output statistics but have limited constraint propagation ability and cannot express non-local constraints. In this paper, we introduce You-Only-Randomize-Once (YORO) pre-rolling, a method for crafting a decision variable ordering for a constraint solver that encodes desired statistics in a constraint-based generator. Using a solver-based WFC as an example, we show that this technique effectively controls the statistics of tile-grid outputs generated by several off-the-shelf SAT solvers, while still enforcing global constraints on the outputs.1 Our approach is immediately applicable to WFC-like generation problems and it offers a conceptual starting point for controlling the design element statistics in other constraint-based generators.
- Abstract（参考訳）: 手続き的コンテンツ生成では,生成タスクを制約満足度問題としてモデル化することで,生成した出力の局所的制約とグローバル的制約を定義することができる。
しかしながら、ジェネレータが認識する品質には、単に厳しい制約ではなく統計が伴うことが多い。
例えば、生成した出力は、参照設計と同じような分布を持つデザイン要素を使いたがるかもしれません。
しかしながら、そのような統計的性質は、任意の出力の生成に関する厳密な制約として直接表現することはできない。
対照的に、GuminのWaveFunctionCollapse (WFC)アルゴリズムの実装のような汎用制約解決器を使用しないメソッドは、出力統計を制御できるが、制限伝搬能力は限られており、非局所的な制約を表現できない。
本稿では,制約ベースジェネレータに所望の統計情報をエンコードする制約解決器の判定変数順序付け法であるYou-Only-Randomize-Once(YORO)プリローリングを紹介する。
この手法は, 既製のSATソルバが生成するタイルグリッド出力の統計を効果的に制御すると同時に, 出力に対する世界的制約を課していることを示す。
我々の手法は直ちにWFCのような生成問題に適用でき、他の制約ベースジェネレータの設計要素統計を制御するための概念的な出発点を提供する。
関連論文リスト
- Controllable Generation via Locally Constrained Resampling [77.48624621592523]
本研究では, ベイズ条件付けを行い, 制約条件下でサンプルを描画する, トラクタブルな確率的手法を提案する。
提案手法はシーケンス全体を考慮し,現行のグリード法よりも大域的に最適に制約された生成を導出する。
提案手法は, 有害な世代からモデル出力を分離し, 脱毒化に対する同様のアプローチより優れていることを示す。
論文 参考訳（メタデータ） (2024-10-17T00:49:53Z) - A Pseudo-Semantic Loss for Autoregressive Models with Logical
Constraints [87.08677547257733]
ニューロシンボリックAIは、純粋にシンボリックな学習とニューラルな学習のギャップを埋める。
本稿では,ニューラルネットワークの出力分布に対するシンボリック制約の可能性を最大化する方法を示す。
また,スドクと最短経路予測の手法を自己回帰世代として評価した。
論文 参考訳（メタデータ） (2023-12-06T20:58:07Z) - Using Integer Constraint Solving in Reuse Based Requirements Engineering [0.0]
製品ライン(PL)は、再利用ベースの構成に対する効果的なアプローチを証明した。
現在、製品は制約満足度問題と見なせることが広く認識されている。
制約プログラミングをPLの制約を指定するための第一選択候補として考えるのは当然である。
本稿では,PL制約の指定に整数制約プログラミングを用いることについて,さらに検討する。
論文 参考訳（メタデータ） (2023-09-28T09:20:07Z) - Compositional Diffusion-Based Continuous Constraint Solvers [98.1702285470628]
本稿では,ロボット推論と計画における連続的制約満足度問題(CCSP)の解法について紹介する。
対照的に、構成拡散連続制約解法(Diffusion-CCSP)は、CCSPに対する大域的な解を導出する。
論文 参考訳（メタデータ） (2023-09-02T15:20:36Z) - A New Computationally Simple Approach for Implementing Neural Networks
with Output Hard Constraints [5.482532589225552]
ニューラルネットワークの出力値に厳密な凸制約を課す新しい手法を提案する。
マッピングは、出力の制約のある追加のニューラルネットワーク層によって実装される。
提案手法は,出力ベクトルだけでなく,入力による共同制約にも制約が課される場合に,単純に拡張される。
論文 参考訳（メタデータ） (2023-07-19T21:06:43Z) - Symmetric Tensor Networks for Generative Modeling and Constrained
Combinatorial Optimization [72.41480594026815]
ポートフォリオ最適化からロジスティクスに至るまで、制約付き最適化問題は業界に多い。
これらの問題の解決における主要な障害の1つは、有効な検索空間を制限する非自明なハード制約の存在である。
本研究では、Ax=bという形の任意の整数値等式制約をU(1)対称ネットワーク(TN)に直接エンコードし、それらの適用性を量子に着想を得た生成モデルとして活用する。
論文 参考訳（メタデータ） (2022-11-16T18:59:54Z) - COLD Decoding: Energy-based Constrained Text Generation with Langevin
Dynamics [69.8062252611486]
コールドデコーディングは、既製の左から右の言語モデルに直接適用可能なフレキシブルなフレームワークである。
制約付き生成タスクの実験は、自動評価と人的評価の両方の観点から、我々のアプローチの有効性を示している。
論文 参考訳（メタデータ） (2022-02-23T18:59:27Z) - Discrete fully probabilistic design: a tool to design control policies
from examples [2.6749261270690425]
本稿では,Gagliardi と Russo (2021) で最近導入されたアルゴリズムを用いて,制御ポリシを合成する離散化設計を提案する。
制約は、潜在的にノイズの多いサンプルデータで満たされる必要はなく、その制約は、制御対象と異なるシステムから収集される可能性がある。
論文 参考訳（メタデータ） (2021-12-21T13:44:48Z) - An Integer Linear Programming Framework for Mining Constraints from Data [81.60135973848125]
データから制約をマイニングするための一般的なフレームワークを提案する。
特に、構造化された出力予測の推論を整数線形プログラミング(ILP)問題とみなす。
提案手法は,9×9のスドクパズルの解法を学習し,基礎となるルールを提供することなく,例からツリー問題を最小限に分散させることが可能であることを示す。
論文 参考訳（メタデータ） (2020-06-18T20:09:53Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。