Open maxhwardg opened 8 years ago
As an extension, you could also include solving 2-SAT in linear time, since it is basically just applied SCC.
As an extension, you could also include solving 2-SAT in linear time, since it is basically just applied SCC.