電気通信大学 · 情報理工学研究科 · 准教授

研究キーワードcomplexity・論理関数・計算量・OBDD・アルゴリズム・ゲーム・パズル・二分決定グラフ

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

• Solvability of Peg Solitaire on Graphs is NP-Complete Kazushi ITO; Yasuhiko TAKENAGA ラスト(シニア)オーサー, IEICE Transactions on Information and Systems, Institute of Electronics, Information and Communications Engineers (IEICE), E106.D巻, 6号, 掲載ページ 1111-1116, 出版日 2023年06月01日, 査読付 研究論文（学術雑誌）, 英語 URL DOI URL2023 · 論文
• On the Power of Lookahead in Single-Player PuyoPuyo Y.Takenaga; S.Kikuchi; H.Quan ICGA Journal, 43巻, 2号, 掲載ページ 102-113, 出版日 2021年, 査読付 研究論文（学術雑誌）, 英語2021 · 論文
• QUIXO is EXPTIME-complete Shohei Mishiba; Yasuhiko Takenaga Information Processing Letters, Elsevier, 162巻, 105995号, 出版日 2020年10月, 査読付 研究論文（学術雑誌）, 英語2020 · 論文
• Matchstick Puzzles on a Grid Y.Takenaga; S.Mishiba an; H.Sugiyama Graphs and Combinatorics, Springer, 36巻, 2号, 掲載ページ 347-357, 出版日 2020年03月, 査読付 研究論文（学術雑誌）, 英語2020 · 論文

• パラメータや盤面を変更したゲームの必勝戦略と計算複雑さ 武永康彦 日本学術振興会, 科学研究費助成事業 基盤研究(C), 電気通信大学, 基盤研究(C), 研究代表者, 23K11380 研究期間 2023年04月 - 2027年03月2023 · 共同研究・競争的資金等の研究課題
• グラフ上のゲームおよびオンライン性を持つゲームの必勝性 武永 康彦 日本学術振興会, 科学研究費助成事業 基盤研究(C), 電気通信大学, 基盤研究(C), 研究代表者, オンライン性を持つゲームの必勝性に関しては、主に落ちものゲームの一種であるぷよぷよを１人ゲームとして扱い、盤面の幅と色数を変更した場合に関する従来研究を、入力ピースの先読みが可能な場合に拡張した。主な結果として、どれだけ先読みが多くても色数が多ければプレイヤーの必敗となることを、盤面の幅が２および３の場合に対して証明した。 グラフ上のゲームについては、グラフ上のペグソリティアやチャイニーズチェッカー（ダイヤモンドゲーム）等のペグ移動ゲームを扱い、これらに関する可解性の判定や必勝性判定などの問題の計算困難性を証明した。また、これらのゲームのルールの変種における必勝性についても扱った。, 18K11601 研究期間 2018年04月 - 2022年03月2018 · 共同研究・競争的資金等の研究課題
• ゲーム・パズルにおけるオンライン問題と計算複雑さ 武永 康彦 日本学術振興会, 科学研究費助成事業 基盤研究(Ｃ), 電気通信大学, 基盤研究(Ｃ), 研究代表者, オンライン性を持つ落ち物パズルゲームであるぷよぷよを1人ゲームとして扱い、その必勝性について研究を行った。必勝とは、プレーヤが一定の高さ以上にピースを積み上げることなく、永久にプレイできることをいう。実際のゲームと同様の入力の先読みがある場合とない場合について、ピースの色数と盤面の幅、先読みのできる入力の個数をパラメータとして、プレーヤが必勝あるいは必敗となる十分条件等を明らかにした。また、その証明手法が他の類似のパズルゲームに応用できることを示した。 また、格子上のマッチ棒パズル、対戦型ゲームであるQUIXOについて、その必勝性判定のアルゴリズム、計算複雑さを示した。, 15K00505 研究期間 2015年10月 - 2018年03月2015 · 共同研究・競争的資金等の研究課題
• ゲーム情報学：Ａｎｄ－Ｏｒ木の探索とゲーム・パズルの難しさの研究 岩田 茂樹; 武永 康彦; 笠井 琢美; 伊藤 大雄 日本学術振興会, 科学研究費助成事業 基盤研究(C), 電気通信大学, 基盤研究(C), 本研究は、ゲーム情報学全般にわたる研究のうち、(1) And-Or 木のコンピュータによる探索、と (2) ゲームやパズルの複雑さに関する研究を行う、ことを目的とする。 And-Or 木（ゲーム木）のコンピュータによる探索では通常、評価関数が用いられる。ゲーム木の自然なモデルを定め、ゲーム木のある深さにおいて深さ優先探索により探索する局面数を考える。完全な評価関数に確率 p(0 研究期間 2011年 - 2013年2011 · 共同研究・競争的資金等の研究課題

• 公式プロフィール