Skip to content

Implemented a more refined version of the two-closure computation#10

Open
JHahnHRO wants to merge 1 commit intogap-packages:masterfrom
JHahnHRO:twoClosureComputation
Open

Implemented a more refined version of the two-closure computation#10
JHahnHRO wants to merge 1 commit intogap-packages:masterfrom
JHahnHRO:twoClosureComputation

Conversation

@JHahnHRO
Copy link

The original algorithm simply intersects the automorphism groups of (almost) ALL orbital graphs. That really isn't necessary, most orbital graphs do not contribute anything new to the intersection. This new algorithm uses computations inside the endomorphism algebra of the permutation module to cut down on the number of necessary orbital graphs and should therefore be much faster.

@PaulaHaehndel
Copy link
Collaborator

@markuspf
Copy link
Member

markuspf commented Mar 19, 2019

Did you try comparing the runtimes of this function with runtimes of the original function? What happens if you just stupidly use edge-coloured graphs?

If you do benchmarks, please provide the examples and timings.

G -> Intersection(List(OrbitalGraphs(G), AutomorphismGroup)) );
# TODO: TwoClosure as implemented by Heiko Theißen requires the group
# to be transitive.
# to be transitive.
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Why?

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

No particular reason. It's just whitespace in a comment, didn't think about it much.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants