在问题解决过程中，提出假设常用的方式有算法式和（）。