Các biểu diễn đơn giản nhất cho biểu đồ sử dụng ma trận / danh sách kề, nghĩa là mỗi nút và cạnh được biểu diễn rõ ràng. Tầm quan trọng của các biểu diễn ngầm cho các biểu đồ thể hiện tính đều đặn mạnh mẽ đã được công nhận từ lâu. Chẳng hạn, Galperin & Wigderson (1983), Papadimitriou & Yannakakis ( Lưu ý về biểu diễn đại diện của đồ thị , 1986) đã khám phá câu hỏi về đồ thị có ma trận kề của nó được biểu thị bằng công thức Boolean trả lời hay không (i, j) đưa ra biểu diễn nhị phân của số nút i và j. Trong một số ràng buộc thường được thỏa mãn về việc giảm, các vấn đề hoàn thành P cho các biểu đồ rõ ràng trở thành hoàn chỉnh PSPACE cho đại diện này, các vấn đề hoàn thành NP trở thành NEXPTIME hoàn tất, v.v.
Một cách tiếp cận tự nhiên đối với các biểu đồ thông thường như vậy là biểu diễn công thức Boolean bằng ROBDD; khó khăn là các thuật toán cổ điển có xu hướng liệt kê từng nút một, điều này phát sinh chi phí theo cấp số nhân trên một đại diện như vậy và do đó là phải tránh. Đã có những bài báo được công bố về các vấn đề cổ điển đang được giải quyết bằng cách sử dụng một đại diện như vậy, ví dụ Gentilini et al. ( Tính toán các thành phần được kết nối mạnh mẽ trong một số bước tuyến tính tượng trưng ), Woelfel ( Sắp xếp cấu trúc liên kết tượng trưng với các OBDD ).
Tôi đang tự hỏi liệu có một số khảo sát về các kỹ thuật như vậy không, bởi vì thật bất tiện khi nạo vét các tài liệu trong tình trạng như vậy của nghệ thuật ...