The termination of the initialized two variable homogeneous linear loops was studied. By analyzing the property of the setNTcomposed of all nonterminating points, the problem about the construction ofNTwas converted to a class of nonlinear optimization problem.More importantly,by verifying whether or not the initial input of such loops lies in setNT,the termination of the initialized two variable homogeneous linear loops can be checked completely.
