| 講演名 | 2018-10-26 Upper and lower bounds on the OBDD-width of a special integer multiplication 秦 同(東工大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 二つの $n$ ビット整数の限定型乗算の出力の中央ビットを値とするブール関数 ${rm SMul}_{n-1}^n$ に対し，それを計算する順序付き二分決定グラフ OBDD 群のグラフ幅計算量について考察する．ある組み合わせ論的に定義した関数 $s_*(n)$ を導入し，最適な OBDD のグラフ幅が $￥Theta(2^{s_*(n)})$ であることを示す。 |
| 抄録(英) | We consider a Boolean function ${rm SMul}_{n-1}^n$ that computes the middle bit of the multiplication of two natural numbers given as $n$ bit binary strings {boldmath $x$} and {boldmath $y$} from some restricted domain, and investigate the width of OBDDs computing ${rm SMul}_{n-1}^n$. We introduce a combinatorially defined function $s_*(n)$ and show that the width of OBDDs computing ${rm SMul}_{n-1}^n$ is $Theta(2^{s_*(n)})$. |
| キーワード(和) | 順序付けの二分決定グラフ / グラフ幅 / 計算量 / 最適な指数関数上下界 |
| キーワード(英) | ordered binary decision diagram / graph width / complexity measure / best exponential lower and upper bounds |
| 資料番号 | COMP2018-27 |
| 発行日 | 2018-10-19 (COMP) |
| 研究会情報 | |
| 研究会 | COMP |
|---|---|
| 開催期間 | 2018/10/26(から1日開催) |
| 開催地（和） | 京都大学 |
| 開催地（英） | Kyoto University |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | 藤戸 敏弘(豊橋技科大) |
| 委員長氏名（英） | Toshihiro Fujito(Toyohashi Univ. of Tech.) |
| 副委員長氏名（和） | 中野 眞一(群馬大) |
| 副委員長氏名（英） | Shinichi Nakano(Gunma Univ.) |
| 幹事氏名（和） | 玉置 卓(京大) / 大舘 陽太(熊本大) |
| 幹事氏名（英） | Suguru Tamaki(Kyoto Univ.) / Yota Otachi(Kumamoto Univ) |
| 幹事補佐氏名（和） | 脊戸 和寿(成蹊大) |
| 幹事補佐氏名（英） | Kazuhisa Seto(Seikei Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Theoretical Foundations of Computing |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | |
| サブタイトル（和） | |
| タイトル（英） | Upper and lower bounds on the OBDD-width of a special integer multiplication |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 順序付けの二分決定グラフ / ordered binary decision diagram |
| キーワード(2)（和/英） | グラフ幅 / graph width |
| キーワード(3)（和/英） | 計算量 / complexity measure |
| キーワード(4)（和/英） | 最適な指数関数上下界 / best exponential lower and upper bounds |
| 第 1 著者 氏名（和/英） | 秦 同 / Tong Qin |
| 第 1 著者 所属（和/英） | 東京工業大学(略称：東工大) Tokyo Institute of Technology(略称：Tokyo Tech) |
| 発表年月日 | 2018-10-26 |
| 資料番号 | COMP2018-27 |
| 巻番号（vol） | vol.118 |
| 号番号（no） | COMP-268 |
| ページ範囲 | pp.45-54(COMP), |
| ページ数 | 10 |
| 発行日 | 2018-10-19 (COMP) |