JP6451997B2 - 演算実行装置、方法、及びプログラム - Google Patents
演算実行装置、方法、及びプログラム Download PDFInfo
- Publication number
- JP6451997B2 JP6451997B2 JP2015245478A JP2015245478A JP6451997B2 JP 6451997 B2 JP6451997 B2 JP 6451997B2 JP 2015245478 A JP2015245478 A JP 2015245478A JP 2015245478 A JP2015245478 A JP 2015245478A JP 6451997 B2 JP6451997 B2 JP 6451997B2
- Authority
- JP
- Japan
- Prior art keywords
- zsdd
- node
- argument
- arithmetic
- vtree
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Landscapes
- Complex Calculations (AREA)
Description
まず、本実施形態の概要について説明する。
次に、本発明の実施形態に係る演算実行装置の構成について説明する。図4に示すように、本実施形態に係る演算実行装置100は、CPUと、RAMと、後述する演算実行処理ルーチンを実行するためのプログラムや各種データを記憶したROMと、を含むコンピュータで構成することが出来る。この演算実行装置100は、機能的には図4に示すように入力部10と、演算部20と、出力部90とを含んで構成されている。
次に、本発明の実施形態に係る演算実行装置100の作用について説明する。演算実行装置100は、まず、入力部10において受け付けた、対象となるvtreeを受け付けると当該vtreeをZSDD記憶部22に記憶する。また、演算実行装置100は、入力部10において、EmptyFamily()、又はEmpty()の演算命令を受け付けると、対象となる終端ZSDDε又は終端ZSDD⊥を作成し、出力部90から出力する。
20 演算部
22 ZSDD記憶部
24 演算処理部
90 出力部
100 演算実行装置
Claims (7)
- 入力された演算命令と、ノードとエッジとからなる完全二分木であって、集合Zに含まれる各要素に対応するノードを葉ノードとして表現したvtreeと、に基づいて、前記演算命令の結果である、前記vtreeから求まる前記集合Zの部分集合の各々からなる集合である集合族f(Z)を表す有向非巡回グラフであって、前記vtreeのノードに対応する決定ノードと、前記集合Zを分割した部分集合X、Yに分けて、前記部分集合Xの部分集合からなる集合族と部分集合Yの部分集合からなる集合族との結合演算を用いて、前記集合族f(Z)を表現したときの、前記結合演算を表す要素ノードとを含むZSDD(Zero-suppressed Sentential Decision Diagram)を演算する演算処理部
を含み、
前記ZSDDは、空集合との結合演算で表わされる要素ノードが省略されて表される演算実行装置。 - 前記演算処理部は、前記演算命令と、前記vtreeと、前記演算命令の引数となる前記ZSDD、及び変数の少なくとも一方とに基づいて、前記演算命令の結果であるZSDDを演算する請求項1記載の演算実行装置。
- 前記演算処理部は、
前記入力された演算命令が、定数でない前記ZSDDが引数αとなり、前記vtreeのノードを引数vとする演算命令Expandである場合に、前記引数αであるZSDDに対応する前記vtreeのノードをノードuとし、
前記ノードuと、前記引数vであるノードとの関係に応じて、前記引数αである前記ZSDD、
であるZSDD、及び
であるZSDDの何れか一つを返す請求項1又は2記載の演算実行装置。 - 前記演算処理部は、
前記入力された演算命令が、前記要素ノードの集合が引数γとなる演算命令UniqueDである場合に、前記引数γとなる前記要素ノードの集合に要素ノードが含まれなければ、定数ZSDDである⊥を返し、
前記引数γとなる前記要素ノードの集合が、
、又は
であれば、ZSDDであるαを返し、
前記引数γとなる前記要素ノードの集合が、
及び
の何れでもなければ、前記引数γとなる前記要素ノードの集合に対応する前記決定ノードを作成して、決定ノードテーブルに格納する請求項3記載の演算実行装置。 - 前記演算処理部は、前記入力された演算命令が、ZSDDが引数αとなる演算命令Compressである場合に、前記引数αとなるZSDDに含まれる要素のノードの集合{(p1,s1),・・・,(pn,sn)}のうち、si=sjとなる要素ノードのペア(pi,si),(pj,sj)を、piが表す集合族とpjが表す集合族との和であるUnion(pi,pj)を用いた(Union(pi,pj),si)に置き換えた、前記引数αとなるZSDDを返す請求項4記載の演算実行装置。
- 演算処理部を含む、演算実行装置における演算実行方法であって、
前記演算処理部は、入力された演算命令と、ノードとエッジとからなる完全二分木であって、集合Zに含まれる各要素に対応するノードを葉ノードとして表現したvtreeと、に基づいて、前記演算命令の結果である、前記vtreeから求まる前記集合Zの部分集合の各々からなる集合である集合族f(Z)を表す有向非巡回グラフであって、前記vtreeのノードに対応する決定ノードと、前記集合Zを分割した部分集合X、Yに分けて、前記部分集合Xの部分集合からなる集合族と部分集合Yの部分集合からなる集合族との結合演算を用いて、前記集合族f(Z)を表現したときの、前記結合演算を表す要素ノードとを含むZSDD(Zero-suppressed Sentential Decision Diagram)を演算し、
、
前記ZSDDは、空集合との結合演算で表わされる要素ノードが省略されて表される演算実行方法。 - コンピュータを、請求項1から請求項5の何れか1項記載の演算実行装置の各部として機能させるためのプログラム。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2015245478A JP6451997B2 (ja) | 2015-12-16 | 2015-12-16 | 演算実行装置、方法、及びプログラム |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2015245478A JP6451997B2 (ja) | 2015-12-16 | 2015-12-16 | 演算実行装置、方法、及びプログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2017111622A JP2017111622A (ja) | 2017-06-22 |
JP6451997B2 true JP6451997B2 (ja) | 2019-01-16 |
Family
ID=59079725
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2015245478A Active JP6451997B2 (ja) | 2015-12-16 | 2015-12-16 | 演算実行装置、方法、及びプログラム |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP6451997B2 (ja) |
Families Citing this family (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP6558864B2 (ja) * | 2016-09-05 | 2019-08-14 | 日本電信電話株式会社 | Zsdd構築装置、方法、及びプログラム |
JP7126208B2 (ja) * | 2019-06-18 | 2022-08-26 | 日本電信電話株式会社 | 集合族簡約化装置、集合族簡約化方法、及び集合族簡約化プログラム |
JP7377493B2 (ja) | 2020-04-20 | 2023-11-10 | 日本電信電話株式会社 | Zsdd構築装置、zsdd構築方法及びプログラム |
JP7429389B2 (ja) | 2020-12-01 | 2024-02-08 | 日本電信電話株式会社 | ダイアグラム生成方法、ダイアグラム生成装置及びプログラム |
Family Cites Families (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2985922B2 (ja) * | 1992-10-28 | 1999-12-06 | 日本電信電話株式会社 | 論理関数データ処理装置 |
-
2015
- 2015-12-16 JP JP2015245478A patent/JP6451997B2/ja active Active
Also Published As
Publication number | Publication date |
---|---|
JP2017111622A (ja) | 2017-06-22 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP6451997B2 (ja) | 演算実行装置、方法、及びプログラム | |
Lodi | The heuristic (dark) side of MIP solvers | |
Iwata et al. | Improved analysis of highest-degree branching for feedback vertex set | |
Sørensen | Geometric classification of simple graph algebras | |
CN112131515A (zh) | 将高阶多项式转换成二次多项式的方法和计算机可读介质 | |
Kremer et al. | Fully incremental cylindrical algebraic decomposition | |
Perez et al. | Constructions and in-place operations for MDDs based constraints | |
JP2003228499A (ja) | 構成要素分類方法、実装多重度評価方法、実装多重コード抽出方法、同時変更対象箇所抽出方法、クラス階層再構成方法、およびプログラム | |
Liu et al. | Unified framework for construction of rule based classification systems | |
Chan | A parameterized algorithm for upward planarity testing | |
JP5454826B2 (ja) | 故障の木システム信頼性分析システム、故障の木システム信頼性分析方法及びプログラム | |
JP6558864B2 (ja) | Zsdd構築装置、方法、及びプログラム | |
Poormohammadi et al. | TripNet: a method for constructing rooted phylogenetic networks from rooted triplets | |
JP5555238B2 (ja) | ベイジアンネットワーク構造学習のための情報処理装置及びプログラム | |
Abdolazimi et al. | Connected components of big graphs in fixed mapreduce rounds | |
JP6802109B2 (ja) | ソフトウェア仕様分析装置、及びソフトウェア仕様分析方法 | |
Hao et al. | cSketch: a novel framework for capturing cliques from big graph | |
KR101085967B1 (ko) | 선형 시간 Top-k 정렬방법 | |
JP7126208B2 (ja) | 集合族簡約化装置、集合族簡約化方法、及び集合族簡約化プログラム | |
JP7196903B2 (ja) | 推移閉包情報生成装置、推移閉包情報生成方法およびプログラム | |
Kahramanli et al. | A new method based on cube algebra for the simplification of logic functions | |
JP5741705B2 (ja) | 最適領域抽出方法およびその装置 | |
Klein et al. | Multiple-Source Single-Sink Maximum Flow in Directed Planar Graphs in O (diameter· n log n) Time | |
Fedin et al. | Automated proofs of upper bounds on the running time of splitting algorithms | |
Feferman | Theses for computation and recursion on concrete and abstract structures |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20171218 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A821 Effective date: 20171218 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20180731 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20180828 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20181012 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20181030 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20181128 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6451997 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
S111 | Request for change of ownership or part of ownership |
Free format text: JAPANESE INTERMEDIATE CODE: R313117 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |