Describe dijkstra approach and other things in congruence graph part