Mathematical Approaches to Reliable Exact Computation and Its Theoretical Guarantee
Project/Area Number |
24700008
|
Research Category |
Grant-in-Aid for Young Scientists (B)
|
Allocation Type | Multi-year Fund |
Research Field |
Fundamental theory of informatics
|
Research Institution | The University of Electro-Communications |
Principal Investigator |
Okamoto Yoshio 電気通信大学, 情報理工学(系)研究科, 准教授 (00402660)
|
Project Period (FY) |
2012-04-01 – 2016-03-31
|
Project Status |
Completed (Fiscal Year 2015)
|
Budget Amount *help |
¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2014: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2013: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2012: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
|
Keywords | アルゴリズム / 計算理論 / 離散数学 / アルゴリズム理論 |
Outline of Final Research Achievements |
Results on theory of algorithms and computational complexity with exact theoretical guarantees have been obtained, including those below. (1) Relationship among several problems with respect to exponential-time complexity has been revealed, which opened up a new direction in the field. (2) Improvement has been obtained for finding the maximum and the minimum by unreliable comparisons. (3) The labeled token swapping problem has been shown to be NP-complete, 4-approximable for general graphs and 2-approximable for trees.
|
Report
(5 results)
Research Products
(90 results)
-
-
-
-
-
-
[Journal Article] On problems as hard as CNF-SAT2016
Author(s)
Marek Cygan, Holger Dell, Daniel Lokshtanov, Dániel Marx, Jesper Nederlof, Yoshio Okamoto, Ramamohan Paturi, Saket Saurabh, and Magnus Wahlström
-
Journal Title
ACM Transactions on Algorithms
Volume: 印刷中
Related Report
Peer Reviewed / Int'l Joint Research
-
-
-
-
[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, Takeaki Uno
-
Journal Title
Theoretical Computer Science
Volume: 印刷中
Pages: 81-94
DOI
Related Report
Peer Reviewed / Open Access / Acknowledgement Compliant
-
[Journal Article] Free edge lengths in plane graphs2015
Author(s)
Zachary Abel, Robert Connelly, Sarah Eisenstat, Radoslav Fulek, Filip Morić, Yoshio Okamoto, Tibor Szabó, and Csaba Tóth
-
Journal Title
Discrete & Computational Geometry
Volume: 54
Issue: 1
Pages: 259-289
DOI
Related Report
Peer Reviewed / Int'l Joint Research
-
-
-
-
[Journal Article] Free edge lengths in plane graphs2014
Author(s)
Zachary Abel, Robert Connelly, Sarah Eisenstat, Radoslav Fulek, Filip Morić, Yoshio Okamoto, Tibor Szabó, Csaba Tóth
-
Journal Title
Proceedings of 30th Annual Symposium on Computational Geometry
Volume: 無
Pages: 426-435
DOI
Related Report
Peer Reviewed
-
[Journal Article] Weight Balancing on Boundaries and Skeletons2014
Author(s)
Luis Barba, Otfried Cheong, Jean-Lou De Carufel, Michael Gene Dobbins, Rudolf Fleischer, Akitoshi Kawamura, Matias Korman, Yoshio Okamoto, János Pach, Yuan Tang, Takeshi Tokuyama, Sander Verdonschot, Tianhao Wang:
-
Journal Title
Proceedings of 30th Symposium on Computational Geometry
Volume: 30
Pages: 436-443
DOI
NAID
Related Report
Peer Reviewed / Acknowledgement Compliant
-
-
[Journal Article] Semantic Word Cloud Representations: Hardness and Approximation Algorithms2014
Author(s)
Lukas Barth, Sara Irina Fabrikant, Stephen G. Kobourov, Anna Lubiw, Martin Nollenburg, Yoshio Okamoto, Sergey Pupyrev, Claudio Squarcella, Torsten Ueckerdt, and Alexander Wolff
-
Journal Title
Lecture Notes in Computer Science
Volume: 8392
Pages: 514-525
DOI
ISBN
9783642544224, 9783642544231
Related Report
Peer Reviewed
-
-
[Journal Article] Swapping Labeled Tokens on Graphs2014
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
Lecture Notes in Computer Science
Volume: 8496
Pages: 369-380
DOI
ISBN
9783319078892, 9783319078908
Related Report
Peer Reviewed
-
[Journal Article] Minimum-Cost b-Edge Dominating Sets on Trees2014
Author(s)
Takehiro Ito, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, and Yoshio Okamoto
-
Journal Title
Lecture Notes in Computer Science
Volume: 8889
Pages: 195-207
DOI
ISBN
9783319130743, 9783319130750
Related Report
Peer Reviewed / Acknowledgement Compliant
-
[Journal Article] Free edge lengths in plane graphs2014
Author(s)
Zachary Abel, Robert Connelly, Sarah Eisenstat, Radoslav Fulek, Filip Morić, Yoshio Okamoto, Tibor Szabó, and Csaba Tóth
-
Journal Title
Proceedings of 30th Annual Symposium on Computational Geometry
Volume: 未定
Related Report
Peer Reviewed
-
[Journal Article] Weight balancing on boundaries and skeletons2014
Author(s)
Luis Barba, Otfried Cheong, Jean-Lou De Carufel, Michael Gene Dobbins, Rudolf Fleischer, Akitoshi Kawamura, Matias Korman, Yoshio Okamoto, Janos Pach, Yuan Tang, Takeshi Tokuyama, and Sander Verdonschot, Tianhao Wang
-
Journal Title
Proceedings of 30th Annual Symposium on Computational Geometry
Volume: 未定
NAID
Related Report
Peer Reviewed
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Journal Article] On problems as hard as CNF-SAT2012
Author(s)
Marek Cygan, Holger Dell, Daniel Lokshtanov, Dániel Marx, Jesper Nederlof, Yoshio Okamoto, Ramamohan Paturi, Saket Saurabh, and Magnus Wahlström
-
Journal Title
Proceedings of 27th IEEE Conference on Computational Complexity
Volume: --
Pages: 74-84
DOI
Related Report
Peer Reviewed
-
-
[Journal Article] Universal point subsets for planar graphs2012
Author(s)
Patrizio Angelini, Carla Binucci, William Evans, Ferran Hurtado, Giuseppe Liotta Tamara Mchedlidze, Henk Meijer, and Yoshio Okamoto
-
Journal Title
Lecture Notes in Computer Science
Volume: 7676
Pages: 423-432
DOI
ISBN
9783642352607, 9783642352614
Related Report
Peer Reviewed
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] 境界上の重みの釣合せ2014
Author(s)
河村彰星,岡本吉央,徳山豪
Organizer
日本数学会2014年度秋季総合分科会
Place of Presentation
広島大学
Year and Date
2014-09-25
Related Report
-
-
-
-
-
-
-
-
-
-
-
[Presentation] The inverse barycenter problem2013
Author(s)
Luis Barba, Jean-Lou De Carufel, Rudolf Fleischer, Akitoshi Kawamura, Matias Korman, Yoshio Okamoto, Yuan Tang, Takeshi Tokuyama, Sander Verdonschot and Tianhao Wang
Organizer
16th Japan Conference on Discrete and Computational Geometry and Graphs
Place of Presentation
東京理科大学 (東京都)
Related Report
-
-
-
[Presentation] Geometric Weight Balancing2013
Author(s)
Luis Barba, Jean Lou De Carufel, Rudolf Fleischer, Akitoshi Kawamura, Matias Korman, Yoshio Okamoto, Yuan Tang, Takeshi Tokuyama, Sander Verdonschot and Tianhao Wang
Organizer
6th Annual Meeting of Asian Association for Algorithms and Computation
Place of Presentation
ホテル松島大観荘 (宮城県)
Related Report
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] Universal point subsets for planar graphs
Author(s)
Patrizio Angelini, Carla Binucci, William Evans, Ferran Hurtado, Giuseppe Liotta Tamara Mchedlidze, Henk Meijer, and Yoshio Okamoto
Organizer
23rd International Symposium on Algorithms and Computation (ISAAC 2012)
Place of Presentation
National Taiwan University (台湾)
Related Report
-
-
[Presentation] On problems as hard as CNF-SAT
Author(s)
Marek Cygan, Holger Dell, Daniel Lokshtanov, Dániel Marx, Jesper Nederlof, Yoshio Okamoto, Ramamohan Paturi, Saket Saurabh, and Magnus Wahlström
Organizer
27th IEEE Conference on Computational Complexity (CCC 2012)
Place of Presentation
Universidade do Porto (ポルトガル)
Related Report
-
-
-