离散数学ii6.3置换群