I'm interested in creating a mathematical model of an underground (tube) system. The overall aim is being able to efficiently calculate travel times between stations.
Such a system has some interesting properties, for example:
- if station $B$ belongs to the quickest route between $A$ and $C$, then the sub-routes $AB$ and $BC$ are also the quickest;
- however, in general, the opposite is not true. If $AB$ and $BC$ are quickest routes, then it does not follow that the union is also the quickest route.
What is the branch of mathematics that studies such problems? What are some interesting theorems?