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

A Study on Self-Adaptive Meta-Heuristics for Constraint Satisfaction Problems

Research Project

Project/Area Number 21700173
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeSingle-year Grants
Research Field Intelligent informatics
Research InstitutionTakushoku University

Principal Investigator

MIZUNO Kazunori  拓殖大学, 工学部, 准教授 (20439524)

Project Period (FY) 2009 – 2011
Project Status Completed (Fiscal Year 2011)
Budget Amount *help
¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2011: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2010: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2009: ¥2,210,000 (Direct Cost: ¥1,700,000、Indirect Cost: ¥510,000)
Keywords探索・論理・推論アルゴリズム / 制約充足問題 / メタヒューリスティクス / 相転移 / NP完全 / グラフ彩色問題 / エージェント / 探索
Research Abstract

The main results of our study are :(1) Proposal and evaluation of a self-adaptive and spatial parallel problem solving method, which can adjust control parameters for individual problem instances or problem solving processes, for solving constraint satisfaction problems,(2) Proposal and evaluation of a constructive method for systematically generating constraint satisfaction instances that are very hard to solve, and(3) Development of a system for generating virtual city spaces where urban blocks are autonomously varied.

Report

(4 results)
  • 2011 Annual Research Report   Final Research Report ( PDF )
  • 2010 Annual Research Report
  • 2009 Annual Research Report
  • Research Products

    (63 results)

All 2012 2011 2010 2009

