Fugu-MT 論文翻訳(概要): Guided Discrete Diffusion for Constraint Satisfaction Problems

論文の概要: Guided Discrete Diffusion for Constraint Satisfaction Problems

arxiv url: http://arxiv.org/abs/2512.14765v1
Date: Tue, 16 Dec 2025 04:41:29 GMT
ステータス: 翻訳完了
システム内更新日: 2025-12-18 17:06:26.733723
Title: Guided Discrete Diffusion for Constraint Satisfaction Problems
Title（参考訳）: 制約満足度問題に対するガイド付き離散拡散法
Authors: Justin Jung,
Abstract要約: 本稿では,制約満足度問題 (CSP) に対する離散拡散誘導法を提案する。本稿では,制約満足度問題 (CSP) に対する離散拡散誘導法を提案する。
参考スコア（独自算出の注目度）: 1.2691047660244335
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We propose discrete diffusion guidance for constraint satisfaction problems (CSPs) and demonstrate its ability to solve Sudoku puzzles without supervision.
Abstract（参考訳）: 本稿では,制約満足度問題 (CSP) に対する離散拡散誘導法を提案する。

関連論文リスト

Beware of Reasoning Overconfidence: Pitfalls in the Reasoning Process for Multi-solution Tasks [54.31998314008198]
大きな言語モデル(LLM)は、単一の正しい答えを必要とするタスクの推論において優れているが、マルチソリューションタスクでは不十分である。我々はこの制限を、不完全解集合における不完全確実性を表現する傾向という、不確実な過信(textbfreasoning overconfidence)に起因している。この仮説は, 思考経路の狭いセットに早急に収束すると, 過信が生じることを示唆するものである。
論文参考訳（メタデータ） (2025-12-01T14:35:06Z)
Explaining Hitori Puzzles: Neurosymbolic Proof Staging for Sequential Decisions [9.403223210138902]
本稿では、複雑な決定の順序を説明するための神経象徴的アプローチを提案する。本研究では, ヒトリパズルの解法を説明することによって, このアプローチを実証する。
論文参考訳（メタデータ） (2025-08-19T22:21:44Z)
Solving the Product Breakdown Structure Problem with constrained QAOA [0.0]
本稿では,産業関連製品ブレークダウン構造問題の解法を提案する。我々の解は制約付きQAOAに基づいており、これは構成上、問題制約によって禁止される解を表すヒルベルト空間の一部を探ることはない。実験により,本手法はスケーリング行動に非常に有利なだけでなく,バレン高原の負の効果も抑制できることが示された。
論文参考訳（メタデータ） (2024-06-21T15:15:02Z)
Compositional Diffusion-Based Continuous Constraint Solvers [98.1702285470628]
本稿では,ロボット推論と計画における連続的制約満足度問題(CCSP)の解法について紹介する。対照的に、構成拡散連続制約解法(Diffusion-CCSP)は、CCSPに対する大域的な解を導出する。
論文参考訳（メタデータ） (2023-09-02T15:20:36Z)
Approximation of optimization problems with constraints through kernel Sum-Of-Squares [77.27820145069515]
我々は、点的不等式が非負の kSoS 関数のクラス内で等式となることを示す。また, 等式制約に焦点をあてることで, 散乱不等式を用いることで, 制約のサンプリングにおける次元性の呪いを軽減することができることを示す。
論文参考訳（メタデータ） (2023-01-16T10:30:04Z)
Finding Counterfactual Explanations through Constraint Relaxations [6.961253535504979]
インタラクティブな制約システムは、しばしばユーザーの制約が矛盾するため、実現不可能(解決策がない)に悩まされる。不実現性を取り戻すための一般的なアプローチは、システム内の衝突を引き起こす制約を取り除くことである。本稿では,過度に制約された制約満足度問題における競合検出と最大緩和に基づく反復的手法を提案する。
論文参考訳（メタデータ） (2022-04-07T13:18:54Z)
On Covariate Shift of Latent Confounders in Imitation and Reinforcement Learning [69.48387059607387]
模擬・強化学習において,未観測の共同設立者と専門家データを併用することの問題点を考察する。我々は、外部報酬を伴わずに、確立した専門家データから学ぶことの限界を分析する。我々は,支援医療とレコメンデーションシステムシミュレーションの課題に挑戦する上で,我々の主張を実証的に検証する。
論文参考訳（メタデータ） (2021-10-13T07:31:31Z)
Dare not to Ask: Problem-Dependent Guarantees for Budgeted Bandits [66.02233330016435]
後悔と質問されたフィードバックの両方について、問題に依存した保証を提供します。本稿では,問題依存的後悔と累積的フィードバック境界を導出するBuFALUというアルゴリズムを提案する。
論文参考訳（メタデータ） (2021-10-12T03:24:57Z)
A framework for step-wise explaining how to solve constraint satisfaction problems [21.96171133035504]
本研究では,人に対する理解が容易な方法で,伝播時に行うことができる推論ステップを説明することの課題について検討する。そこで我々は, 制約解決者説明可能な機関を提供することを目標とし, 問題解決者への信頼構築に役立てる。
論文参考訳（メタデータ） (2020-06-11T11:35:41Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。