Войти
ПрограммированиеФорум

Separating Axis Theorem (Теорема о разделяющей оси) (комментарии) (2 стр)

Страницы: 1 2
#15
11:03, 19 сен 2023

Aroch
Повторяю для нечитателей
Также можно взять узкий треугольник, устремив его толщину к 0, в пределе получим отрезок, нормали сторон стремятся к нормали к отрезку

> добавил с игнор за тупость, можешь не отвечать
пнх

#16
18:57, 19 сен 2023

1Man1
> Прикажешь отменить интегрирование, дифференцирование, счисление рядов и пределов, мат индукцию, в общем всю математику?
Ничего из этого не содержит бесконечного количество шагов.
Мы это недавно подробно обсуждали, и раньше темы были.

> А я думаю, что нет, можно построить пример и для многоугольников ненулевой площади.
Ну так давай и построй, с нулевой тоже сойдет. Разделяющая ось, к сведению, совсем не обязательно соответствует минимальному расстоянию.

> Также можно взять узкий треугольник, устремив его толщину к 0
Нельзя, ибо не имеет предела в виде пересечения полуплоскостей.

#17
11:36, 20 сен 2023

}:+()___ [Smile]
Мат индукция = именно бесконечное число шагов, твою тему не читал

А ты докажи, что у двух непересекающихся выпуклых многоугольников обязательно одна из их нормалей является разделяющей осью. Можешь?

#18
21:56, 20 сен 2023

1Man1
> Мат индукция = именно бесконечное число шагов
Садись, два. Аксиома индукции — это как из двух утверждений получить третье.

#19
5:01, 21 сен 2023

}:+()___ [Smile]
Какая чушь! Мат индукция - это доказательство для N от 1 до бесконечности

#20
5:07, 21 сен 2023

Понял с нормалями
Если у двух выпуклых непересекающихся многоугольников ближайшие вершиныи A и B, они образуют с прилежащими сторонами AA1, AA2 и BB1, BB2 тупые углы. Берем из AA1, AA2 сторону, составляющую с AB меньший угол, это будет одна из разделяющих прямых, а нормаль к ней - соотв разделяющей осью
Осталось рассмотреть случай 3D

Страницы: 1 2
ПрограммированиеФорум