Introduction to Strongly Connected Component
Definition
Property
SCC Compression
Detail process
Time complexity and the correctness
Template code
Tarjan's Algorithm for SCC
Detail process
Time complexity and the correctness
Template code
Kosaraju's Algorithm
Detail process
Time complexity and the correctness
Template code
Introduction to 2-SAT problem
Definition
Transfer 2-SAT to a Graph
Krom's Algorithm
Problems