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