This post is a demo of the reduction of vertices (see article IJCAI2023).

Reduction of vertices (see article IJCAI2023).

Choose the graph with the menu, check original version or uncheck for reduced one, checking WVCP add weights to the graph (no reduced version of 0_test). Choose the rules to apply and click on "Reduction" button. If "don't stop" is checked, the reduction will be applied until no more vertices can be reduced. Otherwise, click the "play" button to apply the reduction one step at a time.

Nb Vertices : R0: R1: R2: Total: Iter: Nb Vertices after reduction :