تعداد نشریات | 7 |
تعداد شمارهها | 399 |
تعداد مقالات | 5,389 |
تعداد مشاهده مقاله | 5,288,207 |
تعداد دریافت فایل اصل مقاله | 4,882,946 |
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 | ||
مراجع | ||
| ||
آمار تعداد مشاهده مقاله: 422 تعداد دریافت فایل اصل مقاله: 211 |