A problem for finding a pagoda function (which concludes the infeasibility of a given problem) is formulated as a linear programming problem and solvable in polynomial time (see Kiyomi and Matsui 2001).
Задача поиска такой функции формулируется как задача линейного программирования и она разрешима за полиномиальное время (смотрите Kiyomi и Matsui 2001).