Non-Hamiltonian and Non-Traceable Regular 3-Connected Planar Graphs

Transcription

1 Introduction Quartic Quintic Conclusion Non-Hamiltonian and Non-Traceable Regular 3-Connected Planar Graphs Nico Van Cleemput Carol T. Zamfirescu Combinatorial Algorithms and Algorithmic Graph Theory Department of Applied Mathematics, Computer Science and Statistics Ghent University Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 1

2 Introduction Quartic Quintic Conclusion 1 Introduction Definitions Cubic Quartic Quintic Summary 2 Quartic Upper bound c 4 Lower bound c 4 Upper bound p 4 3 Quintic Upper bound p 5 4 Conclusion Summary Future work Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 2

3 Introduction Quartic Quintic Conclusion Definitions Cubic Quartic Quintic Summary Here, a polyhedron is a planar 3-connected graph. The word regular is used exclusively in the graph-theoretical sense of having all vertices of the same degree. By Euler s formula, there are k-regular polyhedra for exactly three values of k: 3, 4, or 5. Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 3

4 Introduction Quartic Quintic Conclusion Definitions Cubic Quartic Quintic Summary Let c k be the order of the smallest non-hamiltonian k-regular polyhedron. Let p k be the order of the smallest non-traceable k-regular polyhedron. Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 4

5 Introduction Quartic Quintic Conclusion Definitions Cubic Quartic Quintic Summary Cubic polyhedra hamiltonicity Tait conjectured in 1884 that every cubic polyhedron is hamiltonian. The conjecture became famous because it implied the Four Colour Theorem (at that time still the Four Colour Problem) Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 5

6 Introduction Quartic Quintic Conclusion Definitions Cubic Quartic Quintic Summary Cubic polyhedra hamiltonicity The first to construct a counterexample (of order 46) was Tutte in 1946 Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 6

7 Introduction Quartic Quintic Conclusion Definitions Cubic Quartic Quintic Summary Cubic polyhedra hamiltonicity Lederberg, Bosák, and Barnette (pairwise independently) described a smaller counterexample having 38 vertices. Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 7

8 Introduction Quartic Quintic Conclusion Definitions Cubic Quartic Quintic Summary Cubic polyhedra hamiltonicity After a long series of papers by various authors (e.g., Butler, Barnette, Wegner, Okamura), Holton and McKay showed that all cubic polyhedra on up to 36 vertices are hamiltonian. Theorem (Holton and McKay, 1988) c 3 = 38 Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 8

9 Introduction Quartic Quintic Conclusion Definitions Cubic Quartic Quintic Summary Cubic polyhedra traceability Balinski asked whether cubic non-traceable polyhedra exist Brown and independently Grünbaum and Motzkin proved the existence of such graphs Klee asked for determining p 3 Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 9

10 Introduction Quartic Quintic Conclusion Definitions Cubic Quartic Quintic Summary Cubic polyhedra traceability In 1970 T. Zamfirescu constructed this cubic non-traceable planar graph on 88 vertices Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 10

11 Introduction Quartic Quintic Conclusion Definitions Cubic Quartic Quintic Summary Cubic polyhedra traceability Based on work of Okamura, Knorr improved a result of Hoffmann by showing that all cubic planar graphs on up to 52 vertices are traceable. Theorem (Knorr, 2010 and Zamfirescu, 1970) 54 p 3 88 Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 11

12 Introduction Quartic Quintic Conclusion Definitions Cubic Quartic Quintic Summary Quartic polyhedra hamiltonicity Following work of Sachs from 1967 and Walther from 1969, Zaks proved in 1976 that there exists a quartic non-hamiltonian polyhedron of order 209. The actual number given in Zaks paper is false, as pointed out in work of Owens therein the correct number can be found. Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 12

13 Introduction Quartic Quintic Conclusion Definitions Cubic Quartic Quintic Summary Quartic polyhedra hamiltonicity Theorem (Sachs, 1967) If there exists a non-hamiltonian (non-traceable) cubic polyhedron of order n, then there exists a non-traceable (non-hamiltonian) quartic polyhedron on 9n 2 vertices. On page 132 of Bosák s book it is claimed that converting the Lederberg-Bosák-Barnette graph with this method gives a quartic non-hamiltonian polyhedron of order 161. However, the correct number should be = 171. Theorem (Sachs, 1967 combined with Bosák, 1990) c Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 13

14 Introduction Quartic Quintic Conclusion Definitions Cubic Quartic Quintic Summary Quartic polyhedra traceability Zaks showed that p Using Sachs theorem on Zamfirescu s 88-vertex graph gives a non-traceable quartic polyhedron on 396 vertices. Theorem (Sachs, 1967 combined with Zamfirescu, 1970) p Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 14

15 Introduction Quartic Quintic Conclusion Definitions Cubic Quartic Quintic Summary Quintic polyhedra Previous work includes papers by Walther, as well as Harant, Owens, Tkáč, and Walther. Zaks showed that c and p Owens proved that c 5 76 and p Theorem (Owens, 1980) c 5 76 p Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 15

