エネルギーを制限したしきい値回路の計算限界の解明

• 研究課題/領域番号: 26730001
• 研究種目: 若手研究(B)
• 配分区分: 基金
• 研究分野: 情報学基礎理論
• 研究機関: 東北大学
• 研究代表者: 鈴木 顕 東北大学, 情報科学研究科, 助教 (10723562)
• 研究期間 (年度): 2014-04-01 – 2017-03-31
• 研究課題ステータス: 完了 (2016年度)
• 配分額: 3,250千円 (直接経費: 2,500千円、間接経費: 750千円); 2016年度: 910千円 (直接経費: 700千円、間接経費: 210千円); 2015年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円); 2014年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
• キーワード: エネルギー複雑度 / しきい値回路 / トレードオフ

研究成果の概要

本研究で得られた結果は大きく以下の2つである．
【結果１：一般化対称関数全てを計算することのできるエネルギー効率のよいしきい値回路の構成】本研究で与えた構成は，従来知られていたものに比べ，回路の規模が指数的に小さいものになっている．
【結果２：与えた構成の最適性の証明】この結果によって，エネルギーが小さい場合の結果１で与えた構成は，これ以上よくすることのできない最適な構成であることを示すことに成功した．

研究成果

• [雑誌論文] On the parameterized complexity of reconfiguration problems (2017)
  • 著者名/発表者名: Amer E. Mouawad, Naomi Nishimura, Venkatesh Raman, Narges Simjour and Akira Suzuki
  • 雑誌名: Algorithmica 巻: Vol. 78, Issue 1 号: 1 ページ: 274-297
  • DOI: 10.1007/s00453-016-0159-2
  • 査読あり / 国際共著 / 謝辞記載あり
• [雑誌論文] Hitori numbers (2017)
  • 著者名/発表者名: Akira Suzuki, Masashi Kiyomi, Yota Otachi, Kei Uchizawa and Takeaki Uno
  • 雑誌名: Journal of Information Processing (JIP) 巻: 印刷中
  • NAID: 130005990920
  • 査読あり / 謝辞記載あり
• [雑誌論文] Complexity of tiling a polygon with trominoes or bars (2017)
  • 著者名/発表者名: Takashi Horiyama, Takehiro Ito, Keita Nakatsuka, Akira Suzuki and Ryuhei Uehara
  • 雑誌名: Discrete & Computational Geometry (DCG) 巻: 印刷中
  • NAID: 120006457371
  • 査読あり / 謝辞記載あり
• [雑誌論文] The Complexity of Dominating Set Reconfiguration (2016)
  • 著者名/発表者名: Arash Haddadan, Takehiro Ito, Amer E. Mouawad, Naomi Nishimura, Hirotaka Ono, Akira Suzuki, Youcef Tebbal
  • 雑誌名: Theoretical Computer Science 巻: 651 ページ: 37-49
  • DOI: 10.1016/j.tcs.2016.08.016
  • 査読あり / 国際共著 / 謝辞記載あり
• [雑誌論文] Reconfiguration of dominating sets (2016)
  • 著者名/発表者名: Akira Suzuki, Amer E. Mouawad and Naomi Nishimura
  • 雑誌名: Journal of Combinatorial Optimization (JOCO) 巻: Vol. 32, Issue 4 号: 4 ページ: 1182-1195
  • DOI: 10.1007/s10878-015-9947-x
  • 査読あり / 国際共著 / 謝辞記載あり
• [雑誌論文] Reconfiguration of Dominating Sets (2016)
  • 著者名/発表者名: Akira Suzuki, Amer E. Mouawad and Naomi Nishimura
  • 雑誌名: Journal of Combinatorial Optimization (JOCO) 巻: 印刷中
  • 査読あり / 国際共著 / 謝辞記載あり
• [雑誌論文] Swapping Labeled Tokens on Graphs (2015)
  • 著者名/発表者名: Katsuhisa Yamanaka, Erik D. Demaine, Takehiro Ito, Jun Kawahara, Masashi Kiyomi, Yoshio Okamoto, Toshiki Saitoh, Akira Suzuki, Kei Uchizawa, Takeaki Uno
  • 雑誌名: Theoretical Computer Science 巻: 印刷中 ページ: 81-94
  • DOI: 10.1016/j.tcs.2015.01.052
  • 査読あり / オープンアクセス / 謝辞記載あり
• [雑誌論文] Experimental Evaluations of Dynamic Algorithm for Maintaining Shortest-Paths Trees on Real-World Networks (2015)
  • 著者名/発表者名: Takashi Hasegawa, Takehiro Ito, Akira Suzuki, Xiao Zhou
  • 雑誌名: Interdisciplinary Information Sciences 巻: 21 号: 1 ページ: 25-35
  • DOI: 10.4036/iis.2015.25
  • NAID: 110009890454
  • ISSN: 1340-9050, 1347-6157
  • 査読あり / オープンアクセス / 謝辞記載あり
• [雑誌論文] Swapping labeled tokens on graphs (2015)
  • 著者名/発表者名: Katsuhisa Yamanaka, Erik D. Demaine, Takehiro Ito, Jun Kawahara, Masashi Kiyomi, Yoshio Okamoto, Toshiki Saitoh, Akira Suzuki, Kei Uchizawa and Takeaki Uno
  • 雑誌名: Theoretical Computer Science 巻: 印刷中
  • 査読あり / オープンアクセス / 謝辞記載あり
• [学会発表] The complexity of (list) edge-coloring reconfiguration problem (2017)
  • 著者名/発表者名: Hiroki Osawa, Akira Suzuki, Takehiro Ito and Xiao Zhou
  • 学会等名: the 11th International Conference and Workshops on Algorithms and Computation (WALCOM 2017)
  • 発表場所: 新竹市，台湾
  • 年月日: 2017-03-29
  • 国際学会
• [学会発表] Sequentially swapping colored tokens on graphs (2017)
  • 著者名/発表者名: Katsuhisa Yamanaka, Erik D. Demaine, Takashi Horiyama, Akitoshi Kawamura, Shin-Ichi Nakano, Yoshio Okamoto, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara and Takeaki Uno
  • 学会等名: the 11th International Conference and Workshops on Algorithms and Computation (WALCOM 2017)
  • 発表場所: 新竹市，台湾
  • 年月日: 2017-03-29
  • 国際学会
• [学会発表] Reduction tools on NCL (2017)
  • 著者名/発表者名: Akira Suzuki
  • 学会等名: Banff International Research Station, Combinatorial Reconfiguration (17w5066)
  • 発表場所: バンフ，カナダ
  • 年月日: 2017-01-22
• [学会発表] The multi-service center decision problem is NP-complete for split graphs (2016)
  • 著者名/発表者名: Toshimitsu Anzai, Takehiro Ito, Akira Suzuki and Xiao Zhou
  • 学会等名: The 2016 International Conference on Applied and Engineering Mathematics (AEM 2016)
  • 発表場所: 上海，中国
  • 年月日: 2016-10-21
  • 国際学会
• [学会発表] Algorithm for the Generalized Coloring Reconfiguration Problem (2016)
  • 著者名/発表者名: Hiroki Osawa, Akira Suzuki, Takehiro Ito, Xiao Zhou
  • 学会等名: 情報処理学会アルゴリズム研究会 (SIGAL)
  • 発表場所: 宮城県仙台市
  • 年月日: 2016-01-21
• [学会発表] Computational Complexity of Competitive Diffusion on (Un)weighted Graphs (2015)
  • 著者名/発表者名: Takehiro Ito, Yota Otachi, Toshiki Saitoh, Hisayuki Satoh, Akira Suzuki, Kei Uchizawa, Ryuhei Uehara, Katsuhisa Yamanaka and Xiao Zhou
  • 学会等名: 情報処理学会アルゴリズム研究会 (SIGAL)
  • 発表場所: 九州大学（福岡県福岡市）
  • 年月日: 2015-09-28
• [学会発表] The complexity of dominating set reconfiguration (2015)
  • 著者名/発表者名: Arash Haddadan, Takehiro Ito, Amer E. Mouawad, Naomi Nishimura, Hirotaka Ono, Akira Suzuki and Youcef Tebbal
  • 学会等名: the 14th Algorithms and Data Structures Symposium (WADS 2015)
  • 発表場所: ビクトリア大学（カナダ・ビクトリア）
  • 年月日: 2015-08-05
  • 国際学会
• [学会発表] Competitive diffusion on weighted graphs (2015)
  • 著者名/発表者名: Takehiro Ito, Yota Otachi, Toshiki Saitoh, Hisayuki Satoh, Akira Suzuki, Kei Uchizawa, Ryuhei Uehara, Katsuhisa Yamanaka and Xiao Zhou
  • 学会等名: the 14th Algorithms and Data Structures Symposium (WADS 2015)
  • 発表場所: ビクトリア大学（カナダ・ビクトリア）
  • 年月日: 2015-08-05
  • 国際学会
• [学会発表] Algorithms for maintaining shortest-paths trees on real-world networks (2015)
  • 著者名/発表者名: Akira Suzuki
  • 学会等名: Data Science in Life Science and Engineering Collaboration and Symposium
  • 発表場所: Case Western Reserve University（アメリカ・オハイオ州・クリーブランド）
  • 年月日: 2015-07-29
  • 国際学会 / 招待講演
• [学会発表] 支配集合遷移問題に対するアルゴリズム (2015)
  • 著者名/発表者名: Arash Haddadan，伊藤 健洋，Amer E. Mouawad，Naomi Nishimura，小野 廣隆，鈴木 顕，Youcef Tebbal
  • 学会等名: コンピュテーション研究会 (COMP) - 電子情報通信学会
  • 発表場所: 東北大学（宮城県仙台市）
  • 年月日: 2015-04-23
• [学会発表] Reconfiguration of dominating sets (2014)
  • 著者名/発表者名: Akira Suzuki, Amer E. Mouawad and Naomi Nishimura
  • 学会等名: the 20th International Computing and Combinatorics Conference
  • 発表場所: アメリカ・ジョージア州・アトランタ
  • 年月日: 2014-08-05
• [学会発表] Swapping labeled tokens on graphs (2014)
  • 著者名/発表者名: Katsuhisa Yamanaka, Erik D. Demaine, Takehiro Ito, Jun Kawahara, Masashi Kiyomi, Yoshio Okamoto, Toshiki Saitoh, Akira Suzuki, Kei Uchizawa and Takeaki Uno
  • 学会等名: the 7th International Conference on FUN with Algorithms
  • 発表場所: イタリア・シチリア・リーパリ島
  • 年月日: 2014-07-02
• [学会発表] FPT algorithms for Token Jumping on Graphs (2014)
  • 著者名/発表者名: 伊藤 健洋，Marcin Kamiński，小野 廣隆，鈴木 顕，上原 隆平，山中 克久
  • 学会等名: アルゴリズム研究会 - 情報処理学会
  • 発表場所: 愛媛県松山市
  • 年月日: 2014-06-13
• [学会発表] グラフ上のラベル付きトークン整列問題 (2014)
  • 著者名/発表者名: 山中 克久，エリック ドメイン，伊藤 健洋，川原 純，清見 礼，岡本 吉央，斎藤 寿樹，鈴木 顕，内澤 啓，宇野 毅明
  • 学会等名: コンピュテーション研究会 - 電子情報通信学会
  • 発表場所: 宮城県仙台市
  • 年月日: 2014-04-24
• [学会発表] 支配集合の遷移可能性 (2014)
  • 著者名/発表者名: 鈴木 顕，Amer E. Mouawad，Naomi Nishimura
  • 学会等名: コンピュテーション研究会 - 電子情報通信学会
  • 発表場所: 宮城県仙台市
  • 年月日: 2014-04-24
• [備考] Akira Suzuki's Web Site
  • URL: http://www.ecei.tohoku.ac.jp/alg/suzuki/
• [備考] 東北大学 大学院情報科学研究科 -- Graduate School of
  • URL: http://www.is.tohoku.ac.jp/detail/suzuki141210.html
• [備考] 東北大学 大学院情報科学研究科 -- Graduate School of
  • URL: http://www.is.tohoku.ac.jp/detail/suzuki150216.html