On binary decision hypertree (hyperdiagram)

	On binary decision hypertree (hyperdiagram)
AUT Journal of Mathematics and Computing
مقاله 4، دوره 5، شماره 2، 2024، صفحه 117-130 اصل مقاله (855.68 K)
نوع مقاله: Original Article
شناسه دیجیتال (DOI): 10.22060/ajmc.2023.21639.1094
نویسندگان
Mohammad Hamidi^* ؛ Marzieh Rahmati
Department of Mathematics, University of Payame Noor, Tehran, Iran
چکیده
In computer science, a binary decision diagram is a data structure that is used to represent a Boolean function and to consider a compressed representation of relations. This paper considers the notation of T.B.T (total binary truth table), and introduces a novel concept of binary decision (hyper)tree and binary decision (hyper)diagram, directly and in as little time as possible, unlike previous methods. This study proves that every T.B.T corresponds to a binary decision (hyper)tree via minimum Boolean expression and presents some conditions on any given T.B.T for isomorphic binary decision (hyper)trees. Finally, for faster calculations and more complex functions, we offer an algorithm and so Python programming codes such that for any given T.B.T, it introduces a binary decision (hyper)tree.
کلیدواژه‌ها
Minimum Boolean function؛ Binary decision hypertree؛ Binary decision hyperdiagram؛ Unitor
مراجع

آمار تعداد مشاهده مقاله: 700 تعداد دریافت فایل اصل مقاله: 494