論文の概要: Skyline-First Traversal as a Control Mechanism for Multi-Criteria Graph Search
- arxiv url: http://arxiv.org/abs/2604.19807v1
- Date: Tue, 14 Apr 2026 08:44:24 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-04-23 15:36:10.543894
- Title: Skyline-First Traversal as a Control Mechanism for Multi-Criteria Graph Search
- Title(参考訳): 多点グラフ探索のための制御機構としてのスカイラインファーストトラバーサル
- Authors: Nicolas Tacheny,
- Abstract要約: 本稿では,制約付きコストモデル,有限コストグリッド,マルコフ遷移,非ゼロプログレッシブ測度の下では,パレート幾何学だけでスケジューリングと終了の両立が可能であることを示す。
本分析では, 決定論的ポテンシャル降下, 支配範囲による認定終了, コストグリッド形状によって誘導される層幅の均一化, スカイライン内におけるコスト空間の分散について検討した。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: In multi-criteria graph traversal, paths are compared via Pareto dominance, an ordering that identifies which paths are non-dominated, but says nothing about which path to expand next or when the search may stop. As a result, existing approaches rely on external mechanisms-heuristics, scalarization, or population-based exploration while Pareto dominance remains confined to passive roles such as pruning or ranking. This paper shows that, under constrained cost models, finite cost grids, Markovian transitions, and a nonzero progress measure, Pareto geometry alone is sufficient to drive both scheduling and termination. We show that extracting exclusively from the first Pareto layer, the skyline, induces a deterministic descent in a discrete completion potential, ensuring monotone progress toward solution completion. In parallel, a vector lower-bound certificate provides a stopping condition that guarantees dominance coverage of all remaining traversals without requiring a predefined number of solutions. Our analysis establishes deterministic potential descent, certified termination via dominance coverage, a uniform bound on layer width induced by cost-grid geometry, and greedy cost-space dispersion within the skyline. The resulting framework operates without scalarization, heuristic guidance, or probabilistic models, and repositions Pareto dominance from a passive filter to a deterministic driver of search.
- Abstract(参考訳): マルチ基準グラフトラバーサルでは、パスはパレート支配(Pareto dominance)を介して比較される。
その結果、既存のアプローチは外部メカニズムヒューリスティックス、スカラー化、人口ベースの探索に依存し、パレート支配はプルーニングやランキングのような受動的役割に限られている。
本稿では,制約付きコストモデル,有限コストグリッド,マルコフ遷移,非ゼロプログレス尺度の下では,パレート幾何学だけでスケジューリングと終了の両立が可能であることを示す。
本研究では,第1パレート層であるスカイラインからのみ抽出することにより,離散的な完結電位における決定論的降下を誘導し,解の完結に向けて単調な進行を確実にすることを示す。
平行して、ベクトルローバウンド証明書は、あらかじめ定義された数のソリューションを必要とせずに、残りのトラバーサルの優位性カバレッジを保証する停止条件を提供する。
本分析では, 決定論的ポテンシャル降下, 支配範囲による認定終了, コストグリッド形状によって誘導される層幅の均一化, スカイライン内におけるコスト空間の分散について検討した。
結果として得られるフレームワークは、スカラー化、ヒューリスティックガイダンス、確率モデルなしで動作し、パッシブフィルタから決定論的探索ドライバへのパレート支配を再配置する。
関連論文リスト
- Benchmarking Classical Coverage Path Planning Heuristics on Irregular Hexagonal Grids for Maritime Coverage Scenarios [1.2891210250935148]
本稿では不規則な六角形格子上の決定論的単車被覆計画の再現可能なベンチマークを提案する。
ベンチマークにはコンパクト、伸長、不規則な形態にまたがる1万のハミルトン可能なインスタンスが含まれている。
最も強い古典的ハミルトンのベースラインはワーンスドルフ変種であり、指数ベースのタイブレークと終端非包含残留度ポリシーを使い、ハミルトニアンの79.0%の成功を収めている。
論文 参考訳(メタデータ) (2026-04-16T16:28:03Z) - Cross-Spectral Witness for Hidden Nonequilibrium Beyond the Scalar Ceiling [18.923595971721344]
粗粒化は、明らかに平衡のような還元された記述に隠された強制を吸収する可能性がある。
線形系のスカラーオブザーバブルでは、時間可逆性統計学が基礎となる駆動を検出できない。
一般的なCSMでは、共有シークタードライブを認証する。
論文 参考訳(メタデータ) (2026-04-04T15:54:29Z) - Directional Mollification for Controlled Smooth Path Generation [2.6381163133447836]
モーフィフィケーションは近年,経路生成のための計算効率が高く,解析的に抽出可能なツールとして提案されている。
我々は,古典的な軟化の分析的トラクタ性を保ちながら,この制限を解消する新しい演算子である指向性軟化を導入する。
論文 参考訳(メタデータ) (2026-03-23T11:18:43Z) - The Offline-Frontier Shift: Diagnosing Distributional Limits in Generative Multi-Objective Optimization [56.39938641873341]
生成法は, 世代間距離などの他の指標に対して, 進化的オルタナティブを系統的に過小評価することを示す。
この制限を克服するには、客観空間における分配外サンプリングが必要であると論じる。
本研究は, オフラインMOOを分散シフト制限問題として位置づけ, 生成最適化手法が失敗する原因と原因を理解するための診断レンズを提供する。
論文 参考訳(メタデータ) (2026-02-11T18:38:40Z) - TABES: Trajectory-Aware Backward-on-Entropy Steering for Masked Diffusion Models [35.327100592206115]
Backward-on-Entropy (BoE) Steeringは勾配誘導型推論フレームワークで、無限水平コンテキストを1つの後方パスで近似する。
スケーラビリティを確保するために,マスク対象の構造を利用した疎結合プリミティブであるttexttActiveQueryAttentionを導入し,後方通過の複雑さを低減する。
論文 参考訳(メタデータ) (2026-01-30T19:10:32Z) - Reasoning by Superposition: A Theoretical Perspective on Chain of Continuous Thought [64.43689151961054]
連続CoTのD$ステップを持つ2層トランスが有向グラフ到達可能性問題を解くことができることを証明した。
我々の構成では、各連続思考ベクトルは複数の探索フロンティアを同時に符号化する重ね合わせ状態である。
論文 参考訳(メタデータ) (2025-05-18T18:36:53Z) - Exploiting hidden structures in non-convex games for convergence to Nash
equilibrium [62.88214569402201]
現代の機械学習アプリケーションは、非協調的なナッシュリリアとして定式化することができる。
決定論的環境と決定論的環境の両方に明確な収束保証を提供する。
論文 参考訳(メタデータ) (2023-12-27T15:21:25Z) - Lifting the Convex Conjugate in Lagrangian Relaxations: A Tractable
Approach for Continuous Markov Random Fields [53.31927549039624]
断片的な離散化は既存の離散化問題と矛盾しないことを示す。
この理論を2つの画像のマッチング問題に適用する。
論文 参考訳(メタデータ) (2021-07-13T12:31:06Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。