교차로에서 북쪽 길을 지우면 통행 제한을 정확히 나타낼 수 있을까요? 종이 지도에 왼쪽 P, 아래 Q, 가운데 J, 오른쪽 R, 위쪽 S를 놓아요. 길은 P→J, Q→J, J→R, J→S 네 방향뿐이고 되돌아가는 길은 없어요.
이 자체 모형에서는 P에서 들어오면 R로만 나가야 하지만, Q에서 들어오면 R과 S 모두 허용해요. OpenStreetMap의 회전 제한도 들어온 길·통과점·나갈 길을 함께 지정해요. 실제 지역의 다른 교통 규칙을 없다고 가정하는 설명은 아니에요.
F(P,J)는 P에서 J로 들어왔을 때 허용된 다음 점들의 집합이에요. F(Q,J)도 같은 뜻이에요. 원소를 나열하면 다음처럼 달라요.
∈는 그 집합의 원소라는 뜻이고 ∉는 원소가 아니라는 뜻이에요. 두 도로를 지나는 기록은 (P,J,R), (P,J,S), (Q,J,R), (Q,J,S) 네 개예요. 조건을 적용하면 (P,J,S)만 제외돼 세 개가 남아요.
J→S를 통째로 지우면 허용된 (Q,J,S)도 잃어요. 반대로 들어온 길을 구별하지 않고 J→S를 남기면 금지된 (P,J,S)를 허용해요. 현재 위치 J만 적은 한 출구 목록으로는 두 조건을 함께 나타낼 수 없어요.
J 카드를 (P,J)와 (Q,J) 두 장으로 나눠 볼까요? 첫 카드에는 R로 가는 화살표 하나, 둘째에는 R과 S로 가는 두 화살표를 붙여요. 이렇게 만든 세 경로의 점 기록은 앞서 남긴 세 개와 정확히 같아요. 길을 삭제하기 전에 어떤 허용 경로가 함께 사라지는지 확인해 봐요.
착안: OpenStreetMap Wiki, Relation:restriction. 원전의 지정 방식에서 자체 종이 지도와 경로 구성 사례를 만들었어요. 실제 지도·표지판·통행 안내는 사용하지 않았어요.