https://news.dhphong.com/tags/algorithms/ Recent content in Algorithms on Tech News Feed Hugo -- 0.131.0 vi Mon, 13 Apr 2026 07:27:27 +0700 https://news.dhphong.com/posts/2026-04-13-a-canonical-generalization-of-obdd/ Mon, 13 Apr 2026 07:27:27 +0700 https://news.dhphong.com/posts/2026-04-13-a-canonical-generalization-of-obdd/ Nguồn: Hacker News Bài báo học thuật trên arXiv đề xuất một tổng quát hóa chính tắc của cấu trúc dữ liệu OBDD (Ordered Binary Decision Diagram) — một công cụ quan trọng trong verification hình thức và tổng hợp logic. Nghiên cứu này có tiềm năng mở rộng khả năng biểu diễn và xử lý các bài toán logic phức tạp hơn so với OBDD truyền thống. Xem bài gốc để biết thêm chi tiết về lý thuyết và bằng chứng toán học.