DOCSLIB.ORG

Enumeration of Structure-Sensitive Graphical Subsets: Calculations (Graph Theory/Combinatorics) R

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Enumeration of Structure-Sensitive Graphical Subsets: Calculations (Graph Theory/Combinatorics) R Proc. Nati Acad. Sci. USA Vol. 78, No. 3, pp. 1329-1332, March 1981 Mathematics Enumeration of structure-sensitive graphical subsets: Calculations (graph theory/combinatorics) R. E. MERRIFIELD AND H. E. SIMMONS Central Research and Development Department, E. I. du Pont de Nemours and Company, Experimental Station, Wilmington, Delaware 19898 Contributed by H. E. Simmons, October 6, 1980 ABSTRACT Numerical calculations are presented, for all Table 2. Qualitative properties of subset counts connected graphs on six and fewer vertices, of the -lumbers of hidepndent sets, connected sets;point and line covers, externally Quantity Branching Cyclization stable sets, kernels, and irredundant sets. With the exception of v, xIncreases Decreases the number of kernels, the numbers of such sets are al highly p Increases Increases structure-sensitive quantities. E Variable Increases K Insensitive Insensitive The necessary mathematical machinery has recently been de- Variable Variable veloped (1) for enumeration of the following types of special cr Decreases Increases subsets of the vertices or edges of a general graph: (i) indepen- p Increases Increases dent sets, (ii) connected sets, (iii) point and line covers, (iv;' ex- X Decreases Increases ternally stable sets, (v) kernels, and (vi) irredundant sets. In e Increases Increases order to explore the sensitivity of these quantities to graphical K Insensitive Insensitive structure we have employed this machinery to calculate some Decreases Increases explicit subset counts. (Since no more efficient algorithm is known for irredundant sets, they have been enumerated by the brute-force method of testing every subset for irredundance.) 1. e and E are always odd. The 10 quantities considered in ref. 1 have been calculated 2. p(G) E(G). for all connected graphs of up to six points. The results are given 3. ar(G) + &(G) constant for graphs with the same lVi. in Table 1 (begins on following page). Inspection of these results We conclude that these numbers are useful characterizations shows that, with the exception of kernels, these quantities are of graphical structure which should find application (for in- quite sensitive to various aspects of graphical structure. One stance) in the analysis of molecular structure. Indeed, earlier way of summarizing this structure sensitivity for graphs on a work (2, 3) has shown that the numbers of independent vertex given number n of points is to regard the path Pn as the ref- and edge sets are sensitive to chemically significant details of erence structure with the other graphs being derived from it molecular structure and that even bond-strength patterns by repeated application of the operations of branching and cy- within a molecule are well correlated with the numbers of in- clization. The response of these quantities to these operations dependent sets intersecting the different bonds. We are cur- is summarized in Table 2. rently exploring the application of the other quantities consid- A few additional empirical observations, for which no theo- ered here to molecular structure analysis. retical reason is evident, can be made on the basis of the num- bers given in Table 1. 1. Merrifield, R. E. & Simmons, H. E. (1981) Proc. NatL Acad. Sci. USA 78, 692-695. The publication costs of this article were defrayed in part by page charge 2. Merrifield, R. E. & Simmons, H. E. (1980) Theor. Chem. Acta 55, payment. This article must therefore be hereby marked "advertise- 55-75. ment" in accordance with 18 U. S. C. §1734 solely to indicate this fact. 3. Hosoya, H. (1971) BulL Chem. Soc. Jpn 44, 2332-2339. 1329 Downloaded by guest on October 1, 2021 1330 Mathematics: Merrifield and Simmons Proc. Nad Acad. Sci. USA 78 (1981) Table 1. Counts of graphical subsets* anX p E K £ a X E K L cr,% p E K l a X E K L 1 0 2 2 1 1 2 1 1 0 1 0 1 31 6 32 31 5 6 26 969 .768 973 15 76 2 3 4 3 2 3 .2 2 1 1 1 2 32 21 22 31 5 26 13 16 5 17 4 15 2 .-.. 3 5 7 5 2 5 3 4 1 3 2 3 33 KJ1 23 25 29 4 25 11 19 3 21 5 12 4 / 4 8 7 3 4 4 8 4 7 3 4 34 ( 26 31 27 3 27 9 25 2 23 4 9 5u 8 11 9 3 9 5 7 2 5 2 5 35 22 26 27 5 27 12 20 4 17 3 13 6 2 9 12 9 2 9 4 8 1 7 3 4 36 XV 24 29 25 3 25 10 23 2 25 5 10 7 7 13 11 3 7 6 15 5 13 3 6 37 33 38 33 2 33 6 32 1 31 5 6 8L1 7 14 11 2 11 7 14 7 11 2 11 38 18 32 39 5 24 18 32 18 39 5 24 6 15 13 3 6 8 30 16 27 3 12 39 K 19 34 35 5 26 16 38 13 43 6 21 '10 X 5 16 15 4 5 10 61 41 57 3 22 40 @N 19 31 35 4 30 17 37 15 37 4 28 11cO 13 16 17 4 15 8 11 3 9 3 9 41 {j 18 26 39 6 20 16 32 14 41 6 19 12 17 21 17 2 17 5 16 1 15 4 5 42 20 34 31 4 26 15 44 10 45 5 19 13 14 18 15 3 15 7 13 2 11 3 7 43 22 37 33 3 26 13 47 8 49 6 17 14. 12 20 17 3 13 9 27 6 25 4 10 44 47 19 28 33 5 22 15 40 11 41 5 18 15 12 22 19 3 16 10 25 8 23 4 14 45 20 32 33 5 21 14 44 10 41 4 16 16$ 11 19 21 5 12 10 23 9 21 4 12 46 25 39 35 3 25 10 57 5 55 5 10 17 13 22 19 3 13 8 29 5 27 4 8 47 F 21 33 33 4 .25 14 43 9 49 7 18 18° 11 22. 21 5 16 11 22 11 21 5 16 48 % 20 30 27 4 27 14 48 8 45 4 17 19 10 23 25 5 13 12 51 24 49 5 16 49 4}19 .30 35 5 20 14 39 9 49 7 16 20w. 11 24 21 3 11 11 57 17 55 5 15 50 C 22 33 29 3 23 12 51 6 53 6 13 21 i 10 25 23 4 14 13 50 26 49 6 20 51 17 41 41 4 26 22 81 43 87 5 42 22. 11 27 23 2 17 13 52 25 51 6 24 52 K 16 38 43 6 21 21 76 42 91 7 29 23 t 10 23 21 4 12 12 53 20 51 5 18 53 17 43 41 5 28 21 82 41 93 7 37 24 9 27 25 4 10 15 110 59 109 7 25 54 17 34 39 5 18 19 85 33 85 5 31 25 10 28 25 3 10 14 116 52 115 7 25 55 16 32 41 6 19 20 77 36 85 6 33 26 9 25 23 4 9 14 115 45 113 6 26 56 4gr 17 34 39 5 18 18 88 29 97 7 23 27 9 28 25 3 15 16 107 65 107 8 31 57 18 36 33 4 21 17 100 22 101 6 23 28 8 29 27 4 8 18 231 140 231 9 37 58 7J17 38 39 5 21 19 86 31 99 8 26 29 8 30 27 3 12 19 226 154 227 :10 41 59K 17 38 43 5 21 20 81 39 89 6 34 30 7 31 29 4 7 22 473 341 475 12 54 60 20 34 31 4 26 15 44 10 45 5 19 Downloaded by guest on October 1, 2021 Mathematics: Merrifield and Simmons Proc. NatL Acad. Sci. USA 78 (1981) 1331 Table 1. (Cont.) oX p 6 K t 0' p X E h l aTI,,x P 6 K* l cr p E K l 61 17 37 37 4 28 20 87 33 91 E 35 91 .6 42 39 44 18 2!2 203 68 207 7 39 62 20 43 39 3 26 17 97 26 107 c 28 92 .8 53 49 33 18 22 462 160 483 13 48 I 14 63 21 41 37 3 21 14 111 17 113 I9 18 93 .4 48 49 ;5 16 28 409 214 431 9 57 8 64 19 40 41 5i19 16 100 25 97 l5 20 94 5 47 43 .3 23 26 439 161 451 10 52 65 18 40 37 4 23 18 94 28 99 7 25 95 L5 46 43 44 15 224 448 145 465 11 43 11 66 17 34 35 5i21 18 92 25 97 78 26 96 L5 50 47 44 16 26 430 191 449 10 49 1. 67 20 37 33 3321 15 107 18 113 8 19 97 L3 43 53 7 13 228 386 221 417 9 64 68 15 31 49 8316 20 64 41 97 9 24 98 %yS 1.3 52 51 6 24 .32 381 263 431 10 68 69 18 38 35 4420 16 99 20 109 8 22 99 13 50 49 6 20 E31 388 245 423 9 68 1 70 16 42 47 516 22 193 84 201 7 38 100 13 49 51 6 19 L30 386 241 435 11 54 71 17 44 41 44 19 20 214 61 219 8 30 101 14 52 49 4 22 %31 398 242 429 9 73 wy I 72 19 45 41 3 19 18 225 53 235 110 29 102 13 47 49 6 16 '29 393 223 431 10 57 73 17 42 39 44 17 18 223 45 233 9 30 103 13 43 45 6 15 28 402 181 421 9 65 74 K 14 43 49 7 18 25 168 102 207 ]10 35 104 14 50 47 4 20 29 408 220 437 10 60 45 5 25 26 180 103 201 8 52 105 14 46 4 19 27 423 170 447 11 54 75 15 47 l 43 76 14 44 47 7 21 26 170 106 195 8 46 106 13 47 49 6 17 30 387 231 411 8 72 77 16 44 41 4 22 22 200 70 217 10 37 107 15 56 51 2 24 34 398 265 421 6 94 My 78 16 48 45 4 22 24 190 92 209 9 44 108 14 48 45 4 17 27 420 198 451 11 42 79 16 43 39 3 26' 23 201 72 209 8 43 109 15i53 49 3 23 28 417 215 451 12 62 1 4 80 16 42 39 4 18 21 206 64 219 9 31 110 14 50 47 4 20 30 405 224 425 8 70 4 81 15 44 45 5 20 25 181 97 195 7 49 111 14 44 41 4 16 26 433 156 449 10 50 82 15 42 43 5 21 24 185 81 205 9 43 112 13 52 49 4 14 32 892 463 929 12 69 83 14 39 49 7 16 24 169 96 201 9 40 113 12 54 53 6 17 36 844 562 893 10 91 84 19 52 47 2 27 21 206 79 227 12 47 114.1 13 54 51 4 17 34 874 509 913 11 83 I? 85 15 44 45 5 19 24 184 93 207 9135 115 12 51 53 6 13 34 851 516 899 11 83 86 14 35 45 7 15 24 170 86 177 6i54 116 141354 51 4 14 30 913 440 947 13 68 87 15 40 41 5 18 23 191 75 203 8 41 1177 133 48 45 4 13 30 917 357 945 13 66 88 16 46 43 4 20 23 194 86 205 8 41 1183 2 55 53 5 20 37 837 580 901 11 91 89 16 38 35 4 17 20 216 50 221 8332 119 2 53 51 5 18 36 846 538 891 10 96 90 %L/IV% 16 49 45 3 24 27 185 104 197 6 61 120 / 12 47 45 5 15 32 886 382 917 12 79 Downloaded by guest on October 1, 2021 1332 Mathematics: Merrifield and.
Load more

Recommended publications
  • Primitive Recursive Functions Are Recursively Enumerable
    AN ENUMERATION OF THE PRIMITIVE RECURSIVE FUNCTIONS WITHOUT REPETITION SHIH-CHAO LIU (Received April 15,1900) In a theorem and its corollary [1] Friedberg gave an enumeration of all the recursively enumerable sets without repetition and an enumeration of all the partial recursive functions without repetition. This note is to prove a similar theorem for the primitive recursive functions. The proof is only a classical one. We shall show that the theorem is intuitionistically unprovable in the sense of Kleene [2]. For similar reason the theorem by Friedberg is also intuitionistical- ly unprovable, which is not stated in his paper. THEOREM. There is a general recursive function ψ(n, a) such that the sequence ψ(0, a), ψ(l, α), is an enumeration of all the primitive recursive functions of one variable without repetition. PROOF. Let φ(n9 a) be an enumerating function of all the primitive recursive functions of one variable, (See [3].) We define a general recursive function v(a) as follows. v(0) = 0, v(n + 1) = μy, where μy is the least y such that for each j < n + 1, φ(y, a) =[= φ(v(j), a) for some a < n + 1. It is noted that the value v(n + 1) can be found by a constructive method, for obviously there exists some number y such that the primitive recursive function <p(y> a) takes a value greater than all the numbers φ(v(0), 0), φ(y(Ϋ), 0), , φ(v(n\ 0) f or a = 0 Put ψ(n, a) = φ{v{n), a).
    [Show full text]
  • Polya Enumeration Theorem
    Polya Enumeration Theorem Sasha Patotski Cornell University [email protected] December 11, 2015 Sasha Patotski (Cornell University) Polya Enumeration Theorem December 11, 2015 1 / 10 Cosets A left coset of H in G is gH where g 2 G (H is on the right). A right coset of H in G is Hg where g 2 G (H is on the left). Theorem If two left cosets of H in G intersect, then they coincide, and similarly for right cosets. Thus, G is a disjoint union of left cosets of H and also a disjoint union of right cosets of H. Corollary(Lagrange's theorem) If G is a finite group and H is a subgroup of G, then the order of H divides the order of G. In particular, the order of every element of G divides the order of G. Sasha Patotski (Cornell University) Polya Enumeration Theorem December 11, 2015 2 / 10 Applications of Lagrange's Theorem Theorem n! For any integers n ≥ 0 and 0 ≤ m ≤ n, the number m!(n−m)! is an integer. Theorem (ab)! (ab)! For any positive integers a; b the ratios (a!)b and (a!)bb! are integers. Theorem For an integer m > 1 let '(m) be the number of invertible numbers modulo m. For m ≥ 3 the number '(m) is even. Sasha Patotski (Cornell University) Polya Enumeration Theorem December 11, 2015 3 / 10 Polya's Enumeration Theorem Theorem Suppose that a finite group G acts on a finite set X . Then the number of colorings of X in n colors inequivalent under the action of G is 1 X N(n) = nc(g) jGj g2G where c(g) is the number of cycles of g as a permutation of X .
    [Show full text]
  • Enumeration of Finite Automata 1 Z(A) = 1
    INFOI~MATION AND CONTROL 10, 499-508 (1967) Enumeration of Finite Automata 1 FRANK HARARY AND ED PALMER Department of Mathematics, University of Michigan, Ann Arbor, Michigan Harary ( 1960, 1964), in a survey of 27 unsolved problems in graphical enumeration, asked for the number of different finite automata. Re- cently, Harrison (1965) solved this problem, but without considering automata with initial and final states. With the aid of the Power Group Enumeration Theorem (Harary and Palmer, 1965, 1966) the entire problem can be handled routinely. The method involves a confrontation of several different operations on permutation groups. To set the stage, we enumerate ordered pairs of functions with respect to the product of two power groups. Finite automata are then concisely defined as certain ordered pah's of functions. We review the enumeration of automata in the natural setting of the power group, and then extend this result to enumerate automata with initial and terminal states. I. ENUMERATION THEOREM For completeness we require a number of definitions, which are now given. Let A be a permutation group of order m = ]A I and degree d acting on the set X = Ix1, x~, -.. , xa}. The cycle index of A, denoted Z(A), is defined as follows. Let jk(a) be the number of cycles of length k in the disjoint cycle decomposition of any permutation a in A. Let al, a2, ... , aa be variables. Then the cycle index, which is a poly- nomial in the variables a~, is given by d Z(A) = 1_ ~ H ~,~(°~ . (1) ~$ a EA k=l We sometimes write Z(A; al, as, ..
    [Show full text]
  • The Axiom of Choice and Its Implications
    THE AXIOM OF CHOICE AND ITS IMPLICATIONS KEVIN BARNUM Abstract. In this paper we will look at the Axiom of Choice and some of the various implications it has. These implications include a number of equivalent statements, and also some less accepted ideas. The proofs discussed will give us an idea of why the Axiom of Choice is so powerful, but also so controversial. Contents 1. Introduction 1 2. The Axiom of Choice and Its Equivalents 1 2.1. The Axiom of Choice and its Well-known Equivalents 1 2.2. Some Other Less Well-known Equivalents of the Axiom of Choice 3 3. Applications of the Axiom of Choice 5 3.1. Equivalence Between The Axiom of Choice and the Claim that Every Vector Space has a Basis 5 3.2. Some More Applications of the Axiom of Choice 6 4. Controversial Results 10 Acknowledgments 11 References 11 1. Introduction The Axiom of Choice states that for any family of nonempty disjoint sets, there exists a set that consists of exactly one element from each element of the family. It seems strange at first that such an innocuous sounding idea can be so powerful and controversial, but it certainly is both. To understand why, we will start by looking at some statements that are equivalent to the axiom of choice. Many of these equivalences are very useful, and we devote much time to one, namely, that every vector space has a basis. We go on from there to see a few more applications of the Axiom of Choice and its equivalents, and finish by looking at some of the reasons why the Axiom of Choice is so controversial.
    [Show full text]
  • 17 Axiom of Choice
    Math 361 Axiom of Choice 17 Axiom of Choice De¯nition 17.1. Let be a nonempty set of nonempty sets. Then a choice function for is a function f sucFh that f(S) S for all S . F 2 2 F Example 17.2. Let = (N)r . Then we can de¯ne a choice function f by F P f;g f(S) = the least element of S: Example 17.3. Let = (Z)r . Then we can de¯ne a choice function f by F P f;g f(S) = ²n where n = min z z S and, if n = 0, ² = min z= z z = n; z S . fj j j 2 g 6 f j j j j j 2 g Example 17.4. Let = (Q)r . Then we can de¯ne a choice function f as follows. F P f;g Let g : Q N be an injection. Then ! f(S) = q where g(q) = min g(r) r S . f j 2 g Example 17.5. Let = (R)r . Then it is impossible to explicitly de¯ne a choice function for . F P f;g F Axiom 17.6 (Axiom of Choice (AC)). For every set of nonempty sets, there exists a function f such that f(S) S for all S . F 2 2 F We say that f is a choice function for . F Theorem 17.7 (AC). If A; B are non-empty sets, then the following are equivalent: (a) A B ¹ (b) There exists a surjection g : B A. ! Proof. (a) (b) Suppose that A B.
    [Show full text]
  • Axioms of Set Theory and Equivalents of Axiom of Choice Farighon Abdul Rahim Boise State University, [email protected]
    Boise State University ScholarWorks Mathematics Undergraduate Theses Department of Mathematics 5-2014 Axioms of Set Theory and Equivalents of Axiom of Choice Farighon Abdul Rahim Boise State University, [email protected] Follow this and additional works at: http://scholarworks.boisestate.edu/ math_undergraduate_theses Part of the Set Theory Commons Recommended Citation Rahim, Farighon Abdul, "Axioms of Set Theory and Equivalents of Axiom of Choice" (2014). Mathematics Undergraduate Theses. Paper 1. Axioms of Set Theory and Equivalents of Axiom of Choice Farighon Abdul Rahim Advisor: Samuel Coskey Boise State University May 2014 1 Introduction Sets are all around us. A bag of potato chips, for instance, is a set containing certain number of individual chip’s that are its elements. University is another example of a set with students as its elements. By elements, we mean members. But sets should not be confused as to what they really are. A daughter of a blacksmith is an element of a set that contains her mother, father, and her siblings. Then this set is an element of a set that contains all the other families that live in the nearby town. So a set itself can be an element of a bigger set. In mathematics, axiom is defined to be a rule or a statement that is accepted to be true regardless of having to prove it. In a sense, axioms are self evident. In set theory, we deal with sets. Each time we state an axiom, we will do so by considering sets. Example of the set containing the blacksmith family might make it seem as if sets are finite.
    [Show full text]
  • Parametrised Enumeration
    Parametrised Enumeration Arne Meier Februar 2020 color guide (the dark blue is the same with the Gottfried Wilhelm Leibnizuniversity Universität logo) Hannover c: 100 m: 70 Institut für y: 0 k: 0 Theoretische c: 35 m: 0 y: 10 Informatik k: 0 c: 0 m: 0 y: 0 k: 35 Fakultät für Elektrotechnik und Informatik Institut für Theoretische Informatik Fachgebiet TheoretischeWednesday, February 18, 15 Informatik Habilitationsschrift Parametrised Enumeration Arne Meier geboren am 6. Mai 1982 in Hannover Februar 2020 Gutachter Till Tantau Institut für Theoretische Informatik Universität zu Lübeck Gutachter Stefan Woltran Institut für Logic and Computation 192-02 Technische Universität Wien Arne Meier Parametrised Enumeration Habilitationsschrift, Datum der Annahme: 20.11.2019 Gutachter: Till Tantau, Stefan Woltran Gottfried Wilhelm Leibniz Universität Hannover Fachgebiet Theoretische Informatik Institut für Theoretische Informatik Fakultät für Elektrotechnik und Informatik Appelstrasse 4 30167 Hannover Dieses Werk ist lizenziert unter einer Creative Commons “Namensnennung-Nicht kommerziell 3.0 Deutschland” Lizenz. Für Julia, Jonas Heinrich und Leonie Anna. Ihr seid mein größtes Glück auf Erden. Danke für eure Geduld, euer Verständnis und eure Unterstützung. Euer Rückhalt bedeutet mir sehr viel. ♥ If I had an hour to solve a problem, I’d spend 55 minutes thinking about the problem and 5 min- “ utes thinking about solutions. ” — Albert Einstein Abstract In this thesis, we develop a framework of parametrised enumeration complexity. At first, we provide the reader with preliminary notions such as machine models and complexity classes besides proving them to be well-chosen. Then, we study the interplay and the landscape of these classes and present connections to classical enumeration classes.
    [Show full text]
  • Set (Mathematics) from Wikipedia, the Free Encyclopedia
    Set (mathematics) From Wikipedia, the free encyclopedia A set in mathematics is a collection of well defined and distinct objects, considered as an object in its own right. Sets are one of the most fundamental concepts in mathematics. Developed at the end of the 19th century, set theory is now a ubiquitous part of mathematics, and can be used as a foundation from which nearly all of mathematics can be derived. In mathematics education, elementary topics such as Venn diagrams are taught at a young age, while more advanced concepts are taught as part of a university degree. Contents The intersection of two sets is made up of the objects contained in 1 Definition both sets, shown in a Venn 2 Describing sets diagram. 3 Membership 3.1 Subsets 3.2 Power sets 4 Cardinality 5 Special sets 6 Basic operations 6.1 Unions 6.2 Intersections 6.3 Complements 6.4 Cartesian product 7 Applications 8 Axiomatic set theory 9 Principle of inclusion and exclusion 10 See also 11 Notes 12 References 13 External links Definition A set is a well defined collection of objects. Georg Cantor, the founder of set theory, gave the following definition of a set at the beginning of his Beiträge zur Begründung der transfiniten Mengenlehre:[1] A set is a gathering together into a whole of definite, distinct objects of our perception [Anschauung] and of our thought – which are called elements of the set. The elements or members of a set can be anything: numbers, people, letters of the alphabet, other sets, and so on.
    [Show full text]
  • The Entscheidungsproblem and Alan Turing
    The Entscheidungsproblem and Alan Turing Author: Laurel Brodkorb Advisor: Dr. Rachel Epstein Georgia College and State University December 18, 2019 1 Abstract Computability Theory is a branch of mathematics that was developed by Alonzo Church, Kurt G¨odel,and Alan Turing during the 1930s. This paper explores their work to formally define what it means for something to be computable. Most importantly, this paper gives an in-depth look at Turing's 1936 paper, \On Computable Numbers, with an Application to the Entscheidungsproblem." It further explores Turing's life and impact. 2 Historic Background Before 1930, not much was defined about computability theory because it was an unexplored field (Soare 4). From the late 1930s to the early 1940s, mathematicians worked to develop formal definitions of computable functions and sets, and applying those definitions to solve logic problems, but these problems were not new. It was not until the 1800s that mathematicians began to set an axiomatic system of math. This created problems like how to define computability. In the 1800s, Cantor defined what we call today \naive set theory" which was inconsistent. During the height of his mathematical period, Hilbert defended Cantor but suggested an axiomatic system be established, and characterized the Entscheidungsproblem as the \fundamental problem of mathemat- ical logic" (Soare 227). The Entscheidungsproblem was proposed by David Hilbert and Wilhelm Ackerman in 1928. The Entscheidungsproblem, or Decision Problem, states that given all the axioms of math, there is an algorithm that can tell if a proposition is provable. During the 1930s, Alonzo Church, Stephen Kleene, Kurt G¨odel,and Alan Turing worked to formalize how we compute anything from real numbers to sets of functions to solve the Entscheidungsproblem.
    [Show full text]
  • 1 Introduction 2 Burnside's Lemma
    POLYA'S´ COUNTING THEORY Mollee Huisinga May 9, 2012 1 Introduction In combinatorics, there are very few formulas that apply comprehensively to all cases of a given problem. P´olya's Counting Theory is a spectacular tool that allows us to count the number of distinct items given a certain number of colors or other characteristics. Basic questions we might ask are, \How many distinct squares can be made with blue or yellow vertices?" or \How many necklaces with n beads can we create with clear and solid beads?" We will count two objects as 'the same' if they can be rotated or flipped to produce the same configuration. While these questions may seem uncomplicated, there is a lot of mathematical machinery behind them. Thus, in addition to counting all possible positions for each weight, we must be sure to not recount the configuration again if it is actually the same as another. We can use Burnside's Lemma to enumerate the number of distinct objects. However, sometimes we will also want to know more information about the characteristics of these distinct objects. P´olya's Counting Theory is uniquely useful because it will act as a picture function - actually producing a polynomial that demonstrates what the different configurations are, and how many of each exist. As such, it has numerous applications. Some that will be explored here include chemical isomer enumeration, graph theory and music theory. This paper will first work through proving and understanding P´olya's theory, and then move towards surveying applications. Throughout the paper we will work heavily with examples to illuminate the simplicity of the theorem beyond its notation.
    [Show full text]
  • Polya's Enumeration Theorem
    Master Thesis Polya’s Enumeration Theorem Muhammad Badar (741004-7752) Ansir Iqbal (651201-8356) Subject: Mathematics Level: Master Course code: 4MA11E Abstract Polya’s theorem can be used to enumerate objects under permutation groups. Using group theory, combinatorics and some examples, Polya’s theorem and Burnside’s lemma are derived. The examples used are a square, pentagon, hexagon and heptagon under their respective dihedral groups. Generalization using more permutations and applications to graph theory. Using Polya’s Enumeration theorem, Harary and Palmer [5] give a function which gives the number of unlabeled graphs n vertices and m edges. We present their work and the necessary background knowledge. Key-words: Generating function; Cycle index; Euler’s totient function; Unlabeled graph; Cycle structure; Non-isomorphic graph. iii Acknowledgments This thesis is written as a part of the Master Program in Mathematics and Modelling at Linnaeus University, Sweden. It is written at the Department of Computer Science, Physics and Mathematics. We are obliged to our supervisor Marcus Nilsson for accepting and giving us chance to do our thesis under his kind supervision. We are also thankful to him for his work that set up a road map for us. We wish to thank Per-Anders Svensson for being in Linnaeus University and teaching us. He is really a cool, calm and has grip in his subject, as an educator should. We also want to thank of our head of department and teachers who time to time supported us in different subjects. We express our deepest gratitude to our parents and elders who supported and encouraged us during our study.
    [Show full text]
  • The Power Group Enumeration Theorem*
    JOURNAL OF COMBINATORIAL THEORY 1, 157-173 (1966) The Power Group Enumeration Theorem* FRANK HARARY AND ED PALMER Department of Mathematics, University of Michigan, Ann Arbor, Michigan ABSTRACT The number of orbits of a permutation group was determined in a fundamental result of Burnside. This was extended in a classical paper by P61ya to a solution of the problem of enumerating the equivalence classes of functions with a given weight from a set X into a set Y, subject to the action of the permutation group A acting on X. A generalization by de Bruijn solved the counting problem when two per- mutation groups are involved, A acting on X and B on Y. Thus the P61ya formula is the special case of the de Bruijn result in which B is the identity group. The Power Group Enumeration Theorem achieves the same result using only one permutation group: the power group, Ba, acting on the set yx of functions, de Bruijn's method was used to count self-complementary graphs by R. C. Read and finite automata by M. Harrison. These results as well as the number of self-converse directed graphs and others are easily obtained by the proper use of the Power Group Enumeration Theorem. INTRODUCTION Many problems in combinatorial analysis are formulated in such a way that, in order to find the number of objects having a specified prop- erty, it is necessary to count the number of equivalence classes of objects with regard to some permutation group. Often these equivalence classes consist of functions ffrom one set X into another set Y such that two permutation groups are involved: A acting on X and B acting on Y.
    [Show full text]