最簡な論理式でNPN同値類の代表のみを生成するアルゴリズム
スポンサーリンク
概要
- 論文の詳細を見る
k変数論理関数hとk個の関数g_1,…,g_kに対し,f=ho(g_1,…,g_k)で,各g_iへの入力変数集合が互いに素となるようにhと(g_1,g_2,…,g_k)を合成することによって得られる関数を表すとする.本稿では,ある基底関数の集合Bに対し,以下の性質を満たす論理関数のクラスCを与える.任意のh∈B,任意のg_1,…,g_k∈C(kはhの引き数の数)に対してf=ho(g_1,…,g_k)∈Cであり,さらにfを定義する合成規則に基づいて構成される論理式が,常にfを表す最簡な論理式である.また,クラスCにおけるNPN同値類の代表のみを表す標準形論理式を与える.
- 2009-02-23
著者
-
瀧本 英二
九州大学大学院システム情報科学研究院情報理学部門
-
福原 秀明
東北大学大学院情報科学研究科
-
瀧本 英二
九州大学システム情報科学研究院情報学部門
-
瀧本 英二
九州大学大学院システム情報科学研究院
-
天野 一幸
群馬大学工学研究科情報工学専攻
-
瀧本 英二
九州大学大学院システム情報科学府
関連論文
- オンラインランク統合問題 (アルゴリズムと計算機科学の数理的基盤とその応用)
- ブール剰余関数を計算するしきい値論理回路のサイズとエネルギー複雑度のトレードオフ
- 最簡な論理式でNPN同値類の代表のみを生成するアルゴリズム
- ある決定木のクラスに対する量子質問複雑さの下界について
- リスク情報を用いたオンライン資源分配
- 最終段ミニマックスアルゴリズム
- ガウス分布推定問題に対するミニマックス戦略
- 充足割り当て数を最小化/最大化する単調DNF式について
- 可変マージ関数の否定数限定複雑さ (計算モデルとアルゴリズム)
- 連数限定入力に対する否定数限定ソーティング回路
- ブール関数のPTF表現の複雑さについて
- ホーン式とXOR-MDNF式との関係について
- 交代数限定単調項決定リストの学習可能性
- モノポリストゲームのゲーム長(手数)について
- 単項性判定のための論理関数に関する条件
- オンラインオークション型資源配分問題(計算理論とアルゴリズムの新展開)
- シャノンスイッチングゲームにおけるペアリング戦略の複雑さについて
- DS-1-14 ランダム写像による非線形概念の学習の効率化に向けて(DS-1.COMP-NHC学生シンポジウム,シンポジウム)
- マージンを保存するランダム性を限定したプロジェクションとブール空間への埋め込み
- リスク情報を用いたオンライン資源分配
- 指数重み閾値関数の多項式重みによる模倣手法の改良
- 指数重み閾値関数の多項式重みによる模倣手法の改良
- 二次論理関数の単調回路計算量について
- 分割と併合に基づくブーステイング
- 二次論理関数の単調回路計算量について
- 分割と併合に基づくブースティング
- 最適なマージングネットワークについて
- 最適なマージングネットワークについて
- オンライン学習の学習曲線に関する研究
- 単調論理関数の性質判定アルゴリズムについて
- LA-5 決定ダイアグラムに基づくブースティング(A. アルゴリズム・基礎)
- 単調論理関数間の距離について
- ランダムプロジェクションによる次元圧縮
- 論理関数のフーリエスペクトルと非線形性の関係
- 決定森の族の計算能力
- 制限付集合に対する包除原理の性質と数え上げ問題への応用
- 決定木における補助ビット問題について
- CC(6)型回路と(MOD3-MOD2)回路における計算の複雑さについて
- オンライン予測 (計算学習理論の進展と応用可能性)
- 否定数限定論理回路におけるマージングの複雑さ
- 最適なマージングネットワークについて
- Predicting like the best pruning of a decision tree based on the on-line DP (Algorithms and Theory of Computing)
- 否定素子数限定論理回路における単調論理関数の複雑さ (アルゴリズムと計算の理論)
- マージ関数とソート関数の否定数限定複雑さ
- SVMによるバイパータイトランキング学習を用いたコンピュータ将棋における評価関数の学習(IBIS2010(情報論的学習理論ワークショップ))
- 完全K分木型組織構造の多階層関係追加モデル
- オンライン予測の理論に基づく意思決定(新世代の計算限界-その解明と打破-招待解説論文)
- 連数限定入力に対する否定数限定ソーティング回路
- F-036 Online Rank Aggregation
- 対称関数を計算するユネイト回路のサイズとエネルギーのトレードオフ
- ブール剰余関数を計算するしきい値論理回路のサイズとエネルギー複雑度のトレードオフ
- しきい値回路のパターン数について (理論計算機科学の深化 : 新たな計算世界観を求めて)
- エネルギー計算量に制限のある定数段しきい値論理回路のサイズの指数下界について
- 回路計算量の線形下界に対する計算機支援証明について
- 最簡な論理式だけを生成するアルゴリズム(セッション1)
- P vs. NP問題 : 解決へのはるかな道(理論計算機科学の最新動向)
- 路カーネルと乗算型重み更新
- 最終段ミニマックスアルゴリズム
- メトリカルタスクシステムに対する乗算型重み更新アルゴリズム
- ブール関数に対するフィルタのノイズ除去効果について
- 確率的評価値をもつゲーム木における最善手探索 (計算機科学とアルゴリズムの数理的基礎とその応用)
- Predicting like the best pruning of a decision tree
- 近似法のサイズ限定モデル
- エネルギー複雑度を用いた線形決定木の下界導出
- サイズ限定モデルに基づく近似法による単調複雑さの下界
- ブール関数のフーリエ変換とその応用
- 単調論理回路計算量vs.論理回路計算量
- クリーク関数の否定数限定複雑さ
- 否定素子数限定論理回路における単調論理関数の複雑さ
- 論理関数の複雑さと近似演算(計算理論とその応用)
- 論理関数の複雑さと近似演算
- 論理関数の複雑さと近似演算
- SVMによるバイパータイトランキング学習を用いたコンピュータ将棋における評価関数の学習
- MDL原理に基づいた決定木枝刈りアルゴリズムのシミュレーション
- エネルギー複雑度を用いた線形決定木の下界導出
- 複数の予測戦略を統合する実時間予測アルゴリズム(計算理論とその応用)
- 複数の予測戦略を統合する実時間予測アルゴリズム
- ブールドメイン上の関数に対するサンプリングの定理
- 決定木に基づいたオンライン学習アルゴリズム
- Efficient AUC Maximization by Approximate Reduction of Ranking SVMs (情報論的学習理論と機械学習・第15回情報論的学習理論ワークショップ)
- DNF式の学習可能性
- 劣モジュラ制約下におけるオンライン予測(機械学習一般とその応用)
- 単調論理関数と擬似補関数に対する近似モデル(計算モデルと計算の複雑さに関する研究)
- 否定制約のもとでのクリーク関数の複雑さに対する指数関数の下界
- 単調論理関数と擬似補関数に対する近似モデル
- 非単調論理回路に対する Razborov の近似モデルの構造
- 制限付回路モデルに対するRazborovの近似法の適用
- k-限定独立性に基づいたDNFの近似アルゴリズム
- ランキングSVMの近似に基づく効率的なAUC最大化(第15回情報論的学習理論ワークショップ)
- バイアス付きPassive-Aggressiveアルゴリズム
- SVMによる2部ランキング学習を用いたコンピュータ将棋における評価関数の学習(情報・システム基礎)