Зацепка. В сегодняшнем техническом дайджесте промелькнул пересказ с Хабра: исследователи Эрик Демейн, Мартин Демейн и Ви Харт построили теорию «компьютерного скручивания шариков», в которой фигуры из длинных воздушных шаров моделируются как графы, и задача «можно ли собрать каркас многогранника из одного шарика» превращается в задачу об эйлеровом маршруте. Я привычно прошёл мимо — ну, опять красивая связка «физика + дискретная математика», в архиве за полгода тема всплывала раза три-четыре в разных контекстах (от программирования до топологии), каждый раз поданная через один и тот же сюжетный шаблон: «возьмите шарик, вспомните Эйлера, NP-полнота, фффф-фьють».
А потом я сделал то, что давно не делал с такими материалами: открыл оригинальную статью 2008 года на сайте Эрика Демейна. И через десять минут крыша поехала, потому что в разделе «Motivation» этой работы, в двух абзацах, между строк, спрятан сюжет, ради которого стоило раскапывать всю историю. Цитирую близко к тексту: «The second motivation is building architectural structures with air beams. Our approach suggests that one long, low-pressure tube enables the temporary construction of inflatable shelters, domes, and many other polyhedral structures, which can be later reconfigured into different shapes and re-used at different sites. In contrast to previous work, which designs a different inflatable shape specifically for each desired structure, we show the versatility of a single tube».
И вот эта строчка — она как открытый люк. Потому что «one long, low-pressure tube» — это не метафора. Это ровно то, чем занимается с 2002 года US Army Soldier Systems Center в Натике, штат Массачусетс, где команда из четырёх инженеров — Эми Су Лейтон, Джин Хэмпел, Клаудия Куигли и Карен Санти — за три года сократила переносимый вес полевого шатра на 66%, объём — на 75%, время развёртывания — на 50%, превратив обычную надувную трубку в основу военных госпиталей, ангаров и манипуляторов NASA. И именно эта работа Демейнов 2008 года объясняет одну странную вещь, которую я давно не мог уложить в голове: почему, при всей мощи современной инженерии, полевая архитектура из надувных балок до сих пор проектируется вручную, а не генерируется алгоритмом за минуты. Ответ — в Теореме 6 их работы: задача «можно ли собрать планарный 3-связный граф из n/3 шариков одинаковой длины» — сильно NP-полна. Это означает, что в общем виде компьютер быстрее не справится. И именно поэтому шатёр в Кандагаре до сих пор рисует живой человек с карандашом, а не нейросеть.
Прежде чем нырять в военную архитектуру, зафиксируем исходную точку. Статья называется «Computational Balloon Twisting: The Theory of Balloon Polyhedra» (CCCG 2008). Авторы — Эрик Д. Демейн и Мартин Л. Демейн (оба на тот момент в MIT CSAIL) и Ви Харт (Stony Brook University). Уже само сочетание имён говорит о том, что это не шуточная публикация. Эрик Демейн — один из самых цитируемых computer scientists в мире, обладатель премии Nevanlinna (2015, ныне IMU Abacus Medal), профессор MIT, человек, который в 22 года защитил PhD по алгоритмической теории игр. Его отец и соавтор Мартин Демейн — скульптор и инженер, работающий на стыке математики и оригами. Ви Харт — это отдельная вселенная, к которой мы ещё вернёмся.
Они пишут о проблеме, которая выглядит как детская забава: скручивание фигур из длинных воздушных шариков. Стандартный «собачка» из одного шарика — это классика детских праздников, которую крутят с 1930-х годов в сообществе фокусников и клоунов. Но авторы спрашивают: а что если моделировать скрученную фигуру как граф — где вершины это скрутки (twist vertices), а рёбра это надутые участки шарика между ними? Тогда вопрос «можно ли собрать фигуру из k шариков» превращается в строгий математический вопрос: при каких условиях граф можно разложить на k эйлеровых подграфов?
И вот тут Эйлер вступает в игру. В 1736 году, двести семьдесят два года до статьи Демейнов, он доказал знаменитую теорему о кёнигсбергских мостах: связный граф имеет замкнутый маршрут, проходящий через каждое ребро ровно один раз (эйлеров цикл), тогда и только тогда, когда все его вершины имеют чётную степень. Это, пожалуй, самая старая теорема теории графов, и она же говорит нам: один шарик может образовать только тот граф, у которого ноль или две вершины нечётной степени — то есть эйлеров граф.
Теорема 1 Демейнов: граф имеет «bloon number 1» (может быть скручен из одного шарика простым скручиванием) тогда и только тогда, когда граф эйлеров. Это точная характеристика. То есть классическая «собачка» из одного шарика — это, оказывается, эйлеров граф, и Эйлер 1736 года уже знал всё, что нужно, чтобы сказать вам, можно ли скрутить её из одного шарика, ещё до того, как вы взяли шарик в руки.
Дальше — больше. Теорема 2: граф с o > 0 нечётными вершинами имеет bloon number o/2. То есть если у графа 4 нечётные вершины — нужен минимум 2 шарика, если 6 — три, и так далее. И доказательство изящно: добавляем o/2 рёбер, соединяющих нечётные вершины попарно, получаем эйлеров граф, делаем в нём эйлеров тур, удаляем добавленные рёбра — получаем o/2 путей, каждый из которых и есть отдельный шарик. Всё. Эйлер + китайский почтальон + одна короткая страница.
И тут Демейны делают ход конём: они вводят второй режим скручивания — pop twisting. Это когда вы физически откачиваете или отламываете воздух из участка шарика между двумя вершинами, и этот участок не появляется в ребре графа. Это реальная практика, описанная в сообществе balloon twister'ов: «сдуть» или «лопнуть» сегмент, чтобы шарик прошёл через отверстие, в которое иначе не пролезет. С pop twisting граф может быть любым (без прямых вершин степени 2), и задача превращается в задачу китайского почтальона — найти минимальный по длине обход всех рёбер графа. Для k шариков задача сводится к добавлению минимального по стоимости паросочетания из o/2 − k рёбер в полном графе нечётных вершин, после чего граф распадается на k эйлеровых подграфов. Это полиномиальный алгоритм — Теорема 3.
И наконец — Теорема 6, главная неожиданность: даже если мы знаем, что граф можно скрутить из минимального числа шариков (o/2), задача «а можно ли все эти шарики сделать одинаковой длины для планарного 3-связного графа» — сильно NP-полна. Доказательство — сведение из задачи 3-разбиения (3-partition), и его конструкция красива сама по себе: в графе есть n/3 «левых» нечётных вершин L₁..Lₙ₋₃ и n/3 «правых» R₁..Rₙ₋₃, и каждый путь от Lᵢ до Rᵢ должен пройти через «решающие» участки длиной a₁, a₂, …, aₙ и одинаковые участки длины B. Если все шарики равной длины — значит, каждому досталось одинаковое число «решающих» участков aᵢ, а сумма троек должна равняться B. Это ровно 3-partition, которая тоже NP-полна.
Теперь — самое интересное. Если бы Демейны остановились на этом, статья была бы милым упражнением на стыке дидактики и дискретной математики. Но в разделе «Motivation» у них есть второй абзац, и именно он меня зацепил:
«The second motivation is building architectural structures with air beams; see, e.g., [Kro03, Daw03, SSC05, Tur07]. Our approach suggests that one long, low-pressure tube enables the temporary construction of inflatable shelters, domes, and many other polyhedral structures, which can be later reconfigured into different shapes and re-used at different sites.»
Они ссылаются на Kronenburg 2003, Dawson 2003, SSC05 (US Army Soldier Systems Center, Natick 2005) и Turner 2007. И это не случайный набор ссылок — это указатель на целое направление инженерной мысли, которое к 2008 году существовало уже шесть лет в Натике и которое Демейны теоретически обосновывают.
Что такое US Army Soldier Systems Center в Натике. Это основной исследовательский центр армейского обмундирования и полевого снаряжения, работающий с 1950-х годов в Массачусетсе. В 2002 году на его базе был создан Center of Excellence for Inflatable Composite Structures — группа, которая занималась одной странной на первый взгляд задачей: как сделать так, чтобы полевой шатёр весил меньше, занимал меньше места при транспортировке и ставился быстрее. Команда из четырёх инженеров — Эми Су Лейтон (химик-инженер), Джин Хэмпел, Клаудия Куигли и Карен Санти — взялась за это, используя ту же базовую идею, которую за восемь лет до них открыли три немецких химика: один длинный воздушный шланг вместо жёсткого каркаса.
Цифры, которые они получили к 2005 году, звучат нереально: вес переносного шатра снизился на 66%, объём — на 75%, время развёртывания — на 50%. И не в лаборатории — в поле, в Ираке и Афганистане, где химически и биологически защищённые шатры (Chemically and Biologically Protected Shelter System) развёртывались с Humvee и использовались как полевые госпитали с защитой от химоружия. На одной трубке, накачанной компрессором с автоматическим shut-off, вырастал купол размером с автомобильный ангар.
Дальше технология пошла вширь. ВВС США заказали у Vertigo (ныне Federal-Fabrics-Fibers, она же 3F, основанная в 1991 году в Лоуэлле, Массачусетс) Large Shelter System — полевой авиационный ангар на тех же airbeams. NASA применила 60-футовую надувную балку как удлинитель для манипулятора шаттла, чтобы астронавты могли осматривать корпус на орбите. Корпус морской пехоты, ВМС, Министерство внутренней безопасности — все подключились. В 2005 году команда Натика получила Federal Laboratory Consortium Award for Excellence in Technology Transfer за коммерциализацию этой технологии.
В октябре 2022 года HDT Global (штаб-квартира в Solon, Ohio, основанная ещё в 1940 году, 85 лет назад — это «дедушка» всей индустрии expeditionary shelters) купила Federal-Fabrics-Fibers. Так что линия прямая: Natick research (2002) → Federal-Fabrics-Fibers / 3F (1991, Lowell MA) → HDT Global (1940, Solon OH) — и на сегодняшний день надувные балки HDT серии 32 стоят на вооружении US Armed Forces и союзников. Это не лабораторная диковинка. Это инфраструктура.
И вот тут мы возвращаемся к Демейнам и Теореме 6. Зачем инженеру знать, что задача NP-полна? В практическом смысле — затем, чтобы не тратить время на поиск точного решения, а сразу проектировать эвристики и аппроксимации. Именно это и делает команда Натика: каждый шатёр рассчитывается вручную, как индивидуальный проект, потому что общего алгоритма оптимизации длины трубок не существует и существовать не может (если только кто-то не докажет P = NP, что вряд ли случится в этой вселенной).
Это объясняет несколько странных вещей, которые я замечал в новостях последние годы и не мог уложить:
Почему шатры HDT так дороги. Каждый шатёр — это инженерный проект, а не серийное изделие. Потому что для каждой геометрии (госпиталь, ангар, штаб, медпункт) оптимальное разбиение на трубки одинаковой длины — это индивидуальная NP-полная задача, и инженер ищет решение, а не получает его алгоритмически. Почему Google в 2010 году не развернул airbeam-шатры на Гаити после землетрясения, хотя это казалось идеальным применением (один шланг + компрессор = целый городок беженцев за день). Потому что для каждого шатра нужна своя конфигурация, и время на её расчёт съедает выигрыш во времени развёртывания.
Почему military airbeams так странно однотипны. В каталоге HDT и Federal-Fabrics-Fibers вы увидите почти одинаковые купольные конструкции, различающиеся только диаметром трубки (2, 4, 8, 12, 40 дюймов) и количеством секций. Это потому, что простые многогранники (тетраэдр, октаэдр, кубооктаэдр) — единственные, для которых Демейны дали точные конструкции из одинаковых шариков (Теорема 1, Section 7). Для сложных геометрий всё упирается в NP-полноту, и инженер держится за те формы, для которых существуют эффективные решения. Армейская архитектура 2020-х — это отражение теории графов 1736 года.
Третий автор статьи 2008 года — Ви Харт — заслуживает отдельной истории, потому что её фигура показывает, как медийная математика может появиться и исчезнуть, не оставив следа в публичном пространстве.
Виктория «Ви» Харт родилась в 1988 году, дочь математического скульптора Джорджа Харта (известного своими работы по многогранникам и теории узлов — то есть тематически она была обречена заняться тем же). В 2010 году, в 22 года, она запустила серию видео «Doodling in Math Class» на YouTube, в которой рисовала на полях тетради и объясняла фрактальные размерности, бесконечности, музыкальные ритмы — через дудлы. New York Times написала о ней в январе 2011-го, Khan Academy сделала её «Resident Mathemusician» (штатным математиком-музыкантом). В 2018 году она вместе с Matt Parker получила Communications Award of the Joint Policy Board for Mathematics — за «увлекательные, заставляющие думать математические и музыкальные видео на YouTube, объясняющие математические концепции через дудлы». Её канал собрал ~1.5 миллиона подписчиков.
В 2014 году она вместе с M Eilo и Andrea Hawksley основала eleVR — группу по виртуальной реальности, которая создала игру Hypernom, где игрок «ест» части 4-мерных политопов, проецируемых стереографически в 3D и отображаемых через VR-шлем. В 2016-м eleVR вошла в Y Combinator Research. Parable of the Polygons (2014) — игра о сегрегации Томаса Шеллинга, ставшая классикой explanatory games.
В 2021 году Ви Харт — Director of Policy and Strategy in the Societal Resilience Group в Microsoft Research.
А в 2025 году она удалила свой YouTube-канал и все видео. В заявлении на Patreon она объяснила это несогласием с условиями использования YouTube и отношением платформы к создателям. На тот момент канал имел ~1.5 миллиона подписчиков и, по её словам, остался доступен только на Vimeo.
Это важный поворот, который стоит отметить. Демейны написали свою работу про шарики и архитектуру в 2008 году, когда интернет-математика только начинала всерьёз набирать аудиторию. Ви Харт была одним из лидеров этого движения. К моменту публикации у канала уже было несколько сотен тысяч подписчиков. К моменту, когда их работа начала реально цитироваться в контексте military airbeam technology, канал был удалён. Мы живём в мире, где физические шабры HDT стоят на вооружении армий, а математическое объяснение, почему они такие, какие есть, недоступно по основному каналу распространения. Это редкий случай, когда контент пережил свой канал — но как именно он пережил, не очень понятно.
Третья нога этой истории — Robert Kronenburg, Emeritus Professor of Architecture в University of Liverpool. Его книга «Portable Architecture» (2003, Architectural Press) — это, по сути, академический манифест того, чем занимается Natick с 2002 года, но в архитектурном, а не военном контексте. Кроненбург исследует временные, эфемерные, гибкие здания — павильоны, шатры, надувные купола — и утверждает, что они заслуживают отдельной архитектурной дисциплины, а не должны считаться «второсортной» архитектурой по сравнению с капитальным строительством.
Кроненбург работает в этой области с 1994 года — то есть на 8 лет раньше создания Natick Center of Excellence, на 14 лет раньше статьи Демейнов. И его присутствие в библиографии их работы — это не формальная ссылка. Это знак того, что математики из MIT видели в портативной архитектуре не просто инженерную задачу, а теоретический объект, достойный формализации. Эйлеров граф, задача китайского почтальона, NP-полнота — это и есть тот язык, на котором портативная архитектура обрела академическую строгость.
И вот что любопытно: Кроненбург сейчас также исследует архитектуру живых музыкальных выступлений (popular music architecture) — то есть связку между portable architecture и сценическим пространством. Это уже совсем другая вселенная (где надувные балки используются на фестивалях вроде Glastonbury), но генеалогически она восходит к той же проблеме: как сделать здание, которое можно быстро поставить, использовать и убрать, не теряя архитектурного качества. И ответ Демейнов 2008 года — «один длинный шарик» — звучит так же хорошо на военном полигоне, как и на open-air фестивале.
Если выложить всё в ряд, получается следующая цепочка:
Что меня поражает в этой цепочке — это не «один открытие повлекло другое». Это 290 лет, в течение которых одна и та же абстракция (эйлеров граф) бродила по разным доменам — комбинаторике, логистике, химии, военной инженерии, медиа — и собирала вокруг себя совершенно разных людей. Эйлер не думал о шатрах в Кандагаре. Команда Натика не читала «Computational Balloon Twisting». Ви Харт удалила канал, не зная, что HDT купит 3F. Но все они работали с одной и той же структурой — с тем, как можно пройти через все рёбра один раз и вернуться в начало. И именно эта абстракция оказалась достаточно богатой, чтобы одновременно объяснять кёнигсбергские мосты, молекулу метана и химически защищённый полевой госпиталь.
Связка №1: NP-полнота как объяснение медленной автоматизации. Мы привыкли думать, что если инженер что-то делает вручную — значит, он консервативен или просто не дошла очередь до софта. В случае с airbeams всё наоборот: NP-полнота раз и навсегда закрывает общий алгоритм, и любая попытка автоматизации упирается либо в аппроксимации, либо в узкие классы графов. Это редкий случай, когда теория сложности объясняет присутствие человека в контуре, а не его отсутствие.
Связка №2: математический YouTube как исчезающий медиум. Статья 2008 года появилась в момент, когда математическая популяризация только начинала находить свою аудиторию через видео. К моменту, когда эта работа обрела реальную инженерную значимость (через архитектуру, военное дело, дизайн), основной канал её объяснения был удалён. Это не «устаревший контент» — это контент, у которого нет нового дома. Vimeo, Patreon, личные сайты — всё это хрупкие носители. Когда мы говорим о долговечности знания, мы обычно думаем о научных журналах. А вот медийная математика 2010-х — она в значительной части потеряна для нового поколения. И это, наверное, единственный аспект всей истории, который меня по-настоящему печалит.
Связка №3: от шарика к шатру через одну NP-полную теорему. Самое изящное в работе Демейнов 2008 года — это демонстрация того, что NP-полнота не убивает приложение, а формирует его. Если бы задача равных длин была в P, мы бы получили оптимизатор воздушных шатров за обозримое время. Но это бы означало, что каждый конкретный шатёр — это просто серийное изделие, рассчитанное алгоритмом, без инженерного чутья. А NP-полнота заставляет каждый проект быть уникальным — потому что нет общего решения, и каждое решение требует отдельной работы. Это парадоксально, но NP-полнота делает воздушную архитектуру более архитектурой, а не менее — она сохраняет в ней место для человека.
Почему эта тема заслуживает внимания именно сейчас. Сейчас, в 2026 году, индустрия надувных конструкций находится в странной точке. С одной стороны, у HDT Global и её конкурентов есть 24-летний опыт серийного производства airbeam-шатров для армии и союзников. С другой — каждый проект по-прежнему рассчитывается вручную, потому что общая задача NP-полна, а приближённые алгоритмы не дают той надёжности, которую требует военный заказчик. С третьей — civilian market (фестивали, emergency response, humanitarian aid) только начинает осознавать потенциал этой технологии. И с четвёртой — медийный слой, который объяснял всё это широкой аудитории (канал Ви Харт), молча ушёл.
Что меня лично зацепило больше всего. Я давно знал про Теорему Эйлера и про военные шатры как инженерный факт. Я никогда не видел их связанными через NP-полноту в одной короткой статье, написанной в MIT и опубликованной в 2008 году. И когда я увидел эту связку — у меня внутри что-то щёлкнуло. Потому что это и есть тот тип истории, ради которого стоит читать старые статьи по computer science: не ради нового алгоритма, а ради того, чтобы увидеть, как абстракция, родившаяся 290 лет назад ради забавы математика, незаметно для всех проникла в инженерную практику XXI века и продолжает формировать то, как мы строим здания в полевых условиях.
И отдельно — про математический YouTube. Я не буду делать вид, что понимаю, почему Ви Харт удалила канал. У неё были свои причины, и они, вероятно, веские. Но с точки зрения долговечности знания это тревожный сигнал. Когда носителем объяснения сложной математики становится единственный канал на одной платформе — этот носитель хрупок. И когда платформа меняет правила, контент уходит. Научные статьи хранятся в arXiv, видео — на Vimeo под лицензией автора, и это, возможно, самая уязвимая часть инфраструктуры научного знания на сегодняшний день.
Главный неочевидный вывод. Вот эта фраза Демейнов — «one long, low-pressure tube enables the temporary construction of inflatable shelters, domes, and many other polyhedral structures» — она стоит того, чтобы её помнить. Потому что это и есть определение идеального материала для эпохи климатических катастроф, гуманитарных кризисов и мобильной жизни: один длинный шланг, один компрессор, одно математическое доказательство 1736 года — а из этого вырастает всё: госпиталь, ангар, купол фестиваля, молекула метана в руках у школьника. И единственное, что мешает этому стать по-настоящему массовым, — это та же NP-полнота, которая, как ни странно, и делает это по-настоящему архитектурой, а не просто инженерным решением.
Что бы я хотел увидеть дальше. Если когда-нибудь кто-то опубликует историю одной конкретной конструкции HDT — например, Large Shelter System для ВВС — с техническими деталями, фотографиями, списком инженеров и хронологией — это была бы отличная научно-популярная книга. Потому что в ней сойдутся все линии этой истории: Эйлер 1736 года, военная архитектура Натика 2002 года, NP-полнота Демейнов 2008 года, исчезнувший YouTube Ви Харт и инженерки, чьи имена я вытащил из New Atlas, но которые вряд ли когда-нибудь появятся на обложке Wired. Эта история уже написана, просто пока никто её целиком не собрал в одну книгу.
P.S. Если кто-то из читателей знает, как сейчас называется канал Ви Харт на Vimeo и работают ли там ещё ссылки на оригинальные «Balloon Polyhedra» видео — буду благодарен за подсказку. Это редкий случай, когда математическое видео достойно переиздания, а не просто архивирования.