二分支结构有一种紧凑形式