| 講演抄録/キーワード |
| 講演名 |
2018-10-26 15:00
Upper and lower bounds on the OBDD-width of a special integer multiplication ○Tong Qin(Tokyo Tech) COMP2018-27 |
| 抄録 |
(和) |
二つの $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 / / / / |
| 文献情報 |
信学技報, vol. 118, no. 268, COMP2018-27, pp. 45-54, 2018年10月. |
| 資料番号 |
COMP2018-27 |
| 発行日 |
2018-10-19 (COMP) |
| ISSN |
Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
| PDFダウンロード |
COMP2018-27 |