All Journal Article (29 results) (of which Peer Reviewed: 27 results) Presentation (33 results) Book (1 results)

  • [Journal Article] Development of a Foods Information Service System for Parent of a Childhood Cancer Patient2012

    • Author(s)
      Toguchi, A., Wakiuchi, H., Sasaki, H., Sumiyoshi, T., Mizuno, K
    • Journal Title

      The 2012 Bangkok International Academic Conference

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] Development of a Foods Information Service System for Parent of a Childhood Cancer Patient2012

    • Author(s)
      Toguchi, A., Wakiuchi, H., Sasaki, H., Sumiyoshi, T., Mizuno, K.
    • Journal Title

      Proc.The 2012 Bangkok Academic Conference

      Pages: 295-299

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] セルの相互作用による仮想都市の区画変化シミュレーション2011

    • Author(s)
      古田尚之, 水野一徳, 他3名
    • Journal Title

      芸術科学会論文誌

      Volume: Vol.10, No.4 Pages: 241-250

    • Related Report
      2011 Annual Research Report 2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] Solving Constraint Satisfaction Problems by ACO with Cunning Ants2011

    • Author(s)
      Mizuno, K., Hayakawa, D., Sasaki, H., and Nishihara, S
    • Journal Title

      The 2011 International Conference on Technologies and Applications of Artificial Intelligence(TAAI2011)

      Pages: 155-160

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] Improving Search Efficiency Adopting Hill-Climbing to Ant Colony Optimization for Constraint Satisfaction Problems2011

    • Author(s)
      Hayakawa D., Mizuno, K., Sasaki, H., and Nishihara, S
    • Journal Title

      The 3rd International Conference on Knowledge and Systems Engineering(KSE2011)

      Pages: 200-204

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] On the Efficiency of Ant Colony Optimization with Cunning Ants for Binary Constraint Satisfaction Problems2011

    • Author(s)
      Hayakawa, D., Mizuno, K., Sasaki, H., and Nishihara, S
    • Journal Title

      The 8th International Conference on Cybernetics and Information Technologies, Systems and Applications(CITSA 2011)

    • NAID

      40020267282

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] 仮想都市における建物の建築過程形状の自動生成2011

    • Author(s)
      古田尚之, 水野一徳, 西原清一, 福井幸男, 佐々木整
    • Journal Title

      NICOGRAPH Spring Festival in TAF予稿集

      Volume: (CD-ROM)

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] On the Efficiency of Ant Colony Optimization with Cunning Ants for Binary Constraint Satisfaction Problems2011

    • Author(s)
      Hayakawa D., Mizuno, K., et.al.
    • Journal Title

      Proc.CITSA2011

    • NAID

      40020267282

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Improving Search Efficiency Adopting Hill-Climbing to Ant Colony Optimization for Constraint Satisfaction Problems2011

    • Author(s)
      Hayakawa D., Mizuno, K., et.al.
    • Journal Title

      Proc.KSE2011

      Pages: 200-204

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Solving Constraint Satisfaction Problems by ACO with Cunning Ants2011

    • Author(s)
      Mizuno, K., et.al.
    • Journal Title

      Proc.TAAI2011

      Pages: 155-160

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Development of new e-Learning content using the Augmented Reality Technology2011

    • Author(s)
      Toguchi, A., Sasaki, H., Shikoda, A., Mizuno, K.
    • Journal Title

      Proc.ICCE2011

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Ant Population Meta-Heuristics for Binary Constraint Satisfaction Problems2010

    • Author(s)
      Mizuno, K., Nagasawa, Y., Sasaki, H., and Nishihara, S
    • Journal Title

      The 2010 Conference on Technologies and Applications of Artificial Intelligence(TAAI2010)

      Pages: 314-321

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] 知的仮想空間設計とボトムアップ型のシミュレーション2010

    • Author(s)
      水野一徳
    • Journal Title

      日本デザイン学会誌(デザイン学特集号),特集「シミュレーションとプロトタイプ」

      Volume: Vol.17, No.3 Pages: 14-17

    • Related Report
      2011 Final Research Report
  • [Journal Article] Constructive Generation of 3-COL Instances Focusing on Vertex Connectivity of Minimal Unsolvable Structures2010

    • Author(s)
      Nagasawa, Y., Mizuno, K., Sasaki, H., and Nishihara, S
    • Journal Title

      The 2nd International Conference on Knowledge and Systems Engineering(KSE2010)

      Pages: 113-118

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] Land-Use Change Simulation by Cellular Automata to Generate Time-Varying Virtual Cities2010

    • Author(s)
      Mizuno, K., Nishihara, S., Fukui, Y., and Sasaki, H
    • Journal Title

      NICOGRAPH International 2010

      Volume: (CD-ROM)

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] セルの相互作用による仮想都市の区画変化シミュレーション2010

    • Author(s)
      古田尚之, 水野一徳, 他4名
    • Journal Title

      第26回NICOGRAPH論文コンテスト2010

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] Land-Use Change Simulation by Cellular Automata to Generate Time-Varying Virtual Cities2010

    • Author(s)
      Mizuno, K., et.al.
    • Journal Title

      NICOGRAPH International 2010

      Volume: (CD-ROM)

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Constructive Generation of 3-COL Instances Focusing on Vertex Conne-ctivity of Minimal Unsolvable Structures2010

    • Author(s)
      Nagasawa Y., Mizuno, K., et.al.
    • Journal Title

      Proc.KSE2010

      Pages: 113-118

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Ant Population Meta-Heuristics for Binary Constraint Satisfaction Problems2010

    • Author(s)
      Mizuno, K., et.al.
    • Journal Title

      Proc.TAAI2010

      Pages: 314-321

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] セルの相互作用による仮想都市の区画変化シミュレーション2010

    • Author(s)
      古田尚之, 水野一徳, 他
    • Journal Title

      第26回NICOGRAPH論文コンテスト論文集

      Volume: (CD-ROM)

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 知的仮想空間設計とボトムアップ型のシミュレーション2010

    • Author(s)
      水野一徳
    • Journal Title

      日本デザイン学会誌

      Volume: Vol.17-3 Pages: 14-17

    • Related Report
      2010 Annual Research Report
  • [Journal Article] Introducing Recognition Ratios for Urban Traffic Flow Simulation in Virtual Cities2009

    • Author(s)
      Sang, B., Mizuno, K., 他2名
    • Journal Title

      The 8th ACM SIGGRAPH International Conference on Virtual Reality Continuum and its Applications in Industry(VRCAI2009)

      Pages: 267-270

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] Constructive Generation of 3COL Instances by Embedding Minimal Unsolvable Structures2009

    • Author(s)
      Nagasawa, Y., Mizuno, K., Sasaki, H., Miki, Y., Nishihara, S
    • Journal Title

      The 1st International Conference on Knowledge and Systems Engineering(KSE2009)

      Pages: 100-105

    • NAID

      110007502620

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] Difficulty Estimation of Number Place Puzzle and Its Problem Generation Support2009

    • Author(s)
      Ono S., Miyamoto, R., Nakayama, S., and Mizuno, K
    • Journal Title

      ICCAS-SICE International Joint Conference 2009

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] Urban Traffic Flow Simulation with Traffic Accidents in Virtual City Spaces2009

    • Author(s)
      Mizuno, K., 他4名
    • Journal Title

      NICOGRAPH International 2009

      Volume: (CD-ROM)

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] Urban Traffic Flow Simulation with Traffic Accidents in Virtual City Spaces2009

    • Author(s)
      Mizuno, K., et.al.
    • Journal Title

      NICOGRAPH International 2009 CD-ROM

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Difficulty Estimation of Number Place Puzzle and Its Problem Generation Support2009

    • Author(s)
      Ono, S., et. al.
    • Journal Title

      ICCAS-SICE International Joint Conference CD-ROM

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Constructive Generation of 3COL Instances by Embedding Minimal Unsolvable Structures2009

    • Author(s)
      Nagasawa, Y., Mizuno, K., et. al.
    • Journal Title

      Proc. KSE2009

      Pages: 100-105

    • NAID

      110007502620

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Introducing Recognition Ratios for Urban Traffic Flow Simulation in Virtual Cities2009

    • Author(s)
      Sang. B., Mizuno, K., et. al.
    • Journal Title

      Proc. 8th ACM SIGGRAPH International Conf. on VRCAI2009 CD-ROM

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Presentation] 携帯端末を利用した視覚障害者用ナビゲーションシステムの開発2012

    • Author(s)
      浅見友彦, 水野一徳, 早川大貴
    • Organizer
      情報処理学会第74回全国大会
    • Place of Presentation
      名古屋工業大学
    • Related Report
      2011 Final Research Report
  • [Presentation] 携帯端末を利用した視覚障害者用ナビゲーションシステムの開発2012

    • Author(s)
      浅見友彦, 水野一徳, 他
    • Organizer
      情報処理学会第74回全国大会,1ZD-7
    • Place of Presentation
      名古屋工業大学
    • Related Report
      2011 Annual Research Report
  • [Presentation] 拡張現実感を用いたeラーニングコンテンツ開発の試み2011

    • Author(s)
      渡口聡則, 佐々木整, 千葉哲治, 志子田有光, 水野一徳
    • Organizer
      教育工学研究会(ET2011-73),電子情報通信学会
    • Place of Presentation
      琉球大学
    • Year and Date
      2011-11-04
    • Related Report
      2011 Annual Research Report
  • [Presentation] グラフ彩色問題の組織的生成のためのGAによる極小非可解構造の導出2011

    • Author(s)
      水野一徳, 西原清一, 佐々木整
    • Organizer
      進化計算シンポジウム2011
    • Place of Presentation
      モンタナリゾート岩沼
    • Related Report
      2011 Final Research Report
  • [Presentation] グラフ彩色インスタンス生成のためのGAに基づく極小非可解構造の導出2011

    • Author(s)
      水野一徳, 早川大貴, 佐々木整, 西原清一
    • Organizer
      第10回情報科学技術フォーラム(FIT2011)
    • Place of Presentation
      函館大学
    • Related Report
      2011 Final Research Report
  • [Presentation] 部分的形質遺伝に基づくACOによる制約充足問題の解法2011

    • Author(s)
      早川大貴, 水野一徳, 他4名
    • Organizer
      人工知能学会第25回全国大会
    • Place of Presentation
      アイーナいわて県民情報交流センター
    • Related Report
      2011 Final Research Report
  • [Presentation] 部分的形質遺伝に基づくACOによる制約充足問題の解法2011

    • Author(s)
      早川大貴, 水野一徳, 他
    • Organizer
      人工知能学会第25回全国大会,2I2-2
    • Place of Presentation
      アイーナいわて県民情報交流センター
    • Related Report
      2011 Annual Research Report
  • [Presentation] グラフ彩色インスタンス生成のためのGAに基づく極小非可解構造の導出2011

    • Author(s)
      水野一徳, 他
    • Organizer
      第10回情報科学技術フォーラム(FIT2011),1H-1
    • Place of Presentation
      函館大学
    • Related Report
      2011 Annual Research Report
  • [Presentation] 拡張現実を用いたWeb学習コンテンツの作成(2)2011

    • Author(s)
      渡口聡則, 佐々木整, 志子田有光, 水野一徳
    • Organizer
      日本教育工学会第27回全国大会,1a-209-01
    • Place of Presentation
      首都大学東京
    • Related Report
      2011 Annual Research Report
  • [Presentation] 拡張現実感を用いたeラーニングコンテンツ開発の試み(2)~試作コンテンツと評価実験の報告~2011

    • Author(s)
      渡口聡則, 佐々木整, 千葉哲治, 志子田有光, 水野一徳
    • Organizer
      教育工学研究会(ET2011-84),電子情報通信学会
    • Place of Presentation
      かんぽの宿熱海
    • Related Report
      2011 Annual Research Report
  • [Presentation] グラフ彩色問題の組織的生成のためのGAに基づく極小非可解構造の導出2011

    • Author(s)
      水野一徳, 他
    • Organizer
      進化計算シンポジウム2011,S2-10,140-145
    • Place of Presentation
      モンタナリゾート岩沼
    • Related Report
      2011 Annual Research Report
  • [Presentation] 留学生を対象とした学習支援の取り組み2010

    • Author(s)
      佐々木整, 水野一徳, 他
    • Organizer
      教育工学研究会,電子情報通信学会
    • Place of Presentation
      弘前大学
    • Year and Date
      2010-07-24
    • Related Report
      2010 Annual Research Report
  • [Presentation] 極小非可解構造に基づく連結度を考慮した3COLインスタンスの組織的生成2010

    • Author(s)
      水野一徳, 長澤圭孝, 仲健次, 西原清一, 佐々木整
    • Organizer
      第77回人工知能基本問題研究会,人工知能学会
    • Place of Presentation
      北海道大学
    • Year and Date
      2010-03-18
    • Related Report
      2009 Annual Research Report
  • [Presentation] 制約充足に基づく勤務シフトスケジューリング2010

    • Author(s)
      大懸充, 水野一徳, 長澤圭孝, 西原清一
    • Organizer
      第72回全国大会,情報処理学会
    • Place of Presentation
      東京大学
    • Year and Date
      2010-03-09
    • Related Report
      2009 Annual Research Report
  • [Presentation] 連結度に注目したグラフ3彩色インスタンスの組織的生成2010

    • Author(s)
      仲健次, 長澤圭孝, 水野一徳, 西原清一
    • Organizer
      第72回全国大会・情報処理学会
    • Place of Presentation
      東京大学
    • Year and Date
      2010-03-09
    • Related Report
      2009 Annual Research Report
  • [Presentation] 制約充足型ACOにおける部分的形質遺伝に基づく解候補育成2010

    • Author(s)
      早川大貴, 水野一徳, 他4名
    • Organizer
      進化計算シンポジウム2010
    • Place of Presentation
      レイクサイドホテル久山
    • Related Report
      2011 Final Research Report
  • [Presentation] 制約充足問題のためのランク付け機能を有するACOの局所探索による解候補育成2010

    • Author(s)
      早川大貴, 水野一徳, 他4名
    • Organizer
      第9回情報科学技術フォーラム(FIT2010)
    • Place of Presentation
      九州大学
    • Related Report
      2011 Final Research Report 2010 Annual Research Report
  • [Presentation] 仮想都市生成のためのセルオートマトンによる土地利用変化シミュレーション2010

    • Author(s)
      水野一徳, 西原清一, 今佐和子, 福井幸男
    • Organizer
      第4回進化計算フロンティア研究会(SIG-ECF)人工知能学会
    • Place of Presentation
      東京工業大学
    • Related Report
      2011 Final Research Report
  • [Presentation] 極小非可解構造に基づく連結度を考慮した3COLインスタンスの組織的生成2010

    • Author(s)
      水野一徳, 長澤圭孝, 仲健次, 佐々木整, 西原清一
    • Organizer
      第77回人工知能基本問題研究会(SIG-FPAI),人工知能学会
    • Place of Presentation
      北海道大学
    • Related Report
      2011 Final Research Report
  • [Presentation] 仮想都市のためのセルオートマトンによる土地利用変化シミュレーション2010

    • Author(s)
      水野一徳, 他
    • Organizer
      第4回進化計算フロンティア研究会,人工知能学会
    • Place of Presentation
      東京工業大学
    • Related Report
      2010 Annual Research Report
  • [Presentation] 情報工学科学生に対するプログラミングの意識調査2010

    • Author(s)
      佐々木整, 水野一徳, 他
    • Organizer
      第35回全国大会,教育システム情報学会
    • Place of Presentation
      北海道大学
    • Related Report
      2010 Annual Research Report
  • [Presentation] 制約充足型ACOにおける部分的形質遺伝に基づく解候補生成2010

    • Author(s)
      早川大貴, 水野一徳, 他
    • Organizer
      進化計算シンポジウム2010,進化計算学会
    • Place of Presentation
      レイクサイドホテル久山(福岡県)
    • Related Report
      2010 Annual Research Report
  • [Presentation] 制約充足型Ant Systemにおける局所探索による解候補育成の効果2009

    • Author(s)
      水野一徳, 小野智司, 西原清一, 佐々木整
    • Organizer
      進化計算シンポジウム2009
    • Place of Presentation
      沖縄かんぽの宿レクセンター
    • Year and Date
      2009-12-20
    • Related Report
      2009 Annual Research Report
  • [Presentation] 計算機によるボトムアップ型シミュレーション~仮想都市空間の知的設計とシミュレーション~2009

    • Author(s)
      水野一徳
    • Organizer
      日本デザイン学会平成21年度秋季企画大会(招待講演)
    • Year and Date
      2009-11-15
    • Related Report
      2011 Final Research Report
  • [Presentation] 計算機によるボトムアップ型シミュレーション2009

    • Author(s)
      水野一徳
    • Organizer
      日本デザイン学会平成21年度秋季企画大会
    • Place of Presentation
      拓殖大学
    • Year and Date
      2009-11-15
    • Related Report
      2009 Annual Research Report
  • [Presentation] 点連結度に注目した難しい3COLインスタンスの組織的生成2009

    • Author(s)
      仲健次, 長澤圭孝, 水野一徳, 西原清一
    • Organizer
      第75回人工知能基本問題研究会,人工知能学会
    • Place of Presentation
      電気通信大学
    • Year and Date
      2009-11-14
    • Related Report
      2009 Annual Research Report
  • [Presentation] 多集団型Ant Systemによる制約充足問題の解法2009

    • Author(s)
      水野一徳, 小野智司, 西原清一
    • Organizer
      第2回進化計算フロンティア研究会,人工知能学会
    • Place of Presentation
      東京大学
    • Year and Date
      2009-10-02
    • Related Report
      2009 Annual Research Report
  • [Presentation] 極小非可解構造の埋め込みによる難しい3COLインスタンスの組織的生成2009

    • Author(s)
      長澤圭孝, 水野一徳, 西原清一
    • Organizer
      第74回人工知能基本問題研究会,人工知能学会
    • Place of Presentation
      広島市立大学
    • Year and Date
      2009-09-15
    • Related Report
      2009 Annual Research Report
  • [Presentation] Binary CSPのための制約違反最小化戦略のハイブリッド型Ant Systemの効果2009

    • Author(s)
      水野一徳, 奥住雅仁, 佐々木整, 西原清一
    • Organizer
      第8回情報科学技術フォーラム
    • Place of Presentation
      東北工業大学
    • Year and Date
      2009-09-04
    • Related Report
      2009 Annual Research Report
  • [Presentation] 制約充足型Ant Systemにおける局所探索による解候補育成の効果2009

    • Author(s)
      水野一徳, 小野智司, 西原清一, 佐々木整
    • Organizer
      進化計算シンポジウム2009
    • Place of Presentation
      沖縄かんぽの宿那覇レクセンター
    • Related Report
      2011 Final Research Report
  • [Presentation] 点連結度に注目した難しい3COLインスタンスの組織的生成2009

    • Author(s)
      仲健次, 長澤圭孝, 水野一徳, 西原清一
    • Organizer
      第75回人工知能基本問題研究会(SIG-FPAI),人工知能学会
    • Place of Presentation
      電気通信大学
    • Related Report
      2011 Final Research Report
  • [Presentation] 多集団型Ant Systemによる制約充足問題の解法2009

    • Author(s)
      水野一徳, 小野智司, 西原清一
    • Organizer
      第2回進化計算フロンティア研究会(SIG-ECF),人工知能学会
    • Place of Presentation
      東京大学
    • Related Report
      2011 Final Research Report
  • [Presentation] 極小非可解構造の埋め込みによる難しい3COLインスタンスの組織的生成2009

    • Author(s)
      長澤圭孝, 水野一徳, 西原清一
    • Organizer
      第74回人工知能基本問題研究会(SIG-FPAI),人工知能学会
    • Place of Presentation
      広島市立大学
    • Related Report
      2011 Final Research Report
  • [Book] 情報ネットワーク2010

    • Author(s)
      岡田正, 駒谷昇一, 西原清一, 水野一徳
    • Publisher
      オーム社
    • Related Report
      2011 Final Research Report 2010 Annual Research Report

URL: 

Published: 2009-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi