Bulitko, V. V.; Bulitko, V. K. On a Criterion of $NP$-Completeness. Ukr. Mat. Zhurn. 1998, 50, 1686–1691.