16 Summary Introduction Quartic Quintic Conclusion Definitions Cubic Quartic Quintic Summary Hamiltonicity Traceability Cubic c 3 = p 3 88 Quartic c p Quintic c 5 76 p Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 16

17 Introduction Quartic Quintic Conclusion Upper bound c 4 Lower bound c 4 Upper bound p 4 Upper bound hamiltonicity Theorem (Van Cleemput and Zamfirescu, 2017+) c 4 39 Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 17

18 Introduction Quartic Quintic Conclusion Upper bound c 4 Lower bound c 4 Upper bound p 4 Upper bound hamiltonicity weak strong Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 18

19 Introduction Quartic Quintic Conclusion Upper bound c 4 Lower bound c 4 Upper bound p 4 Upper bound hamiltonicity Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 19

20 Introduction Quartic Quintic Conclusion Upper bound c 4 Lower bound c 4 Upper bound p 4 Upper bound hamiltonicity x F 1 y F 3 F 2 z Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 20

21 Introduction Quartic Quintic Conclusion Upper bound c 4 Lower bound c 4 Upper bound p 4 Upper bound hamiltonicity x F 1 y F 3 F 2 z Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 21

22 Introduction Quartic Quintic Conclusion Upper bound c 4 Lower bound c 4 Upper bound p 4 Lower bound hamiltonicity Check all quartic polyhedra for being hamiltonian. Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 22

23 Introduction Quartic Quintic Conclusion Upper bound c 4 Lower bound c 4 Upper bound p 4 Lower bound hamiltonicity hamiltonicity check Simple backtracking algorithm that tries to construct a cycle from the first vertex. Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 23

24 Introduction Quartic Quintic Conclusion Upper bound c 4 Lower bound c 4 Upper bound p 4 Lower bound hamiltonicity hamiltonicity check No optimisation Start reachable No unreachable vertices Faces on two sides Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 24

25 Introduction Quartic Quintic Conclusion Upper bound c 4 Lower bound c 4 Upper bound p 4 Lower bound hamiltonicity hamiltonicity check No optimisation 2 5 Start reachable No unreachable vertices Faces on two sides No plane graph Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 24

26 Introduction Quartic Quintic Conclusion Upper bound c 4 Lower bound c 4 Upper bound p 4 Lower bound hamiltonicity generation 100% Generating graphs Checking hamiltonicity 50% 0% Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 25

27 Introduction Quartic Quintic Conclusion Upper bound c 4 Lower bound c 4 Upper bound p 4 Lower bound hamiltonicity generation Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 26

28 Introduction Quartic Quintic Conclusion Upper bound c 4 Lower bound c 4 Upper bound p 4 Lower bound hamiltonicity generation Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 27

29 Introduction Quartic Quintic Conclusion Upper bound c 4 Lower bound c 4 Upper bound p 4 Lower bound hamiltonicity generation Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 28

30 Introduction Quartic Quintic Conclusion Upper bound c 4 Lower bound c 4 Upper bound p 4 Lower bound hamiltonicity generation Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 29

31 Introduction Quartic Quintic Conclusion Upper bound c 4 Lower bound c 4 Upper bound p 4 Lower bound hamiltonicity generation Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 30

32 Introduction Quartic Quintic Conclusion Upper bound c 4 Lower bound c 4 Upper bound p 4 Lower bound hamiltonicity generation 100% 50% Not constructed Type 1 Type 2 Remaining 0% Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 31

33 Introduction Quartic Quintic Conclusion Upper bound c 4 Lower bound c 4 Upper bound p 4 Lower bound hamiltonicity generation Without filtering With filtering Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 32

34 Introduction Quartic Quintic Conclusion Upper bound c 4 Lower bound c 4 Upper bound p 4 Lower bound hamiltonicity Theorem (Van Cleemput and Zamfirescu, 2017+) c 4 34 Vertices Time minutes minutes hours hours days days days years years Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 33

35 Introduction Quartic Quintic Conclusion Upper bound c 4 Lower bound c 4 Upper bound p 4 Upper bound traceability Theorem (Van Cleemput and Zamfirescu, 2017+) p 4 78 Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 34

36 Introduction Quartic Quintic Conclusion Upper bound c 4 Lower bound c 4 Upper bound p 4 Upper bound traceability = 78 vertices Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 35

37 Introduction Quartic Quintic Conclusion Upper bound p 5 Upper bound traceability Theorem (Van Cleemput and Zamfirescu, 2017+) p α α α α β α β α Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 36

38 Introduction Quartic Quintic Conclusion Upper bound p 5 Upper bound traceability α β Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 37

39 Summary Introduction Quartic Quintic Conclusion Summary Future work Hamiltonicity Traceability Cubic c 3 = p 3 88 Quartic c p c p 4 78 Quintic c 5 76 p c p Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 38

40 Introduction Quartic Quintic Conclusion Summary Future work Future work c 4 35? Hamiltonicity for quintic case Lower bounds for traceability Nico Van Cleemput, Carol T. Zamfirescu Non-Hamiltonian and Non-Traceable Regular Polyhedra 39