Полуопределенное программирование (Semidefinite Programming, SDP) — это высшая ступень иерархии выпуклого конического программирования, поглощающая в себя линейное, квадратичное и коническое программирование второго порядка. В SDP переменной оптимизации выступает не вектор, а симметричная матрица, и задача состоит в минимизации линейной функции от ее элементов при условии, что сама матрица (или аффинная комбинация заданных матриц) является положительно полуопределенной. Этот математический аппарат совершил настоящую революцию в теории управления, комбинаторной оптимизации и квантовой теории информации.