VISUALIZING NP-COMPLETENESS THROUGH CIRCUIT-BASED WIDGETS