create the dependency graph and adjacency list

create the reverse dependency graph and adjacency list

identify the postorder running$$depth$-$first search forest on$$the reverse dependency graph. The order of vertices for the search is numerical $($R$0,$ R$1,$ R$2,...)$

identify the strongly connected components. This is done by running depth$-$first search forest on$$the $($forward$)$ dependency graph. The order of vertices for the search is the reverse of the postorder found in step $3$

Note: any time you have a choice of which adjacent vertex to visit, go in numerical order.

What to submit: the dependency graph and its adjacency list, the reverse dependency graph and its adjacency list, the postorder obtained from the reverse dependency graph traversal, and pictures of the strongly connected components.$$

#Some Queries are commented out, feel free to uncomment them for you own testing. Schemes: s$0($v$,$w$,$x$,$y$,$z$)$ s$1($a$,$b$,$c$,$d$,$e$)$ s$2($a$,$b$,$c$,$d$,$e$)$ s$3($a$,$b$,$c$,$d$,$e$,$f$,$g$,$i$)$ s$4($a$,$b$,$c$,$d$,$e$)$ s$5($a$,$b$,$c$,$d$,$e$)$ Facts: s$0(\text{'}$a$\text{'},\text{'}$b$\text{'},\text{'}$c$\text{'},\text{'}$d$\text{'},\text{'}$e$\text{'}).$ s$2(\text{'}$f$\text{'},\text{'}$g$\text{'},\text{'}$h$\text{'},\text{'}$i$\text{'},\text{'}$j$\text{'}).$ Rules: s$1($a$,$b$,$c$,$d$,$e$)$ :$-$ s$0($a$,$b$,$c$,$d$,$e$).$ s$1($a$,$b$,$c$,$d$,$e$)$ :$-$ s$2($b$,$c$,$d$,$e$,$a$).$ s$2($a$,$b$,$c$,$d$,$e$)$ :$-$ s$1($b$,$c$,$d$,$e$,$a$).$ s$1($a$,$b$,$c$,$d$,$e$)$ :$-$ s$1($b$,$a$,$c$,$d$,$e$).$ s$3($a$,$f$,$b$,$g$,$c$,$h$,$d$,$i$)$ :$-$ s$1($a$,$b$,$c$,$d$,$e$),$s$2($f$,$g$,$h$,$i$,$j$).$ s$5($a$,$b$,$c$,$d$,$e$)$ :$-$ s$0($a$,$b$,$c$,$d$,$e$).$ s$4($a$,$b$,$c$,$d$,$e$)$ :$-$ s$3($a$,$b$,$z$,$y$,$c$,$d$,$e$,$i$),$s$5($m$,$n$,$x$,$y$,$z$).$ s$5($a$,$b$,$c$,$d$,$e$)$ :$-$ s$4($a$,$b$,$c$,$d$,$e$),$s$5($a$,$w$,$x$,$y$,$z$).$ s$5($a$,$b$,$c$,$d$,$e$)$ :$-$ s$5($e$,$a$,$b$,$c$,$d$).$ Queries: #scc$1$o$1($a$,$b$,$c$,$d$,$e$)?$ #scc$2$o$1($a$,$b$,$c$,$d$,$e$)?$ #scc$1$o$2($a$,$b$,$c$,$d$,$e$,$f$,$g$,$h$,$i$,$j$)?$ #scc$1$o$3($a$,$b$,$c$,$d$,$e$,$f$)?$ #s$3($a$,$b$,$c$,$d$,$e$,,$g$)?$ s$5($a$,$b$,$c$,$d$,$e$)?$