Pancake graph explained

Pancake graph
Vertices:

n!

Edges:

\dfrac{1}{2}~n!\left(n-1\right)

Degree:n - 1
Genus:see in the article
Girth:6, if n > 2
Chromatic Number:see in the article
Chromatic Index:n - 1
Notation:Pn
Properties:Regular
Hamiltonian
Cayley
Vertex-transitive
Maximally connected
Super-connected
Hyper-connected

In the mathematical field of graph theory, the pancake graph Pn or n-pancake graph is a graph whose vertices are the permutations of n symbols from 1 to n and its edges are given between permutations transitive by prefix reversals.

Pancake sorting is the colloquial term for the mathematical problem of sorting a disordered stack of pancakes in order of size when a spatula can be inserted at any point in the stack and used to flip all pancakes above it. A pancake number is the minimum number of flips required for a given number of pancakes. Obtaining the pancake number is equivalent to the problem of obtaining the diameter of the pancake graph.[1]

The pancake graph of dimension n, Pn, is a regular graph with

n!

vertices. Its degree is n - 1, hence, according to the handshaking lemma, it has

\dfrac{1}{2}~n!\left(n-1\right)

edges. Pn can be constructed recursively from n copies of Pn-1, by assigning a different element from the set as a suffix to each copy.

Results

Pn (n ≥ 4) is super-connected and hyper-connected.[2]

Their girth is[3]

g(Pn)=6,ifn>2.

The γ(Pn) genus of Pn is bounded below and above by:[4] [5]

n!\left(

n-4
6

\right)+1\le\gamma(Pn)\len!\left(

3n-10
12

\right)+1.

Chromatic properties

There are some known graph coloring properties of pancake graphs.

\chit(Pn)=n

, chromatic index

\chie(Pn)=n-1

.[6]

There are effective algorithms for the proper (n-1)-coloring and total n-coloring of pancake graphs.[6]

For the

\chi(Pn)

chromatic number the following limits are known:

If

4\len\le8

, then

\chi(Pn)\le\begin{cases}n-k,&ifn\equivk\pmod{4},k=1,3;\n-2,&ifn\equivk\pmod{4},k=0,2;\end{cases}

if

9\len\le16

, then

\chi(Pn)\le\begin{cases}n-(k+2),&ifn\equivk\pmod{4},k=1,3;\n-4,&ifn\equivk\pmod{4},k=0,2;\end{cases}

if

n\ge17

, then

\chi(Pn)\le\begin{cases}n-(k+4),&ifn\equivk\pmod4,k=1,2,3; \n-8,&ifn\equivk\pmod4,k=0.\end{cases}

The following table discusses specific chromatic number values for some small n.

Specific, or probable values of the chromatic number

n

345678910111213141516

\chi(Pn)

233444?4?4?4?4?4?4?4?4?

Cycle enumeration

In a Pn (n ≥ 3) pancake graph there is always at least one cycle of length , when

6\le\ell\len!

(but there are no cycles of length 3, 4 or 5).[7] It implies that the graph is Hamiltonian and any two vertices can be joined by a Hamiltonian path.

About the 6-cycles of the Pn (n ≥ 4) pancake graph: every vertex belongs to exactly one 6-cycle. The graph contains

n!
6
independent (vertex-disjoint) 6-cycles.[8]

About the 7-cycles of the Pn (n ≥ 4) pancake graph: every vertex belongs to

7(n-3)

7-cycles. The graph contains

n!(n-3)

different 7-cycles.[9]

About the 8-cycles of the Pn (n ≥ 4) pancake graph: the graph contains

n!(n3+12n2-103n+176)
16
different 8-cycles; a maximal set of independent 8-cycles contains
n!
8
of those.[8]

Diameter

The pancake sorting problem (obtaining the pancake number) and obtaining the diameter of the pancake graph are equivalents. One of the main difficulties in solving this problem is the complicated cycle structure of the pancake graph.

n

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17

Pn

0 1 3 4 5 7 8 9 10 11 13 14 15 16 17 18 19

The pancake number, which is the minimum number of flips required to sort any stack of pancakes has been shown to lie between and (approximately 1.07n and 1.64n,) but the exact value remains an open problem.[10]

