Задачи в общем виде, Physmat