О сложности языков типа $\cup\mathrm M$

Рассматриваются языки $\cup\mathrm M$ (множество объектов, входящих хотя бы в одно оптимальное решение), введенные в рассмотрение Ю. И. Журавлёвым в теории дизъюнктивных нормальных форм. Для ряда задач подтверждается гипотеза Ю. И. Журавлёва о том, что сложность разрешения языков $\cup\mathrm M$мало отличается от сложности исходной экстремальной задачи.