이 논문은 행렬을 표현하기 위한 BDD(Binary Decision Diagram)와 ZDD(Zero-suppressed Binary Decision Diagram)의 크기를 분석한다. 특히 균일 행렬, 분할 행렬 등 특정 클래스의 행렬에 대해 연결성 함수에 의존하는 상한을 제시한다.