Держите мобильные телефоны подальше от тела, не кладите в карман и не спите вместе. Новые советы медиков-технофобов

Вы путаетесь. Видимо потому, что физики не было. И по ссылке не ходили. Там ясно сказано:

"закон обратных квадратов — это закон для электростатики."

и далее:

"Следует отметить, что в отличие от интенсивности и от поля в статическом случае, амплитуда напряжённости электрического поля и магнитной индукции в электромагнитной волне от точечного источника падает обратно пропорционально первой степени расстояния"

Держите мобильные телефоны подальше от тела, не кладите в карман и не спите вместе. Новые советы медиков-технофобов

Вы физику не знаете. Если было бы обратно пропорционально квадрату расстояния, то обычный заряд, находящийся в покое (в трехмерном пространстве), излучал бы электромагнитные волны. Вы путаете статическое поле и излучение электромагнитных волн. Почитайте учебник физики за первый курс.

Держите мобильные телефоны подальше от тела, не кладите в карман и не спите вместе. Новые советы медиков-технофобов

Нет. Обратно пропорционально расстоянию. Если было бы обратно пропорционально квадрату расстояния, то энергия электромагнитной волны не смогла бы распространяться.

Квантовые вычисления: отжиг с выключателями и прочее веселье

Что-то не совсем понятно. С начала говорится про метод отжига, потом про квантовую оптимизацию, а в распечатке вообще написано про tabu solver. Так кто на ком стоял?

Тёмная сторона истории General Electric

Иосиф Сталин был уверен в провале такой идеи, о чём он говорил на XIV съезде ВКП(б)

А слабо Никиту Сергеевича или Леонида Ильича процитировать ?

который бы она могла использовать против врага США — СССР

Ну да, наверное поэтому США в СССР заводы строили.

Луна-25 получит «световой маяк»

У американских астронавтов НАСА — гражданская организация, а в СССР (России) космонавтика — это часть военки.

Двуликая локаль в преобразовании из строки в дробное

А вот еще интересная задачка, с которой я когда-то столкнулся — как ввести десятичную дробь и узнать число цифр после запятой, то есть точность этого числа?

Смертельные градусы или версии аварии разгонного блока «Фрегат»

Прямо как в анекдоте:

Получили русские мужики электропилу из Японии. Положили бревно:

• Вжик! — сказала пила, и бревно пополам.
• Ух ты! — сказали мужики и положили бревно потолще.
• Вжжжик! — сказала пила и… бревно пополам.
• Ого! — сказали мужики и положили рельсу.
• Вжж-крях! — сказала пила и поломалась.
• Ага!!! — сказали мужики, — То-то же...

Российское законодательство могут перевести на блокчейн

Напомнило старый анекдот:

Собрание колхоза. Встает председатель:
Товарищи, в повестке дня 2 вопроса:
1.Ремонт сарая
2.Построение коммунизма.
Поскольку досок нет — переходим сразу ко второму вопросу.

Решение задачи замощения с помощью SAT солвера на примере пентамино

Понятно, почему не работает вариант при исключении заполнения каждой клетки (1) — булева функция выполняется для 2 и 3 если нет ни одной загогулины на поле.
Чтобы это опять работало, надо ставить дополнительное условие, чтобы на поле была хотя бы одна фигура для каждого типа.

Решение задачи замощения с помощью SAT солвера на примере пентамино

На нахождение одного варианта ушло меньше 10 секунд:

processor: 0
vendor_id: GenuineIntel
cpu family: 6
model: 42
model name: Intel® Core(TM) i7-2600K CPU @ 3.40GHz

real 0m9.585s
user 0m9.548s
sys 0m0.024s

Решение задачи замощения с помощью SAT солвера на примере пентамино

Попробовал. Результаты следующие на моем компьютере:

processor: 0
vendor_id: GenuineIntel
cpu family: 6
model: 42
model name: Intel® Core(TM) i7-2600K CPU @ 3.40GHz

Методика, описанная в статье:
real 0m9.585s
user 0m9.548s
sys 0m0.024s

Если убрать ограничение на заполнение каждой клетки (1) — не работает (выдает пустое поле).

Если убрать условие пересечения (2), работает очень долго, не смог дождаться результата.

Решение задачи замощения с помощью SAT солвера на примере пентамино

Хмм… Пожалуй соглашусь. Надо будет попробовать.

Решение задачи замощения с помощью SAT солвера на примере пентамино

Нет. Первое правило служит для того, чтобы каждая клетка была покрыта хотя бы чем-то (но не гарантирует, что только чем-то одним), второе правило говорит, что то, что покрывает клетки не должно пересекаться (но не гарантирует, что все клетки будут покрыты), и третье правило гарантирует, что в множестве загогулин может существовать только одна загогулина каждого типа (но не гарантирует, что все клетки будут покрыты и что то, чем они покрыты не имеют пересечений).

Решение задачи замощения с помощью SAT солвера на примере пентамино

Да.

Решение задачи замощения с помощью SAT солвера на примере пентамино

Нет, недостаточно. Фигура (загогулина) появляется много раз в виде сдвигов, поворотов и отражений. Поэтому, чтобы исключить две или более копии, надо все условия. Иначе, например, можно все поле заполнить фигурой 2х2.

Решение задачи замощения с помощью SAT солвера на примере пентамино

Он.

Решение задачи замощения с помощью SAT солвера на примере пентамино

SAT solver — minisat (есть в статье)
Решает быстро, точные цифры приведу чуть позже.

AGM X2: самый навороченный защищенный смартфон на рынке

Являюсь владельцем предыдущего смартфона этой фирмы — AGM X1. Могу сказать, что телефон хороший, был бы отличный, если бы не два обстоятельства:

1. Камера отстойная
2. Никакой поддержки со стороны производителя — обновлений прошивки нет.

Свидание с ʻOumuamua. Впервые открыт межзвёздный объект в Солнечной Системе

МКС вполне себе яркая звездочка.