Development and application of a method for proving the nonexistence of walks in graphs

证明图中游走不存在的方法的开发与应用

• 批准号: 15K00018
• 负责人: Jimbo Shuji
• 金额: $ 1.75万
• 依托单位: Okayama University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2015
• 资助国家: 日本
• 起止时间: 2015-10-21 至 2019-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15K00018/
• 关键词: 離散構造; グラフ理論; 不可能性の証明; 完全グラフ; オイラー回路; 証明手法; 制約充足問題ソルバー; 探索問題; 大規模計算; アルゴリズム; 高並列計算; ニューラルネットワーク

项目成果

完全解析結果に基づいた畳み込みニューラルネットワークによるペンタゴの学習

基于完整分析结果用卷积神经网络学习Pentago

• 发表时间: 2017
• 作者: Soichiro Fujii;Shin-ya Katsumata;and Paul-Andre Mellies;勝股 審也;神保 秀司
• 通讯作者: 神保 秀司

Search for Eulerian Recurrent Lengths by Using Constraint Solvers

使用约束求解器搜索欧拉循环长度

• 发表时间: 2017
• 作者: 神保 秀司;小林 祐貴;神保 秀司
• 通讯作者: 神保 秀司

Learning finite functions by neural networks: Evaluation of Pentago positions by convolutional neural networks

通过神经网络学习有限函数：通过卷积神经网络评估 Pentago 位置

• 发表时间: 2018
• 期刊: 京都大学数理解析研究所講究録
• 作者: Shuji JIMBO

フリーセルの解の存在判定アルゴリズムの設計

确定自由单元解是否存在的算法设计

• 发表时间: 2019
• 作者: Sato Tetsuya;Barthe Gilles;Gaboardi Marco;Hsu Justin;Katsumata Shin-ya;Shuji Jimbo;Katsumata Shin-ya;神保 秀司
• 通讯作者: 神保 秀司

ペンタゴ完全解析結果の活用のためのデータ変換

数据转换以利用 Pentago 完整分析结果

• 发表时间: 2017
• 作者: 神保 秀司;小林 祐貴
• 通讯作者: 小林 祐貴