| 講演名 | 2021-05-07 3SAT問題に対するBiased-PPSZアルゴリズムの改良 渡辺 治(東工大), 秦 同(東工大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | Hansen, Kaplan, Zamir and Zwick (STOC 2019) は，3SAT問題を解く PPSZ アルゴリズムの計算過程で確率分布の「偏り」を用いる手法を提案し，彼らが具体的に定義した偏りに基づく PPSZ アルゴリズムの改良版を用いると，Unique 3SAT 問題に対して，PPSZ よりかなりの計算効率の改善が得られることを示した。この報告では，さらに別の偏りの利用法を提案し，その方法によりさらなる改善が得られることを数値解析的に示す。 |
| 抄録(英) | Hansen, Kaplan, Zamir and Zwick (STOC 2019) introduced a systematic way to use ``bias''for predicting an assignment to a Boolean variable in the process of PPSZ and showed thattheir biased PPSZ algorithm achieves a relatively large success probability improvementof PPSZ for Unique 3SAT. We propose an additional way to use ``bias'' and show by numerical analysis that the improvement gets increased further. |
| キーワード(和) | 3SAT / 乱択アルゴリズム / PPSZ / Biased PPSZ / 数値解析 |
| キーワード(英) | 3SAT / randomized algorithm / PPSZ / Biased PPSZ / numerical analysis |
| 資料番号 | COMP2021-2 |
| 発行日 | 2021-04-30 (COMP) |
| 研究会情報 | |
| 研究会 | COMP / IPSJ-AL |
|---|---|
| 開催期間 | 2021/5/7(から2日開催) |
| 開催地（和） | オンライン開催 |
| 開催地（英） | Online |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | 増澤 利光(阪大) |
| 委員長氏名（英） | Toshimitsu Masuzawa(Osaka Univ.) |
| 副委員長氏名（和） | 小野 廣隆(名大) |
| 副委員長氏名（英） | Hirotaka Ono(Nagoya Univ) |
| 幹事氏名（和） | 大下 福仁(奈良先端大) / 安藤 映(専修大) |
| 幹事氏名（英） | Fukuhito Ooshita(NAIST) / Ei Ando(Senshu Univ.) |
| 幹事補佐氏名（和） | 大舘 陽太(名大) |
| 幹事補佐氏名（英） | Yota Otachi(Nagoya Univ) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Theoretical Foundations of Computing / Special Interest Group on Algorithms |
|---|---|
| 本文の言語 | ENG-JTITLE |
| タイトル（和） | 3SAT問題に対するBiased-PPSZアルゴリズムの改良 |
| サブタイトル（和） | |
| タイトル（英） | An Improvement of the Biased-PPSZ Algorithm for the 3SAT Problem |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 3SAT / 3SAT |
| キーワード(2)（和/英） | 乱択アルゴリズム / randomized algorithm |
| キーワード(3)（和/英） | PPSZ / PPSZ |
| キーワード(4)（和/英） | Biased PPSZ / Biased PPSZ |
| キーワード(5)（和/英） | 数値解析 / numerical analysis |
| 第 1 著者 氏名（和/英） | 渡辺 治 / Osamu Watanabe |
| 第 1 著者 所属（和/英） | 東京工業大学(略称：東工大) Tokyo Institute of Technology(略称：Tokyo Tech) |
| 第 2 著者 氏名（和/英） | 秦 同 / Tong Qin |
| 第 2 著者 所属（和/英） | 東京工業大学(略称：東工大) Tokyo Institute of Technology(略称：Tokyo Tech) |
| 発表年月日 | 2021-05-07 |
| 資料番号 | COMP2021-2 |
| 巻番号（vol） | vol.121 |
| 号番号（no） | COMP-11 |
| ページ範囲 | pp.9-16(COMP), |
| ページ数 | 8 |
| 発行日 | 2021-04-30 (COMP) |