bos ord jfk sfo sfo dfw dfw lax lax mia (amia (bbos ord jfk sfo sfo dfw dfw bos jfk ord lax ord jfk bos lax (cv mia mia (dbos bos ord ord jfk jfk sfo sfo dfw dfw lax lax mia mia ( ( figure sequence of directed graphs computed by the floyd-warshall algo= and numbering of the vertices(bdirected rithm(ainitial directed graph note that   if directed graph (cg (dg (eg ( graph gk- has the edges (vi vk and (vk )but not the edge (vi )in the drawk we show edges (vi vk and (vk with dashed linesand ing of directed graph edge (vi with thick line for examplein (bexisting edges (mia,laxand (lax,ordresult in new edge (mia,ord