特許
J-GLOBAL ID：201703010545679535
演算実行装置、方法、及びプログラム
発明者：
,
,
出願人/特許権者：
,
代理人 (1件)：
特許業務法人太陽国際特許事務所
公報種別：公開公報
出願番号（国際出願番号）：特願2015-245478
公開番号（公開出願番号）：特開2017-111622
出願日： 2015年12月16日
公開日（公表日）： 2017年06月22日
要約：
【課題】集合族間の各種演算を高速に行う。【解決手段】演算処理部24により、入力された演算命令と、ノードとエッジとからなる完全二分木であって、集合Zに含まれる各要素に対応するノードを葉ノードとして表現したvtreeと、に基づいて、前記演算命令の結果である、前記vtreeから求まる前記集合Zの部分集合の各々からなる集合である集合族f(Z)を表す有向非巡回グラフであって、前記vtreeのノードに対応する決定ノードと、前記集合Zを分割した部分集合X、Yに分けて、前記部分集合Xの部分集合からなる集合族と部分集合Yの部分集合からなる集合族との結合演算を用いて、前記集合族f(Z)を表現したときの、前記結合演算を表す要素ノードとを含む、空集合との結合演算で表わされる要素ノードが省略されて表されるZSDDを演算する。【選択図】図4
請求項（抜粋）：
入力された演算命令と、ノードとエッジとからなる完全二分木であって、集合Zに含まれる各要素に対応するノードを葉ノードとして表現したvtreeと、に基づいて、前記演算命令の結果である、前記vtreeから求まる前記集合Zの部分集合の各々からなる集合である集合族f(Z)を表す有向非巡回グラフであって、前記vtreeのノードに対応する決定ノードと、前記集合Zを分割した部分集合X、Yに分けて、前記部分集合Xの部分集合からなる集合族と部分集合Yの部分集合からなる集合族との結合演算を用いて、前記集合族f(Z)を表現したときの、前記結合演算を表す要素ノードとを含むZSDD(Zero-suppressed Sentential Decision Diagram)を演算する演算処理部
を含み、
前記ZSDDは、空集合との結合演算で表わされる要素ノードが省略されて表される演算実行装置。
IPC (1件)：
FI (1件)：
Fターム (1件)：
引用特許：
引用文献：
審査官引用 (1件)
-
“SDD: A New Canonical Representation of Propositional Knowledge Bases”,[online]
前のページに戻る
