| 講演名 | 2019-10-22 ヒステリシスニューラルネットワークを用いた制約条件充足問題 源河 拓巳(東京都市大), 神野 健哉(東京都市大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 制約条件充足問題を解決することは重要であり、非常に多くの解決方法が提案されている . ニューラルネットワークを用いた方法は解決方法のうちの一つである. 本研究ではヒステリシスニューラルネットワーク (HNN)を使用して制約条件充足問題を解決する実際の計算時間を評価を行う. HNN の各ニューロンのダイナミクスは連続値の状態変数で決定され、ニューロンの出力は 2 値のみである. HNN は区分線形システムであり、HNN の解は高速かつ高精度に計算することができる. 本稿では四色問題の HNN によるソルバーを検討し、HNN による解の探索に要する実際の計算時間を調査する |
| 抄録(英) | Since solving Constraint Satisfaction Problems (CSPs) is very important, therefore, many solving methods are proposed. The solving method using artificial neural networks is one of such solving methods. In this article, we evaluate an actual calculation time to solve a constraint condition satisfaction problem by using our proposed hysteresis neural network (HNN) which was originally proposed in 1991. The HNN consists of a binary hysteresis neuron. The dynamics of each neuron is depended on the continuous state variable, and the output of the neuron takes two discrete values. The HNN is regarded as a piecewise linear system, and the solution trajectory of the HNN can be calculated rigorously and rapidly. We con- sider a solver by HNN for the four-coloring problem in this article. We investigate the actual calculation time of HNN solution search. |
| キーワード(和) | 制約条件充足問題 / ニューラルネットワーク / 四色問題 |
| キーワード(英) | Constraint Satisfaction Problems / Neural Networks / four-coloring problem |
| 資料番号 | CAS2019-24,NLP2019-64 |
| 発行日 | 2019-10-15 (CAS, NLP) |
| 研究会情報 | |
| 研究会 | NLP / CAS |
|---|---|
| 開催期間 | 2019/10/22(から2日開催) |
| 開催地（和） | 岐阜大学 |
| 開催地（英） | Gifu Univ. |
| テーマ（和） | 数理モデリング，数値シミュレーション，一般 |
| テーマ（英） | Mathematical modeling, numerical simulation etc. |
| 委員長氏名（和） | 黒川 弘章(東京工科大) / 山脇 大造(日立) |
| 委員長氏名（英） | Hiroaki Kurokawa(Tokyo Univ. of Tech.) / Taizo Yamawaki(Hitachi) |
| 副委員長氏名（和） | 夏目 季代久(九工大) / 高島 康裕(北九州市大) |
| 副委員長氏名（英） | Kiyohisa Natsume(Kyushu Inst. of Tech.) / Yasuhiro Takashima(Univ. of Kitakyushu) |
| 幹事氏名（和） | 木村 貴幸(日本工大) / 立野 勝巳(九工大) / 中村 洋平(日立) / 佐藤 隆英(山梨大) |
| 幹事氏名（英） | Takayuki Kimura(Nippon Inst. of Tech.) / Katsumi Tateno(Kyushu Inst. of Tech.) / Yohei Nakamura(Hitachi) / Takahide Sato(Yamanashi Univ.) |
| 幹事補佐氏名（和） | 島田 裕(埼玉大) / 佐村 俊和(山口大) / 佐藤 弘樹(ソニーLSIデザイン) / 山口 基(ルネサスエレクトロニクス) |
| 幹事補佐氏名（英） | Yutaka Shimada(Saitama Univ.) / Toshikaza Samura(Yamaguchi Univ.) / Hiroki Sato(Sony LSI Design) / Motoi Yamaguchi(Renesas Electronics) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Nonlinear Problems / Technical Committee on Circuits and Systems |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | ヒステリシスニューラルネットワークを用いた制約条件充足問題 |
| サブタイトル（和） | |
| タイトル（英） | Constraint Satisfaction Problem Solver by Hysteresis Neural Networks |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 制約条件充足問題 / Constraint Satisfaction Problems |
| キーワード(2)（和/英） | ニューラルネットワーク / Neural Networks |
| キーワード(3)（和/英） | 四色問題 / four-coloring problem |
| 第 1 著者 氏名（和/英） | 源河 拓巳 / Takumi Genka |
| 第 1 著者 所属（和/英） | 東京都市大学(略称：東京都市大) Tokyo City University(略称：Tokyo City Univ.) |
| 第 2 著者 氏名（和/英） | 神野 健哉 / Kenya Jin'no |
| 第 2 著者 所属（和/英） | 東京都市大学(略称：東京都市大) Tokyo City University(略称：Tokyo City Univ.) |
| 発表年月日 | 2019-10-22 |
| 資料番号 | CAS2019-24,NLP2019-64 |
| 巻番号（vol） | vol.119 |
| 号番号（no） | CAS-237,NLP-238 |
| ページ範囲 | pp.7-10(CAS), pp.7-10(NLP), |
| ページ数 | 4 |
| 発行日 | 2019-10-15 (CAS, NLP) |