search

takemaru / graphillion

Fast, lightweight graphset operation library
Other
460 stars 40 forks source link

Extracting the ZDD ala Shen et al. #70

Open a3madkour opened 2 months ago

a3madkour commented 2 months ago

Hello, I ran into graphillion whilst reading this paper: https://ojs.aaai.org/index.php/AAAI/article/view/4796

It seems the authors were able to use Graphillion to generate a ZDD and then convert it to an SDD. I was curious if you are aware of how they did that given that graphillion does not provide a direct interface with the underlying ZDDs.

Thank you

takemaru commented 2 months ago

I have no idea how they got the ZDD structure, but for a given GraphSet gs, you can get the ZDD structure with gs.dump(fp) or zdd_tr = gs.dumps(). The output format is straight-forward: each line represents NodeID Var 0-Child 1-Child.