Как распутать нераспутываемое? Уникальный «QR-код» за доли секунды распознает любые запутанные узлы
NewsMakerКонец вековым мучениям топологов.
Узлы встречаются повсюду — от спутанных проводов до спиралей ДНК, но математики до сих пор не умеют надежно отличать один сложный узел от другого. Смысл здесь простой: можно ли превратить один узел в другой, если просто тянуть, сгибать и перекладывать нить, не разрезая ее и не склеивая заново. Если преобразование возможно, математика считает оба узла одним и тем же, даже если на рисунке они выглядят по-разному. Если не получается, узлы действительно разные. Новая работа международной группы предлагает инструмент, который одновременно точный и быстрый в расчетах, и тем самым открывает доступ к задачам, которые раньше считались практически недостижимыми.
В теории узлов каждый узел рассматривают как замкнутую структуру: концы соединены, поэтому распутать его нельзя, можно только перестраивать переплетение. Два узла могут выглядеть совершенно по-разному, но при определенных преобразованиях превращаться друг в друга. Проверить такое соответствие напрямую сложно, поэтому математики используют специальные характеристики — инварианты узлов . Каждый инвариант измеряет отдельное свойство: например, структуру переплетения или особенности пространства вокруг узла. Если два узла дают разные значения инварианта, узлы точно различаются. Если значения совпадают, совпадение ничего не гарантирует.
За сто лет накопилось множество инвариантов, но почти все они подчиняются одному и тому же ограничению. Сильные инварианты хорошо различают узлы, но их трудно вычислять. Простые считаются быстро, но почти не помогают. Уже на уровне 15-20 пересечений многие методы либо перестают различать узлы, либо требуют неподъемных вычислений. При сотнях пересечений задача вообще выходит за пределы практических расчетов.
Дрор Бар-Натан из Университета Торонто и Роланд ван дер Веен из Университета Гронингена предложили новый инвариант, который снимает этот компромисс. Метод одновременно остается вычислимо простым и при этом сохраняет высокую различающую способность. Для узлов с сотнями пересечений вычисления выполняются без особых проблем, а отдельные параметры удалось получить даже для узлов с более чем 600 пересечениями.
Узлы встречаются повсюду — от спутанных проводов до спиралей ДНК, но математики до сих пор не умеют надежно отличать один сложный узел от другого. Смысл здесь простой: можно ли превратить один узел в другой, если просто тянуть, сгибать и перекладывать нить, не разрезая ее и не склеивая заново. Если преобразование возможно, математика считает оба узла одним и тем же, даже если на рисунке они выглядят по-разному. Если не получается, узлы действительно разные. Новая работа международной группы предлагает инструмент, который одновременно точный и быстрый в расчетах, и тем самым открывает доступ к задачам, которые раньше считались практически недостижимыми.
В теории узлов каждый узел рассматривают как замкнутую структуру: концы соединены, поэтому распутать его нельзя, можно только перестраивать переплетение. Два узла могут выглядеть совершенно по-разному, но при определенных преобразованиях превращаться друг в друга. Проверить такое соответствие напрямую сложно, поэтому математики используют специальные характеристики — инварианты узлов . Каждый инвариант измеряет отдельное свойство: например, структуру переплетения или особенности пространства вокруг узла. Если два узла дают разные значения инварианта, узлы точно различаются. Если значения совпадают, совпадение ничего не гарантирует.
За сто лет накопилось множество инвариантов, но почти все они подчиняются одному и тому же ограничению. Сильные инварианты хорошо различают узлы, но их трудно вычислять. Простые считаются быстро, но почти не помогают. Уже на уровне 15-20 пересечений многие методы либо перестают различать узлы, либо требуют неподъемных вычислений. При сотнях пересечений задача вообще выходит за пределы практических расчетов.
Дрор Бар-Натан из Университета Торонто и Роланд ван дер Веен из Университета Гронингена предложили новый инвариант, который снимает этот компромисс. Метод одновременно остается вычислимо простым и при этом сохраняет высокую различающую способность. Для узлов с сотнями пересечений вычисления выполняются без особых проблем, а отдельные параметры удалось получить даже для узлов с более чем 600 пересечениями.
