Спотлайт #52 – Геометрія, колективний інтелект та гідродинаміка

Три досліджені категорії

mysimulator.uk відстежує глибину категорій як один із показників якості. Хвиля 55 посилює три різні галузі — від позачасової математики многогранників до обчислювальної фізики частинко-орієнтованих рідин.

🔷 Дискретна геометрія — многогранники та формула Ейлера

Вивчення многогранників — тіл, обмежених плоскими багатокутними гранями — тягнеться від «Тімея» Платона (бл. 360 р. до н.е.), який ототожнив чотири тіла з класичними стихіями, через дивовижну топологічну теорему Ейлера, аж до сучасних застосувань у кристалографії та комп'ютерній графіці.

Чому платонових тіл лише п'ять?

Платонове тіло вимагає (а) щоб усі грані були однаковим правильним багатокутником і (б) щоб у кожній вершині сходилася однакова кількість граней. Щоб тіло замкнулося, сумарний кут у кожній вершині має бути меншим за 360°, інакше грані лежать пласко або згортаються самі на себе. Існує рівно п'ять розв'язків:

• Тетраедр — 3 рівносторонні трикутники на вершину, сума кутів 180°.
• Куб (гексаедр) — 3 квадрати на вершину, сума кутів 270°.
• Октаедр — 4 рівносторонні трикутники на вершину, сума кутів 240°.
• Додекаедр — 3 правильні п'ятикутники на вершину, сума кутів 324°.
• Ікосаедр — 5 рівносторонніх трикутників на вершину, сума кутів 300°.

Шість рівносторонніх трикутників замостили б пласку площину (360°) і не замкнулися б; п'ять квадратів перевищили б 360°. Обмеження жорстке — місця для шостого платонового тіла немає.

Характеристика Ейлера: V − E + F = 2

1752 року Леонард Ейлер помітив, що для кожного опуклого многогранника величина V−E+F дорівнює точно 2. Це було дивовижно, оскільки виконувалося незалежно від форми: тетраедр (4−6+4=2), куб (8−12+6=2), ікосаедр (12−30+20=2) і навіть зрізаний ікосаедр (60−90+32=2).

Архімедові тіла та зрізання

13 архімедових тіл — опуклі, вершинно-транзитивні многогранники з двома чи більше типами граней правильних багатокутників. Вони природно виникають із платонових тіл шляхом зрізання (обрізання вершин), ректифікації (обрізання до середин ребер), звивання (скручування) та кантеляції (розширення граней назовні). Зрізаний ікосаедр — 60 вершин, 90 ребер, 32 грані у вигляді п'ятикутників і шестикутників — ідентичний малюнку на стандартному футбольному м'ячі та молекулі бакмінстерфулерену C₆₀ (баколі).

🐟 Колективний інтелект — емерджентність із локальних правил

Колективний (роїнний) інтелект описує спільну, самоорганізовану поведінку, що виникає з локальних взаємодій між простими агентами. Жодний центральний контролер не керує роєм; кожна особина керується лише інформацією поблизу. Проте патерни на рівні групи — злагоджені зграї, розгалужені мережі стежок, скоординовані реакції паніки — можуть суперничати з результатами будь-якої централізованої системи.

Boids Крейга Рейнольдса (1986)

Оригінальна стаття Рейнольдса про Boids (SIGGRAPH '87) показала, що трьох правил достатньо для реалістичного флокінгу:

Три радіуси — r_роз < r_вир < r_згур — створюють вкладені зони впливу. «Риб'яча зграя 3D» використовує r_роз=28, r_вир=55, r_згур=80 пікс із трьома шарами глибини, що надає псевдо-3D вигляду за ціною Canvas 2D.

Динаміка хижак-жертва в зграях

Нова «Риб'яча зграя 3D» додає хижу акулу, що полює й запускає реакцію паніки у риб у межах свого патрульного радіуса. Це відтворює кілька задокументованих польових явищ:

• Ефект фонтану: зграя розділяється навколо хижака й возз'єднується позаду нього, створюючи постійний рух, що збиває з пантелику сенсорне відстеження хижака.
• Спалахове розширення: коли хижак кидається, найближчі риби вибухово прискорюються назовні — миттєвий колапс густини, що змушує хижака зосередитися на одній цілі.
• Ефект розбавлення: імовірність хижацтва для кожної особини становить 1/N для зграї з N риб, що робить більші зграї безпечнішими в розрахунку на одну рибу, попри те що вони помітніші.
• Ефект збентеження: швидкий рух багатьох однакових жертв перевантажує систему відстеження об'єктів хижака. Експерименти з гупі показують, що хижаки ловлять менше риб у великих зграях, навіть коли частота атак незмінна.

💧 Обчислювальна гідродинаміка — SPH

Обчислювальна гідродинаміка (CFD) — це чисельне моделювання рівнянь Нав'є-Стокса. Домінують дві родини методів: ейлерові (сітчасті: скінченних об'ємів, скінченних елементів, скінченних різниць) та лагранжеві (частинко-орієнтовані: SPH, DEM, MPM). SPH належить до лагранжевої родини й має властивості, яких бракує сітчастим методам.

Чому лагранжевий підхід?

Сітчасті методи погано справляються із задачами з великими деформаціями, вільними поверхнями та багатофазними потоками: сітку доводиться перебудовувати або деформувати на кожному кроці. У SPH частинки несуть потік із собою — вільні поверхні відстежуються автоматично, сітка не потрібна, а фрагментація тривіальна. Ціна в тому, що SPH наївно має складність O(N²) (хоча просторове хешування знижує її до O(N log N)) і поступається у точності методам скінченних елементів високого порядку для гладких потоків.

Система тиск-в'язкість-гравітація

Симулятор інтегрує три складові сили на кожному підкроці:

• Тиск — від локалізованих надлишків густини понад рівноважну густину ρ₀. Використовує симетризований градієнт «колючого» ядра: F_p = −m (pᵢ+pⱼ)/2ρⱼ ∇W_spiky
• В'язкість — дифузія імпульсу, що згладжує різниці швидкостей: F_ν = νm(vⱼ−vᵢ)/ρⱼ ∇²W_visc
• Гравітація — постійна спрямована вниз об'ємна сила, що діє на всі частинки.

Пружне відбиття від меж із коефіцієнтом демпфування 0.4 моделює поглинання енергії реальними бетонними стінами. Три підкроки на кадр анімації (dt=0.004 с кожен) утримують виконання умови стійкості CFL при 60 кадрах на секунду.