离散函数