Теоретическая информатика в MetodX сосредоточена на исследовании фундаментальных пределов вычислений, сложности алгоритмов и разработке новых архитектур обработки информации. Основная цель данного направления — изучение структуры вычислительных задач и разработка методов, позволяющих эффективно работать с проблемами, для которых традиционные алгоритмические подходы оказываются недостаточными.

Современная теория сложности разделяет задачи по классам вычислительной трудности. Ключевые классы — P, NP, PSPACE, EXPTIME и EXPSPACE — описывают фундаментальные границы того, какие задачи могут быть решены эффективно и какие требуют экспоненциальных ресурсов.

В рамках исследований MetodX проводится системный анализ задач вычислительной сложности, относящихся к основным классам теории алгоритмов.

Исследования направлены на выявление структурных свойств этих классов, изучение взаимосвязей между ними и разработку методов анализа задач сверхвысокой вычислительной сложности.

Помимо фундаментальных исследований в области теории сложности, в рамках направления разрабатываются практические системы обработки информации, включая новые сетевые протоколы и интеллектуальные аналитические платформы.