Explore Graph Products!

Created as part of my work on irreversible k-threshold dynamics on corona-type graph products, this simulator helps make seed-set design and propagation behavior tangible. It is built for experimentation to help connect proofs, conjectures, and examples to what the process actually does on the graph. 

This tool lets you build structured graph families and test the irreversible k-threshold process in a way that is visual, repeatable, and explainable. You can generate corona (Cn ⊙ Kp), double corona (Cn ⊚ Kp), and base-b corona (Cn ⊙[b] Kp) product graphs alongside cycle, path, complete, complete bipartite, random, and custom graphs. Select a seed set S0, run the timeline, and use features like the need-heatmap to study why a process succeeds, stalls, or becomes k-inconvertible.

You can also click and drag the nodes to rearrange them, revealing different isomorphic representations of the same graph structure. 

Have fun and enjoy!