[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1145/3613347.3613348acmotherconferencesArticle/Chapter ViewAbstractPublication PagesicomsConference Proceedingsconference-collections
research-article

The Pancake Graph of Order 10 Is 4-Colorable

Published: 13 December 2023 Publication History

Abstract

The pancake graph has served as a model for real-world networks due to its unique recursive and symmetric properties. Defined as the Cayley graph on the symmetric group of order n generated by prefix reversals, the n-pancake graph exhibits a rapid increase in the number of vertices and edges with respect to order n. While there are considerable graph-theoretic results on the graph, findings on chromatic properties for larger n are limited. In this paper, the 10-pancake graph is established to be 4-colorable through an efficient Boolean-satisfiability-based stochastic local search framework for vertex coloring. Building on the aforementioned, a new linear bound for the chromatic number of the pancake graph is put forward. In addition, the range of possible bounds that may be obtained from the same technique is determined.

References

[1]
Sheldon Akers and Balakrishnan Krishnamurthy. 1989. A group-theoretic model for symmetric interconnection networks. IEEE Trans. Comput. 38, 4 (1989), 555–566.
[2]
Aldrich Asuncion, Renzo Tan, Christian Chan Shio, and Kazushi Ikeda. 2022. Recursive Linear Bounds for the Vertex Chromatic Number of the Pancake Graph. International Journal of Applied Mathematics 52, 1 (2022), 117–130.
[3]
Pascal Berthome, Afonso Ferreira, and Stephane Perennes. 1996. Optimal information dissemination in star and pancake networks. IEEE Transactions on Parallel and Distributed Systems 7, 12 (1996), 1292–1300.
[4]
Armin Biere. 2017. CaDiCaL, Lingeling, Plingeling, Treengeling, YalSAT Entering the SAT Competition 2017. In Proceedings of SAT Competition 2017 – Solver and Benchmark Descriptions(Department of Computer Science Series of Publications B, Vol. B-2017-1). University of Helsinki, 14–15.
[5]
John Bondy and Uppaluri Murty. 2008. Graph Theory. Springer.
[6]
Gary Chartrand and Ping Zhang. 2009. Chromatic graph theory. CRC Press.
[7]
Phillip Compeau. 1975. Girth of pancake graphs. Discrete Applied Mathematics 159 (1975), 1641–1645.
[8]
Stephen Cook. 1971. The Complexity of Theorem-Proving Procedures. In Proceedings of the 3rd Annual ACM Symposium on Theory of Computing. ACM, 151–158.
[9]
Leen Droogendijk and Elena Konstantinova. In press. An improved bound on the chromatic number of the Pancake graphs. Discussiones Mathematicae Graph Theory (In press).
[10]
Harry Dweighter. 1975. Problem E2569. Amer. Math. Monthly 82 (1975), 1010.
[11]
Niklas Een and Niklas Sorensson. 2003. An Extensible SAT-solver. In Theory and Applications of Satisfiability Testing(Lecture Notes in Computer Science, Vol. 2919). Springer, 502–518.
[12]
Karmella Haynes, Marian Broderick, Adam Brown, Trevor Butner, James Dickson, Lance Harden, Lane Heard, Eric Jessen, Kelly Malloy, Brad Ogden, Sabriya Rosemond, Samantha Simpson, Erin Zwack, Malcolm Campbell, Todd Eckdahl, Laurie Heyer, and Jeffrey Poet. 2008. Engineering bacteria to solve the Burnt Pancake Problem. Journal of Biological Engineering 2, 8 (2008).
[13]
Arkady Kanevsky and Chao Feng. 1995. On the embedding of cycles in pancake graphs. Parallel Comput. 21, 6 (1995), 923–936.
[14]
Elena Konstantinova. 2017. Chromatic Properties of the Pancake Graphs. Discussiones Mathematicae Graph Theory 37, 3 (2017), 777–787.
[15]
Matthew Moskewicz, Conor Madigan, Ying Zhao, Lintao Zhang, and Sharad Malik. 2001. Chaff: Engineering an Efficient SAT Solver. In Proceedings of the 38th Design Automation Conference. ACM, 530–535.
[16]
Quan Nguyen and Said Bettayeb. 2011. On the Genus of Pancake Network. The International Arab Journal of Information Technology 8, 3 (2011), 289–292.
[17]
Bart Selman, Henry Kautz, and Bram Cohen. 1993. Local search strategies for satisfiability testing. In Cliques, Coloring, and Satisfiability(DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol. 26). DIMACS/AMS, 521–531.

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences
ICoMS '23: Proceedings of the 2023 6th International Conference on Mathematics and Statistics
July 2023
160 pages
ISBN:9798400700187
DOI:10.1145/3613347
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 the author(s) 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: 13 December 2023

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. Boolean satisfiability
  2. chromatic number
  3. linear bounds
  4. pancake graph
  5. vertex coloring

Qualifiers

  • Research-article
  • Research
  • Refereed limited

Funding Sources

Conference

ICoMS 2023

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 28
    Total Downloads
  • Downloads (Last 12 months)27
  • Downloads (Last 6 weeks)2
Reflects downloads up to 03 Jan 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

HTML Format

View this article in HTML Format.

HTML Format

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media