• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2023 年度 実績報告書

社会を志向した革新的アルゴリズムの実装

計画研究

研究領域社会変革の源泉となる革新的アルゴリズム基盤の創出と体系化
研究課題/領域番号 20H05963
研究機関日本電信電話株式会社NTTコミュニケーション科学基礎研究所

研究代表者

安田 宜仁  日本電信電話株式会社NTTコミュニケーション科学基礎研究所, 協創情報研究部, 主幹研究員 (50396149)

研究分担者 有村 博紀  北海道大学, 情報科学研究院, 教授 (20222763)
鍋島 英知  山梨大学, 大学院総合研究部, 准教授 (10334848)
美添 一樹  九州大学, 情報基盤研究開発センター, 教授 (80449115)
井上 武  日本電信電話株式会社NTTコミュニケーション科学基礎研究所, 協創情報研究部, 特別研究員 (70873678)
西野 正彬  日本電信電話株式会社NTTコミュニケーション科学基礎研究所, 協創情報研究部, 特別研究員 (90794529)
研究期間 (年度) 2020-11-19 – 2025-03-31
キーワード部分グラフ数え上げ / 圧縮索引 / Answer Set Programming / 分子設計 / 厳密被覆
研究実績の概要

西野、安田、井上らは連結成分の列挙に基づくネットワーク信頼性の研究では、期待接続数の厳密計算(INFOCOM 2023)や故障の規模に応じた不稼働率の厳密計算(ICC 2023)が、実用的なサイズのインフラネットワークで可能となった。また、ネットワーク信頼性に限らず、連結成分制約下での部分グラフの同時数え上げとして一般化したフレームワークを考案した(SEA 2023)。
鍋島はASPベースの看護師勤務表生成システムを構築し、大学附属病院の5部署において2023年10月より試験運用を開始した。このシステムは、優先度付き巨大近傍探索に基づき、勤務表の対話的構築やリスケジューリングを実現している。
有村は情報検索における圧縮テキスト構築の研究を進め、CDAWGと呼ばれるグラフベースの圧縮索引から、広く用いられている各種の圧縮索引を、入出力の圧縮索引のサイズの線形領域と時間で計算可能なことを示した(SPIRE2023)。さらに、文字列集合の最長共通部分列(LCS)に関して、相互のハミング距離の総和および最小値を最大化する多様なLCS集合を求める問題を考察し、近似アルゴリズムと固定パラメータ計算の観点から、問題の計算量を明らかにした(arXiv; CPM2024予定)。
美添らは、大規模並列探索機能を持つ分子設計のフレームワークを作成し、蛍光物質、医薬品などの機能分子を計算機を用いて設計する手段を開拓した(WIREs Computational Molecular Science掲載)
班全体の活動としは、指定された制約を持つ部分グラフの個数についての競技会を実施し、海外3カ国を含む国内外から計11チームが参加し、情報処理学会情報科学技術フォーラム(FIT 2023)の場で報告会を行った。
また、厳密被覆問題の応用として、木造CADの問題に取り組み、木造CAD企業と連携して実課題を探った。

現在までの達成度 (区分)
現在までの達成度 (区分)

2: おおむね順調に進展している

理由

文字列やグラフ数え上げなど基本的なアルゴリズム研究そのものに加え、医療現場、機能分子計算、通信インフラ信頼性など、複数の実社会の課題に対する研究を進めることができ、それぞれの社会分野でアルゴリズムの実装がどのように貢献するかが明確になってきた。
部分グラフ数え上げ競技会の初開催は今期の特筆すべき活動のひとつである。初開催でありながら、海外3カ国を含む11チームが参加し、部分グラフ数え上げに対する多様な実装の工夫が共有された。特に運営側としては事前に想定していなかった解法アプローチが見られたことは、関連研究者にとって問題解法の可能性を広げる重要な機会となった。

今後の研究の推進方策

これまで進めてきた医療現場、分子計算、通信インフラなどの研究の個別アプローチを超え、これらに共通する技法やアプローチを抜き出し、知見を統合し、より汎用性の高いアルゴリズムやフレームワークを開発することを目指す。これにより個別の課題を超えた、グラフ帰着可能ないくつかの実社会上の問題に貢献できると考えている。厳密被覆解法を活用した木造CADの開発に引き続き取り組む。日本の住宅建築の効率的な設計支援に繋がることを目的とする。初回開催で大きな知見を得た部分グラフ数え上げ競技会を拡大し、有向グラフを含める予定である。より多様なアプローチやアルゴリズムが集まり、グラフ理論に関する広範な知見が得られる場とする。
これらの取り組みを通じて、班全体としての研究活動の深化と発展を図り、社会的にも意義のある成果を創出していく所存である。

  • 研究成果

    (19件)

すべて 2024 2023 2020 その他

すべて 雑誌論文 (3件) (うち査読あり 3件、 オープンアクセス 2件) 学会発表 (13件) (うち国際学会 5件) 備考 (1件) 産業財産権 (1件) 学会・シンポジウム開催 (1件)

  • [雑誌論文] International Competition on Graph Counting Algorithms 20232024

    • 著者名/発表者名
      INOUE Takeru、YASUDA Norihito、NABESHIMA Hidetomo、NISHINO Masaaki、DENZUMI Shuhei、MINATO Shin-ichi
    • 雑誌名

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      巻: advpub ページ: n/a~n/a

    • DOI

      10.1587/transfun.2023DMP0006

    • 査読あり / オープンアクセス
  • [雑誌論文] Hamiltonian Cycle Reconfiguration with Answer Set Programming2023

    • 著者名/発表者名
      Hirate Takahiro、Banbara Mutsunori、Inoue Katsumi、Lu Xiao-Nan、Nabeshima Hidetomo、Schaub Torsten、Soh Takehide、Tamura Naoyuki
    • 雑誌名

      Logics in Artificial Intelligence

      巻: 14281 ページ: 262~277

    • DOI

      10.1007/978-3-031-43619-2_19

    • 査読あり / オープンアクセス
  • [雑誌論文] ChemTSv2: Functional molecular design using de novo molecule generator2023

    • 著者名/発表者名
      Ishida Shoichi、Aasawat Tanuj、Sumita Masato、Katouda Michio、Yoshizawa Tatsuya、Yoshizoe Kazuki、Tsuda Koji、Terayama Kei
    • 雑誌名

      WIREs Computational Molecular Science

      巻: 13 ページ: n/a~n/a

    • DOI

      10.1002/wcms.1680

    • 査読あり
  • [学会発表] Finding Diverse Strings and Longest Common Subsequences in a Graph2024

    • 著者名/発表者名
      Yuto Shida, Giulia Punzi, Yasuaki Kobayashi, Takeaki Uno, Hiroki Arimura
    • 学会等名
      arXiv:2405.00131, 2024. (accpeted to: 35th Annual Symposium on Combinatorial Pattern Matching (CPM 2024), Leibniz International Proceedings in Informatics, Vol.296, pp.21:0-21:17, to appear)
  • [学会発表] heulingo: 組合せ最適化のための解集合プログラミングに基づく優先度付き巨大近傍探索の実装2024

    • 著者名/発表者名
      杉森唯瑠未, 宋剛秀, 田村直之, 井上克巳, 鍋島英知, 番原睦則
    • 学会等名
      第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024)
  • [学会発表] グラフの中の多様な文字列と最長共通部分列の発見2024

    • 著者名/発表者名
      有村 博紀
    • 学会等名
      フォレストワークショップ2024
  • [学会発表] Optimally Computing Compressed Indexing Arrays Based on the Compact Directed Acyclic Word Graph2023

    • 著者名/発表者名
      Hiroki Arimura, Shunsuke Inenaga, Yasuaki Kobayashi, Yuto Nakashima, Mizuki Sue
    • 学会等名
      Lecture Notes in Computer Science, 30th annual Symposium on String Processing and Information Retrieval (SPIRE2023), Vol.14240, pp.28-34
    • 国際学会
  • [学会発表] 解集合プログラミングを用いた看護師勤務表の自動生成と附属病院における評価2023

    • 著者名/発表者名
      菅原 孝太, 鍋島 英知
    • 学会等名
      スケジューリング・シンポジウム2023
  • [学会発表] Designing Benchmarks for the International Competition on Graph Counting Algorithm2023

    • 著者名/発表者名
      Takeru Inoue
    • 学会等名
      第22回情報科学技術フォーラム(FIT2023)
  • [学会発表] 文字列集合に対する多様な最長共通部分列の発見2023

    • 著者名/発表者名
      志田祐仁,小林靖明,有村博紀
    • 学会等名
      コンピュテーション研究会,電子情報通信学会
  • [学会発表] Minimum Consistent Subset for Trees Revisited2023

    • 著者名/発表者名
      Hiroki Arimura, Tatsuya Gima, Yasuaki Kobayashi, Hiroomi Nochide, Yota Otachi
    • 学会等名
      The 23rd Japan-Korea Joint Workshop on Algorithms and Computation (WAAC 2023)
    • 国際学会
  • [学会発表] CompDP: A Framework for Simultaneous Subgraph Counting under Connectivity Constraints2023

    • 著者名/発表者名
      Kengo Nakamura, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato
    • 学会等名
      21st Symposium on Experimental Algorithms (SEA 2023)
    • 国際学会
  • [学会発表] Exact and Efficient Network Reliability Evaluation per Outage Scale2023

    • 著者名/発表者名
      Kengo Nakamura, Takeru Inoue, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato
    • 学会等名
      IEEE International Conference on Communication, (ICC 2023)
    • 国際学会
  • [学会発表] A Fast and Exact Evaluation Algorithm for the Expected Number of Connected Nodes: an Enhanced Network Reliability Measure2023

    • 著者名/発表者名
      Kengo Nakamura, Takeru Inoue, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato
    • 学会等名
      IEEE International Conference on Computer Communications (INFOCOM 2023)
    • 国際学会
  • [学会発表] 決定グラフ上での最適なk-集合選択問題を高速に解くアルゴリズム2023

    • 著者名/発表者名
      伝住 周平, 西野 正彬, 安田 宜仁
    • 学会等名
      第37回人工知能学会全国大会(JSAI2023)
  • [学会発表] CompDP: 複数の連結性制約の下の部分グラフ数え上げを同時に行う動的計画法2023

    • 著者名/発表者名
      中村 健吾, 西野 正彬, 安田 宜仁, 湊 真一
    • 学会等名
      第37回人工知能学会全国大会(JSAI2023)
  • [備考] International Competition on Graph Counting Algs.

    • URL

      https://afsa.jp/icgca/

  • [産業財産権] ダイアグラム生成方法、ダイアグラム生成装置及びプログラム2020

    • 発明者名
      安田宜仁, 中村健吾, 伝住周平
    • 権利者名
      日本電信電話、東京大学
    • 産業財産権種類
      特許
    • 産業財産権番号
      特許7429389
  • [学会・シンポジウム開催] International Competition on Graph Counting Algorithms 20232023

URL: 

公開日: 2024-12-25  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi