2015 Fiscal Year Research-status Report
| Project/Area Number |
26730001
|
|---|
| Research Institution | Tohoku University |
|---|
Principal Investigator |
鈴木 顕 東北大学, 情報科学研究科, 助教 (10723562)
|
|---|
| Project Period (FY) |
2014-04-01 – 2017-03-31
|
| Keywords | エネルギー複雑度 / しきい値回路 / トレードオフ |
|---|
| Outline of Annual Research Achievements |
本年度は，前年度に引き続き本研究の目標１である，「既知の結果を一般化した関数に対するトレードオフを明らかにする」ことを目標とし，研究を行った．前年度の研究で，GIP関数に対するエネルギー効率の良いしきい値回路の構成を与えており，本年度はそのしきい値回路の構成が最適であることの証明を目指していた．
回路の最適性を示す過程で，前年度構成を与えたしきい値回路をさらに改良する構成を与えることもできた．具体的には，以下の２点の改良に成功した．１つ目は，前年度構成を与えたしきい値回路はGIP関数を計算するのみの回路だったのに対し，GIP関数を完全に包含する，一般化対象関数全てを計算することのできる回路を与えることができた．２つ目は，前年度の構成に比べエネルギー効率のよい構成のしきい値回路を与えることができた．
さらに，消費エネルギーが小さい場合に対して，その構成が最適であるということも証明することができた．最適性を示すにあたり，計画段階では「素子削減法」や「通信複雑度」を利用した証明手法の応用を考えていたが，それらを上手く利用することができそうにないことが明らかになったため，本研究では全く新しい形の証明手法を提案することもできた．
一方で，もう一つの目標であったPnD関数及び足し算関数については，今のところ大きな結果は得られていない．これらについても，今後も継続して研究を行っていく予定であるが，目標１で計画段階をはるかに上回る成果が出ているため，次年度はまずこちらを優先的に研究を進めていく．
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
当初の計画以上に本研究の目標１に対して結果が得られ，そちらを重点的に研究を行ってきた．方向性は大きく変わってしまったが，得られた成果は大きく，おおむね順調に進展していると言える．
|
| Strategy for Future Research Activity |
得られた結果は現在論文にまとめている途中であり，来年度前半に国際会議に投稿，後半に国際会議での発表及び学術雑誌への投稿を目指す．
また，来年度は最終年度であり，本研究の最終目標である，トレードオフの関係が成り立つ関数の十分条件についても探っていきたい．
|
| Causes of Carryover |
効率的に執行したため，次年度使用額が生じた．
|
| Expenditure Plan for Carryover Budget |
次年度使用額と合わせて有効に活用していく．
|
-
-
[Journal Article] Swapping labeled tokens on graphs2015
Author(s)
Katsuhisa Yamanaka, Erik D. Demaine, Takehiro Ito, Jun Kawahara, Masashi Kiyomi, Yoshio Okamoto, Toshiki Saitoh, Akira Suzuki, Kei Uchizawa and Takeaki Uno
-
Journal Title
Theoretical Computer Science (TCS)
Volume: 586
Pages: 81-94
DOI
Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
-
-
-
[Presentation] The complexity of dominating set reconfiguration2015
Author(s)
Arash Haddadan, Takehiro Ito, Amer E. Mouawad, Naomi Nishimura, Hirotaka Ono, Akira Suzuki and Youcef Tebbal
Organizer
the 14th Algorithms and Data Structures Symposium (WADS 2015)
Place of Presentation
ビクトリア大学（カナダ・ビクトリア）
Year and Date
2015-08-05 – 2015-08-07
Int'l Joint Research
-
[Presentation] Competitive diffusion on weighted graphs2015
Author(s)
Takehiro Ito, Yota Otachi, Toshiki Saitoh, Hisayuki Satoh, Akira Suzuki, Kei Uchizawa, Ryuhei Uehara, Katsuhisa Yamanaka and Xiao Zhou
Organizer
the 14th Algorithms and Data Structures Symposium (WADS 2015)
Place of Presentation
ビクトリア大学（カナダ・ビクトリア）
Year and Date
2015-08-05 – 2015-08-07
Int'l Joint Research
-
-
-
