Представьте себе европейскую авиакомпанию. Каждый день 450 рейсов, 120 самолётов, тысячи пассажиров. Всё идёт по расписанию, пока не приходит гроза, не закрывается аэропорт или экипаж не упирается в ограничения по рабочему времени. Тогда диспетчеры и алгоритмы должны за минуты перекроить весь план: какие рейсы задержать, какие отменить, куда пересадить пассажиров, как переставить самолёты и экипажи, не нарушив десятки жёстких правил. Это и есть задача восстановления расписания после сбоя — одна из самых сложных задач оптимизации в реальном мире.
Сейчас авиакомпания использует классические методы исследования операций: смешанно-целочисленную оптимизацию, декомпозицию, эвристики. Всё это зрелые технологии, которые обычно дают приемлемый план за минуты. Но руководство подозревает, что в особенно тяжёлые дни остаются лишние задержки, отмены и неудобства для пассажиров, которых можно было бы избежать. И тут на горизонте появляется группа исследователей с предложением Q-RECOVER: использовать квантовые вычисления, чтобы решать эти задачи быстрее и лучше.
Звучит заманчиво. Квантовый компьютер — это же чудо-машина, которая перебирает варианты параллельно и находит оптимум там, где классика буксует. Но давайте посмотрим на это предложение не как на научную фантастику, а как на инвестиционное решение. Цена вопроса — 1,8 миллиона евро и 12 месяцев работы. И тут возникает главный вопрос: есть ли доказательства, что квантовый подход даст обещанное улучшение на 12% по сравнению с лучшим классическим решением за те же 120 секунд?
Короткий ответ: таких доказательств нет. И вот почему.
Во-первых, что такое квантовые вычисления для оптимизации? Есть два основных инструмента: квантовый отжиг (например, устройства D-Wave) и вариационные квантовые алгоритмы (QAOA) на вентильных квантовых компьютерах. Идея в том, чтобы сформулировать задачу как минимизацию энергии некоторой физической системы — так называемую задачу QUBO (квадратичную бинарную оптимизацию). Затем квантовое устройство должно «нащупать» состояние с низкой энергией, которое соответствует хорошему решению.
Проблема в том, что на сегодняшний день нет ни одного опубликованного результата, где квантовый или гибридный квантово-классический солвер показал бы превосходство над лучшими классическими методами на реалистичных задачах авиационного масштаба. Есть отдельные работы по узким подзадачам — назначение выходов на посадку, распределение хвостовых номеров самолётов, мелкие задачи экипажей. Но это либо маленькие игрушечные примеры, либо симуляции на классических компьютерах. Реальные квантовые устройства страдают от шума, ограниченного числа кубитов и отсутствия коррекции ошибок. Поэтому они не могут гарантировать даже допустимость решения, не говоря уже о его оптимальности.
А допустимость — это критично. В авиации нельзя просто «почти» соблюсти правила. Если квантовый алгоритм предложит план, где экипаж работает дольше разрешённого, или самолёт не успевает на техобслуживание, или слот в аэропорту нарушен, такой план бесполезен. Придётся добавлять классический слой, который исправляет нарушения. И вот тут квантовое преимущество может испариться: классический «ремонт» может стоить столько же или больше, чем если бы мы сразу решали задачу классическим способом.
Во-вторых, у авиакомпании уже есть сильный классический базовый уровень. Её система — не новичок, а зрелый продукт, который годами настраивали на реальных данных. Улучшить его на 12% — это очень амбициозная цель. Даже замена одного классического алгоритма на другой часто даёт лишь единицы процентов. А тут предлагается квантовый компонент, который сам по себе не показал преимуществ даже на простых задачах, и ожидается, что он даст двузначный выигрыш в комплексной системе? Это похоже на попытку выиграть гонку, поставив на велосипед реактивный двигатель, который ещё ни разу не запускался в полёте.
Но значит ли это, что нужно полностью отвергнуть квантовые идеи? Нет. Было бы неразумно закрывать дверь перед технологией, которая может стать полезной через несколько лет. Именно поэтому я рекомендую не полное финансирование и не полный отказ, а ограниченный пилотный проект.
Представьте, что вы покупаете не весь самолёт, а билет на тестовый рейс. Пилот на 12 недель и 180 тысяч евро позволит проверить самую рискованную гипотезу: может ли квантовый или гибридный солвер дать хоть какое-то улучшение на узкой, но реалистичной подзадаче восстановления расписания. Например, взять только перестановку хвостовых номеров самолётов или только перераспределение пассажиров с учётом штрафов. Классическая часть будет по-прежнему обеспечивать все жёсткие ограничения, а квантовая — лишь предлагать кандидатов.
Условия должны быть жёсткими. Нужно взять 30 исторических сценариев сбоев: 20 для настройки, 10 для финального тестирования. Сравнивать с лучшим классическим решением при одинаковых входных данных и лимите времени 120 секунд. Если гибридная система не покажет статистически значимого улучшения хотя бы на 3–5% и хотя бы на одной подзадаче, пилот следует остановить. Если окажется, что квантовый компьютер слишком медленный, дорогой или ненадёжный для реального использования, — тоже остановить. И только если будет явный, воспроизводимый выигрыш, можно обсуждать расширение программы.
Такой подход — это не трусость и не консерватизм. Это трезвый расчёт. Мы живём в эпоху, когда квантовые вычисления обещают революцию, но пока не показали практического превосходства ни в одной коммерческой задаче оптимизации. Поэтому вкладывать большие деньги в непроверенную технологию, когда у вас уже есть работающее решение, — это авантюра. А вот потратить небольшую сумму на то, чтобы проверить, есть ли там что-то реальное, — разумная страховка.
Если пилот провалится, эти же 1,8 миллиона евро можно направить на улучшение классической системы: ускорить алгоритмы, добавить машинное обучение для прогнозирования сбоев, улучшить интеграцию данных. Такие инвестиции, скорее всего, дадут более надёжный и предсказуемый результат, чем ставка на квантовый скачок.
В итоге решение инвестиционного комитета должно быть таким: PILOT_ONLY — только пилотный проект. Это позволяет сохранить открытость к инновациям, но не ставит под угрозу операционную надёжность и бюджет авиакомпании. Квантовый компьютер — не волшебная палочка, а инструмент, который нужно сначала проверить на маленьком полигоне, прежде чем пускать в бой. И если он докажет свою ценность, тогда можно будет говорить о полном рейсе. А пока — только тестовый полёт.
Комментарии
Лимит 120 секунд и порог в 3-5% - звучит скромно, зато понятно сразу: не дают кванты даже этого, пилот можно смело останавливать. Я за такие чёткие критерии 👍
🤔🤔🤔
Я согласна с тем, что правильная единица инвестирования здесь - пилот, а не весь самолёт, но с важным уточнением: квантовый солвер придётся встраивать в существующий классический контур. Из-за шума и отсутствия гарантий допустимости его результат всё равно нужно прогонять через постобработку, поэтому сравнивать стоит не сырую QUBO-формулировку, а итоговый план после исправления нарушений. Именно тридцать исторических сценариев позволяют это проверить без ущерба для операционной надёжности
Если пилотный проект за 180 тысяч - это коробка с котом, то, открыв её, мы скорее всего увидим не суперпозицию, а счёт на 1,8 млн
крайне зашла мысль, что квантовый комп - это не магическая палочка, а просто тулза, которую надо сначала обкатать на маленьком полигоне. вот прям в точку, у нас в найме вечно пытаются запустить гигантские фичи без единого теста, а потом удивляются
У меня на прошлой работе классическая экселевская табличка стабильно обходила «инновационную» систему за миллион, так что пилот за 180 тысяч - лучший вариант из всего, что я видел за последнее время
А вы замечали, что раньше, до эпохи «инноваций ради инноваций», никто не кидался покупать технику, которую нельзя пощупать в деле? В моё время сначала брали в аренду на небольшой срок, обкатывали на реальных задачах, а потом уже принимали решение. Вот этот пилот за 180 тысяч евро на 12 недель - он ведь, по сути, и есть тот самый старый добрый способ проверить, не выброшены ли деньги на ветер. Только раньше это называлось просто инженерной предусмотрительностью, а теперь - «пилотным проектом по внедрению квантовых вычислений». И я вам так скажу: даже если через три месяца выяснится, что квантовый отжиг не даёт тех самых 12 процентов, эти 180 тысяч окупятся сторицей - хотя бы потому, что ваши же математики и диспетчеры наконец-то поймут, что новая игрушка не отменяет их собственный опыт и чутьё, которое никаким QUBO не описать
Пилот на 30 исторических сценариях не покажет, как QUBO-формулировка переживёт шум в реальном масштабе
Вы пишете, что Q-RECOVER обещает улучшение на 12% по сравнению с лучшим классическим решением за те же 120 секунд, но какая метрика лежит в основе этой оценки: суммарная задержка по рейсам, число отмен или агрегированная операционная стоимость плана с учётом пересадок пассажиров и компенсаций?