文献

J-GLOBAL ID：202202288998306144   整理番号：22A0495874

ランダム正則NAE-SATの解数【JST・京大機械翻訳】

The number of solutions for random regular NAE-SAT

著者 (3件)： Sly Allan (Princeton University, Princeton, NJ, USA) ,  Sun Nike (Massachusetts Institute of Technology, Cambridge, MA, USA) ,  Zhang Yumeng (Stanford University, Stanford, CA, USA)
資料名： Probability Theory and Related Fields  (Probability Theory and Related Fields)
巻： 182  号： 1-2  ページ： 1-109  発行年： 2022年 
JST資料番号： W2064A  ISSN： 0178-8051  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 最近の研究では,ランダム制約充足問題の遷移を理解する上で大きな進歩がなされてきた。特に,これらのモデルのいくつかに対して,厳密な充足可能性閾値を厳密に決定し,統計的物理学の予測を確認した。ここでは,これらのモデルの1つ,ランダム正規k-nae-sat:充足可能性閾値を知ること,充足可能領域,典型的事例における解の数,の研究を自然である。ここでは,これらの解が,1段階レプリカ対称性破壊予測と整合する明確な値を持つ,明確な自由エネルギー(制限指数成長速度)を有することを証明した。証明は,この問題に関連するある「サーベイ伝搬モデル」を解析する新しい技術を開発する。これらの方法は,広範囲の関連問題に適用可能であると信じる。Copyright The Author(s), under exclusive licence to Springer-Verlag GmbH, DE part of Springer Nature 2021 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 自由エネルギー ,  対称性 ,  成長速度 ,  *制約充足問題

著者キーワード (2件)： 60K35 ,  82B44

分類 (2件)： 人工知能  (JE08000Z) ,  計算理論  (JB02000A)

タイトルに関連する用語 (2件)： SAT ,  解