Machine learningSymbolic Computation
Biểu đồ quyết định nhị phân
Biểu đồ quyết định nhị phân (BDD) là một biểu diễn chuẩn hóa, tiết kiệm bộ nhớ của các hàm Boole do Randal Bryant phát triển năm 1986. BDD là một đồ thị có hướng không chu trình mã hóa tất cả các phép gán biến và kết quả; BDD rút gọn là duy nhất cho mỗi hàm và cho phép thao tác hiệu quả logic tổ hợp trong kiểm tra mô hình, thiết kế mạch và tính toán tượng trưng.
Đọc toàn bộ phương pháp
Chỉ dành cho thành viên
Đăng nhậpĐăng nhập bằng tài khoản miễn phí để đọc phần này.
Nguồn tài liệu
- Bryant, R. E. (1986). Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers, 35(8), 677–691. DOI: 10.1109/TC.1986.1676819 ↗
- Andersen, H. R. (1997). An introduction to binary decision diagrams. Technical Report, IT University of Copenhagen. link ↗
- Becker, B., & Drechsler, R. (1998). Binary Decision Diagrams: Theory and Implementation. Kluwer. ISBN: 0792380185
Cách trích dẫn trang này
ScholarGate. (2026, June 3). Binary Decision Diagram (BDD). ScholarGate. https://scholargate.app/vi/numerical-methods/binary-decision-diagram
Phát hiện lỗi trên trang này? Báo cáo hoặc đề xuất chỉnh sửa →