Its main idea is that any partial path of the alignment along the optimal path should be the optimal path leading up to that point.
the optimal path can be determined by incremental extension of the optimal subpaths (Schuler, 2002).