figurine 发表于 2025-3-23 12:21:16

http://reply.papertrans.cn/83/8275/827464/827464_11.png

碎石头 发表于 2025-3-23 14:46:22

Multi-Terminal Binary Decision Diagrams and Hybrid Decision Diagrams,ow multi-terminal binary decision diagrams (MTBDDs) can be used to represent such functions concisely. The Walsh transform and Reed-Muller transform have numerous applications in computer-aided design, but the usefulness of these techniques in practice has been limited by the size of the binary valu

蛰伏 发表于 2025-3-23 18:07:02

Edge Valued Binary Decision Diagrams,functions (PBF). .s are particularly useful when both arithmetic and Boolean operations are required. We describe a general algorithm on .s for performing any binary operation that is closed over the integers. Next, we discuss the relation between the probability expression of a Boolean function and

Arroyo 发表于 2025-3-24 00:18:52

Arithmetic Transform of Boolean Functions,ns. Such arithmetic transformations can give us new insight into solving some interesting problems. For example, the transformed functions can be easily evaluated (simulated) on integers or real numbers. Through such arithmetic simulation we can probabilistically verify a pair of functions with much

侵蚀 发表于 2025-3-24 02:46:44

,OKFDDs — Algorithms, Applications and Extensions,nctions. OKFDDs are a generalization of Ordered Binary Decision Diagrams and Ordered Functional Decision Diagrams and as such provide a more compact representation of the functions than either of the two decision diagrams. We review basic properties of OKFDDs and study methods for their efficient re

Synapse 发表于 2025-3-24 08:06:12

http://reply.papertrans.cn/83/8275/827464/827464_16.png

数量 发表于 2025-3-24 11:09:41

http://reply.papertrans.cn/83/8275/827464/827464_17.png

Radiculopathy 发表于 2025-3-24 17:15:26

Satisfiability Problems for OFDDs,UNT. We prove that SAT-ALL has a running time linear in the product of the number of satisfying assignments and the size of the given OFDD. Counting the satisfying assignments in an OFDD is proved to be #.-complete, and thus not possible in polynomial time unless P=NP.

美食家 发表于 2025-3-24 19:01:26

Complexity Theoretical Aspects of OFDDs,or to OBDDs (ordered binary decision diagrams). Most of the complexity theoretical problems have been solved for OBDDs. Here some results for OFDDs are proved. It is NP-complete to decide whether a function represented by some OFDD can be represented by an OFDD of size s using another variable order

切掉 发表于 2025-3-25 00:23:57

http://reply.papertrans.cn/83/8275/827464/827464_20.png
页: 1 [2] 3 4 5 6
查看完整版本: Titlebook: Representations of Discrete Functions; Tsutomu Sasao,Masahiro Fujita Book 1996 Kluwer Academic Publishers 1996 CAD.algorithms.complexity.c