抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
重み付けCSPs(WCSPs)の再パラメータ化の概念(WCSPの等価保存変換としても知られる)はよく知られており,最適WCSP値を近似または結合するために多くのアルゴリズムでの使用を見出す。対照的に,超再パラメータ化の概念(あらゆる割当に対するWCSP目標を保っているか増加する重みの変化である)は既に提案されているが,詳細には研究されていない。このギャップを埋めるために,超パラメータ化の多くの理論的特性を提示し,それらを再パラメータ化のそれらと比較した。さらに,超再パラメータ化を用いて(最大)WCSPの最適値の上限を計算するためのフレームワークを提案した。境界を改善するために,任意の(いくつかの技術的条件)制約伝搬ルールを採用することが原理的に可能であることを示した。特にアーク一貫性のために,この方法は既知の仮想AC(VAC)アルゴリズムに縮小する。シングルトンアーク一貫性(SAC)の方法を実装し,それを公開ベンチマーク上のWCSPにおける他の強い局所一貫性と比較した。結果は,SACから得られた限界が,多くの実例グループで優れていることを示す。【JST・京大機械翻訳】