全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

The Four-Color Theorem of Map-Making Proved by Construction

DOI: 10.4236/oalib.1103089, PP. 1-12

Subject Areas: Discrete Mathematics

Keywords: Four-Color Map Theorem, Proof by Construction, Peircean Exact (Mathematical) Logic

Full-Text   Cite this paper   Add to My Lib

Abstract

The objective of this paper is to prove by simple construction, generalized by induction, that the bounded areas on any map, such as found on the surface of a sheet of paper or a spherical globe, can be colored completely with just 4 distinct colors. Rather than following the tradition of examining each of tens of thousands of designs that can be produced on a planar surface, the approach here is to all the ways that any given plane, or any given part of a plane, can be divided into an old portion bearing its original color as contrasted with a new portion bearing a different color and being completely separated from the former colored portion. It is shown that for every possible manner of completely carving out any piece of any planar surface by an indexical vector, the adjacent pieces of the map, defined as ones sharing some segment of one of their borders of a length greater than 0, can always be colored with just 4 colors in a way that differentiates all the distinct pieces of the map no matter how complex or numerous the pieces may become.

Cite this paper

Jr., J. W. O. (2016). The Four-Color Theorem of Map-Making Proved by Construction. Open Access Library Journal, 3, e3089. doi: http://dx.doi.org/10.4236/oalib.1103089.

References

[1]  Appel, K. and Haken, W. (1977) Every Planar Map Is Four Colorable. Part I: Discharging. Illinois Journal of Mathematics, 21, 429-490.
[2]  Burgin, M., Calude, C.S. and Calude, E. (2011) Inductive Complexity Measures for Mathematical Problems. Centre for Discrete Mathematics and Theoretical Computer Science.
[3]  Calude, C.S. and Calude, E. (2010) The Complexity of the Four Colour Theorem. LMS Journal of Computation and Mathematics, 13, 414-425.
https://doi.org/10.1112/S1461157009000461
[4]  Cooper, B., Rowland, E. and Zeilberger, D. (2012) Toward a Language Theoretic Proof of the Four Color Theorem. Advances in Applied Mathematics, 48, 414-431.
https://doi.org/10.1016/j.aam.2011.11.002
[5]  Dvorák, Z., Kawarabayashi, K. and Král, D. (2016) Packing Six T-Joins in Plane Graphs. Journal of Combinatorial Theory, Series B, 116, 287-305.
https://doi.org/10.1016/j.jctb.2015.09.002
[6]  Gonthier, G. (2008) Formal Proof—The Four Color Theorem. Notices of the American Mathematical Society, 55, 1382-1393.
[7]  Wilson, R. (2002) Four Colors Suffice. How the Map Problem Was Solved. Princeton Sci- ence Library, Princeton University Press, Princeton.
[8]  Govindarajalulu, N.S., Bringsjord, S. and Taylor, J. (2015) Proof Verification and Proof Discovery for Relativity. Synthese, 192, 2077-2094.
https://doi.org/10.1007/s11229-014-0424-3
[9]  Adams, M. (2016) Proof Auditing Formalised Mathematics—Researcher Publication. Journal of Formalized Mathematics, 9, 3-32.
[10]  Edwards, C. (2016) Automating Proofs. Communications of the ACM, 59, 13-15.
https://doi.org/10.1145/2892710
[11]  Peirce, C.S. (1885) On the Algebra of Logic: A Contribution to the Philosophy of Notation. American Journal of Mathematics, 7, 180-202.
https://doi.org/10.2307/2369451
[12]  Peirce, C.S. (1897) The Logic of Relatives. The Monist, 7, 161-217.
https://doi.org/10.5840/monist18977231
[13]  Oller, J.W. (2010) The Antithesis of Entropy: Biosemiotic Communication from Genetics to Human Language with Special Emphasis on the Immune Systems. Entropy, 12, 631-705.
https://doi.org/10.3390/e12040631
[14]  Oller, J.W. (2014) Biosemiotic Entropy: Concluding the Series. Entropy, 16, 4060-4087.
https://doi.org/10.3390/e16074060
[15]  Peirce, C.S. (1982) The Logic Notebook. In: Fisch, M., Kloesel, C.J.W., Moore, E.C., Roberts, D.D., Ziegler, L.A. and Atkinson, N.P., Eds., Writings of Charles S. Peirce: A Chronological Edition, Indiana University Press, Indianapolis.
[16]  Peirce, C.S. (1976) The New Elements of Mathematics by C. S. Peirce. Mouton, Hague.
[17]  Peirce, C.S. (1931) The Collected Papers of C. S. Peirce, 1-8. Belknap Press of Harvard University, Cambridge.

Full-Text


comments powered by Disqus

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133

WeChat 1538708413