Closed hoechp closed 7 years ago
I don't know, why it doesn't look that symmetrical - but according to the number of states, it seems to be right
Something crashes, if you try to zoom or shift things - and I removed the click handlers for now.
It's supposed to be rather minimalistic - but I could always improve all kinds of things regarding the visualization.
I think it looks not quite symmetric, because the reachability graph is calculated in a depth-first order. Unlike with a real search, where you look for a path, here it doesn't matter if it's breadth-first or dept-first in terms of memory or time for a single check. But possibly it could influence overall performance, because potentially more states will be known with lesser depth, when using breadth-first search, making more graphs fail to become a new rg-node in the end. I just have to try out and compare.. Also with breadth-first order, the graph would certainly look much more symmetrical, using alchemy.js
improve visualization, possibly using alchemy.js instead of sigma.js - also maybe generate html files instead of json files for another html to read, many browsers have problems with external files from the filesystem.