Polya theory (With a radar application motivation)

Size: px
Start display at page:

Download "Polya theory (With a radar application motivation)"

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 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 information

Enumerative Combinatorics 7: Group actions

Enumerative 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 information

Discrete Mathematics lecture notes 13-2 December 8, 2013

Discrete 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 information

Combinatorics and Graph Theory NISER-MA401 Semester 4 of 2010

Combinatorics 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 information

Necklaces Pólya s Enumeration Theorem. Pólya Counting I. Gordon Royle. Semester 1, 2004

Necklaces 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 information

Enumerating Distinct Chessboard Tilings and Generalized Lucas Sequences Part I

Enumerating 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 information

The candidates are advised that they must always show their working, otherwise they will not be awarded full marks for their answers.

The 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 information

PROBABILITY. Contents Preface 1 1. Introduction 2 2. Combinatorial analysis 5 3. Stirling s formula 8. Preface

PROBABILITY. 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 information

PÓLYA S COUNTING THEORY Mollee Huisinga May 9, 2012

PÓ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 information

PROBABILITY VITTORIA SILVESTRI

PROBABILITY 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 information

Primary classes of compositions of numbers

Primary 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 information

Algebra: Groups. Group Theory a. Examples of Groups. groups. The inverse of a is simply a, which exists.

Algebra: 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 information

MATH 433 Applied Algebra Lecture 22: Review for Exam 2.

MATH 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 information

CMPSCI 240: Reasoning about Uncertainty

CMPSCI 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 information

The cycle polynomial of a permutation group

The 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 information

The Gaussian coefficient revisited

The 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 information

Decomposing dense bipartite graphs into 4-cycles

Decomposing 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 information

Combinatorial Interpretations of a Generalization of the Genocchi Numbers

Combinatorial 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 information

Permutation groups/1. 1 Automorphism groups, permutation groups, abstract

Permutation 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 information

Counting Strategies: Inclusion-Exclusion, Categories

Counting 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 information

Lecture 4: Orbits. Rajat Mittal. IIT Kanpur

Lecture 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 information

Permutation Statistics and q-fibonacci Numbers

Permutation 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 information

ON THE NUMBER OF HAMILTONIAN CIRCUITS IN THE «-CUBE

ON 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 information

Contents. Counting Methods and Induction

Contents. 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 information

An Algorithmist s Toolkit September 24, Lecture 5

An 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 information

Vector fields and phase flows in the plane. Geometric and algebraic properties of linear systems. Existence, uniqueness, and continuity

Vector 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 information

Bijective Proofs with Spotted Tilings

Bijective 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 information

Basic counting techniques. Periklis A. Papakonstantinou Rutgers Business School

Basic 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 information

Beginnings of Polya Theory

Beginnings 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 information

Lower bounds for Ramsey numbers for complete bipartite and 3-uniform tripartite subgraphs

Lower 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 information

L11.P1 Lecture 11. Quantum statistical mechanics: summary

L11.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 information

Homework #4 Solutions Due: July 3, Do the following exercises from Lax: Page 124: 9.1, 9.3, 9.5

Homework #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 information

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.

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. 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 information

An enumeration of equilateral triangle dissections

An 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 information

An Introduction to Combinatorial Species

An 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.)

