离散数学幂运算