研究課題/領域番号 |
21K11757
|
研究種目 |
基盤研究(C)
|
配分区分 | 基金 |
応募区分 | 一般 |
審査区分 |
小区分60010:情報学基礎論関連
|
研究機関 | 大阪公立大学 (2022) 大阪府立大学 (2021) |
研究代表者 |
宇野 裕之 大阪公立大学, 大学院情報学研究科, 教授 (60244670)
|
研究期間 (年度) |
2021-04-01 – 2025-03-31
|
研究課題ステータス |
交付 (2022年度)
|
配分額 *注記 |
4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
2024年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2023年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2022年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2021年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
|
キーワード | 数理パズル / アルゴリズムの設計と解析 / 離散数学 / 組合せ遷移 / 組合せゲーム理論 |
研究開始時の研究の概要 |
(1) (数理的な) パズルやゲームが持つ計算原理やアルゴリズムを解明すること, ついで(2) それらに共通する構造や解法を見出し,高いレベルで抽象化しより一般的な問題解決技法として体系化すること, を主要な2つの目標とする. そのうえで発展的には, (3A) 体系化された技法を利活用な形で提供し, 応用分野と連携を図りさまざまな実問題を解決すること, (3B) 教育素材となるパズルやゲームを考案・開発することを行う. これらにより結果的に, 数理的パズルやゲームの研究を情報科学の学問分野の一つとして確立させ, 分野発展への間接的な貢献を目指すものである.
|
研究実績の概要 |
本研究は,数理的なパズルやゲームが持つ計算原理やアルゴリズムを解明すること,さらにそれらに共通する構造や解法を見出し,高いレベルで抽象化しより一般的な問題解決技法として体系化することを主要な2つの目的としている.そのためにより具体的には,とくに理論計算機科学や離散数学の見地から,普遍性を持ち応用上も重要と思われる数理的パズルやゲームを見出し,個別にその計算原理の解明や解法アルゴリズムの開発を行うことを基本的かつ優先的な事項として実施する.そのもとで2年度目にあたる令和4年度は,具体的ないくつかのパズル的な問題を対象とした.一つ目は,申請者ら自身が考案したGourdsと呼ばれるスライディングブロックパズルである.これは背後に高度な対称性など数学的な背景をもち,すでに困難性などを示している.一方でこの問題は組合せ遷移問題ととらえることができ,対称性を利用した最短手数求解手順の開発や,実験的な考察などを遂行中で興味深い結果が得られつつあるある.二つ目は,発案者らがゴミ圧縮と呼ぶ問題である.これは,不可逆な遷移問題の一つの実例であり,遷移に対称性を持つ問題とは一線を画する性質をもつ.まだわからないことが多く,解明に向けてさまざまアプローチを着手している.三つめは,正多面体の一種の展開図による平面充填問題である.このほかにも,非交差全域木の遷移問題や地図折り問題など,興味深い問題を幅広く調査し扱った.
|
現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
計画当初より,計画初年度および2年度目は,既知パズルの解法調査,未知パズルの調査,個別パズル・ゲームの理論的解析,それ資する求解プログラムの作成を実施項目として掲げている.これに対して2年度目の研究実績としては,その構造に一般的な普遍性を持ち得る具体的なパズル的な問題を対象とし,それらに対してさまざまな数学的な観点からの結果や組合せ遷移問題としての最短手数求解手順の開発や,実験的な考察,計算機実験による求解および解が持つさまざまな規則性を見出すことによる性質を検証などを実施することができた.
|
今後の研究の推進方策 |
計画当初より,計画初年度および2年度目は,既知パズルの解法調査,未知パズルの調査,個別パズル・ゲームの理論的解析,それ資する求解プログラムの作成を実施項目として掲げていた.これに加えて3年度目は,折り紙を対象に加えてその数学的性質の解明を行いたい.また,さまざまなパズルの原理,解法などを分類するとともに,研究成果をわかりやすく見せるためのアプリケーションの開発やアウトリーチにも着手したいと考えている.
|