A short essay towards if $P$ not equal $NP$

В статье вводится алгоритмическая проблема и доказывается, что она разрешима за полиномиальное время на недетерминированных машинах Тьюринга и не решается за полиномиальное время на детерминированных машинах Тьюринга. В то же время, введенная проблема не выглядит как стандартная в общепринятом понимании и не самоочевидно может ли она быть классифицирована как каноническая.