У математиці та її застосуваннях, функція відстані зі знаком або поле відстані зі знаком (ПВЗ; ) — ортогональна відстань від заданої точки до межі множини в метричному просторі (наприклад, поверхні геометричної фігури), причому знак визначається тим, чи міститься усередині . Функція має додатні значення в точках усередині , її значення зменшується, коли наближається до межі , де функція відстані зі знаком дорівнює нулю, і набуває від'ємних значень поза . Однак іноді замість цього використовують протилежну домовленість (тобто від'ємні значення всередині та додатні зовні). Цю концепцію також іноді називають орієнтованою функцією/полем відстані.

Визначення Нехай  — підмножина метричного простору із метрикою , а  — її межа. Відстань між точкою із та підмножиною визначають, як

де позначає інфімум.

Функцію відстані зі знаком від точки із до визначають як

Властивості в евклідовому просторі Якщо  — підмножина евклідового простору Rn з кусково-гладкою межею, то функція відстані зі знаком диференційовна майже скрізь, а її градієнт задовольняє рівняння ейконалу

Якщо межа є для (див. Класи диференційовності), то є в точках, достатньо близьких до межі . Зокрема, на межі задовольняє умову

де N — векторне поле нормалей внутрішньої ділянки. Таким чином, функція відстані зі знаком є диференційовним розширенням поля нормалей. Зокрема, гессіан функції відстані зі знаком на межі дає відображення Вайнгартена.

Якщо, далі,  — це ділянка, достатньо близька до межі , така що є двічі неперервно диференційовною на ній, то існує явна формула, що включає відображення Вайнгартена для якобіана змінюваних змінних через функцію відстані зі знаком та найближчу точку межі. Зокрема, якщо  — множина точок на відстані від межі (тобто трубчастого околу радіуса ), а  — на , то

де позначає визначник, а вказує на те, що ми беремо поверхневий інтеграл.

Алгоритми Алгоритми для обчислення функції відстані зі знаком включають ефективний , та загальніший .

Для воксельного рендерингу швидкий алгоритм обчислення ПВЗ в мангеттенській метриці використовує таблиці сумарних площ.

Застосування

Функції відстані зі знаком застосовують, наприклад, для рендерингу в реальному часі, зокрема, в методі , та в комп'ютерному зорі.

ПВЗ використовують для опису геометрії об'єктів у режимі реального часу, зазвичай у контексті маршування променів, починаючи від середини 2000-х років. 2007 року Valve використовувала ПЗВ для рендерингу за великого розміру пікселів (або високої роздільності) в іграх із прискоренням ГП. Метод Valve не ідеальний, оскільки працює в растровому просторі, щоб уникнути обчислювальної складності розв'язання задачі в (неперервному) векторному просторі. Відрендерений текст часто втрачає гострі кути. 2014 року представив удосконалений метод. GLyphy Бегдада апроксимує криві Безьє шрифту за допомогою дугових сплайнів, із прискоренням методами дискретизації на основі сітки (які відсікають занадто віддалені точки) для роботи в режимі реального часу. Source Code

Модифіковану версію ПВЗ введено як функцію втрат для мінімізації помилки взаємопроникнення пікселів під час візуалізації кількох об'єктів. Зокрема, для будь-якого пікселя, який не належить об'єкту, якщо він лежить поза об'єктом відтворення, поправка не робиться; якщо ж належить, то застосовується додатне значення, пропорційне його відстані всередині об'єкта.

2020 року у вільному ігровому рушії Godot 4.0 з'явилося глобальне освітлення в реальному часі на основі ПВЗ (ПВЗГО; ), яке стало компромісом між реалістичнішим воксельним ГО та запеченим ГО. Його основна перевага в тому, що його можна застосовувати в нескінченному просторі. Це дає змогу розробникам використовувати його для ігор з відкритим світом.

2023 року автори текстового редактора Zed анонсували фреймворк GPUI, який малює всі елементи інтерфейсу користувача за допомогою графічного процесора зі швидкістю 120 кадрів на секунду. У роботі використано список геометричних примітивів Іньїго Кілеса (Inigo Quilez) в ПВЗ, гауссове згладжування в ПВЗ співзасновника Figma Евана Воллеса (Evan Wallace) та нове ПВЗ із закругленими прямокутниками.

Див. також Метричний простір Ейконал Паралельна крива (також відома як зміщена крива)

Заряд (теорія міри) Мішаний добуток

Примітки

Посилання

(або додаток до 1-го видання 1977 року)