离散数学上机题 求集合幂集 集合的性质 图的矩阵表示