Formulations of problems for k-node shortest path and k-node shortest cycle in a complete graph - P. I. Stetsjuk (Cybernetics and Systems Analysis, 2016)