(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 information

Counting Palindromic Binary Strings Without r-runs of Ones

Counting 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 information

q 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.

q 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 information

are the q-versions of n, n! and . The falling factorial is (x) k = x(x 1)(x 2)... (x k + 1).

are 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 information

ON THE EVOLUTION OF ISLANDS

ON 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 information

Enumeration of generalized polyominoes

Enumeration 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 information

Counting. Mukulika Ghosh. Fall Based on slides by Dr. Hyunyoung Lee

Counting. 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 information

Latin squares: Equivalents and equivalence

Latin 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 information

Spherical Venn Diagrams with Involutory Isometries

Spherical 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 information

Outline. 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. 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 information

COUNTING AND SYMMETRY

COUNTING 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 information

CS 2336 Discrete Mathematics

CS 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 information

Hanoi Graphs and Some Classical Numbers

Hanoi 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 information

Basic Combinatorics. Math 40210, Section 01 Fall Homework 8 Solutions

Basic 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 information

Ahlswede Khachatrian Theorems: Weighted, Infinite, and Hamming

Ahlswede 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 information

IOSR 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: , 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 information

PÓLYA S ENUMERATION THEOREM AND ITS APPLICATIONS. Master s Thesis December 2015

PÓ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 information

How to Count- An Exposition of Polya's Theory of Enumeration

How 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 information

Abstract. 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. 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 information

Diskrete Mathematik und Optimierung

Diskrete 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 information

On the number of cycles in a graph with restricted cycle lengths

On 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 information

On the Density of Languages Representing Finite Set Partitions 1

On 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 information

The Classification of Clifford Gates over Qubits

The 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 information

IST 4 Information and Logic

IST 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 information

cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska

cse303 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 information

Journal of Integer Sequences, Vol. 3 (2000), Article Magic Carpets

Journal 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 information

Discrete Probability

Discrete 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 information

Introduction to Decision Sciences Lecture 11

Introduction 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 information

Course : Algebraic Combinatorics

Course : 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 information

Course Info. Instructor: Office hour: 804, Tuesday, 2pm-4pm course homepage:

Course 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 information

Discrete mathematics , Fall Instructor: prof. János Pach

Discrete 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 information

Combining the cycle index and the Tutte polynomial?

Combining 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 information

Matching Polynomials of Graphs

Matching 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 information

ELCT201: DIGITAL LOGIC DESIGN

ELCT201: 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 information

Counting with Categories and Binomial Coefficients

Counting 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 information

Sequences that satisfy a(n a(n)) = 0

Sequences 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 information

Fixed-Density Necklaces and Lyndon Words in Cool-lex Order

Fixed-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 information

Finding parking when not commuting. Jon McCammond U.C. Santa Barbara

Finding 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 information

Characterization of Fixed Points in Sequential Dynamical Systems

Characterization 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 information

arxiv: v1 [math.nt] 4 Mar 2014

arxiv: 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 information

NON-ISOMORPHISM INVARIANT BOREL QUANTIFIERS

NON-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 information

De Bruijn Sequences for the Binary Strings with Maximum Density

De 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 information

Generating Functions

Generating 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 information

Automata and Languages

Automata 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 information

POLYA S ENUMERATION ALEC ZHANG

POLYA 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 information

How to -Count - An Exposition of Polya's Theory of Enumeration

How 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 information

Hadamard matrices of order 32

Hadamard 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 information

Binomial Coefficient Identities/Complements

Binomial 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 information

Monotone Gray Codes and the Middle Levels Problem

Monotone 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 information

Stanton Graph Decompositions

Stanton 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 information

ENUMERATING DISTINCT CHESSBOARD TILINGS

ENUMERATING 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 information

Trees/Intro to counting

Trees/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 information

The 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 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 information

Pattern Popularity in 132-Avoiding Permutations

Pattern 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 information

SEATING REARRANGEMENTS ON ARBITRARY GRAPHS

SEATING 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 information

Counting Two-State Transition-Tour Sequences

Counting 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 information

Transversal 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 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 information

Enumerative Combinatoric Algorithms. Pólya-Redfield Enumeration Theorem aka Burnside s Lemma

Enumerative 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 information

arxiv: v1 [math.co] 13 Jul 2017

arxiv: 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 information

On minors of the compound matrix of a Laplacian

On 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 information

Almost Cross-Intersecting and Almost Cross-Sperner Pairs offamilies of Sets

Almost 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 information

Lecture 4: Counting, Pigeonhole Principle, Permutations, Combinations Lecturer: Lale Özkahya

Lecture 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 information

Graph 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 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 information

A New Operation on Sequences: The Boustrophedon Transform

A 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 information

Discrete Mathematics & Mathematical Reasoning Chapter 6: Counting

Discrete 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