• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

数理的パズルやゲームが持つ計算原理の解明とそれらの汎用問題解決手法としての体系化

Research Project

Project/Area Number 21K11757
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Review Section Basic Section 60010:Theory of informatics-related
Research InstitutionOsaka Metropolitan University (2022-2023)
Osaka Prefecture University (2021)

Principal Investigator

宇野 裕之  大阪公立大学, 大学院情報学研究科, 教授 (60244670)

Project Period (FY) 2021-04-01 – 2025-03-31
Project Status Granted (Fiscal Year 2023)
Budget Amount *help
¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2024: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2023: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2022: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2021: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Keywords数理パズル / アルゴリズムの設計と解析 / 離散数学 / 組合せ遷移 / 計算折り紙 / 組合せゲーム理論
Outline of Research at the Start

(1) (数理的な) パズルやゲームが持つ計算原理やアルゴリズムを解明すること, ついで(2) それらに共通する構造や解法を見出し,高いレベルで抽象化しより一般的な問題解決技法として体系化すること, を主要な2つの目標とする. そのうえで発展的には, (3A) 体系化された技法を利活用な形で提供し, 応用分野と連携を図りさまざまな実問題を解決すること, (3B) 教育素材となるパズルやゲームを考案・開発することを行う. これらにより結果的に, 数理的パズルやゲームの研究を情報科学の学問分野の一つとして確立させ, 分野発展への間接的な貢献を目指すものである.

Outline of Annual Research Achievements

本研究は,数理的なパズルやゲームが持つ計算原理やアルゴリズムを解明すること,さらにそれらに共通する構造や解法を見出し,高いレベルで抽象化しより一般的な問題解決技法として体系化することを主要な2つの目的としている.そのためにより具体的には,とくに理論計算機科学や離散数学の見地から,普遍性を持ち応用上も重要と思われる数理的パズルやゲームを見出し,個別にその計算原理の解明や解法アルゴリズムの開発を行うことを基本的かつ優先的な事項として実施する.過去2年に渡っては,この分野で重要な意味を持つスライディングブロックパズルのある種の一般化であるGourdsと呼ばれるパズルや,ゴミ圧縮問題と呼ばれる一種のパズルを対象とし,それらを組合せ遷移問題の視点から考察するなど成果を積み重ねてきた.これらを踏まえて3年度目にあたる令和5年度は,上述の2種類のパズルに対する考察を深めてさらなる重要な結果を得ることを重ねた.これに加えてあらたに数独を一般化した問題を扱い,ラテン方陣との関連から興味深い観察を得た.さらには,地図の平坦折り問題を継続して扱い,計算機実験によるアプローチも取り入れて,過去に見られない新しい結果を得つつある.これ以外にも,正多面体の一種の展開図による平面充填問題や.非交差全域木の遷移問題などの興味深い問題を幅広く調査し扱っている.また,アウトリーチ啓発活動の一つして,学会誌において数理的なパズルを実際に作成するプロや専門家による記事を集めた特集を編集した.

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

計画当初より,計画初年度および2年度目は,既知パズルの解法調査,未知パズルの調査,個別パズル・ゲームの理論的解析,それ資する求解プログラムの作成を実施項目として設定したうえで,3年度目はそれらのさらなる追求とアルゴリズムの汎用設計技法としての真価を掲げている.これに対して3年度目の研究実績としては,その構造に一般的な普遍性を持ち得る具体的なパズル的な問題を対象とし,それらに対してさまざまな数学的な観点からの結果や組合せ遷移問題としての最短手数求解手順の開発や,実験的な考察,計算機実験による求解および解が持つさまざまな規則性を見出すことによる性質を検証などを実施することができた.くわえて,計算問題としても重要な未解決問題とされる地図折り問題を扱い,重要な観察を蓄積している.

Strategy for Future Research Activity

計画当初より,計画初年度および2年度目は,既知パズルの解法調査,未知パズルの調査,個別パズル・ゲームの理論的解析,それ資する求解プログラムの作成を実施項目として掲げていた.これに加えて3年度目は,当初計画どおり折り紙を対象に加えてその数学的性質の解明に着手し実施した.4年度目はとくに地図の平坦折り問題を探求し,未解決とされるその計算複雑さを明らかにした上で,そのアプローチをアルゴリズムの汎用設計技法として昇華させたい.また,さまざまなパズルの原理,解法などを分類するとともに,研究成果をわかりやすく見せるためのアプリケーションの開発やアウトリーチにも着手したいと考えており,一部その作業を開始している.

Report

(3 results)
  • 2023 Research-status Report
  • 2022 Research-status Report
  • 2021 Research-status Report
  • Research Products

    (6 results)

All 2023 2022 2021

All Journal Article (4 results) (of which Int'l Joint Research: 3 results,  Peer Reviewed: 3 results,  Open Access: 3 results) Presentation (1 results) (of which Int'l Joint Research: 1 results) Book (1 results)

  • [Journal Article] Multifold Tiles of Polyominoes and Convex Lattice Polygons2023

    • Author(s)
      Kota Chida, Erik D. Demaine, Martin L. Demaine, David Eppstein, Adam Hesterberg, Takashi Horiyama, John Iacono, Hiro Ito, Stefan Langerman, Ryuhei Uehara, and Yushi Uno
    • Journal Title

      Thai Journal of Mathematics

      Volume: 21(4) Pages: 957-978

    • Related Report
      2023 Research-status Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Rolling Polyhedra on Tessellations2022

    • Author(s)
      Akira Baes, Erik D. Demaine, Martin L. Demaine, Elizabeth Hartung, Stefan Langerman, Joseph O'Rourke, Ryuhei Uehara, Yushi Uno, Aaron Williams
    • Journal Title

      Proceedings of the 11th International Conference on Fun with Algorithms

      Volume: 226

    • Related Report
      2022 Research-status Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Yin-Yang Puzzles are NP-complete2021

    • Author(s)
      Erik D. Demaine, Jayson Lynch, Mikhail Rudoy, Yushi Uno
    • Journal Title

      Proceedings of the 33rd Canadian Conference on Computational Geometry

      Volume: - Pages: 97-106

    • Related Report
      2021 Research-status Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Solving Rep-tile by Computers: Performance of Solvers and Analyses of Solutions2021

    • Author(s)
      Mutsunori Banbara, Kenji Hashimoto, Takashi Horiyama, Shin-ichi Minato, Kakeru Nakamura, Masaaki Nishino, Masahiko Sakai, Ryuhei Uehara, Yushi Uno, Norihito Yasuda
    • Journal Title

      arXiv

      Volume: -

    • NAID

      130008143051

    • Related Report
      2021 Research-status Report
    • Open Access
  • [Presentation] Critical Sets of n-omino Sudoku2023

    • Author(s)
      Takashi Horiyama, Tonan Kamata, Hironori Kiya, Hirotaka Ono, Takumi Shiota, Ryuhei Uehara and Yushi Uno
    • Organizer
      The 25th Indonesia-Japan Conference on Discrete and Computational Geometry, Graphs, and Games
    • Related Report
      2023 Research-status Report
    • Int'l Joint Research
  • [Book] Fun with Algorithms2022

    • Author(s)
      Pierre Fraigniaud, Yushi Uno
    • Total Pages
      240
    • Publisher
      Schloss Dagstuhl - Leibniz-Zentrum for Informatik
    • ISBN
      9783959772327
    • Related Report
      2022 Research-status Report

URL: 

Published: 2021-04-28   Modified: 2024-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi