Предикат "левый поворот" — различия между версиями
(Новая страница: «Допустим нам дана задача: проверить, пересекаются ли заданные отрезки на плоскости. Для уп…») |
|||
| Строка 12: | Строка 12: | ||
| − | Итак, у нас есть | + | Итак, у нас есть задача, с чего начнем её решать? Одно из решений - определить, лежат ли точки концов отрезков по разные стороны от другого отрезка. Вот тут нам и поможет предикат. Два из трех аргументов это точки концов одного отрезка, а последний - один из концов другого отрезка. |
| − | |||
== Ссылки == | == Ссылки == | ||
* [http://ru.wikipedia.org/wiki/%D0%9F%D1%80%D0%B5%D0%B4%D0%B8%D0%BA%D0%B0%D1%82 Wikipedia - Предикат] | * [http://ru.wikipedia.org/wiki/%D0%9F%D1%80%D0%B5%D0%B4%D0%B8%D0%BA%D0%B0%D1%82 Wikipedia - Предикат] | ||
Версия 22:16, 30 сентября 2011
Допустим нам дана задача: проверить, пересекаются ли заданные отрезки на плоскости. Для упрощения определения этого факта в вычислительной геометрии используется предикат "левый поворот". Left_Turn(a, b, c). Для начала разберемся, что за зверь такой - Предикат.
| Определение: |
| Предикат (лат. praedicatum — заявленное, упомянутое, сказанное) — любое математическое высказывание, в котором есть, по меньшей мере, одна переменная |
Примеры
- Например, обозначим предикатом EQ(x, y) отношение равенства («x = y»), где x и y принадлежат множеству вещественных чисел. В этом случае предикат EQ будет принимать истинное значение для всех равных x и y.
- Более житейским примером может служить предикат ПРОЖИВАЕТ(x, y, z) для отношения «x проживает в городе y на улице z» или ЛЮБИТ(x, y) для «x любит y», где множество M — это множество всех людей.
Итак, у нас есть задача, с чего начнем её решать? Одно из решений - определить, лежат ли точки концов отрезков по разные стороны от другого отрезка. Вот тут нам и поможет предикат. Два из трех аргументов это точки концов одного отрезка, а последний - один из концов другого отрезка.
