理想型演算法