Synthesis of a joint graph with minimal number of edges: an algorithm formalization and a proof of correctness
Vsevolod Oparin, Alexander Lvovich Tulupyev · Informatics and Automation · 2014
The paper describes an algorithm for synthesis of the secondary structure of an algebraic Bayesian network (ABN) by its first structure. The second structure of ABN is a joint graph with minimal number of edges. A proof of algorithm’s correctness is given.