Article

Finding the smallest image of a set

Author:

Steve LintonAuthors Info & Claims

ISSAC '04: Proceedings of the 2004 international symposium on Symbolic and algebraic computation

Pages 229 - 234

https://doi.org/10.1145/1005285.1005319

Published: 04 July 2004 Publication History

Get Access

Abstract

We describe an algorithm for finding a canonical image of a set of points under the action of a permutation group. Specifically if we order images by sorting them and ordering the resulting sequences lexicographically, we find the first image. This has applications to combinatorial and other search problems, allowing isomorphic results to be eliminated more efficiently.We give worst-case asymptotic running time estimates and practical results obtained with a GAP implementation.

References

[1]

P. Flener, A. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, J. Pearson, and T. Walsh. Breaking row and column symmetries in matrix models. In Proc. 8th International Conference on Principles and Practice of Constraint Programming, number 2470 in LNCS. Springer, 2002.

Digital Library

Google Scholar

[2]

The GAP Group. GAP -- Groups, Algorithms, and Programming, Version 4.3, 2002. (http://www.gap-system.org).

Google Scholar

[3]

Richard E Korf. Depth-first iterative-deepening: An optimal admissible tree search. Artificial Intelligence, 27(1):97--109, 1985.

Digital Library

Google Scholar

[4]

Jeffrey S. Leon. Permutation group algorithms based on partitions. I. Theory and algorithms. J. Symbolic Comput., 12(4-5):533--583, 1991. Computational group theory, Part 2.

Digital Library

Google Scholar

[5]

Jeffrey S. Leon. Partitions, refinements, and permutation group computation. In Groups and computation, II (New Brunswick, NJ, 1995, volume 28 of DIMACS Ser. Discrete Math. Theoret. Comput. Sci., pages 123--158. Amer. Math. Soc., Providence, RI, 1997.

Google Scholar

[6]

Eugene M. Luks. Permutation groups and polynomial-time computation. In Groups and computation New Brunswick, NJ, 1991, volume 11 of DIMACS Ser. Discrete Math. Theoret. Comput. Sci., pages 139--175. Amer. Math. Soc., Providence, RI, 1993.

Google Scholar

[7]

Akos Seress. Permutation group algorithms, volume 152 of Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge, 2003.

Google Scholar

[8]

Charles C. Sims. Computation with permutation groups. In Proc. Second Symposium on Symbolic and Algebraic Manipulation, pages 23--28. ACM Press, 1971.

Digital Library

Google Scholar

[9]

Charles C. Sims. Determining the conjugacy classes of a permutation group. In Computers in algebra and number theory Proc. SIAM-AMS Sympos. Appl. Math., New York, 1970, pages 191--195. SIAM--AMS Proc., Vol. IV. Amer. Math. Soc., Providence, R.I., 1971.

Google Scholar

[10]

Leonard H. Soicher. GRAPE: a system for computing with graphs and groups. In Groups and computation (New Brunswick, NJ, 1991), volume 11 of DIMACS Ser. Discrete Math. Theoret. Comput. Sci., pages 287--291. Amer. Math. Soc., Providence, RI, 1993.

Google Scholar

[11]

Leonard H. Soicher. On the structure and classification of SOMAs: generalizations of mutually orthogonal Latin squares. Electron. J. Combin., 6(1):Research Paper 32, 15 pp. (electronic), 1999.

Google Scholar

Cited By

View all

Mitchell JMukherjee SVojtěchovský P(2024)Minimal representatives of endofunctionsSemigroup Forum10.1007/s00233-024-10472-4109:3(626-638)Online publication date: 17-Oct-2024
https://doi.org/10.1007/s00233-024-10472-4
Soicher L(2024)Software for Proper Vertex-Colouring Exploiting Graph SymmetryMathematical Software – ICMS 202410.1007/978-3-031-64529-7_12(106-112)Online publication date: 17-Jul-2024
https://doi.org/10.1007/978-3-031-64529-7_12
Alazemi ABetten A(2024)Computing the Group of an Algebraic Variety over a Finite FieldMathematical Software – ICMS 202410.1007/978-3-031-64529-7_10(89-96)Online publication date: 17-Jul-2024
https://doi.org/10.1007/978-3-031-64529-7_10
Show More Cited By

Index Terms

Finding the smallest image of a set

Recommendations

An improved algorithm for sorting by block-interchanges based on permutation groups

Given a chromosome represented by a permutation of genes, a block-interchange is proposed as a generalized transposition that affects the chromosome by swapping two non-intersecting segments of genes. The problem of sorting by block-interchanges is to ...
Quasiperiods, subword complexity and the smallest pisot number

A quasiperiod of a finite or infinite string/word is a word whose occurrences cover every part of the string. A word or an infinite string is referred to as quasiperiodic if it has a quasiperiod. It is obvious that a quasiperiodic infinite string cannot ...
A permutation group determined by an ordered set

Let P be a finite ordered set, and let J(P) be the distributive lattice of order ideals of P. The covering relations of J(P) are naturally associated with elements of P; in this way, each element of P defines an involution on the set J(P). Let Γ(P) be ...

Comments

Information & Contributors

Information

Published In

ISSAC '04: Proceedings of the 2004 international symposium on Symbolic and algebraic computation

July 2004

334 pages

ISBN:158113827X

DOI:10.1145/1005285

General Chair:
Josef Schicho
RICAM, Austrian Academy of Sciences, Linz, Austria

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 04 July 2004

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ISSAC04

Sponsor:

ISSAC04: International Symposium on Symbolic and Algebraic Computation

July 4 - 7, 2004

Santander, Spain

Acceptance Rates

Overall Acceptance Rate 395 of 838 submissions, 47%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

12
Total Citations
View Citations
239
Total Downloads

Downloads (Last 12 months)6
Downloads (Last 6 weeks)1

Reflects downloads up to 06 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Mitchell JMukherjee SVojtěchovský P(2024)Minimal representatives of endofunctionsSemigroup Forum10.1007/s00233-024-10472-4109:3(626-638)Online publication date: 17-Oct-2024
https://doi.org/10.1007/s00233-024-10472-4
Soicher L(2024)Software for Proper Vertex-Colouring Exploiting Graph SymmetryMathematical Software – ICMS 202410.1007/978-3-031-64529-7_12(106-112)Online publication date: 17-Jul-2024
https://doi.org/10.1007/978-3-031-64529-7_12
Alazemi ABetten A(2024)Computing the Group of an Algebraic Variety over a Finite FieldMathematical Software – ICMS 202410.1007/978-3-031-64529-7_10(89-96)Online publication date: 17-Jul-2024
https://doi.org/10.1007/978-3-031-64529-7_10
Jefferson CWaldecker RWilson W(2023)Computing canonical images in permutation groups with Graph BacktrackingJournal of Computational Algebra10.1016/j.jaca.2023.100010(100010)Online publication date: Oct-2023
https://doi.org/10.1016/j.jaca.2023.100010
Bamberg JFilmus YIhringer FKurz S(2023)Affine vector space partitionsDesigns, Codes and Cryptography10.1007/s10623-023-01263-zOnline publication date: 25-Jun-2023
https://doi.org/10.1007/s10623-023-01263-z
Ball SGamboa GLavrauw M(2021)On additive MDS codes over small fieldsAdvances in Mathematics of Communications10.3934/amc.2021024(0)Online publication date: 2021
https://doi.org/10.3934/amc.2021024
Holt DRoyle GTracey G(2021)The transitive groups of degree 48 and some applicationsJournal of Algebra10.1016/j.jalgebra.2021.06.018Online publication date: Jun-2021
https://doi.org/10.1016/j.jalgebra.2021.06.018
Peifer D(2019)An algorithm for enumerating difference setsJournal of Software for Algebra and Geometry10.2140/jsag.2019.9.359:1(35-41)Online publication date: 18-May-2019
https://doi.org/10.2140/jsag.2019.9.35
Gent IJefferson CLinton SMiguel INightingale P(2014)Generating custom propagators for arbitrary constraintsArtificial Intelligence10.1016/j.artint.2014.03.001211:1(1-33)Online publication date: 1-Jun-2014
https://dl.acm.org/doi/10.1016/j.artint.2014.03.001
Kunkle DCooperman GJohnson JPark HKaltofen E(2009)Biased tadpolesProceedings of the 2009 international symposium on Symbolic and algebraic computation10.1145/1576702.1576734(223-230)Online publication date: 28-Jul-2009
https://dl.acm.org/doi/10.1145/1576702.1576734
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

An improved algorithm for sorting by block-interchanges based on permutation groups

Quasiperiods, subword complexity and the smallest pisot number

A permutation group determined by an ordered set

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

PDF

eReader

Abstract

References

Cited By

Index Terms

Recommendations

An improved algorithm for sorting by block-interchanges based on permutation groups

Quasiperiods, subword complexity and the smallest pisot number

A permutation group determined by an ordered set

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations