Show simple item record

Files in this item

Thumbnail
Name:
Jefferson_2018_JSC_newrefiners_CC.pdf
Size:
527.0Kb
Format:
PDF
View/Open

New refiners for permutation group search

Item metadata

dc.contributor.authorJefferson, Christopher
dc.contributor.authorPfeiffer, Markus
dc.contributor.authorWaldecker, Rebecca
dc.date.accessioned2018-10-17T11:30:08Z
dc.date.available2018-10-17T11:30:08Z
dc.date.issued2019-05
dc.identifier245468143
dc.identifier52864027-63bf-4373-b4a1-7b794318a6ea
dc.identifier85040448413
dc.identifier000453109800006
dc.identifier.citationJefferson , C , Pfeiffer , M & Waldecker , R 2019 , ' New refiners for permutation group search ' , Journal of Symbolic Computation , vol. 92 , pp. 70-92 . https://doi.org/10.1016/j.jsc.2017.12.003en
dc.identifier.issn0747-7171
dc.identifier.otherArXiv: http://arxiv.org/abs/1608.08489v1
dc.identifier.otherORCID: /0000-0002-9881-4429/work/47136374
dc.identifier.otherORCID: /0000-0003-2979-5989/work/60887562
dc.identifier.urihttps://hdl.handle.net/10023/16254
dc.description.abstractPartition backtrack is the current generic state of the art algorithm to search for subgroups of a given permutation group. We describe an improvement of partition backtrack for set stabilizers and intersections of subgroups by using orbital graphs. With extensive experiments we demonstrate that our methods improve performance of partition backtrack – in some cases by several orders of magnitude.
dc.format.extent23
dc.format.extent539654
dc.language.isoeng
dc.relation.ispartofJournal of Symbolic Computationen
dc.subjectBacktrack searchen
dc.subjectRefinersen
dc.subjectPermutation groupsen
dc.subjectAlgorithmic group theoryen
dc.subjectComputational algebraen
dc.subjectPartition backtracken
dc.subjectQA75 Electronic computers. Computer scienceen
dc.subjectQA Mathematicsen
dc.subjectNDASen
dc.subject.lccQA75en
dc.subject.lccQAen
dc.titleNew refiners for permutation group searchen
dc.typeJournal articleen
dc.contributor.sponsorEPSRCen
dc.contributor.sponsorEuropean Commissionen
dc.contributor.sponsorEPSRCen
dc.contributor.institutionUniversity of St Andrews. School of Computer Scienceen
dc.contributor.institutionUniversity of St Andrews. Centre for Interdisciplinary Research in Computational Algebraen
dc.identifier.doi10.1016/j.jsc.2017.12.003
dc.description.statusPeer revieweden
dc.identifier.grantnumberEP/M022641/1en
dc.identifier.grantnumber676541en
dc.identifier.grantnumberEP/M003728/1en


This item appears in the following Collection(s)

Show simple item record

Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.