“Solving Combinatorial Problem Using Adaptive Process of Enumeration Strategies”

Total Page:16

File Type:pdf, Size:1020Kb

“Solving Combinatorial Problem Using Adaptive Process of Enumeration Strategies” PONTIFICIA UNIVERSIDAD CATOLICA´ DE VALPARAISO´ FACULTAD DE INGENIERIA´ ESCUELA DE INGENIERIA´ INFORMATICA´ “SOLVING COMBINATORIAL PROBLEM USING ADAPTIVE PROCESS OF ENUMERATION STRATEGIES” MARY CLAUDIA ARANDA CABEZAS TESIS DE GRADO MAGISTER´ EN INGENIERIA´ INFORMATICA´ Julio 2008 Pontificia Universidad Catolica´ de Valpara´ıso Facultad de Ingenier´ıa Escuela de Ingenier´ıa Informatica´ “SOLVING COMBINATORIAL PROBLEM USING ADAPTIVE PROCESS OF ENUMERATION STRATEGIES” MARY CLAUDIA ARANDA CABEZAS Profesor Gu´ıa: Broderick Crawford Labr´ın Programa: Mag´ıster en Ingenier´ıa Informatica´ Julio 2008 Resumen En la actualidad, la comunidad de Programacion´ con Restricciones utiliza una aproximacion´ completa de resolucion´ que alterna fases de propagacion´ de restricciones y enumeracion,´ en este contexto se han realizado numerosos estudios tendientes a mostrar la efectividad de las estrategias de enumeracion´ y el efecto sobre el proceso de resolucion´ que tienen las heur´ısticas de seleccion´ de variable y valor que la constituyen. Sin embargo, es imposible prever los efectos reales de estas estrategias. Por otra parte, si bien estudios previos han demostrado que diferentes estrategias tienen rendimientos significativamente diferentes, por lo cual es crucial seleccionar una buena estrategia de enumeracion,´ no es posible determinar una estrategia de enumeracion´ que sea la mejor para un conjunto amplio de problemas, de esta manera el proposito´ de este proyecto es evaluar un proceso de resolucion´ adaptativo que permitan encontrar soluciones a diferentes problemas, donde las posibilidades de adaptacion´ tienen relacion´ con cambiar la estrategia de enumeracion´ utilizada al momento de detectar su mal rendimiento durante el proceso. La deteccion´ del mal rendimiento de la estrategia de enumeracion´ se realiza mediante la observacion´ continua del proceso de resolucion,´ desde donde se obtiene informacion´ relevante del estado de la resolucion.´ i Abstract At the present, the Constraint Programming community uses a complete approach alternating phases of Constraint Propagation and Enumeration, in this context numerous studies have been conducted designed to show the effective- ness of enumeration strategies and the effect on resolution process that variable and value selection heuristics have. However, the effects and efficiencies of strategies are generally unpredictable. Moreover, although previous studies have shown that different strategies have significantly different performance, for which it is crucial to select a good enumeration strategy, but it is not possible to determine an enumeration strategy that is best for a set of problems. Thus, the purpose of this project is to evaluate an adaptive resolution process to find solutions to a broad spectrum of different types of problems, where the ability to adapt is related to changing the strategy used at the time of detecting its poor performance during the process. The detection of bad performance of enumeration strategy is done through continuous observation of resolution process, where you get relevant information of the state of resolution. ii Contents List of Figures vi List of Tables vii 1 Project Description 1 1.1 Introduction . ............................................. 1 1.2 Goals ................................................... 2 1.2.1 Hypothesis . ........................................... 2 1.2.2 General Goal ........................................... 2 1.2.3 Specific Goals .......................................... 2 1.3 Methodology . ............................................. 3 1.4 Problem Definition and Motivation .................................... 4 1.5 Outline of this Thesis ........................................... 6 2 Constraint Programming 7 2.1 Definition ................................................. 7 2.2 Combinatorial Problems ......................................... 7 2.2.1 Constraint Satisfaction Problems ................................. 8 2.2.2 Constraint Satisfaction Optimisation Problems ......................... 8 2.3 Modelling ................................................. 9 2.4 CSP Solving . ............................................. 10 2.4.1 Basic Search Strategies for Solving CSPs ............................ 10 2.4.1.1 General Search Strategies ............................... 10 2.4.1.2 Hybrid Techniques ................................... 11 2.4.2 Consistency Techniques ..................................... 13 2.4.2.1 Node Consistency ................................... 13 2.4.2.2 Arc Consistency .................................... 14 2.4.2.3 Path Consistency .................................... 16 iii 2.5 Constraint Propagation and Enumeration ................................. 17 2.5.1 Variable Selection Heuristics ................................... 18 2.5.1.1 Static Selection Heuristics ............................... 18 2.5.1.2 Dynamic Selection Heuristics ............................. 19 2.5.2 Value Selection Heuristics .................................... 20 3 Adaptive 23 3.1 Elemental Definitions ........................................... 23 3.2 Adaptive Model . ............................................. 25 3.2.1 Adaptive Constraint Satisfaction ................................. 26 3.2.2 Adaptive Enumeration Strategies ................................. 27 3.2.3 Adaptive Constraint Engine ................................... 28 4 Adaptive Approach Based on Enumeration Strategies 30 4.1 Scheme Proposed ............................................. 30 4.1.1 Solver: . ........................................... 31 4.1.2 Library Strategies ......................................... 32 4.1.3 Observation . ........................................... 32 4.1.4 Analysis . ........................................... 32 4.2 Enumeration Strategies .......................................... 33 4.3 Indicators ................................................. 34 4.4 Problems ................................................. 37 4.4.1 N-Queens . ........................................... 37 4.4.1.1 Model ......................................... 37 4.4.1.2 Script . ......................................... 37 4.4.2 Magic Square ........................................... 38 4.4.2.1 Model ......................................... 38 4.4.2.2 Script . ......................................... 39 4.4.3 Latin Square ........................................... 40 4.4.3.1 Model ......................................... 40 4.4.3.2 Script . ......................................... 40 4.4.4 Sudoku . ........................................... 41 4.4.4.1 Model ......................................... 41 4.4.4.2 Script . ......................................... 41 iv 5 Experimental Results 43 5.1 Initial Considerations ........................................... 43 5.2 Enumeration Strategies Alone vs Adaptive Process ........................... 43 5.3 Tuning of the Bracktracking ....................................... 44 6 Conclusion and Future Work 45 Bibliography 46 v List of Figures 1.1 Constraint Programming Structure .................................... 4 1.2 10-Queens solving with 3 Different Strategies .............................. 5 2.1 Example: No Node Consistency ..................................... 13 2.2 Example: Node Consistency ....................................... 14 2.3 Example: No Arc Consistent CSP .................................... 15 2.4 Directional Arc Consistency under the order x2 → x1 .......................... 15 2.5 Arc Consistency CSP ........................................... 15 2.6 No Path Consistency CSP ......................................... 16 2.7 Path Consistency CSP ........................................... 17 3.1 Taxonomy of parameter control [1] .................................... 24 3.2 Adaptive Constraint Satisfaction [13] ................................... 26 3.3 The Dynamic Strategy Framework [34] ................................. 27 3.4 Organization and Management Advisers to make a decision [17] . .................. 29 4.1 Scheme of Adaptive Solving Process ................................... 31 vi List of Tables 1.1 Enumerations (E), Backtracks (B) in the resolution of 10-Queens and Magic Squares (N=9) ...... 5 1.2 Enumerations (E), Backtracks (B) in the resolution of 20-Queens and Magic Squares (N=16) ..... 6 2.1 Justification Variable Selection Heuristics ................................ 22 2.2 Justification for Value Selection Heuristics ................................ 22 5.1 N-Queens: Enumeration Strategies Alone vs Adaptive Process measuring Backtrack (B) ....... 44 5.2 Latin Square: Enumeration Strategies Alone vs Adaptive Process measuring Backtrack (B) ...... 44 5.3 Tuning of the bracktracking to adaptive process in N-Queens problems ................. 44 vii Chapter 1 Project Description 1.1 Introduction Constraint Programming (CP) has been defined as a software technology used to describe and effectively solve large and complex problems, particularly combinatorial [5, 7]; these problems can be modelled as Constraint Satisfaction Problem (CSP) [2, 48], which is defined by a set of variables, each one with a domain associated and a set of con- straints. The domain corresponds to a set of possible values that can be assigned to the variables. Each constraint is defined on a group of variables restricting the combination of values that can be assigned to these variables. Solving a CSP consists in finding a value that can be assigned to the variable in a way that satisfies all the
Recommended publications
  • Almost-Magic Stars a Magic Pentagram (5-Pointed Star), We Now Know, Must Have 5 Lines Summing to an Equal Value
    MAGIC SQUARE LEXICON: ILLUSTRATED 192 224 97 1 33 65 256 160 96 64 129 225 193 161 32 128 2 98 223 191 8 104 217 185 190 222 99 3 159 255 66 34 153 249 72 40 35 67 254 158 226 130 63 95 232 136 57 89 94 62 131 227 127 31 162 194 121 25 168 200 195 163 30 126 4 100 221 189 9 105 216 184 10 106 215 183 11 107 214 182 188 220 101 5 157 253 68 36 152 248 73 41 151 247 74 42 150 246 75 43 37 69 252 156 228 132 61 93 233 137 56 88 234 138 55 87 235 139 54 86 92 60 133 229 125 29 164 196 120 24 169 201 119 23 170 202 118 22 171 203 197 165 28 124 6 102 219 187 12 108 213 181 13 109 212 180 14 110 211 179 15 111 210 178 16 112 209 177 186 218 103 7 155 251 70 38 149 245 76 44 148 244 77 45 147 243 78 46 146 242 79 47 145 241 80 48 39 71 250 154 230 134 59 91 236 140 53 85 237 141 52 84 238 142 51 83 239 143 50 82 240 144 49 81 90 58 135 231 123 27 166 198 117 21 172 204 116 20 173 205 115 19 174 206 114 18 175 207 113 17 176 208 199 167 26 122 All rows, columns, and 14 main diagonals sum correctly in proportion to length M AGIC SQUAR E LEX ICON : Illustrated 1 1 4 8 512 4 18 11 20 12 1024 16 1 1 24 21 1 9 10 2 128 256 32 2048 7 3 13 23 19 1 1 4096 64 1 64 4096 16 17 25 5 2 14 28 81 1 1 1 14 6 15 8 22 2 32 52 69 2048 256 128 2 57 26 40 36 77 10 1 1 1 65 7 51 16 1024 22 39 62 512 8 473 18 32 6 47 70 44 58 21 48 71 4 59 45 19 74 67 16 3 33 53 1 27 41 55 8 29 49 79 66 15 10 15 37 63 23 27 78 11 34 9 2 61 24 38 14 23 25 12 35 76 8 26 20 50 64 9 22 12 3 13 43 60 31 75 17 7 21 72 5 46 11 16 5 4 42 56 25 24 17 80 13 30 20 18 1 54 68 6 19 H.
    [Show full text]
  • Correspondence Course Units
    Astrology 2 - Unit 4 | Level 4 www.gnosis-correspondence-course.net - 2 - Astrology 2 - Unit 4 | Level 4 www.gnosis-correspondence-course.net - 3 - Astrology 2 - Unit 4 | Level 4 AstrologyAstrology 22 The Magic Squares IntroductionIntroduction ‘In order to invoke the gods, one must know the mathematical figures of the stars (magic squares). Symbols are the clothing of numbers. Numbers are the living entities of the inner worlds. Planetary figures produce tremendous immediate results. We can work with the stars from a distance. Mathematical figures act upon the physical world in a tremendous way. These figures must be written on seven different boards.' Samael Aun Weor www.gnosis-correspondence-course.net - 4 - Astrology 2 - Unit 4 | Level 4 AA LittleLittle HistoryHistory A magic square is a table on which a series of whole numbers are arranged in a square or mould, in such a way that the result obtained by adding up the numbers by columns, rows and main diagonals is the same, this result being the square's magic constant. The first record of a magic square appearing in history is found in China, about the year 2,800 BC. This magic square is called ‘Lo-shu’ (Lo was the name of the river today known as ‘Yellow River’. Shu means 'book' in Chinese. ‘Lo-shu’ means, therefore, ‘the book of the Yellow River’). Legend has it that in a remote past big floods were devastating a Chinese region. Its inhabitants tried to appease the wrath of the river Lo by offering sacrifices, but they failed to come up with the adequate amount of them to succeed.
    [Show full text]
  • Franklin Squares ' a Chapter in the Scientific Studies of Magical Squares
    Franklin Squares - a Chapter in the Scienti…c Studies of Magical Squares Peter Loly Department of Physics, The University of Manitoba, Winnipeg, Manitoba Canada R3T 2N2 ([email protected]) July 6, 2006 Abstract Several aspects of magic(al) square studies fall within the computa- tional universe. Experimental computation has revealed patterns, some of which have lead to analytic insights, theorems or combinatorial results. Other numerical experiments have provided statistical results for some very di¢ cult problems. Schindel, Rempel and Loly have recently enumerated the 8th order Franklin squares. While classical nth order magic squares with the en- tries 1::n2 must have the magic sum for each row, column and the main diagonals, there are some interesting relatives for which these restrictions are increased or relaxed. These include serial squares of all orders with sequential …lling of rows which are always pandiagonal (having all parallel diagonals to the main ones on tiling with the same magic sum, also called broken diagonals), pandiagonal logic squares of orders 2n derived from Karnaugh maps, with an application to Chinese patterns, and Franklin squares of orders 8n which are not required to have any diagonal prop- erties, but have equal half row and column sums and 2-by-2 quartets, as well as stes of parallel magical bent diagonals. We modi…ed Walter Trump’s backtracking strategy for other magic square enumerations from GB32 to C++ to perform the Franklin count [a data…le of the 1; 105; 920 distinct squares is available], and also have a simpli…ed demonstration of counting the 880 fourth order magic squares using Mathematica [a draft Notebook].
    [Show full text]
  • The Art of Sigils
    The Art of Sigils Week 1: Desig! What are sigils? “a sign or image considered magical; a seal or signet” ♰ x Well, that’s a nice broad definition. Sigils in History monograms, goetic seals, symbols of profession, familial seals, alchemical and astrological symbols, icons, logos If a sign or image causes a shift in your mental/ emotional state, it can be used as a magical tool and thus can be considered a sigil. What are sigils? Visual focus for ritual, or meditation; magickal identifier Auditory and movement-based sigils work on the same principles, but we’re not going to get into them here. A way to bypass the conscious mind, as all the thinking is done during its construction, not its use Two types: labels and goals How are they used? Creation The sigil is made with full conscious intent, and then laid aside until the analytic basis for it has been forgotten. Charging The sigil is charged in a ritual context with energy related to its purpose. Example: work yourself into an ecstatic or trance state before gazing at the sigil; use it as a focus in meditation; touch with a drop of blood or sexual fluid Use Where the sigil is set loose to do its work. (May be synonymous with destruction in some cases) Focus for meditation, worn as jewelry, kept under a pillow Destruction After the ritual or once the goal is accomplished You’ve bound a piece of your Will into this object - once its purpose is done, give it back! Not applicable in all cases (more for goal-type sigils) How are they made? Most common (and easiest) is drawn on paper Draw, paint, carve, etch, mold, build! Just keep final use in mind It’s harder to destroy a cast-silver sigil, or to whirl in ecstasy about the temple bearing a 2’x3’ monstrosity carved in wood.
    [Show full text]
  • Package 'Magic'
    Package ‘magic’ February 15, 2013 Version 1.5-4 Date 3 July 2012 Title create and investigate magic squares Author Robin K. S. Hankin Depends R (>= 2.4.0), abind Description a collection of efficient, vectorized algorithms for the creation and investiga- tion of magic squares and hypercubes,including a variety of functions for the manipulation and analysis of arbitrarily dimensioned arrays. The package includes methods for creating normal magic squares of any order greater than 2. The ultimate intention is for the package to be a computerized embodi- ment all magic square knowledge,including direct numerical verification of properties of magic squares (such as recent results on the determinant of odd-ordered semimagic squares). Some antimagic functionality is included. The package also serves as a rebuttal to the often-heard comment ‘‘I thought R was just for statistics’’. Maintainer Robin K. S. Hankin <[email protected]> License GPL-2 Repository CRAN Date/Publication 2013-01-21 12:31:10 NeedsCompilation no R topics documented: magic-package . .3 adiag . .3 allsubhypercubes . .5 allsums . .6 apad.............................................8 apl..............................................9 1 2 R topics documented: aplus . 10 arev ............................................. 11 arot ............................................. 12 arow............................................. 13 as.standard . 14 cilleruelo . 16 circulant . 17 cube2 . 18 diag.off . 19 do.index . 20 eq .............................................. 21 fnsd ............................................. 22 force.integer . 23 Frankenstein . 24 hadamard . 24 hendricks . 25 hudson . 25 is.magic . 26 is.magichypercube . 29 is.ok . 32 is.square.palindromic . 33 latin . 34 lozenge . 36 magic . 37 magic.2np1 . 38 magic.4n . 39 magic.4np2 . 40 magic.8 . 41 magic.constant . 41 magic.prime . 42 magic.product .
    [Show full text]
  • Pearls of Wisdom Cover Images Pearls of Wisdom Details of Tiraz Textile, Yemen Or Egypt, 10Th–12Th Centuries, Cotton with Resist-Dyed Warp (Ikat), Ink, and Gold Paint
    Pearls of Wisdom Cover Images Pearls of Wisdom Details of tiraz textile, Yemen or Egypt, 10th–12th centuries, cotton with resist-dyed warp (ikat), ink, and gold paint. Kelsey Museum of Archaeology, 22621 (cat. no. 3). Published by The Arts of Islam Kelsey Museum of Archaeology at the University of Michigan 434 South State Street Ann Arbor, Michigan 48109-1390 http://www.lsa.umich.edu/kelsey/research/publications Distributed by ISD 70 Enterprise Drive, Suite 2 Bristol, CT 06010 USA phone: 860.584.6546 email: [email protected] christiane gruber and ashley dimmig Exhibition Website http://lw.lsa.umich.edu/kelsey/pearls/index.html © Kelsey Museum of Archaeology 2014 Kelsey Museum Publication 10 ISBN 978-0-9906623-0-3 Ann Arbor, Michigan 2014 Pearls of Wisdom The Arts of Islam at the University of Michigan christiane gruber and ashley dimmig Kelsey Museum Publication 10 Ann Arbor, Michigan 2014 Contents Catalogue Essay 1 Catalogue of Objects Introduction 27 Everyday Beauty Functional Beauty 32 Personal Adornment 40 Play and Protection Games and Toys 50 Amulets and Talismans 54 Surf and Turf 61 Media Metaphors Media Metaphors 70 Tiraz and Epigraphy 82 Coins and Measures 86 Illumination Lamps and Lighting 96 Illumination and Enlightenment 101 Bibliography 109 Acknowledgments 117 Accession Number/Catalogue Number Concordance 118 Subject Index 119 About the Authors 121 Handwriting is the necklace of wisdom. It serves to sort the pearls of wisdom, to bring its dispersed pieces into good order, to put its stray bits together.1 —Abu Hayyan al-Tawhidi (d. after 1009–1010) n his treatise on penmanship, the medieval calligrapher Abu Hayyan Fig.
    [Show full text]
  • Math and Magic Squares
    French Officers Problem Latin Squares Greco-Latin Squares Magic Squares Math and Magic Squares Randall Paul September 21, 2015 Randall Paul Math and Magic Squares French Officers Problem Latin Squares Greco-Latin Squares Magic Squares Table of contents 1 French Officers Problem 2 Latin Squares 3 Greco-Latin Squares 4 Magic Squares Randall Paul Math and Magic Squares French Officers Problem Latin Squares Greco-Latin Squares Magic Squares Leonhard Euler's French Officers Problem: Arrange thirty-six officers in a six-by-six square from six regiments: 1st,2nd,3rd,4th,5th,6th with six ranks: Recruit, Lieutenant, Captain, Major, Brigadier, General so that each row and column has one representative from each regiment and rank. Randall Paul Math and Magic Squares French Officers Problem Latin Squares Greco-Latin Squares Magic Squares Easy for 25 officers in a 5 × 5 square: 1L 2C 3M 4B 5G 5C 1M 2B 3G 4L 4M 5B 1G 2L 3C 3B 4G 5L 1C 2M 2G 3L 4C 5M 1B Randall Paul Math and Magic Squares But Not for: 2 × 2 6 × 6 French Officers Problem Latin Squares Greco-Latin Squares Magic Squares What's the pattern? Can be done for: 3 × 3, 5 × 5, 7 × 7 All n × n for odd n 4 × 4, even 8 × 8! Randall Paul Math and Magic Squares French Officers Problem Latin Squares Greco-Latin Squares Magic Squares What's the pattern? Can be done for: 3 × 3, 5 × 5, 7 × 7 But Not for: All n × n 2 × 2 for odd n 6 × 6 4 × 4, even 8 × 8! Randall Paul Math and Magic Squares No! Not Allowed! French Officers Problem Latin Squares Greco-Latin Squares Magic Squares No Solution to the 2 × 2 French Officers Problem
    [Show full text]
  • N-Queens — 342 References
    n-Queens | 342 references This paper currently (November 20, 2018) contains 342 references (originally in BIB- TEX format) to articles dealing with or at least touching upon the well-known n-Queens problem. For many papers an abstract written by the authors (143×), a short note (51×), a doi (134×) or a url (76×) is added. How it all began The literature is not totally clear about the exact article in which the n-Queens prob- lem is first stated, but the majority of the votes seems to go to the 1848 Bezzel article \Proposal of the Eight Queens Problem" (title translated from German) in the Berliner Schachzeitung [Bez1848]. From this article on there have been many papers from many countries dealing with this nice and elegant problem. Starting with examining the original 8 × 8 chessboard, the problem was quickly generalized to the n-Queens Problem. Interesting fields of study are: Permutations, Magic Squares, Genetic Algorithms, Neural Networks, Theory of Graphs and of course \doing bigger boards faster". And even today there are still people submitting interesting n-Queens articles: the most recent papers are from 2018. Just added: [Gri2018, JDD+2018, Lur2017]. One Article To Hold Them All The paper \A Survey of Known Results and Research Areas for n-Queens" [BS2009] is a beautiful, rather complete survey of the problem. We thank the authors for the many references they have included in their article. We used them to make, as we hope, this n-Queens reference bibliography even more interesting. Searchable Online Database Using the JabRef software (http://www.jabref.org/), we publish a searchable online version of the bib-file.
    [Show full text]
  • Magic Square - Wikipedia, the Free Encyclopedia
    Magic square - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Magic_square You can support Wikipedia by making a tax-deductible donation. Magic square From Wikipedia, the free encyclopedia In recreational mathematics, a magic square of order n is an arrangement of n² numbers, usually distinct integers, in a square, such that the n numbers in all rows, all columns, and both diagonals sum to the same constant.[1] A normal magic square contains the integers from 1 to n². The term "magic square" is also sometimes used to refer to any of various types of word square. Normal magic squares exist for all orders n ≥ 1 except n = 2, although the case n = 1 is trivial—it consists of a single cell containing the number 1. The smallest nontrivial case, shown below, is of order 3. The constant sum in every row, column and diagonal is called the magic constant or magic sum, M. The magic constant of a normal magic square depends only on n and has the value For normal magic squares of order n = 3, 4, 5, …, the magic constants are: 15, 34, 65, 111, 175, 260, … (sequence A006003 in OEIS). Contents 1 History of magic squares 1.1 The Lo Shu square (3×3 magic square) 1.2 Cultural significance of magic squares 1.3 Arabia 1.4 India 1.5 Europe 1.6 Albrecht Dürer's magic square 1.7 The Sagrada Família magic square 2 Types of magic squares and their construction 2.1 A method for constructing a magic square of odd order 2.2 A method of constructing a magic square of doubly even order 2.3 The medjig-method of constructing magic squares of even number
    [Show full text]
  • Of the Siam Construction of a Magic Square
    Rose-Hulman Undergraduate Mathematics Journal Volume 19 Issue 1 Article 3 A Proof of the "Magicness" of the Siam Construction of a Magic Square Joshua Arroyo Rose-Hulman Institute of Technology, [email protected] Follow this and additional works at: https://scholar.rose-hulman.edu/rhumj Part of the Discrete Mathematics and Combinatorics Commons Recommended Citation Arroyo, Joshua (2018) "A Proof of the "Magicness" of the Siam Construction of a Magic Square," Rose- Hulman Undergraduate Mathematics Journal: Vol. 19 : Iss. 1 , Article 3. Available at: https://scholar.rose-hulman.edu/rhumj/vol19/iss1/3 A Proof of the "Magicness" of the Siam Construction of a Magic Square Cover Page Footnote I would like to thank Dr. Holder for all of her help with the mathematics and grammar in this paper. I would also like to thank the Rose-Hulman Mathematics Department for the funding to present this work at the University of Dayton's Undergraduate Mathematics Day. This article is available in Rose-Hulman Undergraduate Mathematics Journal: https://scholar.rose-hulman.edu/rhumj/ vol19/iss1/3 Rose- Hulman Undergraduate Mathematics Journal A Proof of the \Magicness" of the Siam Construction of a Magic Square Joshua Arroyoa Volume 19, No. 1, Fall 2018 Sponsored by Rose-Hulman Institute of Technology Department of Mathematics Terre Haute, IN 47803 [email protected] a scholar.rose-hulman.edu/rhumj Rose-Hulman Institute of Technology Rose-Hulman Undergraduate Mathematics Journal Volume 19, No. 1, Fall 2018 A Proof of the \Magicness" of the Siam Construction of a Magic Square Abstract. A magic square is an n × n array filled with n2 distinct positive integers 1; 2; : : : ; n2 such that the sum of the n integers in each row, column, and each of the main diagonals are the same.
    [Show full text]
  • The Search for Russian Alphamagic Squares
    TheSearchforRussianAlphamagicSquares LeeB.CroftandSamuelComi FacultyofGerman,Romanian,andSlavic SchoolofInternationalLettersandCultures ArizonaStateUniversity Tempe,AZ85287-0202 [email protected] A magic square is a square array of numbers that add to a constantsuminanyrow,column,ordiagonal.Theoldestmagic square known is called the Lo Shu (from the Chinese shu , meaning“writing,”or“document”).Itwasreputedtohavebeen revealedonthebackofa Lo Riverturtle’sshelltothemythical EmperorYüinthe23 rd CenturyB.C.Thesymbolsontheback oftheturtle’sshellwererepresentedasinfigure1. Noticethatthedarksymbolsrepresentevenvaluesandthe whitesymbolsrepresentoddvalues,andthatthesevaluescanbe representedinourmodernnumberconventionasinfigure2. Here we see that any column, row, or diagonal of this array of numbersaddtoaconstantsumof15,thusmakingita“magic”square. This “Lo Shu” was thought to have magical properties by the ancient Chinese and several other subsequent cultures as well. Symbols reflectingthisarrayofnumericalvalueswereinscribedonamuletsand charmsinordertoprotecttheirownersfrommisfortune. InthelateseventeenthcenturytheFrenchmathematicianSimonde laLoubèrereturnedtoFrancefromhispostasAmbassadortoSiamwithamethodforthe construction of any odd-order (i.e. 3 X 3, 5 X 5, 7 X 7…etc.) magic square with consecutive numbers. This “Siamese method” is difficult to describe, but involves beginningbyplacingthefirstnumberofaconsecutiveseriesinthecentertopcellofthe array’s grid. Then the process involves filling in the cell “up one and over one to the right”withthesubsequentconsecutivenumbers.Letusbeginanexamplebyplacingthe
    [Show full text]
  • Construction of Magic Square of Any Order
    International Journal of Research and Scientific Innovation (IJRSI) | Volume V, Issue VI, June 2018 | ISSN 2321–2705 Construction of Magic Square of Any Order Chaitra V1, Madhura A2 1Dept. of Mathematics, BMS College of Engineering, Bangalore, Karnataka, India 2Dept. of Telecommunication Engg., BMS College of Engineering, Bangalore, Karnataka, India Abstract—A magic square is a square matrix of numbers with pattern on its shell. It was a 3 × 3 grid (known as Lo Shu the property that the sums along rows, columns, and main square) containing various number of circular spots. Each of 3 diagonals are all equal to S which is called the "magic sum". A rows, 3 columns and 2 diagonals summed to 15 spots. As we magic square with n number of cells on a side is a magic square don't have any eye witness to this, we may imagine the of order n. Such a square has n rows, n columns and n2cells tortoise looked like figure 1 given below. Keywords—Magic square, Lo Shu, odd magic square, singly even magic square, doubly even magic square. I. INTRODUCTION he study of magic squares dates back to prehistoric times. T It has been a fascination to man for ages. Magic squares are used in statistical calculations, in factorial experiments of low order and to balance linear trend from main variable effects. A magic square is a square matrix of numbers with the property that the sums along rows, columns, and main diagonals are all equal to S which is called the "magic sum". People used this pattern in a certain way to control flood and A magic square with n number of cells on a side is a magic protect themselves.
    [Show full text]