Geodesic
Discrete random variables modeling using multiroot decision diagrams
Vestnik Sankt-Peterburgskogo universiteta. Prikladnaâ matematika, informatika, processy upravleniâ, no. 2 (2012), pp. 66-74

Voir la notice de l'article provenant de la source Math-Net.Ru

The paper proposes a new approach for modeling discrete random variables based on multiroot binary decision diagrams ($MRBDD$). This need arise, for instance, in the problem of probabilistic verification, where another type of decision diagrams – multiterminal binary decision diagrams ($MTBDD$) – is widely used present. Multiroot diagrams have a number of significant advantages compared with multiterminal ones. Due to more efficient reuse of common building blocks multiroot diagrams provide more compact representation consuming less memory, and in many cases allowing a better execution time. Experimental results presented in the paper show that multiroot diagrams are a promising alternative to multiterminal diagrams for such problems as random variables modeling and probabilistic verification.
Keywords: binary decision diagrams, probabilistic verification. 
@article{VSPUI_2012_2_a7,
     author = {D. Yu. Bugaychenko and I. P. Soloviev},
     title = {Discrete random variables modeling using multiroot decision diagrams},
     journal = {Vestnik Sankt-Peterburgskogo universiteta. Prikladna\^a matematika, informatika, processy upravleni\^a},
     pages = {66--74},
     publisher = {mathdoc},
     number = {2},
     year = {2012},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VSPUI_2012_2_a7/}
}
TY  - JOUR
AU  - D. Yu. Bugaychenko
AU  - I. P. Soloviev
TI  - Discrete random variables modeling using multiroot decision diagrams
JO  - Vestnik Sankt-Peterburgskogo universiteta. Prikladnaâ matematika, informatika, processy upravleniâ
PY  - 2012
SP  - 66
EP  - 74
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VSPUI_2012_2_a7/
LA  - ru
ID  - VSPUI_2012_2_a7
ER  - 
%0 Journal Article
%A D. Yu. Bugaychenko
%A I. P. Soloviev
%T Discrete random variables modeling using multiroot decision diagrams
%J Vestnik Sankt-Peterburgskogo universiteta. Prikladnaâ matematika, informatika, processy upravleniâ
%D 2012
%P 66-74
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VSPUI_2012_2_a7/
%G ru
%F VSPUI_2012_2_a7
D. Yu. Bugaychenko; I. P. Soloviev. Discrete random variables modeling using multiroot decision diagrams. Vestnik Sankt-Peterburgskogo universiteta. Prikladnaâ matematika, informatika, processy upravleniâ, no. 2 (2012), pp. 66-74. http://geodesic.mathdoc.fr/item/VSPUI_2012_2_a7/