Walkthrough showing an NP-completeness proof for the Vertex Cover problem. A slideshow presentatino where each step has text explaining what is happening.

Simple-to-use user interface for walking through the example. Simply open up the AV (see directions below) and step through the example with pseudo-code. As you go through the example, you are directed to the corresponding line in the pseudocode and given a line or two of explanation in the message window. Attractive layout of the data, including colors. Unfortunately, there is no support for supplying your own graph to see what happens.

The link above will take you to the ALVIE website. That page should lead you to a download link. Download and unzip the ALVIE system. Double click on the .jar file. Within the ALVIE pane (not the GRIND pane), click on the "eye" icon (third icon from the left in the toolbar) to get a list of algorithms from which select the AV that you want. Once selected, click OK and step through the AV with the arrow icons.