Dijkstra's algorithm
The time for the two recursive calls to formula_11 and formula_13 in this algorithm is dominated by the time to perform the formula_1 calls to Dijkstra's algorithm, so this algorithm finds the shortest cycle in formula_216 time.