展开 离散数学简单图定义