群馬大学 · 情報学研究科（情報科学プログラム）

研究キーワードアルゴリズム理論・計算量理論，アルゴリズム理論，離散数学・計算量理論・離散数学・Computational Complexity・Discrete Mathematics・Theory of Algorithms

研究分野情報学基礎論

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• Integer Complexity and Mixed Binary-Ternary Representation, Kazuyuki Amano, 2022年12月, Proc. of ISAAC 20222022 · 論文
• Escape from the Room, Kento Kimura, Kazuyuki Amano, Shin-ichi Nakano, 2022年10月, Proc. of COCOON 20222022 · 論文
• Maximum Number of Steps of Topswops on 18 and 19 Cards, Kento Kimura, Atsuki Takahashi, Tetsuya Araki and Kazuyuki Amano, 2021年03月, arXiv:2103.083462021 · 論文
• On the Minimum Number of Pieces for Two-Dimensional Anti-Slide Using T-Tetrominoes, Kento Kimura, Kazuyuki Amano and Tetsuya Araki, 2021年03月, IEICE Trans. Inf. & Syst., E104-D, 3, 355, 3612021 · 論文

• 近似法に基づく論理関数の複雑さの評価に関する研究
• 計算論的ラムゼー理論の開発を通じたNP困難性の拡張
• 計算機援用による計算困難性証明手法の展開
• 論理関数の近似計算と厳密計算の困難さのギャップに関する研究

• 公式プロフィール