展开 离散数学k4的子图