Мода на столоверчение возвращается.

DFM правила обычно используются при разработке топологии
интегральных схем. Выглядит это примерно так:
минимальное расстояние между проводниками равно, например, 40 нанометров,
рекомемендуемое расстояние — 60.

Ноль перечеркнут.

Вот микроволновка для олд-скульных программистов,
для тех, кто помнит, что такое перфокарты:

RISK -> RISC

Вообще-то проблема с доказательством теорем, когда используется
компьютер, появилась очень давно. Смотрите теорему про окрашивание
планарного графа с помощью четырёх цветов.

Обычно pitch бывает для поликремния и иногда для второго металла,
первый металл не обязательно располагать в сетке.
Или вы имеете ввиду pitch = width + spacing?

Если все свободные ячейки одинаковые,
то лучше пользоваться волновым алгоритмом.

Я когда-то давно в таком стиле написал библиотеку для работы с графами.
Не знал, что этот стиль программирования так называется.

Формулы в TeX, но я не знау, как их на Хабр положить.

Вы имели ввиду уравнений динамики?

Советский Союз и Китай были единственными странами,
которые не показывали репортажи про успехи американской
лунной программы.

А kd-tree не подошло?

Нельзя. DE — это множество временных отрезков с соответствующим
множеством полиномов Чебышева, верных только для
этого интервала времени. Если выбрать полиномы не
из правильного диапазона даже на минимальный промежуток
времени, результат будет гарантированно неверный — зачем такой результат?

Вообще-то DE вообще нельзя использовать вне диапазона,
для которого он рассчитан.

Вообще-то подобные задачи решаются
с помощью SAT солверов.

У Лейбница было понятие — монада всех монад.
Здесь такое есть?

> Стоит отметить что даже задача о движении трех тел не может быть решена аналитически.

Это неправда.
Например, аналитические теории движения Луны — это специальные задачи трёх тел.
Если говорить про общую аналитическую задачу трёх тел, то она была решена
ещё в начале двадцатого века.
Проблема в том, что ряды, полученные по этой теории, сходятся настолько медленно,
что получить практический результат по ним не представляется возможным.

Теория не может быть построена на полиномах Чебышева.
На самом деле DE405 — это интерполяция положения планет и Луны
на основе наблюдений и вычислений по теории тяготения
Ньютона и Общей Теории Относительности.
А представление данных в виде полиномов Чебышева сделано
просто по той причине, что полиномы Чебышева наилучшим образом
интерполирую данные.