Рассматриваются фундаментальные проблемы управления, под которыми понимаются проблемы, сводимые к NP-полным (NP-трудным)задачам. Показано, что такие проблемы могут быть решены с полиномиальной временной сложностью с помощью новых математических моделей вычислений, называемых гипермашинами (вычисления с помощью гипермашин называют гипервычислениями). Приведено описание двух таких моделей вычислений: классический идеальный генератор тестов (ИГТ) и квантовый идеальный генератор тестов. Излагаются параллельно-последовательные D-алгоритмы, решающие одну из NP-полных задач (SAT-проблему) и "заточенные" под архитектуру ИГТ, а также квантовые D-алгоритмы, решающие ту же проблему и "заточенные" под архитектуру квантового идеального генератора тестов. Проведено сравнение возможностей классического и квантового идеального генератора тестов, а также сравнение параллельно-последовательных и квантовых D-алгоритмов.