The Proof of the Algorithms Convergence for Combinatorial Optimization with the Using Subclasses of the Solved Problems - N. K. Tymofiieva (Control Systems and Computers, 2016)