#10482: Add Weisfeiler-Leman algorithm to sage.graphs
-------------------------------------+-------------------------------------
Reporter: kini | Owner: kini
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-5.13
Component: graph theory | Resolution:
Keywords: weisfeiler-leman | Merged in:
algorithm, graphs, coherent | Reviewers:
configurations, refinement | Work issues: fix the bug with wl-
Authors: Keshav Kini | bug example
Report Upstream: N/A | Commit:
Branch: | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by kini):
I'm not sure what to do with this now. As I recall, I did try stepping
carefully through the code back in 2011, and it was doing what I expected
it to do, and as far as I could tell it also matched what's written in the
paper I based the code on. Yet the answer is wrong for the `wl-bug` case.
So either the code doesn't do what I thought it did after all (certainly
possible), or I misread the paper or other resources in some subtle way,
or the algorithm in the paper is wrong in some subtle way (I wrote
`STABIL.c` more or less completely based on the description of the
algorithm in the paper and not on the original code, which ''does'' work
on `wl-bug`). I'm not sure which of these is the case, and now I don't any
longer remember the code I wrote or the contents of the paper well enough
to try to find out which of these is the case.
Perhaps at this point the better solution is to just use the old code
(which is what you originally suggested in 2010). My code was supposed to
allow for a wider variety of input and more memory usage than made sense
back in the 80s, but all of that is worthless if the output is not
correct... :(
--
Ticket URL: <http://trac.sagemath.org/ticket/10482#comment:12>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
