実時間空スタック受理式決定性限定ワンカウンタ変換器の多項式時間等価性判定(オートマトン・言語理論)
スポンサーリンク
概要
- 論文の詳細を見る
決定性プッシュダウンオートマトン(dpda)の等価性判定問題は,任意のクラスに対する可解性が示されている.しかし,そのアルゴリズムの効率化については,必ずしも十分な解は得られていない.オートマトンや形式文法を基礎とするシステムにおける学習などにおいて,等価性判定は主要な役割を果たし,その効率向上を実現する上で,多項式時間の等価性判定可解性は非常に重要である.本論文では,スタック記号が単一という制限をもつ実時間空スタック受理式決定性限定ワンカウンタオートマトンに出力機構を付与した,実時間空スタック受理式決定性限定ワンカウンタ変換器について,筆者らが提唱してきた,分岐アルゴリズムと名づけた単純で直接的な等価性判定手法を用いることにより,その等価性判定が多項式時間で解決できることを示す.
- 2008-05-01
著者
-
富田 悦次
電気通信大学先進アルゴリズム研究ステーション
-
若月 光夫
電気通信大学先進アルゴリズム研究ステーション・電気通信大学情報通信工学科
-
富田 悦次
電気通信大学先進アルゴリズム研究ステーション・中央大学研究開発機構
-
清野 和司
電気通信大学大学院電気通信学研究科情報通信工学専攻
-
富田 悦次
電気通信大学先進アルゴリズム研究ステーション:中央大学研究開発機構
-
富田 悦次
電気通信大学
-
富田 悦次
Department Of Commucations And Systems Engineering The University Of Electro-communications
-
清野 和司
電気通信大学大学院電気通信学研究科情報通信工学専攻:東芝ソリューション株式会社プラットフォームソリューション事業部府中エンジニアリングセンター
-
富田 悦次
電気通信大学|中央大学研究開発機構
-
若月 光夫
電気通信大学大学院情報理工学研究科
-
若月 光夫
電気通信大学先進アルゴリズム研究ステーション・電気通信大学情報理工学研究科
-
若月 光夫
電気通信大学 先進アルゴリズム研究ステーション
-
若月 光夫
電気通信大学
-
若月 光夫
電気通信大学先進アルゴリズム研究ステーション|電気通信大学大学院情報理工学研究科
関連論文
- 最大クリーク問題の多項式時間的可解性の一結果(情報・システム基礎)
- 最大クリーク抽出の単純な最大時間計算量評価と多項式時間的可解性 (アルゴリズムと計算機科学の数理的基盤とその応用)
- 最大クリーク抽出問題の理論計算量評価について : グラフの次数を限定した場合
- 準同型写像によって拡張されたある言語クラスに対する正例からの極限同定
- 実時間空スタック受理式決定性限定ワンカウンタ変換器の多項式時間等価性判定(オートマトン・言語理論)
- 最大クリーク問題の多項式時間的可解性の一結果
- 正則言語のある部分クラスに対する正の例からの多項式時間極限同定
- 最大クリーク問題の多項式時間的可解性の改良結果 (Theoretical foundations of computing)
- 第3回UECコンピュータ大貧民大会(UECda-2008)の報告(大会報告)
- 最大クリーク抽出アルゴリズムの共有メモリ型並列計算機上での並列化
- 極大クリーク全列挙アルゴリズムを用いた企業コミュニティ理解
- The maximum clique problem and its applications (数理モデル化と問題解決 バイオ情報学)
- 極大クリーク全列挙アルゴリズムを用いた企業コミュニティ理解
- ある種の有限状態変換器に対する多項式時間極限同定
- 実時間空スタック受理式決定性限定ワンカウンター変換器の多項式時間等価性判定アルゴリズム
- ε-推移を許したある決定性プッシュダウン変換器対の等価性判定(オートマトン・言語理論)
- ハイパーグラフを対象とした最大クリーク抽出の分枝限定アルゴリズム(セッション6)
- クラスタリングとBoostingを用いた高速、高精度な映像自己診断方式の提案
- 極大クリーク全列挙アルゴリズムCLIQUESを基にした極大2部クリーク全列挙アルゴリズム(セッション4)
- 極大クリーク全列挙アルゴリズムCLIQUESを基にした極大2部クリーク全列挙アルゴリズム(セッション4)
- 極大クリーク全列挙アルゴリズムCLIQUESを基にした極大2部クリーク全列挙アルゴリズム
- 最大クリーク抽出のより高速な分枝限定アルゴリズム
- ε-推移を許したある決定性プッシュダウン変換機器対の等価性判定アルゴリズム(セッション4)
- 極大クリーク全列挙アルゴリズムCLIQUESを基にした極大2部クリーク全列挙アルゴリズム
- サイズの大きな極大クリークの効率的列挙アルゴリズム(セッション3)
- 最大クリーク抽出アルゴリズムの効率化と実験的評価・解析(セッション3)
- 正の例から極限同定可能な言語クラスを拡張する統一的アルゴリズム
- 効率的クリークアルゴリズムに基づく電気泳動画像マッチング、タンパク質構造マッチング、および、タンパク質側鎖パッキング
- 単純でより高速な最大クリーク抽出アルゴリズム
- 制約付きプロファイルアライメント(文字列アルゴリズム)
- グラフ彩色問題における確率アルゴリズムとハイブリッドアルゴリズム
- グラフの近似彩色を行う確率アルゴリズム
- 質問と正の反例による正則言語の多項式時間学習 (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)
- 質問と初期情報による文法推論に関する一考察
- 構造反例付き等価性質問を用いた単純決定性言語の多項式時間MAT学習
- 単純決定性言語の質問による多項式時間学習について
- 単純決定性言語のある部分族に対する多項式時間MAT学習
- 構造反例付き等価性質問を用いた単純決定性言語の多項式時間MAT学習
- 質問と反例による単純決定性言語の多項式時間学習を可能とさせる十分条件
- RA-001 最大クリーク問題の多項式時間的可解性 : 基本的結果(モデル・アルゴリズム・プログラミング,査読付き論文)
- 最大クリークを抽出するO(2^)-時間の多項式領域アルゴリズム
- 理論評価付き最大クリーク抽出アルゴリズムの実験的評価
- 理論評価付き最大クリーク抽出アルゴリズムの実験的評価
- 最大クリークを抽出するO(2^)-時間の多項式領域アルゴリズム
- 最大クリークを抽出する時間計算量O(2^)の多項式領域アルゴリズム
- 最大クリークを抽出する単純なアルゴリズムの最大次数4のグラフにおける計算量
- A Polynomial-Time Algorithm for Checking the Inclusion for Real-Time Deterministic Restricted One-Counter Automata Which Accept by Accept Mode
- Some Properties of Deterministic Restricted One-Counter Automata
- D-1-3 巡回セールスマン問題に対する確率及び遺伝的ハイブリッドアルゴリズムとその実験的評価
- 「情報処理学会論文誌:数理モデル化と応用」論文誌発行にあたって
- 論文誌発行にあたって
- 最大クリーク抽出に基づく向きの変化に依存しない人物の顔検出法
- 「情報処理学会論文誌 : 数理モデル化と応用」の発行にあたって
- 第9回社会に存在感ある学会として : 幅広い立場からの情報教育支援を(これからの情報処理学会)
- 研究会活動のあらましと話題(研究会千夜一夜)
- 節点重み最大クリーク抽出アルゴリズムと実験的評価
- 節点重み最大クリーク抽出に基づく量子回路の深さ最小化 (計算機科学基礎理論の新展開)
- 節点重み最大クリーク抽出アルゴリズム (計算機科学基礎理論の新展開)
- 最大クリーク抽出に基づく画像からの対象検出(クリーク問題と応用)
- 新たな手法に基づく最大クリーク抽出の効率化
- 最大クリーク問題の多項式時間的可解性の更なる改良結果 (コンピュテーション)
- 正の例から極限同定可能な言語クラスの統一的拡張手法 (小特集「学習と発見の計算理論」セッション)
- 最大クリーク問題の多項式時間的可解性の新たな結果
- 極大クリーク全列挙アルゴリズムの実験的比較評価(アルゴリズム一般)
- LA-007 最大クリーク抽出のより高速なアルゴリズム(A. モデル・アルゴリズム・プログラミング)
- 空スタック受理式決定性1カウンタオートマトンのある部分クラスに対する正の例からの多項式時間極眼同定
- 最大クリーク抽出アルゴリズムの高速化と解析・評価
- あるノイズモデルにおけるブール関数学習について
- 最小支配集合問題の近似解抽出アルゴリズム(アルゴリズム一般)
- 最小支配集合問題の近似解抽出アルゴリズム
- [電子情報通信学会フェロー受賞記念講演]オートマトン・言語理論・学習理論と組合せ最適化の研究及び教育
- オートマトン・言語理論・学習理論と組合せ最適化の研究及び教育
- 最大クリークを抽出するより効率的な分枝限定アルゴリズム
- 大局的に構造を取らない配列集合の抽出方法
- 最大クリーク問題の多項式時間的可解性の改良結果
- 「最大クリーク問題の近似解法に関するコメント」について
- 近似最大クリークを抽出する確率アルゴリズムとその実験的評価
- 量子セルオートマトンに基づく画像圧縮のための画像変換アルゴリズム (計算機科学とアルゴリズムの数理的基礎とその応用)
- 実時間最終状態受理式決定性限定1カウンタ変換器の多項式時間等価性判定アルゴリズム (計算機科学とアルゴリズムの数理的基礎とその応用)
- 質問および代表的な記号列集合を用いた単純決定性言語の多項式時間学習
- 最大クリーク問題の多項式時間的可解性について (計算機科学とアルゴリズムの数理的基礎とその応用)
- 枝重み最大クリーク抽出アルゴリズムと実験的評価(クリーク問題と応用)
- ある種のカウンタに対する正の例からの多項式時間極限同定
- 最大クリーク問題の多項式時間的可解性の更なる改良結果
- 巡回セールスマン問題に対する確率・遺伝的ハイブリッドアルゴリズム
- 組合せ最適化手法によるシュードノット構造を含んだRNAの二次構造予測
- 最大クリーク抽出アルゴリズムの実験的評価(クリーク問題と応用)
- 正則言語の部分クラスに対する正の例からの多項式時間極限同定
- 正則言語のある部分クラスに対する正の例からの多項式時間極限同定
- 最大クリーク抽出アルゴリズムの効率化とその評価
- 最大重みクリーク抽出アルゴリズムの効率化
- 正則言語のある部分族に対する正の例からの多項式時間極限同定
- 諸受理方式による決定性カウンタの言語クラスについて
- 整数重みグラフの最大重みクリーク抽出アルゴリズム
- クリーク全列挙に基づく構造変化検出アルゴリズム
- 最大クリーク問題の多項式時間的可解性の更なる改良結果(情報・システム基礎)
- 最大クリーク問題の多項式時間的可解性の拡張
- 変化検出のための極大整合連結集合 (特集 一般)
- 最大クリーク問題の多項式時間的可解性の拡張の改良 (Theoretical Foundations of Computing)
- 最大クリーク問題の多項式時間的可解性の拡張(情報・システム基礎)