30
правок
Изменения
Нет описания правки
[[Файл:samplesHalfspaces.png|400px|thumb|right|Пересечение существует и выпукло, неограниченно или пусто]]
== Предикат трех прямых ==
Задача: есть конечное множество полуплоскостей, найти фигуру их пересечения или сообщить что оно пусто.
От пересечения цепочек напрямую зависит фигура пересечения: неограниченная область получается если одна из цепочек пуста, а ограниченная {{---}} когда обе цепочки не пусты и пересекаются.
{{Лемма