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

Development and Evaluation of Robust Collaborative Metaheuristics for Very Hard Constraint Satisfaction Problems

Research Project

Project/Area Number 21K12016
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Review Section Basic Section 61030:Intelligent informatics-related
Research InstitutionTakushoku University

Principal Investigator

水野 一徳  拓殖大学, 工学部, 教授 (20439524)

Project Period (FY) 2021-04-01 – 2025-03-31
Project Status Granted (Fiscal Year 2023)
Budget Amount *help
¥2,990,000 (Direct Cost: ¥2,300,000、Indirect Cost: ¥690,000)
Fiscal Year 2023: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2022: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2021: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Keywords制約充足問題 / メタヒューリスティクス / 群知能 / 進化計算 / スケジューリング / 画像生成 / 相転移
Outline of Research at the Start

制約充足問題は,人工知能や知識処理分野の基盤技術の1つとして広く研究されており,その応用範囲の広さから非常に重要な研究課題であるが,計算機にとってその解決が困難な問題として知られている.本研究では,制約充足問題の諸性質を明らかにする試みであるとともに,解決するのに非常に手間のかかる難しい問題を効率的・適応的に解決することができる分散協調型アルゴリズムの開発するものである.

Outline of Annual Research Achievements

本年度実施した主な研究実績としては,前年度に引き続き,(1)本研究課題の制約充足問題を効率よく解決することができる協調型解探索アルゴリズムの改良と評価実験,(2)制約充足の応用としてのスケジューリング問題への適用と実装,(3)パターン処理応用として,協調型アルゴリズムによる画像(テクスチャ)生成の検討と実装,などがあげられる.
(1)については,群知能の1つであるアリコロニー最適化(ACO)に基づく解決アルゴリズムに対して,これまで開発してきたアルゴリズムの評価実験やさらなる改良に対する検討を行なった.これについて,国内学会発表2件を行い,国際会議発表に向けての実験や論文投稿を行なった.
(2)については,スケジューリング問題として,個別指導塾の勤務シフト作成問題を解決するシステムの開発を行ない,前年度まで開発した部分に加え,ユーザとシステムが対話的にシフトを調整するインタフェースの検討および実装や,勤務者(講師)の負荷バランスを調整する制約の検討を行なった.これについては,国内学会発表4件を行なった.
(3)については,エージェント同士が協調しながら問題解決を進めるアルゴリズムを用いて,ランダム性をもちつつも背景画像に溶け込む複雑な画像(テクスチャ)を生成する方式についての実装や評価実験等を行なった.これについては,国内学会発表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

研究実績に記載の通り,本研究課題の主要な課題である,制約充足問題の効率的解決のための頑健な協調型アルゴリズムの開発と評価を行えており,概ね良好な結果が得られている.評価実験等に想定したよりも少し時間がかかってしまったが,予定していた国際会議への投稿することができた(次年度発表予定).加えて,スケジューリング問題やパターン処理への応用システム開発なども順調に進展していると考えている.

Strategy for Future Research Activity

今後は,まず,これまで開発してきた解決アルゴリズムに対して,国際会議等の学会で発表することを中心に進めていく.それらを通して,さらなる拡張部分の検討や評価実験を行なっていく予定である.

Report

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

    (21 results)

All 2024 2023 2022 2021 Other

All Journal Article (3 results) (of which Peer Reviewed: 3 results) Presentation (17 results) Remarks (1 results)

  • [Journal Article] Two-Phase Optimization for Shift Scheduling in Individualized Teaching Cram School2022

    • Author(s)
      Yosuke Suzuki and Kazunori Mizuno
    • Journal Title

      2022 International Conference on Technologies and Applications of Artificial Intelligence (TAAI)

      Pages: 125-130

    • DOI

      10.1109/taai57707.2022.00031

    • Related Report
      2022 Research-status Report
    • Peer Reviewed
  • [Journal Article] Emergent Generation of Camouflage Patterns by Artificial Ants2022

    • Author(s)
      Koichiro Sato and Kazunori Mizuno
    • Journal Title

      2022 International Conference on Technologies and Applications of Artificial Intelligence (TAAI)

      Pages: 177-182

    • DOI

      10.1109/taai57707.2022.00040

    • Related Report
      2022 Research-status Report
    • Peer Reviewed
  • [Journal Article] Adaptive Ant Colony Optimization with Several Pheromone Updates for Constraint Satisfaction Problems2021

    • Author(s)
      Takaaki Toya, Kazunori Mizuno, and Shotaro Koike
    • Journal Title

      Proceedings of the 26th International Conference on Technologies and Applications of Artificial Intelligence

      Pages: 19-24

    • Related Report
      2021 Research-status Report
    • Peer Reviewed
  • [Presentation] 時間の制約を考慮した個別指導塾の勤務表作成2024

    • Author(s)
      彦野瑠輝,水野一徳,鈴木陽介
    • Organizer
      2024年電子情報通信学会総合大会
    • Related Report
      2023 Research-status Report
  • [Presentation] 背景画像の特徴量を取り入れたAnt Paintingによる迷彩模様の創発的生成と評価2023

    • Author(s)
      佐藤公一郎,水野一徳
    • Organizer
      人工知能学会第37回全国大会
    • Related Report
      2023 Research-status Report
  • [Presentation] 個別指導塾における講師と生徒の希望を考慮した勤務表・時間割作成システム2023

    • Author(s)
      鈴木陽介,水野一徳
    • Organizer
      人工知能学会第37回全国大会
    • Related Report
      2023 Research-status Report
  • [Presentation] 解決困難な制約充足問題を対象としたLevy Flightを用いたACOアルゴリズムの開発2023

    • Author(s)
      小梛拓真,水野一徳
    • Organizer
      人工知能学会第37回全国大会
    • Related Report
      2023 Research-status Report
  • [Presentation] 画像特徴量に基づくAnt Paintingによる迷彩パターンの生成2023

    • Author(s)
      佐藤公一郎,水野一徳
    • Organizer
      情報処理学会第143回数理モデル化と問題解決研究会
    • Related Report
      2023 Research-status Report
  • [Presentation] 個別指導塾を対象とした対話型スケジューリングシステム2023

    • Author(s)
      鈴木陽介,水野一徳
    • Organizer
      情報処理学会第143回数理モデル化と問題解決研究会
    • Related Report
      2023 Research-status Report
  • [Presentation] 個別指導塾における勤務表作成問題に対するメメティックアルゴリズムの有効性の検証2023

    • Author(s)
      鈴木陽介,水野一徳
    • Organizer
      スケジューリングシンポジウム2023
    • Related Report
      2023 Research-status Report
  • [Presentation] 大規模な制約充足問題に対するLevy Flightを用いたACOアルゴリズムの有効性の検証2023

    • Author(s)
      小梛拓真,鈴木陽介,水野一徳
    • Organizer
      進化計算学会第24回研究会
    • Related Report
      2023 Research-status Report
  • [Presentation] Levy Flightを用いたACOアルゴリズムによる制約充足問題の解法2023

    • Author(s)
      小梛拓真,水野一徳,鈴木陽介
    • Organizer
      情報処理学会第85回全国大会
    • Related Report
      2022 Research-status Report
  • [Presentation] 個別指導塾の勤務表作成のための二段階最適化2022

    • Author(s)
      鈴木陽介,水野一徳,戸谷太亮
    • Organizer
      人工知能学会第36回全国大会
    • Related Report
      2022 Research-status Report
  • [Presentation] 人工アリ群による迷彩模様の創発的生成2022

    • Author(s)
      佐藤公一郎,水野一徳,戸谷太亮
    • Organizer
      人工知能学会第36回全国大会
    • Related Report
      2022 Research-status Report
  • [Presentation] 個別指導塾における時間割・勤務表作成支援システム2022

    • Author(s)
      鈴木陽介,水野一徳
    • Organizer
      進化計算シンポジウム2022
    • Related Report
      2022 Research-status Report
  • [Presentation] Ant Paintingを用いた迷彩模様の生成と類似性評価の検討2022

    • Author(s)
      佐藤公一郎,水野一徳
    • Organizer
      進化計算シンポジウム2022
    • Related Report
      2022 Research-status Report
  • [Presentation] 遺伝的アルゴリズムを利用した個別指導塾の勤務表作成システム2022

    • Author(s)
      鈴木陽介,水野一徳,戸谷太亮
    • Organizer
      情報処理学会第84回全国大会
    • Related Report
      2021 Research-status Report
  • [Presentation] アリコロニー最適化によるベイジアンネットワークの構造最適化2022

    • Author(s)
      鈴木真也,水野一徳,戸谷太亮
    • Organizer
      情報処理学会第84回全国大会
    • Related Report
      2021 Research-status Report
  • [Presentation] Ant Paintingを用いたカモフラージュパターンの生成2022

    • Author(s)
      佐藤公一郎,水野一徳,戸谷太亮
    • Organizer
      情報処理学会第84回全国大会
    • Related Report
      2021 Research-status Report
  • [Presentation] フェロモン蓄積を動的に変更する蟻の集団による制約充足アルゴリズム2021

    • Author(s)
      戸谷太亮,水野一徳
    • Organizer
      人工知能学会第35回全国大会
    • Related Report
      2021 Research-status Report
  • [Remarks] 情報工学科水野研究室の研究成果が国際会議でMerit Paper Awardを受賞!!

    • URL

      https://feng.takushoku-u.ac.jp/news/20211126-01.html

    • Related Report
      2021 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