Research keywords (6):
Algorithm theory
, Enumeration
, Graph theory
, グラフアルゴリズム
, Combinatorial reconfiguration
, Computational complexity
Research theme for competitive and other funds (10):
2023 - 2028 可逆論理回路合成におけるゲート数最小化の理論的限界に関する研究
2019 - 2022 Computational complexity on enumeration problems on big data analysis and applications of high-speed enumeration algorithms
2018 - 2022 理論的に困難な問題を現実的な時間で解くアルゴリズムとデータ構造の研究
2016 - 2019 列挙問題の難しさ解明に基づいた超高速列挙アルゴリズムの開発
2012 - 2017 Development towards innovative data structure utilizing methodology of limit of computation
2013 - 2016 符号化に基づく高機能かつコンパクトな実践的グラフデータ構造の確立
2013 - 2015 列挙的なアプローチによる計算限界解明
2011 - 2013 Designing highly functional and practical coding-algorithms of plane graphs
2009 - 2011 Practical encodings of graphs with highly functional query supports
2007 - 2008 離散構造の効率的な符号化に関する研究
Show all
Papers (56):
Koki Shinraku, Katsuhisa Yamanaka, Takashi Hirayama. Efficient enumeration of transversal edge-partitions. Discrete Applied Mathematics. 2025. 361. 276-287
Takashi Hirayama, Rin Suzuki, Katsuhisa Yamanaka, Yasuaki Nishitani. New Bounds for Quick Computation of the Lower Bound on the Gate Count of Toffoli-Based Reversible Logic Circuits. IEICE Transactions on Information and Systems. 2024. E107.D. 8. 940-948
Yuta Nozaki, Kunihiro Wasa, Katsuhisa Yamanaka. Reconfiguration and Enumeration of Optimal Cyclic Ladder Lotteries. Reconfiguration and Enumeration of Optimal Cyclic Ladder Lotteries, in Proceedings of The 34th International Workshop on Combinatorial Algorithms (IWOCA2023), Lecture Notes in Computer Science. 2023. 13889. 331-342
Waseem Akram, Katsuhisa Yamanaka. Efficient Enumeration of At Most k-Out Polygons. Proc. of The 6th Workshop on Enumeration Problems and Applications (WEPA2024). 2024
Aito Ochi, Katsuhisa Yamanaka, Takashi Hirayama. The Computational Complexity of Minimal Distance k-Dominating Set Enumeration. Proc. The 6th Workshop on Enumeration Problems and Applications (WEPA2024). 2024
Kyohei Sangodo, Katsuhisa Yamanaka, Takashi Hirayama. Mystery Tower is Computationally Hard. Proc. of Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^3). 2024. 47-48
Yu Nakahata, Takashi Horiyama, Shin-ichi Minato, Katsuhisa Yamanaka. Compiling Crossing-free Geometric Graphs with Connectivity Constraint for Fast Enumeration, Random Sampling, and Optimization. CoRR. 2020. abs/2001.08899