In 1979, Bill Gates and Christos Papadimitriou[11] gave an upper bound of . This was improved, thirty years later, to by a team of researchers at the University of Texas at Dallas, led by Founders Professor Hal Sudborough[12] (Chitturi et al., 2009[13]).

In 2011, Laurent Bulteau, Guillaume Fertin, and Irena Rusu[14] proved that the problem of finding the shortest sequence of flips for a given stack of pancakes is NP-hard, thereby answering a question that had been open for over three decades.

Burnt pancake graph

In a variation called the burnt pancake problem, the bottom of each pancake in the pile is burnt, and the sort must be completed with the burnt side of every pancake down. It is a signed permutation, and if a pancake i is "burnt side up" a negative element i` is put in place of i in the permutation. The burnt pancake graph is the graph representation of this problem.

A

P'n

burnt pancake graph is regular, its order is

2nn!

, its degree is

n

.

For its variant David S. Cohen (best known by his pen name "David X. Cohen") and Manuel Blum proved in 1995, that

3n/2\leqP'n\leq2n-2

(when the upper limit is only true if

n>9

).[15]

n

1 2 3 4 5 6 7 8 9 10 11 12

P'n

1 4 6 8 10 12 14 15 17 18 19 21

The girth of a burnt pancake graph is:[3]

g(Pn)=8,ifn>2.

Other classes of pancake graphs

Both in the original pancake sorting problem and the burnt pancake problem, prefix reversal was the operation connecting two permutations. If we allow non-prefixed reversals (as if we were flipping with two spatulas instead of one) then four classes of pancake graphs can be defined. Every pancake graph embeds in all higher-order pancake graphs of the same family.[3]

Classes of pancake graphs!Name!Notation!Explanation!Order!Degree!Girth (if n>2)
unsigned prefix reversal graph

UPn

The original pancake sorting problem

n!

n-1

6

unsigned reversal graph

URn

The original problem with two spatulas

n!

{n\choose2}

4

signed prefix reversal graph

SPn

The burnt pancake problem

2nn!

n

8

signed reversal graph

SRn

The burnt pancake problem with two spatulas

2nn!

{n+1\choose2}

4

Applications

Since pancake graphs have many interesting properties such as symmetric and recursive structures (they are Cayley graphs, thus are vertex-transitive), sublogarithmic degree and diameter, and are relatively sparse (compared to e.g. hypercubes), much attention is paid to them as a model of interconnection networks for parallel computers.[4] [16] [17] [18] When we regard the pancake graphs as the model of the interconnection networks, the diameter of the graph is a measure that represents the delay of communication.[19] [20]

Pancake flipping has biological applications as well, in the field of genetic examinations. In one kind of large-scale mutations, a large segment of the genome gets reversed, which is analogous to the burnt pancake problem.

Notes and References

  1. Book: Asai. Shogo. Kounoike. Yuusuke. Shinano. Yuji. Kaneko. Keiichi. Euro-Par 2006 Parallel Processing . Computing the Diameter of 17-Pancake Graph Using a PC Cluster . 2006-09-01. Euro-Par 2006 Parallel Processing: 12th International Euro-Par Conference. 4128. 1114–1124. 10.1007/11823285_117. Lecture Notes in Computer Science. 978-3-540-37783-2.
  2. Deng. Yun-Ping. Xiao-Dong. Zhang. 2012-03-31. Automorphism Groups of the Pancake Graphs. 1201.0452. Information Processing Letters. 112. 7. 264–266. 10.1016/j.ipl.2011.12.010. 38229793 .
  3. Compeau. Phillip E.C.. 2011-09-06. Girth of pancake graphs. Discrete Applied Mathematics . 159. 15. 1641–1645. 10.1016/j.dam.2011.06.013. free.
  4. Nguyen. Quan. Bettayeb. Said. 2009-11-05. On the Genus of Pancake Network.. The International Arab Journal of Information Technology . 8. 3. 289–292.
  5. Blanco. Saúl. Buehrle. Charles. 2023-06-20. Bounds on the genus for 2-cell embeddings of prefix-reversal graphs . math.CO . 2306.11295 .
  6. Konstantinova. Elena. 2017-08-01. Chromatic Properties of the Pancake Graphs.. Discussiones Mathematicae Graph Theory. 37. 3. 777–787. 10.7151/dmgt.1978. free.
  7. Sheu. Jyh-Jian. Tan. Jimmy J. M.. 2006. Cycle embedding in pancake interconnection networks.. The 23rd Workshop on Combinatorial Mathematics and Computation Theory.
  8. Konstantinova. E.V.. Medvedev. A.N.. 2013-04-26. Small cycles in the Pancake graph. Ars Mathematica Contemporanea. 7. 237–246. 10.26493/1855-3974.214.0e8. free.
  9. Konstantinova. E.V.. Medvedev. A.N.. 2010-04-01. Cycles of length seven in the pancake graph. Diskretn. Anal. Issled. Oper.. 17. 5. 46–55. 10.1016/j.tcs.2008.04.045. free.
  10. Book: Fertin, G. and Labarre, A. and Rusu, I. and Tannier, E. and Vialette, S. . Combinatorics of Genome Rearrangements. The MIT Press. 2009. 9780262062824.
  11. Bounds for Sorting by Prefix Reversal . . 27 . 47–57 . 1979 . 10.1016/0012-365X(79)90068-2 . Gates . W. . Papadimitriou . C. . Bill Gates . Christos Papadimitriou . free .
  12. Web site: Team Bests Young Bill Gates With Improved Answer to So-Called Pancake Problem in Mathematics. University of Texas at Dallas News Center. September 17, 2008. November 10, 2008. A team of UT Dallas computer science students and their faculty adviser have improved upon a longstanding solution to a mathematical conundrum known as the pancake problem. The previous best solution, which stood for almost 30 years, was devised by Bill Gates and one of his Harvard instructors, Christos Papadimitriou, several years before Microsoft was established.. https://web.archive.org/web/20120214070902/http://www.utdallas.edu/news/2008/09/17-002.php?WT.mc_id=NewsEmails&WT.mc_ev=EmailOpen. February 14, 2012. dead.
  13. Chitturi. B.. Fahle. W.. Meng. Z.. Morales. L.. Shields. C. O.. Sudborough. I. H.. Voit. W.. 2009-08-31. An (18/11)n upper bound for sorting by prefix reversals. Theoretical Computer Science. Graphs, Games and Computation: Dedicated to Professor Burkhard Monien on the Occasion of his 65th Birthday. 410. 36. 3372–3390. 10.1016/j.tcs.2008.04.045. free.
  14. Journal of Computer and System Sciences. 10.1016/j.jcss.2015.02.003. Pancake Flipping Is Hard. Bulteau. Laurent. Fertin. Guillaume. Rusu. Irena. 81. 8. 1556–1574. 1111.0434. 2015.
  15. David S. Cohen, Manuel Blum: On the problem of sorting burnt pancakes. In: Discrete Applied Mathematics. 61, Nr. 2, 1995, S. 105–120. .
  16. Akl. S.G.. Qiu. K.. Stojmenović. I.. 1993. Fundamental algorithms for the star and pancake interconnection networks with applications to computational geometry.. Networks. 23. 4. 215–225. 10.1002/net.3230230403. 10.1.1.363.4949.
  17. Bass. D.W.. Sudborough. I.H.. March 2003. Pancake problems with restricted prefix reversals and some corresponding Cayley networks.. Journal of Parallel and Distributed Computing . 63. 3. 327–336. 10.1016/S0743-7315(03)00033-9. 10.1.1.27.7009.
  18. Berthomé. P.. Ferreira. A.. Perennes. S.. December 1996. Optimal information dissemination in star and pancake networks.. IEEE Transactions on Parallel and Distributed Systems. 7. 12. 1292–1300. 10.1109/71.553290. 10.1.1.44.6681.
  19. Kumar, V., Grama, A., Gupta, A., Karypis, G.: Introduction to Parallel Computing: Design and Analysis of Algorithms. Benjamin/Cummings (1994)
  20. Quinn, M.J.: Parallel Computing: Theory and Practice, second edition. McGraw Hill (1994)