Configuration graph

Configuration graphs are a theoretical tool used in computational complexity theory to prove a relation between graphreachability and complexity classes.