算理与算法的关系