Hot List Strategyを用いたグラフ彩色問題解法の高速化(セッション6)
スポンサーリンク
概要
- 論文の詳細を見る
本論文では、N色グラフ彩色可能判定問題に関して、パラモジュレーション(等号調整導出)をべースにした定理証明に、Hot List Strategyと呼ばれる計算戦略を適用することの有効性を示す。同計算戦略を用いると、等価代入の手法によっては目的する節が導出される前に冗長な節生成が起きる場合について、冗長な節の生成(遅延)によるCPU時間の削減を行うことが可能になる。グラフのN彩色判定問題において、等号調整導出による推論が適用できること、さらに等号調整導出の推論プロセスは、Hot List Strategyに対して効果的な適合をすることを示した。評価実験では、非ハミルトングラフであるぺテルセングラフを対象にし、彩色判定の際の生成節数やCPU時間を測定し、その結果推論の遅延と計算コストを削減できることが明らかになった。
- 一般社団法人情報処理学会の論文
- 2006-03-16
著者
関連論文
- ニューラルネットワークの最適化による五目並べの戦略
- Redundancy-control strategyを用いた自己改変型ウィルス検出の高速化(セッション1)
- 2種の創動運動の温熱画像による分析
- 2種の創動運動用機器による運動のサーモグラフィによる分析
- リハビリテーションによる回復度評価データの標準化の為のデータベース構築と分析
- 自己組織化マップを用いた紫外分光画像による生地風合い判別
- 褥瘡の予防とリハビリテーション実施に関する研究
- 紫外可視ハイパースペクトラルカメラの開発
- 誤警報を削減し未知のDoS攻撃を検知するNIDS
- マルチエージェント社会における役割分担の生成 : 蟻のコロニーにおける食糧運搬
- ニューラルネットワークに基づくセキュリティ技術(情報セキュリティとAI)
- 人の歩行で電気を生み出す「床発電システム」
- 圧電・超音波材料 圧電素子を駆使した床発電システムの開発
- 第7章 接続性と利便性を重視した新技術が続々と現れる 広がるホームネットワーク技術入門 (急速に変化する技術を読むための用語集 現代エレクトロニクスの基礎知識)
- オープンソース方式による侵入検出システムの開発について
- オープンソース方式による侵入検出システムの開発について
- 4T-10 相互監視方式によるネットワーク侵入検出
- 4T-6 ネットワーク侵入検出手法の比較と脅威に応じた動的な検出
- 3S-7 モジュール分割による容易なモバイルエージェントの記述方法
- エージェントによるセールコンテンツへの自動応対
- ニューラルネットワークによるX次元N Queen問題の解決
- マルチエージェントを用いたWWWコンテンツ管理
- 時間・資源コスト概念に基づくエージェント間交渉
- モバイル・エージェントのためのレンタルプレースの設計と利用市場の形成
- 国家情報基盤と安全保障の課題 : Information Warfareと情報通信倫理
- フォールト・トレラント・ゲートの提案
- ニュ-ラルコンピュ-ティングの遊び方(23)モンゴルにおける空港配置問題
- ニュ-ラルコンピュ-ティングの遊び方(10)電話連絡網問題
- OCNへの期待と要望
- 講演 ネットワ-クコンピュ-タの衝撃
- インターネットを利用した情報探索入門 (「人工知能研究者のためのインターネット活用術」)
- 米国でのCALS/EC/EDIの現状と情報戦略
- ニューラルネットワークによる一次元ゲート割り当て問題の解法
- Neural Computing for Optimization and Combinatorics: How to Survey in the Internet
- ニューラルネットワークの組合せ最適化への応用(チュートリアル)
- ニューラルネットワークの組合せ最適化への応用(ニューラルネットワーク)
- Boxed Economy Foundation Model:社会・経済のエージェントベースモデリングのためのフレームワーク
- Boxed Economy Foundation Model:社会・経済のエージェントベースモデリングのためのフレームワーク
- 3層ニューラルネットワークと変形デンプレート法による動画像の人物検出
- リカレント型ニューラルネットワークを用いた人体のモデルフィッティング手法の提案 (パターン認識・メディア理解)
- 法整備による超高齢社会の介護システムの確立 : ―日英法比較研究―
- Hot List Strategyを用いたグラフ彩色問題解法の高速化(セッション6)
- L-022 GreenMarker : lightweight biotope map analyzer using BitPlane-style digital watermarking
- 分岐命令処理フィルタを用いた不正プロセス実時間防御機構の構築(ネットワークセキュリティ, 多様な社会的責任を担うコンピュータセキュリティ技術)
- 「音声発電」による搬送波とベースバンド信号の一体型供給伝送デバイスの作成(モバイルユビキタス時代のネットワークとサービス(キーワード: ユビキタス, センサーNWネットワークアーキテクチャ, Ad-Hoc, 及び, そのアプリケーションなど))
- 「音声発電」による搬送波とベースバンド信号の一体型供給伝送デバイスの作成(モバイルユビキタス時代のネットワークとサービス(キーワード: ユビキタス, センサーNWネットワークアーキテクチャ, Ad-Hoc, 及び, そのアプリケーションなど))
- 改良例外ハンドラによる実時間オーバーフロー防御システム(セッション8-C : 侵入検知システム(3))
- デモジュレーションを用いた等価検証による自己改変型コードの検出(セッション1-B : 侵入検知システム(1))
- 改良例外ハンドラによる実時間オーバーフロー防御システム(セッション8-C : 侵入検知システム(3))
- デモジュレーションを用いた等価検証による自己改変型コードの検出(セッション1-B : 侵入検知システム(1))
- デモジュレーションを用いた等価検証による自己改変型コードの検出
- 超導出による状態空間問題解法のCDMA同期補足への適用(ネットワーク制御と連携)
- 超導出による状態空間問題解法のCDMA同期補足への適用(ネットワーク制御と連携)
- 超導出による状態空間問題解法のCDMA同期補足への適用
- デモジュレーションを用いた等価検証による自己改変型コードの検出
- 三層型画像データ構造によるGISと植生図のアーカイビング方式の提案(セッション1 : 情報管理)
- ニューラルネットワークを用いた学習型NIDSの開発
- ニューラルネットワークを用いた学習型NIDSの開発
- 人工市場アプローチによる家庭用VTRの規格競争シミュレーション
- 人工市場アプローチによる家庭用VTRの規格競争シミュレーション
- 学習と進化によるニューラル・エージェントの動的環境への適応
- ニュ-ラルコンピュ-ティングの遊び方-25-ニュ-ラルエ-ジェントの学習と進化
- ニュ-ラルコンピュ-ティングの遊び方-11-ナイトツア-問題に挑戦
- 3層ニューラルネットワークと変形テンプレート法による動画像の人物検出
- ホップフィールド型ニューラルネットによる制約条件付きクラスタリング
- 多層パルスニューラルネットによる非定常な同期発火モデル(ニューラルネットII)
- ホップフィールド型ニューラルネットによる制約条件付クラスタリング(ニューラルネットI)
- 同期する2層のパルスニューラルネットを用いた幾何図形の認識
- リカレント型ニューラルネットワークを用いた人体のモデルフィッティング手法の提案
- ニューラルネットワークによる新解の発見 : "Doubly Attacking Queens"
- Material Report R&D 音力発電の現状とこれから
- ニューラルネットワークを用いた最適化問題における重み付けの対称性の破れとその効果(アルゴリズム理論)
- セル・オートマタによる符号化手法とその分析
- セル・オートマタによる符号化手法とその分析
- セル・オートマタによる符号化手法とその分析(セルオートマトン)
- 遺伝的アルゴリズムにおける交叉遺伝子長の非対称性と解探索能力の向上(進化的計算)
- カオスニューロンを用いた階層型ニューラルネットワークによる重なったパターンの分離
- エージェントベース社会シミュレーションのための人間の行動原則の観測システムに関する提案 : シミュレーション世界と現実世界をリンクするための方法論
- エージェントベース社会シミュレーションのための人間の行動原則の観測システムに関する提案 : シミュレーション世界と現実世界をリンクするための方法論
- 音声におけるニューラルネットワーク及び統計量を利用した電子透かし
- 音声におけるニューラルネットワーク及び統計量を利用した電子透かし(画像処理II, ITS画像処理,映像メディア及び一般)
- 音声におけるニューラルネットワーク及び統計量を利用した電子透かし(画像処理II,ITS映像メディア及び一般)
- ニューラルネットワークに基づく細密配線アルゴリズムの並列計算機上への実装
- ニューラルネットワークに基づく並列自動配線アルゴリズム
- ニューラルネットワークに基づく並列自動配線アルゴリズム
- ニューラル手法とGAによる新解の発見 : "Doubly Attacking Queens"(数理モデル応用)
- ニューラル手法とGAによる新解の発見 : "Doubly Attacking Queens"
- Second-order Neural Networkを用いた移動物体領域の抽出
- Second-Order Naural Networkを用いた移動物体領域の抽出
- ハイパースペクトラム画像解析による人物の肌の特徴抽出
- 非線形振動子による複数人物の顔の群化モデル
- ニュ-ラルコンピュ-ティングの遊び方(18)バックプロパゲ-ションによる学習
- 難問への挑戦
- ニュ-ラルコンピュ-ティングの遊び方-12-自己組織化モデルによるMRI画像処理
- ニューラルコンピューティングの「いろは歌」作成への応用
- ニューラルコンピューティングの「いろは歌」作成への応用
- ニューラルコンピューティングを用いた現代いろは歌の作成
- ニュ-ラルコンピュ-ティングの遊び方-17-電車のダイヤ作成問題
- ニュ-ラルコンピュ-ティングの遊び方(22)現代いろは歌を作ろう
- ニューラルコンピューティングによる小選挙区区割り手法