Polya theory (With a radar application motivation)
|
|
- Hollie Sparks
- 5 years ago
- Views:
Transcription
1 Polya theory (With a radar application motivation) Daniel Zwillinger, PhD 5 April 200 Sudbury telephone Daniel I Zwillinger@raytheon.com
2 Abstract This lecture will show how Polya theory can be used in counting objects, which is often the design basis for statistical tests. Specifically, Polya theory determines the number of distinct equivalence classes of objects. It can also give counts for specific types of patterns within equivalence classes. While sounding esoteric, this simple-to-apply technique easily counts non-isomorphic (i.e., different) graphs, and many other combinatorial structures. An application to radar filtering of hard-limited data will be used to motivate the topic.
3 Outline Introduction Who am I? Why am I talking? Talk is about combinatorial counting method Problem motivation Switching functions Radar filtering Necklaces: using 3 beads of 3 different colors, how many different necklaces are there? Polya theory Permutation groups Burnside s Lemma
4 Daniel Zwillinger Education: MIT, Caltech Joined Raytheon in 200 (Sr Principal Engineer) Formerly at: RPI, JPL, BBN, IDA, MITRE, Exxon, Sandia Labs, Ironbridge Networks, consulting Broad expertise in applied mathematics (continuous and discrete) Books on: differential equations, statistics, integration methods, table of integrals Editor-in-chief of 30 th edition of CRC s Standard Mathematical Tables and Formulae Home page:
5 Combinatorial problems Combinatorial optimization How to define a problem? How many solutions are there? How to identify the solutions? How to find the best solution? Today s focus is on the number of solutions Standard counting problems (next 2 slides) Generating functions Standard problems (assignment problem, etc.) Polya theory
6 Sample selection Choosing a sample of size r from m objects Order Repetitions The sample Number of ways to counts? allowed? is called an choose the sample No No r-combination C(m, r) Yes No r-permutation P (m, r) No Yes r-combination C R (m, r) with replacement Yes Yes r-permutation P R (m, r) C(m, r) = m r with replacement m! = r!(m r)! m! P (m, r) = (m)r = (m r)! C R (m + r )! (m, r) = C(m + r, r) = r!(m )! P R (m, r) = m r
7 Balls into cells Distinguish Distinguish Can cells Number of ways to the cells the balls be empty place n balls into k cells Yes Yes Yes k n Yes Yes No k!n n k k+n Yes No Yes C(k + n, n) = n n Yes No No C(n, k ) = n k n n n o n n o No Yes Yes o 2 k No Yes No n n ko No No Yes p (n) + p 2 (n) + + p k (n) No No No p k (n) n n ko is a Stirling cycle number p k (n) is the number of partitions of n into k parts o
8 Example: Switching functions (I) A switching function (Boolean function) assigns a 0 or to each bit string of length n {0, } {0, } {0, } {0, } {0, } There are 2 2n different switching functions (For n = 4 have 65,536 switching functions)
9 Example: Switching functions (II) Allowing symmetries, there are only 3,984 different switching functions (see [2])! Allowing an inverter and symmetries, there are only 222 different switching functions (see [2])! Polya theory easily gives the number 222.
10 Example: Radar filtering (I) D be a detection, N is a no detection R is a report, is no report Sample filter result for 2 out of 3 filter input output N N N N N D N D R D R N R N D D R D R D R N R N N 2 out of 3 filter has 4 states: State W, last two input elements are NN State X, last two input elements are ND State Y, last two input elements are DN State Z, last two input elements are DD
11 Example: Radar filtering (II) Transition diagram is W X R Z Y R R R N is shown as a solid line D is shown as a dashed line
12 Example: Radar filtering (III) For iid inputs (D has a probability of p) have transition matrix From state 0 W X Y Z W p p 0 0 X 0 0 p p Y p p 0 0 Z 0 0 p p Usual eigen-analysis yields steady state distribution: C A state W X Y Z probability ( p) 2 p( p) p( p) p 2
13 Example: Radar filtering (IV) Hence, probability of an R is P D2 of 3 = p 2 (3 2p) For a given P FA want to maximize P D2 of 3 Can use input distributions other than iid... Concept: enumerate all possible filters, pick the best How many are there? (Look at decomposition)
14 Counting transition diagrams Need to know the number of directed graphs with out-degree one for different numbers of vertices. Find (using Polya theory) number of states S naive counting S 2S number of actual filters Use Sloane [4] to identify sequence A054050: {0, 29, 2836, 8306, , ,... }: Number of non-isomorphic binary n-state automata [5]
15 Permutation groups: Fast review Consider permutations of {, 2, 3,..., n} 0 ) π 2 n A = (a a 2 a n a a 2 an means { a, 2 a 2,..., n a n }. Operation: π π 2 means: permute by π 2 then by π {π, π 2,..., π n } can be closed to form a group G a is invariant if π(a) = a; Inv(π) is number of elements invariant under π Write π as unique product of disjoint cycles; cyc(π) is number of cycles in π An equivalence relation S (on G) is defined by a S b iff there exists a π G such that π(a) = b
16 Permutation groups: Example If G = {π, π 2 } with π = π 2 = A = A = Then G = 2 π 2 π = A π π 2 = Inv(π ) = Inv(π 2 ) = 0 cyc(π ) = 2 cyc(π 2 ) = A
17 Burnside s Lemma If A = set of elements G = permutation group on A S = equivalence relation on A induced by G Then the number of equivalence classes in S is G π G Inv(π)
18 Example: 4-bead necklaces { 0 G = {π, π 2 } A, G = 2 Inv(π ) = 4 Inv(π 2 ) = 0 Burnside s lemma: 2 (4 + 0) = 2 equivalence classes The 2 equivalence classes are {, 4} and {2, 3} A }
19 Example: Necklaces with colored beads (I) Example: have 3 { beads and 2 bead colors (B, W) 0 0 } G = {π, π 2 } A Colorings are: a = {W, W, W } b = {W, W, B} c = {W, B, W } d = {W, B, B} e = {B, W, W } f = {B, W, B} g = {B, B, W } h = {B, B, B} Mappings: under π 2 have b e and d g
20 Example: Necklaces with colored beads (II) G = {π, π 2} π = π 2 = a b c d e f g h a b c d e f g h a b c d e f g h a e c g b f d h G = G = 2 Inv(π ) = 3, Inv(π 2 ) = : Burnside = 2 (3 + ) = 2 Inv(π ) = 8, Inv(π 2) = 4: Burnside = 2 (8 + 4) = 6 The 6 equivalence classes are: {a}, {b, e}, {c}, {d, g}, {f}, {h} Note: 4 classes of element, 2 classes of 2 elements A A
21 Example: Rotations of an equilateral triangle 3 { 0 G 2 3 A, A, G = 3 Inv(π ) = 3, Inv(π 2 ) = 0, Inv(π 3 ) = 0 Burnside lemma: 3 ( ) = equivalence class The single equivalence class is {, 2, 3} A }
22 Example: Rotations of an equilateral triangle with colored beads (I) Three different colored beads (Black, White, Gray) on an equilateral triangle. Allow rotations. a b c d e f
23 Example: Rotations of an equilateral triangle with colored beads (II) G = {π, π 2, π 3} G = 3 π = π 2 = π 3 = a b c d e f a b c d e f a b c d e f b c a e f d a b c d e f c a b f d e A Inv(π) = 6 A Inv(π2) = 0 A Inv(π3) = 0 Burnside lemma: 3 ( ) = 2 equiv classes The equivalence classes are {a, b, c} and {d, e, f} Note: If flips are allowed, then one equivalence class [Need to add π 4 = ( 3 2), π 5 = (2 3), π 6 = (3 2 )]
24 Special case of Polya s Theorem If G = group of permutations of D = {π, π 2,... } C = set of m colors S(D, C) = set of colorings of D using colors in C Then the number of distinct colorings in S(D, C) is G π G m cyc(π)
25 Example: Necklaces with colored beads (III) Assume k beads G = {π, π 2 } π = ()(2)(3) (k) π 2 = ( k)(2 k )(3 k 2) k 2 if k is even cyc(π ) = k cyc(π 2 ) = k+ 2 if k is odd Number of equivalence classes of colorings is 2 2 [ m k + m k/2] if k is even [ m k + m (k+)/2] if k is odd
26 Example: Necklaces with colored beads (IV) Number of equivalence classes for various k and m number of beads k m = 2 colors m = 3 colors m = 4 colors
27 Example: Rotations of an equilateral triangle with colored beads (III) Assume m colors G = {π, π 2, π 3 } G = 3 π = ()(2)(3) cyc(π ) = 3 π 2 = (23) cyc(π 2 ) = π 3 = (32) cyc(π 3 ) = Number of equivalence classes of colorings is [ m 3 + 2m ] 3 For m = 3 have colorings Before: 2 colorings with one B, one W, and one G
28 Permutation groups: Cycle index Assume π has 8 >< >: b cycles of length b 2 cycles of length 2. b k cycles of length k Encode each π by x b xb x b k k Note: i b i(π) = cyc(π) Cycle index of G is normalized sum of encodings P G (x, x 2,..., x k ) = G π G x b (π) x b 2(π) 2 x b k(π) k
29 Polya s Theorem Let color c have weight w(c). The pattern inventory describes the colorings, of a certain kind, as functions of the weights. G = group of permutations on D = {π, π 2,... } C = set of colors; C = m S(D, C) = set of colorings of D using colors in C Then the pattern inventory of colorings in S(D, C) is ) P G ( c C w(c), c C w 2 (c), c C w 3 (c),... Note: for w(c) = have P G (m, m,..., m) = G X π G m cyc(π)
30 Example: Necklaces with colored beads (V a) Assume k beads G = {π, π 2 } π = ()(2)(3) (k) π 2 = ( k)(2 k )(3 k 2) b (π ) = k and 0 = b 2 (π ) = b 3 (π ) =... If k is even, then b 2 (π 2 ) = k 2 and 0 = b (π 2 ) = b 3 (π 2 ) =... If k is odd, then b (π 2 ) =, b 2 (π 2 ) = k 2 and 0 = b 3 (π 2 ) = b 4 (π 2 ) =...
31 Example: Necklaces with colored beads (V b) Cycle index is (x i = c C wn (c)) [ ] 2 x k + x k/2 2 P G (x, x 2 ) = [ x k + x x (k )/2 2 2 ] if k is even if k is odd If m = color (Black) available: x = B, x 2 = B 2 B 2 + For k = 2 have P G = 2 For k = 3 have P G = 2 In general: P G = B k Conclusion: there is a single coloring, and it has all black beads B 2 = B 2 B 3 + B B 2 = B 3
32 Example: Necklaces with colored beads (V c) If m = 2 colors (Black, White) available: x = (B + W ), x 2 = (B 2 + W 2 ) For k = 2 have P G = 2 = W 2 + BW + B 2 (B + W ) 2 + B 2 + W 2 There are 3 distinct colorings
33 Example: Necklaces with colored beads (V d) If m = 2 colors (B, W) are available, then For k = 3: P G = W 3 + 2B 2 W +2BW {z } 2 + B 3 shown below 2 There are 6 distinct colorings For even k 4 have: P G = W k + k 2 BW k +...
34 Example: Necklaces with colored beads (V e) If m = 3 colors (Black, White, Shade) available: x = (B + W + S), x 2 = (B 2 + W 2 + S 2 ) For k = 2 have 6 distinct colorings: P G = 2 (B + W + S) 2 + (B 2 + W 2 + S 2 ) = (B 2 + W 2 + S 2 ) + (BW + BS + SW ) For k = 3 have 8 distinct colorings: P G = 2 (B + W + S) 3 + (B + W + S)(B 2 + W 2 + S 2 ) = (B 3 + W 3 + S 3 ) + 2(B 2 W + W 2 B + B 2 S +S 2 B + W 2 S + S 2 W ) + 3BW S
35 Example: Rotations of an equilateral triangle with colored beads (IV) G = {π 0, π 2, π 3 }, G = 3 π 2 3 A= ()(2)(3) b (π ) = π A= (2 3 ) b (π 2 ) = 0 π A= (3 2) b (π 3 ) = ( ) Pattern inventory: P G = 3 x 3 + 2x 3 For m = 3 colors have colorings: (B + W + S) B 3 + W 3 + S 3 P G = 3 = B 3 + W 3 + S BWS +...
36 Conclusion Many applications of Polya theory: bracelets (rotations of an n-gon) [ ] For n = 6 find P G = 6 x 6 + x x x 6 photomasks for chips molecular structures non-isomorphic graphs seating arrangements Polya theory is more advanced than shown here Daniel Zwillinger can help in formulating and solving discrete and continuous mathematical problems (Sudbury --623, telephone 4 660)
37 References [] For pictures of colored necklaces, bracelets, unlabeled necklaces, etc, visit (be careful of terms!) [2] Harvard Computation Laboratory Staff, Synthesis of electronic computing and control circuits, Harvard University Press, Cambridge, MA, 95. [3] Fred S. Roberts, Applied Combinatorics, Prentice-Hall, 984. [4] Sloane s on-line encyclopedia: [5] F. Harary and E. Palmer, Number of non-isomorphic binary n-state automata, Graphical Enumeration, 973. [6] Daniel Zwillinger, CRC Standard Mathematical Tables and Formulae, CRC, Boca Raton, FL, 995.
How to count - an exposition of Polya s theory of enumeration
How to count - an exposition of Polya s theory of enumeration Shriya Anand Published in Resonance, September 2002 P.19-35. Shriya Anand is a BA Honours Mathematics III year student from St. Stephens College,
More informationEnumerative Combinatorics 7: Group actions
Enumerative Combinatorics 7: Group actions Peter J. Cameron Autumn 2013 How many ways can you colour the faces of a cube with three colours? Clearly the answer is 3 6 = 729. But what if we regard two colourings
More informationDiscrete Mathematics lecture notes 13-2 December 8, 2013
Discrete Mathematics lecture notes 13-2 December 8, 2013 34. Pólya s Enumeration Theorem We started examining the number of essentially distinct colorings of an object with questions of the form How many
More informationCombinatorics and Graph Theory NISER-MA401 Semester 4 of 2010
Combinatorics and Graph Theory NISER-MA401 Semester 4 of 2010 Instructor: Deepak Kumar Dalai 6th January 2010 1. Elementary Enumeration [3, Chapter 1] (a Some basic counting i. Counting the number of strings
More informationNecklaces Pólya s Enumeration Theorem. Pólya Counting I. Gordon Royle. Semester 1, 2004
Semester 1, 2004 George Pólya (1887 1985) George Polya discovered a powerful general method for enumerating the number of orbits of a group on particular configurations. This method became known as the
More informationEnumerating Distinct Chessboard Tilings and Generalized Lucas Sequences Part I
Enumerating Distinct Chessboard Tilings and Generalized Lucas Sequences Part I Daryl DeFord Washington State University January 28, 2013 Roadmap 1 Problem 2 Symmetry 3 LHCCRR as Vector Spaces 4 Generalized
More informationThe candidates are advised that they must always show their working, otherwise they will not be awarded full marks for their answers.
MID SWEDEN UNIVERSITY TFM Examinations 2006 MAAB16 Discrete Mathematics B Duration: 5 hours Date: 7 June 2006 There are EIGHT questions on this paper and you should answer as many as you can in the time
More informationPROBABILITY. Contents Preface 1 1. Introduction 2 2. Combinatorial analysis 5 3. Stirling s formula 8. Preface
PROBABILITY VITTORIA SILVESTRI Contents Preface. Introduction. Combinatorial analysis 5 3. Stirling s formula 8 Preface These lecture notes are for the course Probability IA, given in Lent 09 at the University
More informationPÓLYA S COUNTING THEORY Mollee Huisinga May 9, 2012
PÓLYA S COUNTING THEORY Mollee Huisinga May 9, 202 Introduction In combinatorics, there are very few formulas that apply comprehensively to all cases of a given problem. Pólya s Counting Theory is a spectacular
More informationPROBABILITY VITTORIA SILVESTRI
PROBABILITY VITTORIA SILVESTRI Contents Preface. Introduction 2 2. Combinatorial analysis 5 3. Stirling s formula 8 4. Properties of Probability measures Preface These lecture notes are for the course
More informationPrimary classes of compositions of numbers
Annales Mathematicae et Informaticae 41 (2013) pp. 193 204 Proceedings of the 15 th International Conference on Fibonacci Numbers and Their Applications Institute of Mathematics and Informatics, Eszterházy
More informationAlgebra: Groups. Group Theory a. Examples of Groups. groups. The inverse of a is simply a, which exists.
Group Theory a Let G be a set and be a binary operation on G. (G, ) is called a group if it satisfies the following. 1. For all a, b G, a b G (closure). 2. For all a, b, c G, a (b c) = (a b) c (associativity).
More informationMATH 433 Applied Algebra Lecture 22: Review for Exam 2.
MATH 433 Applied Algebra Lecture 22: Review for Exam 2. Topics for Exam 2 Permutations Cycles, transpositions Cycle decomposition of a permutation Order of a permutation Sign of a permutation Symmetric
More informationCMPSCI 240: Reasoning about Uncertainty
CMPSCI 240: Reasoning about Uncertainty Lecture 7: More Advanced Counting Andrew McGregor University of Massachusetts Last Compiled: February 21, 2017 Outline 1 Recap 2 Partitions 3 More Examples 4 Clicker
More informationThe cycle polynomial of a permutation group
The cycle polynomial of a permutation group Peter J. Cameron School of Mathematics and Statistics University of St Andrews North Haugh St Andrews, Fife, U.K. pjc0@st-andrews.ac.uk Jason Semeraro Department
More informationThe Gaussian coefficient revisited
The Gaussian coefficient revisited Richard EHRENBORG and Margaret A. READDY Abstract We give new -(1+)-analogue of the Gaussian coefficient, also now as the -binomial which, lie the original -binomial
More informationDecomposing dense bipartite graphs into 4-cycles
Decomposing dense bipartite graphs into 4-cycles Nicholas J. Cavenagh Department of Mathematics The University of Waikato Private Bag 3105 Hamilton 3240, New Zealand nickc@waikato.ac.nz Submitted: Jun
More informationCombinatorial Interpretations of a Generalization of the Genocchi Numbers
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 7 (2004), Article 04.3.6 Combinatorial Interpretations of a Generalization of the Genocchi Numbers Michael Domaratzki Jodrey School of Computer Science
More informationPermutation groups/1. 1 Automorphism groups, permutation groups, abstract
Permutation groups Whatever you have to do with a structure-endowed entity Σ try to determine its group of automorphisms... You can expect to gain a deep insight into the constitution of Σ in this way.
More informationCounting Strategies: Inclusion-Exclusion, Categories
Counting Strategies: Inclusion-Exclusion, Categories Russell Impagliazzo and Miles Jones Thanks to Janine Tiefenbruck http://cseweb.ucsd.edu/classes/sp16/cse21-bd/ May 4, 2016 A scheduling problem In one
More informationLecture 4: Orbits. Rajat Mittal. IIT Kanpur
Lecture 4: Orbits Rajat Mittal IIT Kanpur In the beginning of the course we asked a question. How many different necklaces can we form using 2 black beads and 10 white beads? In the question, the numbers
More informationPermutation Statistics and q-fibonacci Numbers
Permutation Statistics and q-fibonacci Numbers Adam M Goyt and David Mathisen Mathematics Department Minnesota State University Moorhead Moorhead, MN 56562 Submitted: April 2, 2009; Accepted: August 2,
More informationON THE NUMBER OF HAMILTONIAN CIRCUITS IN THE «-CUBE
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 50, July 1975 ON THE NUMBER OF HAMILTONIAN CIRCUITS IN THE «-CUBE E. DIXON AND S. GOODMAN ABSTRACT. Improved upper and lower bounds are found for
More informationContents. Counting Methods and Induction
Contents Counting Methods and Induction Lesson 1 Counting Strategies Investigations 1 Careful Counting... 555 Order and Repetition I... 56 3 Order and Repetition II... 569 On Your Own... 573 Lesson Counting
More informationAn Algorithmist s Toolkit September 24, Lecture 5
8.49 An Algorithmist s Toolkit September 24, 29 Lecture 5 Lecturer: Jonathan Kelner Scribe: Shaunak Kishore Administrivia Two additional resources on approximating the permanent Jerrum and Sinclair s original
More informationVector fields and phase flows in the plane. Geometric and algebraic properties of linear systems. Existence, uniqueness, and continuity
Math Courses Approved for MSME (2015/16) Mth 511 - Introduction to Real Analysis I (3) elements of functional analysis. This is the first course in a sequence of three: Mth 511, Mth 512 and Mth 513 which
More informationBijective Proofs with Spotted Tilings
Brian Hopkins, Saint Peter s University, New Jersey, USA Visiting Scholar, Mahidol University International College Editor, The College Mathematics Journal MUIC Mathematics Seminar 2 November 2016 outline
More informationBasic counting techniques. Periklis A. Papakonstantinou Rutgers Business School
Basic counting techniques Periklis A. Papakonstantinou Rutgers Business School i LECTURE NOTES IN Elementary counting methods Periklis A. Papakonstantinou MSIS, Rutgers Business School ALL RIGHTS RESERVED
More informationBeginnings of Polya Theory
Beginnings of Polya Theory Naren Manjunath July 29, 2013 1 Introduction Polya theory is, unlike most of high- school combinatorics, not a bag of tricks that are situation- specific. It deals with questions
More informationLower bounds for Ramsey numbers for complete bipartite and 3-uniform tripartite subgraphs
Journal of Graph Algorithms and Applications http://jgaa.info/ vol. 7, no. 6, pp. 67 688 (03 DOI: 0.755/jgaa.003 Lower bounds for Ramsey numbers for complete bipartite and 3-uniform tripartite subgraphs
More informationL11.P1 Lecture 11. Quantum statistical mechanics: summary
Lecture 11 Page 1 L11.P1 Lecture 11 Quantum statistical mechanics: summary At absolute zero temperature, a physical system occupies the lowest possible energy configuration. When the temperature increases,
More informationHomework #4 Solutions Due: July 3, Do the following exercises from Lax: Page 124: 9.1, 9.3, 9.5
Do the following exercises from Lax: Page 124: 9.1, 9.3, 9.5 9.1. a) Find the number of different squares with vertices colored red, white, or blue. b) Find the number of different m-colored squares for
More informationSets. A set is a collection of objects without repeats. The size or cardinality of a set S is denoted S and is the number of elements in the set.
Sets A set is a collection of objects without repeats. The size or cardinality of a set S is denoted S and is the number of elements in the set. If A and B are sets, then the set of ordered pairs each
More informationAn enumeration of equilateral triangle dissections
arxiv:090.599v [math.co] Apr 00 An enumeration of equilateral triangle dissections Aleš Drápal Department of Mathematics Charles University Sokolovská 83 86 75 Praha 8 Czech Republic Carlo Hämäläinen Department
More informationAn Introduction to Combinatorial Species
An Introduction to Combinatorial Species Ira M. Gessel Department of Mathematics Brandeis University Summer School on Algebraic Combinatorics Korea Institute for Advanced Study Seoul, Korea June 14, 2016
More information(a) How many pairs (A, B) are there with A, B [n] and A B? (The inclusion is required to be strict.)
1 Enumeration 11 Basic counting principles 1 June 2008, Question 1: (a) How many pairs (A, B) are there with A, B [n] and A B? (The inclusion is required to be strict) n/2 ( ) n (b) Find a closed form
More informationCounting Palindromic Binary Strings Without r-runs of Ones
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 16 (013), Article 13.8.7 Counting Palindromic Binary Strings Without r-runs of Ones M. A. Nyblom School of Mathematics and Geospatial Science RMIT University
More informationq xk y n k. , provided k < n. (This does not hold for k n.) Give a combinatorial proof of this recurrence by means of a bijective transformation.
Math 880 Alternative Challenge Problems Fall 2016 A1. Given, n 1, show that: m1 m 2 m = ( ) n+ 1 2 1, where the sum ranges over all positive integer solutions (m 1,..., m ) of m 1 + + m = n. Give both
More informationare the q-versions of n, n! and . The falling factorial is (x) k = x(x 1)(x 2)... (x k + 1).
Lecture A jacques@ucsd.edu Notation: N, R, Z, F, C naturals, reals, integers, a field, complex numbers. p(n), S n,, b(n), s n, partition numbers, Stirling of the second ind, Bell numbers, Stirling of the
More informationON THE EVOLUTION OF ISLANDS
ISRAEL JOURNAL OF MATHEMATICS, Vol. 67, No. 1, 1989 ON THE EVOLUTION OF ISLANDS BY PETER G. DOYLE, Lb COLIN MALLOWS,* ALON ORLITSKY* AND LARRY SHEPP t MT&T Bell Laboratories, Murray Hill, NJ 07974, USA;
More informationEnumeration of generalized polyominoes
Enumeration of generalized polyominoes MATTHIAS KOCH and SASCHA KURZ Department of Mathematics, University of Bayreuth matthias.koch, sascha.kurz@uni-bayreuth.de D-95440 Bayreuth, Germany Submitted: May
More informationCounting. Mukulika Ghosh. Fall Based on slides by Dr. Hyunyoung Lee
Counting Mukulika Ghosh Fall 2018 Based on slides by Dr. Hyunyoung Lee Counting Counting The art of counting is known as enumerative combinatorics. One tries to count the number of elements in a set (or,
More informationLatin squares: Equivalents and equivalence
Latin squares: Equivalents and equivalence 1 Introduction This essay describes some mathematical structures equivalent to Latin squares and some notions of equivalence of such structures. According to
More informationSpherical Venn Diagrams with Involutory Isometries
Spherical Venn Diagrams with Involutory Isometries Frank Ruskey Mark Weston Department of Computer Science University of Victoria PO BOX 3055, Victoria, BC Canada V8W 3P6 {ruskey,mweston}@cs.uvic.ca Submitted:
More informationOutline. Two-batch liar games on a general bounded channel. Paul s t-ary questions: binary case. Basic liar game setting
Outline Two-batch liar games on a general bounded channel Robert B. Ellis 1 Kathryn L. Nyman 2 1 Illinois Institute of Technology 2 Loyola University, Chicago University of Illinois at Urbana-Champaign
More informationCOUNTING AND SYMMETRY
COUNTING AND SYMMETRY INTERMEDIATE GROUP NOVEMBER 6, 2016 Warm Up Problem 1. Examine the figure below. (1) How many lines of symmetry does the figure have? (2) How many symmetries does the figure have?
More informationCS 2336 Discrete Mathematics
CS 2336 Discrete Mathematics Lecture 8 Counting: Permutations and Combinations 1 Outline Definitions Permutation Combination Interesting Identities 2 Definitions Selection and arrangement of objects appear
More informationHanoi Graphs and Some Classical Numbers
Hanoi Graphs and Some Classical Numbers Sandi Klavžar Uroš Milutinović Ciril Petr Abstract The Hanoi graphs Hp n model the p-pegs n-discs Tower of Hanoi problem(s). It was previously known that Stirling
More informationBasic Combinatorics. Math 40210, Section 01 Fall Homework 8 Solutions
Basic Combinatorics Math 4010, Section 01 Fall 01 Homework 8 Solutions 1.8.1 1: K n has ( n edges, each one of which can be given one of two colors; so Kn has (n -edge-colorings. 1.8.1 3: Let χ : E(K k
More informationAhlswede Khachatrian Theorems: Weighted, Infinite, and Hamming
Ahlswede Khachatrian Theorems: Weighted, Infinite, and Hamming Yuval Filmus April 4, 2017 Abstract The seminal complete intersection theorem of Ahlswede and Khachatrian gives the maximum cardinality of
More informationIOSR Journal of Mathematics (IOSR-JM) e-issn: , p-issn: x. Volume 9, Issue 2 (Nov. Dec. 2013), PP
IOSR Journal of Mathematics (IOSR-JM) e-issn: 2278-5728, p-issn:2319-765x. Volume 9, Issue 2 (Nov. Dec. 2013), PP 33-37 The use of Algorithmic Method of Hamming Code Techniques for the Detection and Correction
More informationPÓLYA S ENUMERATION THEOREM AND ITS APPLICATIONS. Master s Thesis December 2015
PÓLYA S ENUMERATION THEOREM AND ITS APPLICATIONS Master s Thesis December 205 Author: Matias von Bell Primary Supervisor: Anne-Maria Ernvall-Hytönen Secondary Supervisor: Erik Elfving DEPARTMENT OF MATHEMATICS
More informationHow to Count- An Exposition of Polya's Theory of Enumeration
I ARTICLE How to Count- An Exposition of Polya's Theory of Enumeration Shriya Anand Consider the following problem: Mr.A has a cube whose faces he wants to paint either red or green. He wants to know how
More informationAbstract. JIANG, ZONGLIANG. Symmetric chain decompositions and independent families of. curves. (Under the direction of Dr. Carla D. Savage.
Abstract JIANG, ZONGLIANG. Symmetric chain decompositions and independent families of curves. (Under the direction of Dr. Carla D. Savage.) This thesis shows that symmetric independent families of n curves
More informationDiskrete Mathematik und Optimierung
Diskrete Mathematik und Optimierung Winfried Hochstättler, Robert Nickel: On the Chromatic Number of an Oriented Matroid Technical Report feu-dmo007.07 Contact: winfried.hochstaettler@fernuni-hagen.de
More informationOn the number of cycles in a graph with restricted cycle lengths
On the number of cycles in a graph with restricted cycle lengths Dániel Gerbner, Balázs Keszegh, Cory Palmer, Balázs Patkós arxiv:1610.03476v1 [math.co] 11 Oct 2016 October 12, 2016 Abstract Let L be a
More informationOn the Density of Languages Representing Finite Set Partitions 1
2 3 47 6 23 Journal of Integer Sequences, Vol. 8 2005, Article 05.2.8 On the Density of Languages Representing Finite Set Partitions Nelma Moreira and Rogério Reis DCC-FC & LIACC Universidade do Porto
More informationThe Classification of Clifford Gates over Qubits
The Classification of Clifford Gates over Qubits Daniel Grier, Luke Schaeffer MIT Introduction Section 1 Introduction Classification Introduction Idea Study universality by finding non-universal gate sets.
More informationIST 4 Information and Logic
IST 4 Information and Logic mon tue wed thr fri sun T = today 3 M oh x= hw#x out oh M 7 oh oh 2 M2 oh oh x= hw#x due 24 oh oh 2 oh = office hours oh oh M2 8 3 oh midterms oh oh Mx= MQx out 5 oh 3 4 oh
More informationcse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska
cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska LECTURE 1 Course Web Page www3.cs.stonybrook.edu/ cse303 The webpage contains: lectures notes slides; very detailed solutions to
More informationJournal of Integer Sequences, Vol. 3 (2000), Article Magic Carpets
Journal of Integer Sequences, Vol. 3 (2000), Article 00.2.5 Magic Carpets Erich Friedman Stetson University Deland, FL 32720 Mike Keith 4100 Vitae Springs Road Salem, OR 97306 Email addresses: efriedma@stetson.edu
More informationDiscrete Probability
Discrete Probability Counting Permutations Combinations r- Combinations r- Combinations with repetition Allowed Pascal s Formula Binomial Theorem Conditional Probability Baye s Formula Independent Events
More informationIntroduction to Decision Sciences Lecture 11
Introduction to Decision Sciences Lecture 11 Andrew Nobel October 24, 2017 Basics of Counting Product Rule Product Rule: Suppose that the elements of a collection S can be specified by a sequence of k
More informationCourse : Algebraic Combinatorics
Course 18.31: Algebraic Combinatorics Lecture Notes # 10 Addendum by Gregg Musiker (Based on Lauren Williams Notes for Math 19 at Harvard) February 5th - 7th, 009 1 Introduction to Partitions A partition
More informationCourse Info. Instructor: Office hour: 804, Tuesday, 2pm-4pm course homepage:
Combinatorics Course Info Instructor: yinyt@nju.edu.cn, yitong.yin@gmail.com Office hour: 804, Tuesday, 2pm-4pm course homepage: http://tcs.nju.edu.cn/wiki/ Textbook van Lint and Wilson, A course in Combinatorics,
More informationDiscrete mathematics , Fall Instructor: prof. János Pach
Discrete mathematics 016-017, Fall Instructor: prof. János Pach - covered material - Lecture 1. Counting problems To read: [Lov]: 1.. Sets, 1.3. Number of subsets, 1.5. Sequences, 1.6. Permutations, 1.7.
More informationCombining the cycle index and the Tutte polynomial?
Combining the cycle index and the Tutte polynomial? Peter J. Cameron University of St Andrews Combinatorics Seminar University of Vienna 23 March 2017 Selections Students often meet the following table
More informationMatching Polynomials of Graphs
Spectral Graph Theory Lecture 25 Matching Polynomials of Graphs Daniel A Spielman December 7, 2015 Disclaimer These notes are not necessarily an accurate representation of what happened in class The notes
More informationELCT201: DIGITAL LOGIC DESIGN
ELCT2: DIGITAL LOGIC DESIGN Dr. Eng. Haitham Omran, haitham.omran@guc.edu.eg Dr. Eng. Wassim Alexan, wassim.joseph@guc.edu.eg Lecture 2 Following the slides of Dr. Ahmed H. Madian ذو الحجة 438 ه Winter
More informationCounting with Categories and Binomial Coefficients
Counting with Categories and Binomial Coefficients CSE21 Winter 2017, Day 17 (B00), Day 12 (A00) February 22, 2017 http://vlsicad.ucsd.edu/courses/cse21-w17 When sum rule fails Rosen p. 392-394 Let A =
More informationSequences that satisfy a(n a(n)) = 0
Sequences that satisfy a(n a(n)) = 0 Nate Kube Frank Ruskey October 13, 2005 Abstract We explore the properties of some sequences for which a(n a(n)) = 0. Under the natural restriction that a(n) < n the
More informationFixed-Density Necklaces and Lyndon Words in Cool-lex Order
Fixed-Density Necklaces and Lyndon Words in Cool-lex Order J. Sawada A. Williams July 6, 2009 Abstract This paper creates a simple Gray code for fixed-density binary necklaces and Lyndon words. The Gray
More informationFinding parking when not commuting. Jon McCammond U.C. Santa Barbara
Finding parking when not commuting PSfrag replacements 7 8 1 2 6 3 5 {{1, 4, 5}, {2, 3}, {6, 8}, {7}} 4 Jon McCammond U.C. Santa Barbara 1 A common structure The goal of this talk will be to introduce
More informationCharacterization of Fixed Points in Sequential Dynamical Systems
Characterization of Fixed Points in Sequential Dynamical Systems James M. W. Duvall Virginia Polytechnic Institute and State University Department of Mathematics Abstract Graph dynamical systems are central
More informationarxiv: v1 [math.nt] 4 Mar 2014
VARIATIONS ON A GENERATINGFUNCTIONAL THEME: ENUMERATING COMPOSITIONS WITH PARTS AVOIDING AN ARITHMETIC SEQUENCE arxiv:403.0665v [math.nt] 4 Mar 204 MATTHIAS BECK AND NEVILLE ROBBINS Abstract. A composition
More informationNON-ISOMORPHISM INVARIANT BOREL QUANTIFIERS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 NON-ISOMORPHISM INVARIANT BOREL QUANTIFIERS FREDRIK ENGSTRÖM AND PHILIPP SCHLICHT Abstract. Every
More informationDe Bruijn Sequences for the Binary Strings with Maximum Density
De Bruijn Sequences for the Binary Strings with Maximum Density Joe Sawada 1, Brett Stevens 2, and Aaron Williams 2 1 jsawada@uoguelph.ca School of Computer Science, University of Guelph, CANADA 2 brett@math.carleton.ca
More informationGenerating Functions
Semester 1, 2004 Generating functions Another means of organising enumeration. Two examples we have seen already. Example 1. Binomial coefficients. Let X = {1, 2,..., n} c k = # k-element subsets of X
More informationAutomata and Languages
Automata and Languages Prof. Mohamed Hamada Software Engineering Lab. The University of Aizu Japan Mathematical Background Mathematical Background Sets Relations Functions Graphs Proof techniques Sets
More informationPOLYA S ENUMERATION ALEC ZHANG
POLYA S ENUMERATION ALEC ZHANG Abstract. We explore Polya s theory of counting from first principles, first building up the necessary algebra and group theory before proving Polya s Enumeration Theorem
More informationHow to -Count - An Exposition of Polya's Theory of Enumeration
How to -Count - An Exposition of Polya's Theory of Enumeration Shriya Anand Consider the following problem: Mr.A has a cube whose faces he wants to paint either red or green. He wants to know how many
More informationHadamard matrices of order 32
Hadamard matrices of order 32 H. Kharaghani a,1 B. Tayfeh-Rezaie b a Department of Mathematics and Computer Science, University of Lethbridge, Lethbridge, Alberta, T1K3M4, Canada b School of Mathematics,
More informationBinomial Coefficient Identities/Complements
Binomial Coefficient Identities/Complements CSE21 Fall 2017, Day 4 Oct 6, 2017 https://sites.google.com/a/eng.ucsd.edu/cse21-fall-2017-miles-jones/ permutation P(n,r) = n(n-1) (n-2) (n-r+1) = Terminology
More informationMonotone Gray Codes and the Middle Levels Problem
Monotone Gray Codes and the Middle Levels Problem Carla D. Savage Department of Computer Science North Carolina State University Raleigh, North Carolina 27695-8206 cds@adm.csc.ncsu.edu Peter Winkler Bellcore
More informationStanton Graph Decompositions
Stanton Graph Decompositions Hau Chan and Dinesh G. Sarvate Abstract. Stanton graphs S k (in honor of professor Ralph G. Stanton) are defined, and a new graph decomposition problem for Stanton graphs is
More informationENUMERATING DISTINCT CHESSBOARD TILINGS
ENUMERATING DISTINCT CHESSBOARD TILINGS DARYL DEFORD Abstract. Counting the number of distinct colorings of various discrete objects, via Burnside s Lemma and Pólya Counting, is a traditional problem in
More informationTrees/Intro to counting
Trees/Intro to counting Russell Impagliazzo and Miles Jones Thanks to Janine Tiefenbruck http://cseweb.ucsd.edu/classes/sp16/cse21-bd/ April 29, 2016 Equivalence between rooted and unrooted trees Goal
More informationThe Density Hales-Jewett Theorem in a Measure Preserving Framework Daniel Glasscock, April 2013
The Density Hales-Jewett Theorem in a Measure Preserving Framework Daniel Glasscock, April 2013 The purpose of this note is to explain in detail the reduction of the combinatorial density Hales-Jewett
More informationPattern Popularity in 132-Avoiding Permutations
Pattern Popularity in 132-Avoiding Permutations The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation As Published Publisher Rudolph,
More informationSEATING REARRANGEMENTS ON ARBITRARY GRAPHS
SEATING REARRANGEMENTS ON ARBITRARY GRAPHS DARYL DEFORD Abstract. In this paper, we exhibit a combinatorial model based on seating rearrangements, motivated by some problems proposed in the 1990 s by Kennedy,
More informationCounting Two-State Transition-Tour Sequences
Counting Two-State Transition-Tour Sequences Nirmal R. Saxena & Edward J. McCluskey Center for Reliable Computing, ERL 460 Department of Electrical Engineering, Stanford University, Stanford, CA 94305
More informationTransversal Designs in Classical Planes and Spaces. Aiden A. Bruen and Charles J. Colbourn. Computer Science. University of Vermont
Transversal Designs in Classical Planes and Spaces Aiden A. Bruen and Charles J. Colbourn Computer Science University of Vermont Burlington, VT 05405 U.S.A. Abstract Possible embeddings of transversal
More informationEnumerative Combinatoric Algorithms. Pólya-Redfield Enumeration Theorem aka Burnside s Lemma
Enumerative Combinatoric Algorithms Pólya-Redfield Enumeration Theorem aka Burnside s Lemma J.H. Redfield (1927), G. Pólya (1937): combinatorics W. Burnside (1911): orbit based Oswin Aichholzer: Enumerative
More informationarxiv: v1 [math.co] 13 Jul 2017
A GENERATING FUNCTION FOR THE DISTRIBUTION OF RUNS IN BINARY WORDS arxiv:1707.04351v1 [math.co] 13 Jul 2017 JAMES J. MADDEN Abstract. Let N(n, r, k) denote the number of binary words of length n that begin
More informationOn minors of the compound matrix of a Laplacian
On minors of the compound matrix of a Laplacian R. B. Bapat 1 Indian Statistical Institute New Delhi, 110016, India e-mail: rbb@isid.ac.in August 28, 2013 Abstract: Let L be an n n matrix with zero row
More informationAlmost Cross-Intersecting and Almost Cross-Sperner Pairs offamilies of Sets
Almost Cross-Intersecting and Almost Cross-Sperner Pairs offamilies of Sets Dániel Gerbner a Nathan Lemons b Cory Palmer a Balázs Patkós a, Vajk Szécsi b a Hungarian Academy of Sciences, Alfréd Rényi Institute
More informationLecture 4: Counting, Pigeonhole Principle, Permutations, Combinations Lecturer: Lale Özkahya
BBM 205 Discrete Mathematics Hacettepe University http://web.cs.hacettepe.edu.tr/ bbm205 Lecture 4: Counting, Pigeonhole Principle, Permutations, Combinations Lecturer: Lale Özkahya Resources: Kenneth
More informationGraph G = (V, E). V ={vertices}, E={edges}. V={a,b,c,d,e,f,g,h,k} E={(a,b),(a,g),( a,h),(a,k),(b,c),(b,k),...,(h,k)}
Graph Theory Graph G = (V, E). V ={vertices}, E={edges}. a b c h k d g f e V={a,b,c,d,e,f,g,h,k} E={(a,b),(a,g),( a,h),(a,k),(b,c),(b,k),...,(h,k)} E =16. Digraph D = (V, A). V ={vertices}, E={edges}.
More informationA New Operation on Sequences: The Boustrophedon Transform
A New Operation on Sequences: The Boustrophedon Transform J. Millar, N. J. A. Sloane and N. E. Young Mathematical Sciences Research Center AT&T Bell Laboratories Murray Hill, New Jersey 07974 January 5,
More informationDiscrete Mathematics & Mathematical Reasoning Chapter 6: Counting
Discrete Mathematics & Mathematical Reasoning Chapter 6: Counting Kousha Etessami U. of Edinburgh, UK Kousha Etessami (U. of Edinburgh, UK) Discrete Mathematics (Chapter 6) 1 / 39 Chapter Summary The Basics
More information