Задача булевой выполнимости (SAT) является одной из самых основополагающих задач в информатике и математике. Несмотря на свою сложность, она лежит в основе множества прикладных областей, охватывающих разные направления от проверки микропроцессоров до оптимизации маршрутов и криптографии. В недавней статье “SAT Solver Etudes I” Филипп Закер рассматривает методы решения таких задач с использованием языка Python, предоставляя ценный обзор мощных инструментов для работы с разными логическими задачами. Для полного понимания важно осознать, какие математические задачи негласно присутствуют в нашей повседневной жизни и как они связаны с SAT. Рассмотрим несколько примеров: 1) Логистическая оптимизация: Планирование маршрутов доставки, распределение ресурсов, составление расписаний – все эти задачи сводятся к поиску оптимального решения среди множества возможных вариантов, что напрямую связано с принципами SAT.
Фото: Hend Sroor, et al. / Nature Photonics. Впервые в истории исследований физикам удалось сгенерировать простой хиральный свет с абсолютно произвольным угловым моментом посредством использования весьма оригинальной метаповерхности. Как пишется в опубликованной в журнале Nature статье, разработанная система обеспечивает создание света с рекордными значениями углового момента. Хиральность – свойство систем, лишенных зеркальной симметрии. Данный термин широко применяется в химии для характеристики соединений, таких как, например, ароматические соединения лимона и апельсина, которые идентичны, за исключением своей хиральности. Физические объекты, включая свет, также обладают хиральностью и, как правило, несут спиновой и орбитальный угловые моменты. Теоретически, управление этими угловыми моментами открывает путь к созданию структурированного света, что представляет собой актуальную и сложную задачу на практике.
