ニューラルネットワークと列挙法の組み合わせによるSATの解法
スポンサーリンク
概要
- 論文の詳細を見る
SAT(充足可能性問題)の解法には, 列挙法, 分枝限定法, GSAT等の局所探索法, ラグランジュニューラルネットワークを用いた手法(LPPH)等がある。列挙法や分枝限定法を用いた手法では, 全ての充足解を見つけることができ, しかも充足可能か不可能かの判定もできるが, 一般に解を求めるのに非常に長い計算時間を要する。局所探索法やLPPH等の手法は, 充足可能か否かの判定はできないが, 充足解が存在する場合にその中の一つを比較的高速に見つけることができる。本論文では列挙法の考え方をLPPHと組み合わせることにより, より高速に解を見つけることができる可能性があることを示す。
- 一般社団法人情報処理学会の論文
- 1997-09-24
著者
-
永松 正博
九州工業大学工学部
-
矢鳴 虎夫
九州工業大学工学部
-
矢鳴 虎夫
東亜大学
-
矢鳴 虎夫
九州工業大学情報科学センター
-
永松 正博
九州工業大学
-
小濱 勇二
九州工業大学工学部
-
矢鳴 虎夫
東亜大 工
-
永松 正博
九州工業大
関連論文
- TK-3-7 価値および好奇心に基づく移動ロボットの脳型行動創発(TK-3. 脳型コンピュータの原型を求めて,大会委員会企画)
- ニューラルネットワークの並列実行によるSATの解法
- 医療情報とファジイに関する国際会議MIF'99に参加して
- 再収れん経路の解析による故障リストの空判定を用いた同時故障シミュレーションの高速化
- 再収れん経路の解析による故障リストの空判定を用いた同時故障シミュレーションの高速化
- 主観観測モデル理論とそのフレームの情報検索への応用
- 主観観測モデル理論の情報検索への応用
- TK-3-7 価値および好奇心に基づく移動ロボットの脳型行動創発(TK-3. 脳型コンピュータの原型を求めて,大会委員会企画)
- TK-3-7 価値および好奇心に基づく移動ロボットの脳型行動創発(TK-3. 脳型コンピュータの原型を求めて,大会委員会企画)
- TK-3-7 価値および好奇心に基づく移動ロボットの脳型行動創発(TK-3. 脳型コンピュータの原型を求めて,大会委員会企画)
- TK-3-7 価値および好奇心に基づく移動ロボットの脳型行動創発(TK-3. 脳型コンピュータの原型を求めて,大会委員会企画)
- TK-3-7 価値および好奇心に基づく移動ロボットの脳型行動創発(TK-3. 脳型コンピュータの原型を求めて,大会委員会企画)
- TK-3-7 価値および好奇心に基づく移動ロボットの脳型行動創発(TK-3. 脳型コンピュータの原型を求めて,大会委員会企画)
- ファジィグラフの連結構造分析を用いたオブジェクト指向ソフトウェアにおけるクラス構造の複雑さに関する考察
- 一対比較法を用いたメンバ間の依存関係の定量化と保守性の指標に関する考察
- 再収れん経路の解析による故障リストの空判定を用いた同時故障シミュレーションの高速化
- 情報科学教育におけるアルゴリズム記述に関する研究
- ニューラルネットワークと列挙法の組み合わせによるSATの解法
- オブジェクトの構造的な複雑さに関する考察
- 情報科学教育におけるアルゴリズム記述用言語
- 入力パターン並列処理による故障リストの空判定を用いた同時故障シミュレーションの高速化
- 検出済み故障を考慮した同時故障シミュレーションの高速化手法
- 故障リストの空判定と入力パターン並列処理による同時故障シミュレーションの高速化
- 各信号線で制御可能な値の解析による冗長故障の判定
- 各信号線で制御可能な値の解析による冗長故障の判定
- 並列処理システムにおける同期のためのオーバーヘッドの削減とスケジューリングについて
- 定性的概念間の類似性の定量化に関する研究 : 表情認識への適用(一般講演14)
- MIDI信号を用いた演奏音楽からの感情抽出の試み
- ECIT2000とルーマニア・イアシ工科大学
- ECIT2000とルーマニア・イアシ工科大学
- バイオメディカル・ファジィ・システム学会の歴史と研究そして今後
- バイオメディカル・ファジイ・システム学会誌(和文版)の発刊にあたって
- ART MUSEUM : 感性を理解するコンピュータ
- 感性語処理システムについて
- 主観観測による意思決定問題の分析
- 主観観測理論の人員配置意思決定化問題への応用
- ラグランジュの方法による仮説推論に関する研究(一般講演)
- SATにおける節の構成とラグランジュニューラルネットワークによる解法の効率に関する研究(一般講演)
- 目的関数付き充足可能性問題に対するラグランジュの方法を用いた近似解法(一般講演)
- 最大充足可能性問題に対するラグランジュの方法を用いた近似解法(一般講演)
- 反応粒子場による動的データベースを取りこんだ記号粒子蓄積型ニューロンモデル(ファジィ・ニューロ)
- 記号粒子蓄積型ニューロンモデルにおける反応モデル(一般講演11)
- 顔パターンのイメージコードと感情表現について(一般講演5,ファジィ理論、ニューロサイエンス、およびカオスの医療と健康への応用を考える)
- ラグランジュの方法による制約充足問題の解法(一般講演,ライフサイエンスとソフトンピューティング)
- 充足可能性問題のラグランジュの方法による解法への発見的手法に関する研究(一般講演)
- 14.ニューラルネットを用いた線画生成 : 特徴検出について(ファジィニューラル(1),一般講演,医療とヒューマンフレンドリーコンピュータ科学の接点を求めて-21世紀マルチメディア医療をむかえて-)
- 東洋医学におけるファジィ性(一般講演4,ファジィ理論、ニューロサイエンス、およびカオスの医療と健康への応用を考える)
- 欧米における一般情報処理教育の実態について(先端技術教育)
- 分散ネットワークシステムにおける教育と運用
- 12.主観観測モデル理論を用いた文書検索に関する研究(検索,一般講演,医療とヒューマンフレンドリーコンピュータ科学の接点を求めて-21世紀マルチメディア医療をむかえて-)
- 漢字情報処理システムの開発 : 漢字コード紙テープ編集処理システム
- 漢字情報処理システムの開発(漢字コード紙テープ処理)
- 10-2 数理計画法によるクラス編成の最適化
- 九州工業大学雑誌検索システム
- 9P-C-3 モーションサンプルと窓を使用した複数移動物体の追跡(C会場 大学院生・学部学生 奨励賞セッション)
- 感情のイメージコードを用いた顔のアニメーション表現の試み(一般講演6,ファジィ理論、ニューロサイエンス、およびカオスの医療と健康への応用を考える)
- 感情のイメージコードを用いた人間の顔のアニメーション表現の試み
- 東洋医学における基本理念の数理モデル化に関する基礎研究(一般講演6-東洋医学-)
- 感性語をどのように表現するのか?(一般講演4-感情・感性-)
- パルス列の確率構造とニューロン層モデルの空間応答特性
- 教育用TSSシステムの性能評価について (II)
- 主観的情報検索システムの構築とその統合に関する研究(一般講演)
- 東洋医学の基本概念とオペレーティングシステム(一般講演-東洋医学・心身医学-)
- 記号粒子蓄積型ニューロンモデルに関する研究(一般講演-カオス・ニューロン・インターフェース・ウェーブレット-)
- 生理的欲求を伴う仮想人間に関する研究
- 主観的観測により感情に関する対話システム
- 主観観測モデル理論に基づいた感情に関する対話システム(一般講演2,ファジィ理論、ニューロサイエンス、およびカオスの医療と健康への応用を考える)
- 主観観測モデル理論を用いた感情処理に基づく対話システムの実現に向けて
- フレームに基づくパターンのベクトル化に関する主観理論 : 医療診断用用語処理への応用
- グラフィック・ディスプレイ・コントロール・ルーチンの開発
- 顔表情の定量化に関する研究(一般講演)
- 人工感情とカラー表現(一般講演)
- 医療情報とファジィに関する国際会議MIF'99に参加して
- 感性語処理と個人調整(一般講演14)
- 絵画を題材とした感性情報処理システム(一般講演3)
- MIDI信号を用いた演奏音楽による感情変化シミュレーションの試み
- FORTRANプログラム採点ツール II
- 学校教育における主観的評価に関する研究
- 充足可能性問題を解くニューラルネットワークの相互結合網による実現について(一般講演,ライフサイエンスとソフトンピューティング)
- 感情心理学に基づく感情のファジィ処理モデル
- コラム配線手法を用いた詳細配線
- 問題学習に関する新しい理論の試みとその妥当性
- プログラミング入門教育とTV講義
- パソコン端末とマニュアルレス方式
- 演習レーポートの自動評価 : 考察文のスタイルについて
- FORTRANプログラム採点ツール
- プログラミング入門教育とその評価の試み
- 汎用入出力装置を持つマイクロコンピューターシュミレータの開発 (I)
- 教育用TSSシステムの性能評価について (III)
- 教育用TSSシステムの性能評価について (I)
- ファジィクラスタリングに関する一手法とその応用 : 東洋医学的医療診断への応用
- 感情イメージコードを用いた詩の自動生成に向けて
- 新入社員の最適な職場配属のための数理モデル
- 動的主観観測理論の意思決定化問題への応用
- SATのラグランジュの方法による解法
- 配線問題のラグランジュの方法による解法
- 2段階配線手法とコラム配線手法を用いた自動配線について
- コラム配線手法による高密度自動配線
- FIFOキューを同期手段とする並列プログラムの実行における同期のためのオーバーヘッドの削減について(計算アルゴリズムの基礎理論)
- 高速利用のための知識の構造化に関する研究