Why output times?

Report a typo

Kosaraju's algorithm is based on an important property of output times:

Assume we have two SCC-s, C1C_1 and C2C_2 and an edge from some node in C1C_1 to some node in C2C_2. Denote by out1out_1 the largest output time among all nodes in C1C_1, and similiarly out2out_2 for C2C_2.

What does this property assert?

Select one option from the list
___

Create a free account to access the full topic