Пусть есть некоторая величина
![$l$ $l$](https://dxdy-03.korotkov.co.uk/f/2/f/2/2f2322dff5bde89c37bcae4116fe20a882.png)
- длинна
Введем объект
![$t$ $t$](https://dxdy-01.korotkov.co.uk/f/4/f/4/4f4f4e395762a3af4575de74c019ebb582.png)
характеризуемый уникальным параметром
![$name$ $name$](https://dxdy-04.korotkov.co.uk/f/7/7/8/778081a75adb84e1585d1f3b9dd9646082.png)
,
![$t(name)$ $t(name)$](https://dxdy-03.korotkov.co.uk/f/a/8/2/a824995d88c2761bcab3fd6b8e27d5f482.png)
- точка
Введем объект
![$L$ $L$](https://dxdy-02.korotkov.co.uk/f/d/d/c/ddcb483302ed36a59286424aa5e0be1782.png)
характеризуемый параметром
![$l$ $l$](https://dxdy-03.korotkov.co.uk/f/2/f/2/2f2322dff5bde89c37bcae4116fe20a882.png)
и упорядоченным множеством объектов типа
![$t$ $t$](https://dxdy-01.korotkov.co.uk/f/4/f/4/4f4f4e395762a3af4575de74c019ebb582.png)
мощностью от 0 до 2,
![$ L(l, t_L, t_R)$ $ L(l, t_L, t_R)$](https://dxdy-01.korotkov.co.uk/f/8/8/b/88bcce0d41a90c2fee52385470ff132d82.png)
- ограничинная с двух сторон линия,
![$L(l, t_L)$ $L(l, t_L)$](https://dxdy-01.korotkov.co.uk/f/8/2/5/825dc3c508b4f55cf6a1295e547bed7582.png)
- ограничинная слева линия,
![$L(l, t_R)$ $L(l, t_R)$](https://dxdy-02.korotkov.co.uk/f/9/4/7/94706b6958e68655d066a43a641cd8db82.png)
- ограничинная справа линия,
![$L(l)$ $L(l)$](https://dxdy-04.korotkov.co.uk/f/b/1/6/b16ecc17115fdbf0c6029cf1988119ef82.png)
- неограниченная линия.
Пусть заданы
![$L_1(l_1, t_L_1, t_R_1), L_2(l_2, t_L_2, t_R_2)$ $L_1(l_1, t_L_1, t_R_1), L_2(l_2, t_L_2, t_R_2)$](https://dxdy-02.korotkov.co.uk/f/d/7/a/d7a3507b24fd4f2111f6e6d877ec15d182.png)
Если
![$t_R_1$ $t_R_1$](https://dxdy-04.korotkov.co.uk/f/f/e/7/fe750d476d2b88c759268e7df00683be82.png)
совпадает с
![$t_R_2$ $t_R_2$](https://dxdy-01.korotkov.co.uk/f/8/5/b/85b48a4b7c1a7b6be25c1c8e168d47ea82.png)
, то линии примыкают друг к другу.
Тогда
![$L_1(l_1, t_L_1, t_R_1)+ L_2(l_2, t_L_2, t_R_2)=L_3(l_1+l_2, t_L_1, t_R_2)=L_3(l_3, t_L_3, t_R_3)$ $L_1(l_1, t_L_1, t_R_1)+ L_2(l_2, t_L_2, t_R_2)=L_3(l_1+l_2, t_L_1, t_R_2)=L_3(l_3, t_L_3, t_R_3)$](https://dxdy-03.korotkov.co.uk/f/6/1/1/611884dc0352340556776dd05f8b131782.png)
![$t(a)$ $t(a)$](https://dxdy-02.korotkov.co.uk/f/1/0/8/108cf629e4fd90d1ada9f650f6b7b77d82.png)
- внутренняя точка. ...
Тогда
![$L(l, t_L, t_R, T)$ $L(l, t_L, t_R, T)$](https://dxdy-01.korotkov.co.uk/f/8/2/5/82502c83979a5e7d007ecbecf397529382.png)
, где
![$T$ $T$](https://dxdy-03.korotkov.co.uk/f/2/f/1/2f118ee06d05f3c2d98361d9c30e38ce82.png)
- множество внутренних точек. ...
Тогда любая линия есть множество примыкающих линий
-- Чт май 03, 2012 18:42:56 --ewertЗачем. Вводом объекта мы задаем множество таких объектов. Пример показать?