Это видео про то как решить задачу на клеточные автоматы с помощью SAT-солверов. Для меня стало откровением что так можно и что эти солверы так хорошо развиты.
Рекомендую это видео, но с натяжкой. Автор плохо рассказывает идею (например ни слова не сказал про обратимость и сад Эдема) и скипает самую главную матчасть, уделяя время скучным базовым понятиям.
Но самая главная идея этого видео стоит того. Наверное лучше по главам пролистать и смотреть только последнюю часть видео.
Это видео про то как решить задачу на клеточные автоматы с помощью SAT-солверов. Для меня стало откровением что так можно и что эти солверы так хорошо развиты.
Рекомендую это видео, но с натяжкой. Автор плохо рассказывает идею (например ни слова не сказал про обратимость и сад Эдема) и скипает самую главную матчасть, уделяя время скучным базовым понятиям.
Но самая главная идея этого видео стоит того. Наверное лучше по главам пролистать и смотреть только последнюю часть видео.
Ukrainian forces successfully attacked Russian vehicles in the capital city of Kyiv thanks to a public tip made through the encrypted messaging app Telegram, Ukraine's top law-enforcement agency said on Tuesday. However, the perpetrators of such frauds are now adopting new methods and technologies to defraud the investors. The Securities and Exchange Board of India (Sebi) had carried out a similar exercise in 2017 in a matter related to circulation of messages through WhatsApp. In February 2014, the Ukrainian people ousted pro-Russian president Viktor Yanukovych, prompting Russia to invade and annex the Crimean peninsula. By the start of April, Pavel Durov had given his notice, with TechCrunch saying at the time that the CEO had resisted pressure to suppress pages criticizing the Russian government. The Dow Jones Industrial Average fell 230 points, or 0.7%. Meanwhile, the S&P 500 and the Nasdaq Composite dropped 1.3% and 2.2%, respectively. All three indexes began the day with gains before selling off.
from hk
