arxiv: v1 [math.co] 20 Aug 2012
|
|
- Charlotte Dorcas Hart
- 5 years ago
- Views:
Transcription
1 ENUMERATING TRIANGULATIONS BY PARALLEL DIAGONALS Alon Regev Department of Mathematical Sciences, Northern Illinois University, DeKalb, Illinois arxiv:108.91v1 [math.co] 0 Aug 01 1 Introduction The purpose of this note is to enumerate triangulations of a regular convex polygon according to the number of diagonals parallel to a fixed edge. This enumeration is of interest because it provides insight into the shape of a typical triangulation and because of its connection to the Shapiro convolution. Weconsideratriangulationofann-gonasalabeledgraphwithvertices0,1,...,n 1 1 and edges denoted xy for distinct vertices x and y. The edges include n sides 01,1,...,(n 1)0 and n diagonals. Definition 1. Let f xy (n,k) be the number of triangulations of a regular n-gonwhich include exactly k diagonals parallel to the edge xy. Also denote f xy (n,0) by f xy (n). For example, there are 1 triangulations of a hexagon, of which include a diagonal parallel to 01 (see Figure 1). The remaining 10 triangulations all have zero diagonals parallel to 01. Therefore f 01 (6,1) = and f 01 (6) = 10. Figure 1: The triangulations of a hexagon that include one diagonal parallel to 01. Given n and k, by symmetry f xy (n,k) depends only on the value of y x modulo n and not on the specific choice of x and y. Furthermore, two edges ab and cd in a triangulation of an n-gon are parallel if and only if a+b and c+d are congruent modulo n. It follows that for all n, x and y, { f 01 (n,k), if x+y is odd, f xy (n,k) = f 0 (n,k), if x+y is even, and f xy (n+1,k) = f 01 (n+1,k). 1 For convenience, the vertex 0 of an n-gon is sometimes also labeled n.
2 The question at hand is thus reduced to finding f 01 (n,k), f 0 (n,k) and f 01 (n+1,k). Theorems and below provide explicit formulas for these functions when k = 0 and when k > 0, respectively. These formulas are given in terms of the Catalan numbers C n = 1 n+1 Recall that there are C n triangulations of an n-gon. Therefore for all n, x and y, f xy (n,k) = C n. (1) k 0 ( n n ). The recursion relation n C i C n i = C n+1 () i=0 implies the identity n C i C n+1 i = 1 C n+, () i=0 which is used below. We also make use of the Shapiro convolution identity: n C j C n j = n C n. () Andrews [1] recently gave several proofs of () and its q-analogs, with one of these proofs being purely combinatorial (however, finding a simple bijective proof of () is still an open problem). Avoiding diagonals of a fixed direction We begin by enumerating the triangulations that avoid all diagonals parallel to a fixed edge. Theorem. For any n, and For any n 1, f 01 (n) = C n () f 0 (n) = C n 1 +C n n 1 C n 1. (6) f 01 (n+1) = n 1 C n 1 C n 1. (7) Equations (), (6) and (7) can be proved by induction on n; the base cases are easily verified.
3 n+1 n n+1-i i n-1 Figure : Illustration of the proof of (). The dotted lines represent the avoided diagonals. Proof of (): Enumerate the triangulations of a n-gon that include at least one diagonal parallel to 01 according to the minimal number i, with i n 1, such that i(n+1 i) is an edge of the triangulation (see Figure ). The (n i+)-gon with vertices i,i+1,...,n+1 i can be triangulated in C n i ways. By induction the i-gon with vertices 0,1,...,i,n+ 1 i,n+ i,...,n 1 can be triangulated in C i ways. Subtracting these from the total number triangulations of a n-gon gives n 1 f 01 (n) = C n C n i C i = C n = C n, i= n C n i C i +C 0 C n i= where in the last equality we have used (). Another proof of (), using a result of David Callan on Dyck paths, is outlined in Section. Proof of (7): Enumerate the triangulations of a (n + 1)-gon that include at least one diagonal parallel to 01 according to their diagonal i(n+ i) with minimal i (see Figure ). The (n i+)- gon with vertices i,i+1,...,n+ i can be triangulated in C n i+1 ways. By (), the i-gon with vertices 0,1,...,i,n+ i,n + i,...,n can be triangulated in C i
4 n+1 n n+-i i n Figure : Illustration of the proof of (7). ways. Therefore f 01 (n+1) = C n 1 = n n C n i+1 C i i= C j C n j n C n i+1 C i i= n = ( 1) j C j C n j. Thus by () and (), n 1 f 01 (n+1) = C j C n j n C j C n j = n 1 C n 1 C n 1. The following lemma will be used in the proof of (6). Lemma. For any n, n 1 i 1 C i 1 C n 1 i = n 1 C n 1 C n (8) Proof. Let h(n) be the number of triangulations of a n-gon together with a marking either on one of the sides 01, n(n+1) or on one of the diagonals k(n+1 k), with k n 1, if any such diagonals are present. For example, Figure shows a triangulation of a 16-gon with the diagonal (1) marked. Consider the following two ways to enumerate these marked triangulations.
5 Figure : Example illustrating the proof of Lemma. 1. First mark the edge (j + 1)(n j), with 0 j n 1. For example, the marked triangulation in Figure corresponds to n = 8 and j =. Then choose one of the C j triangulations of the (j + )-gon with vertices 0,1,...,j + 1,n j,n j + 1,...,n 1 and one of the C n j triangulations of the (n j)-gon with vertices j+1,j+,...,n j. Thus there are C j C (n 1) j such marked triangulations for each j. By (), n 1 h(n) = C j C (n 1) j = n 1 C n 1. (9). There are C n marked triangulations whose edge n(n +1) is the one marked. The remaining marked triangulations can be enumerated according to the maximal i, with 1 i n 1, such that i(n + 1 i) is one of the diagonals in the triangulation (where the case i = 1 corresponds to triangulations avoiding all diagonals parallel to 01.) For example, in Figure we have n = 8 and i = 6. For each such i, there are h(i) marked triangulations of the i-gon with vertices 0,1,...,i,n i+1,...,n 1, and there are f 01 (n i+) triangulations of the (n i + )-gon with vertices i,i+1,...,n+1 i which avoid the diagonals (i+1)(n i),...,n(n+1). Thus by () and (9), Comparing this with (9) completes the proof. n 1 h(n) = C n + h(i)f 01 (n i+) n 1 = C n + i 1 C i 1 C n i 1.
6 n+1 n n-1 n-i i n Proof of (6): Figure : Illustration of the proof of (6). For convenience we calculate f 1(n 1) (n) = f 0 (n). Enumerate the triangulations of a n-gon that include at least one diagonal parallel to 1(n 1) according to their diagonal i(n i) with minimal i, where 1 i n 1 (see Figure ). By (7), the (i+1)-gon with with vertices 0,1,...,i,n i,n+1 i,...,n 1 can be triangulated in i 1 C i 1 C i 1 ways. The (n i + 1)-gon with vertices i,i + 1,...,n + i can be triangulated in C n i 1 ways. Therefore n 1 f 0 (n) = C n ( i 1 C i 1 C i 1 )C n i 1 n 1 n 1 = C n i 1 C i 1 C n 1 i + C i 1 C n i 1 = C n ( n 1 C n 1 C n )+(C n 1 n 1 C n 1 ) = C n +C n 1 n 1 C n 1, where in the penultimate equality we have used () and (8). Including a number of diagonals of a fixed direction The next theorem enumerates the triangulations with a fixed positive number of diagonals parallel to a fixed edge. Theorem. Let n and k 1. Then f 01 (n,k) = k+1 C i1 1C i 1 C ik+1 1, (10) 6
7 and f 0 (n,k) = k 1 ( i1 1 C i1 1 C i1 1)( i 1 C i 1 C i 1)C i 1C i 1 C ik+1 1. (11) If n,k 1 then f 01 (n+1,k) = i i k+1 =n ( i 1 1 C i1 1 C i1 1)C i 1C i 1 C ik+1 1. (1) Proof. Consider a triangulation of an n-gon which includes exactly k diagonals parallel to 01. These k diagonals partition the n-gon into k + 1 triangulated polygons, and partition then 1 edges 1,,...,(n 1)n into k+1corresponding partsconsisting ofi 1,...,i k+1 1 edges. The number of vertices in each resulting polygon is i j + for all j, and each such polygon is triangulated with diagonals which are not parallel to one of its sides. Thus f 01 (n,k) = f 01 (i 1 +)f 01 (i +) f 01 (i k+1 +), (1) i j 1 which together with () proves equation (10). By similar considerations, f 0 (n,k) = f 01 (i 1 +1)f 01 (i +1)f 01 (i +)f 01 (i +) f 01 (i k+1 +), i j 1 and f 01 (n+1,k) = i i k+1 =n i j 1 f 01 (i 1 +1)f 01 (i +)f 01 (i +) f 01 (i k+1 +). The differences between these equations and (1) result from considering the regions of the polygon which contain the vertices 0 and n. The proofs of (11) and (1) now follow from (6) and (7), respectively. Note that a consequence of (1), () and (10) is the Catalan identity k+1 C i1 1C i 1 C ik+1 1 = C n. (1) k 0 i i k+1 =n Another Catalan identity can be obtained by considering the set of marked triangulations of a n-gon described in the proof of Lemma. If k is the number of diagonals parallel to 01 in a triangulation of a n-gon, this triangulation corresponds to k + such marked triangulations. Thus by (10), 0 k n (k +) k+1 C i1 1C i 1 C ik+1 1 = n 1 C n 1. (1) 7
8 Combining (1) and (1) results in the identity Remarks 1 k n 1 i i k+1 =n k k C i1 1C i 1 C ik+1 1 = n 1 C n C n. The next theorem was proposed as a problem to the American Mathematical Monthly by David Callan in 00, and a solution appeared in 00. Theorem. [] The number of Dyck n-pathsthat avoid the points (k,0), k = 1,,...,n 1 is twice the number of Dyck (n 1)-paths. Callan proved Theorem using a bijection on Dyck paths. The result is equivalent to (), since the Dyck paths in question are equinumerous with the triangulations of a (n )- gon which avoid all diagonals parallel to 01. To see this, compare the initial conditions for both sequences, and observe that the Dyck paths in question satisfy an analogous recursive relations to the ones given by equations (1) and (10). Similarly, it can be shown that f 0 (n) is equal to the number of Dyck n-paths avoiding all points (k+,0) with k = 0,1,...,n 1, and that f 01 (n+1) is equal to the number of Dyck (n+1)-paths avoiding all points (k,0) with k = 1,,...,n 1. The relation with Dyck paths also gives another interpretation of these results in terms of triangulations. Using standard bijections between triangulations and Dyck paths, the points (k,0) and (k+,0) of a Dyck path correspond to the diagonals of the form 0(k+1) and 0(k), respectively, of a triangulation. This gives analogous results to those of the present note, concerning the number of diagonals of this form instead of the number of diagonals parallel to a fixed edge. The sequences f 0 (n) and f 01 (n+1) appear in [, A0667] and [, A07989], respectively. The interpretation in terms Dyck paths is given there, along with other interpretations and several interesting properties. Callan ([] and [, A0667]) proved the analog of (6) using generating functions. Barry [, A0667] gave an alternative formula for this sequence: f 0 (n+) = 1 n Callan used Dyck paths to prove that n k=0 ( n k )( n k n k 1 ). (16) f 0 (n+) = n f 01 (k +1)f 01 ((n k)+1). k=1 Another relation between these sequences is evident from (6) and (7): A direct proof of (17) may also be of interest. f 01 (n+1)+f 0 (n) = C n. (17) 8
9 References [1] G. E. Andrews, On Shapiro s Catalan convolution, Adv. in Appl. Math, 6(011) 1. [] D. Callan, Dyck paths avoiding the points (k, 0), #1101, AMM 109 (00), 8, solution 11 (00), 18. [] D. Callan, private communication, 01. [] N. J. A. Sloane, The On-Line Encyclopedia of Integer Sequences, 9
Combinatorial Enumeration of Partitions of a Convex Polygon
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 18 2015, Article 15.9.4 Combinatorial Enumeration of Partitions of a Convex Polygon Dong Zhang and Dongyi Wei Peking University Beijing 100871 P. R.
More informationProper Partitions of a Polygon and k-catalan Numbers
Proper Partitions of a Polygon and k-catalan Numbers Bruce E. Sagan Department of Mathematics Michigan State University East Lansing, MI 48824-1027 USA sagan@math.msu.edu July 13, 2005 Abstract Let P be
More informationPebble Sets in Convex Polygons
2 1 Pebble Sets in Convex Polygons Kevin Iga, Randall Maddox June 15, 2005 Abstract Lukács and András posed the problem of showing the existence of a set of n 2 points in the interior of a convex n-gon
More informationAngles of Polygons. Essential Question What is the sum of the measures of the interior angles of a polygon?
7.1 Angles of Polygons Essential Question What is the sum of the measures of the interior angles of a polygon? The Sum of the Angle Measures of a Polygon Work with a partner. Use dynamic geometry software.
More informationPolygon Dissections and Marked Dyck Paths
Polygon Dissections and Marked Dyck Paths DAVID CALLAN Department of Statistics University of Wisconsin-Madison Medical Science Center 00 University Ave Madison, WI 5706-5 callan@statwiscedu February 5,
More informationOn the Minimum Number of Convex Quadrilaterals in Point Sets of Given Numbers of Points
On the Minimum Number of Convex Quadrilaterals in Point Sets of Given Numbers of Points Hu Yuzhong Chen Luping Zhu Hui Ling Xiaofeng (Supervisor) Abstract Consider the following problem. Given n, k N,
More informationA Generalization of the Catalan Numbers
2 3 47 6 23 Journal of Integer Sequences, Vol 6 (203, Article 368 A Generalization of the Catalan Numbers Reza Kahkeshani Department of Pure Mathematics Faculty of Mathematical Sciences University of Kashan
More informationResolutions of the pair design, or 1-factorisations of complete graphs. 1 Introduction. 2 Further constructions
Resolutions of the pair design, or 1-factorisations of complete graphs 1 Introduction A resolution of a block design is a partition of the blocks of the design into parallel classes, each of which forms
More informationSPERNER S LEMMA, BROUWER S FIXED-POINT THEOREM, AND THE SUBDIVISION OF SQUARES INTO TRIANGLES
SPERNER S LEMMA, BROUWER S FIXED-POINT THEOREM, AND THE SUBDIVISION OF SQUARES INTO TRIANGLES AKHIL MATHEW Abstract These are notes from a talk I gave for high-schoolers at the Harvard- MIT Mathematics
More informationBasic Properties The Definition of Catalan Numbers
1 Basic Properties 1.1. The Definition of Catalan Numbers There are many equivalent ways to define Catalan numbers. In fact, the main focus of this monograph is the myriad combinatorial interpretations
More informationSPERNER S LEMMA MOOR XU
SPERNER S LEMMA MOOR XU Abstract. Is it possible to dissect a square into an odd number of triangles of equal area? This question was first answered by Paul Monsky in 970, and the solution requires elements
More informationWhich n-venn diagrams can be drawn with convex k-gons?
Which n-venn diagrams can be drawn with convex k-gons? Jeremy Carroll Frank Ruskey Mark Weston Abstract We establish a new lower bound for the number of sides required for the component curves of simple
More information#A14 INTEGERS 15A (2015) ON SUBSETS OF ORDERED TREES ENUMERATED BY A SUBSEQUENCE OF FIBONACCI NUMBERS
#A4 INTEGERS 5A (205) ON SUBSETS OF ORDERED TREES ENUMERATED BY A SUBSEQUENCE OF FIBONACCI NUMBERS Melkamu Zeleke Department of Mathematics, William Paterson University, Wayne, New Jersey Mahendra Jani
More informationCounting the Number of Isosceles Triangles in Rectangular Regular Grids
Forum Geometricorum Volume 17 (017) 31 39. FORUM GEOM ISSN 1534-1178 Counting the Number of Isosceles Triangles in Rectangular Regular Grids Chai Wah Wu Abstract. In general graph theory, the only relationship
More informationCatalan numbers. 2. In how many ways can you place 3 pairs of parentheses in the expression
Catalan numbers 1. In how many ways can you cut up a regular hexagon (6-sided polygon) into triangles using 3 nonintersecting diagonals? For example, there are 5 ways for a pentagon: 2. In how many ways
More informationc 2011 BRITTANY NICOLE MOTT ALL RIGHTS RESERVED
c 2011 BRITTANY NICOLE MOTT ALL RIGHTS RESERVED ANALYSIS OF THE GENERALIZED CATALAN ORBITS A Thesis Presented to The Graduate Faculty of The University of Akron In Partial Fulfillment of the Requirements
More information1 Elementary number theory
Math 215 - Introduction to Advanced Mathematics Spring 2019 1 Elementary number theory We assume the existence of the natural numbers and the integers N = {1, 2, 3,...} Z = {..., 3, 2, 1, 0, 1, 2, 3,...},
More informationProfessor: Padraic Bartlett. Lecture 9: Trees and Art Galleries. Week 10 UCSB 2015
Math 7H Professor: Padraic Bartlett Lecture 9: Trees and Art Galleries Week 10 UCSB 2015 1 Prelude: Graph Theory This talk uses the mathematical concepts of graphs from our previous class. In particular,
More informationThe Largest Pure Partial Planes of Order 6 Have Size 25
The Largest Pure Partial Planes of Order 6 Have Size 5 Yibo Gao arxiv:1611.00084v1 [math.co] 31 Oct 016 Abstract In this paper, we prove that the largest pure partial plane of order 6 has size 5. At the
More informationDivided differences of inverse functions and partitions of a convex polygon
Divided differences of inverse functions and partitions of a convex polygon Michael S. Floater and Tom Lyche Abstract We derive a formula for an n-th order divided difference of the inverse of a function.
More informationMa/CS 6b Class 26: Art Galleries and Politicians
Ma/CS 6b Class 26: Art Galleries and Politicians By Adam Sheffer The Art Gallery Problem Problem. We wish to place security cameras at a gallery, such that they cover it completely. Every camera can cover
More informationVertex Magic Total Labelings of Complete Graphs 1
Vertex Magic Total Labelings of Complete Graphs 1 Krishnappa. H. K. and Kishore Kothapalli and V. Ch. Venkaiah Centre for Security, Theory, and Algorithmic Research International Institute of Information
More informationProblem Set 7 Solutions
6.42/8.62J Mathematics for Computer Science March 29, 25 Srini Devadas and Eric Lehman Problem Set 7 Solutions Due: Monday, April 4 at 9 PM Problem. Every function has some subset of these properties:
More informationarxiv: v1 [math.co] 4 Sep 2017
Abstract Maximal chord diagrams up to all isomorphisms are enumerated. The enumerating formula is based on a bijection between rooted one-vertex one-face maps on locally orientable surfaces andacertain
More informationThe Art Gallery Problem
The Art Gallery Problem Connor Bohlken Nebraska Wesleyan University cbohlken@nebrwesleyan.edu May 11, 2016 Abstract Given a polygonal art gallery of n vertices, how many security guards are necessary to
More informationNoncrossing Trees and Noncrossing Graphs
Noncrossing Trees and Noncrossing Graphs William Y. C. Chen and Sherry H. F. Yan 2 Center for Combinatorics, LPMC, Nanai University, 30007 Tianjin, P.R. China chen@nanai.edu.cn, 2 huifangyan@eyou.com Mathematics
More informationOn the Number of Tilings of a Square by Rectangles
University of Tennessee, Knoxville Trace: Tennessee Research and Creative Exchange University of Tennessee Honors Thesis Projects University of Tennessee Honors Program 5-2012 On the Number of Tilings
More informationAdjacent: Two distinct vertices u, v are adjacent if there is an edge with ends u, v. In this case we let uv denote such an edge.
1 Graph Basics What is a graph? Graph: a graph G consists of a set of vertices, denoted V (G), a set of edges, denoted E(G), and a relation called incidence so that each edge is incident with either one
More informationThe Graphs of Triangulations of Polygons
The Graphs of Triangulations of Polygons Matthew O Meara Research Experience for Undergraduates Summer 006 Basic Considerations Let Γ(n) be the graph with vertices being the labeled planar triangulation
More informationParity reversing involutions on plane trees and 2-Motzkin paths
European Journal of Combinatorics 27 (2006) 283 289 www.elsevier.com/locate/ejc Parity reversing involutions on plane trees and 2-Motzkin paths William Y.C. Chen a,,louisw.shapiro b,laural.m. Yang a a
More information2009 HMMT Team Round. Writing proofs. Misha Lavrov. ARML Practice 3/2/2014
Writing proofs Misha Lavrov ARML Practice 3/2/2014 Warm-up / Review 1 (From my research) If x n = 2 1 x n 1 for n 2, solve for x n in terms of x 1. (For a more concrete problem, set x 1 = 2.) 2 (From this
More informationGuard Placement For Wireless Localization
Guard Placement For Wireless Localization David Eppstein Michael T. Goodrich Nodari Sitchinava Computer Science Dept., UC Irvine Guard Placement For Wireless Localization p. 1/1 Motivating example: Cyber-Café
More informationMath 170- Graph Theory Notes
1 Math 170- Graph Theory Notes Michael Levet December 3, 2018 Notation: Let n be a positive integer. Denote [n] to be the set {1, 2,..., n}. So for example, [3] = {1, 2, 3}. To quote Bud Brown, Graph theory
More informationDiscrete Applied Mathematics. A revision and extension of results on 4-regular, 4-connected, claw-free graphs
Discrete Applied Mathematics 159 (2011) 1225 1230 Contents lists available at ScienceDirect Discrete Applied Mathematics journal homepage: www.elsevier.com/locate/dam A revision and extension of results
More informationAdvances in Bijective Combinatorics
Advances in Bijective Combinatorics Beáta Bényi Abstract of the Ph.D. Thesis Supervisor: Péter Hajnal Associate Professor Doctoral School of Mathematics and Computer Science University of Szeged Bolyai
More informationCHAPTER 8. Copyright Cengage Learning. All rights reserved.
CHAPTER 8 RELATIONS Copyright Cengage Learning. All rights reserved. SECTION 8.3 Equivalence Relations Copyright Cengage Learning. All rights reserved. The Relation Induced by a Partition 3 The Relation
More informationChapter 4. square sum graphs. 4.1 Introduction
Chapter 4 square sum graphs In this Chapter we introduce a new type of labeling of graphs which is closely related to the Diophantine Equation x 2 + y 2 = n and report results of our preliminary investigations
More informationarxiv: v1 [math.co] 7 Jan 2018
MAGIC POLYGONS AND THEIR PROPERTIES VICTORIA JAKICIC AND RACHELLE BOUCHAT arxiv:1801.06v1 [math.co] 7 Jan 018 Abstract. Magic squares are arrangements of natural numbers into square arrays, where the sum
More informationhal , version 1-11 May 2006 ccsd , version 1-11 May 2006
Author manuscript, published in "Journal of Combinatorial Theory Series A 114, 5 (2007) 931-956" BIJECTIVE COUNTING OF KREWERAS WALKS AND LOOPLESS TRIANGULATIONS OLIVIER BERNARDI ccsd-00068433, version
More informationLattice Polygon s and Pick s Theorem From Dana Paquin and Tom Davis 1 Warm-Up to Ponder
Lattice Polygon s and Pick s Theorem From Dana Paquin and Tom Davis http://www.geometer.org/mathcircles/pick.pdf 1 Warm-Up to Ponder 1. Is it possible to draw an equilateral triangle on graph paper so
More informationSTAIRCASE TILINGS AND LATTICE PATHS
STAIRCASE TILINGS AND LATTICE PATHS Silvia Heubach Department of Mathematics, California State University Los Angeles 55 State University Drive, Los Angeles, CA 9-84 USA sheubac@calstatela.edu Toufik Mansour
More informationRecursive Bijections for Catalan Objects
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 16 (2013), Article 13.5.3 Recursive Bijections for Catalan Objects Stefan Forcey Department of Mathematics The University of Akron Akron, OH 44325-4002
More informationMonotone Paths in Geometric Triangulations
Monotone Paths in Geometric Triangulations Adrian Dumitrescu Ritankar Mandal Csaba D. Tóth November 19, 2017 Abstract (I) We prove that the (maximum) number of monotone paths in a geometric triangulation
More informationCOUNTING THE NUMBER OF WINNING BINARY STRINGS IN THE 1-DIMENSIONAL SAME GAME. Department of Mathematics Oberlin College Oberlin OH 44074
COUNTING THE NUMBER OF WINNING BINARY STRINGS IN THE 1-DIMENSIONAL SAME GAME CHRIS BURNS AND BENJAMIN PURCELL Department of Mathematics Oberlin College Oberlin OH 44074 Abstract. Ralf Stephan recently
More informationDiscrete Mathematics Introduction
Discrete Mathematics Introduction Saad Mneimneh 1 Introduction College mathematics will often focus on calculus, and while it is true that calculus is the most important field that started modern mathematics,
More informationOn Isosceles Triangles and Related Problems in a Convex Polygon
On Isosceles Triangles and Related Problems in a Convex Polygon Amol Aggarwal Saratoga High School Saratoga, California June 19, 010 arxiv:1009.18v [cs.cg] 15 Sep 010 Abstract Given any convex n-gon, in
More informationBinary trees having a given number of nodes with 0, 1, and 2 children.
Binary trees having a given number of nodes with 0, 1, and 2 children. Günter Rote 13. August 1997 Zusammenfassung We give three combinatorial proofs for the number of binary trees having a given number
More informationDissections of polygons into convex polygons
Dissections of polygons into convex polygons Andrzej Żak Faculty of Applied Mathematics, AGH University of Science and Technology al. Mickiewicza 30, 30 059 Kraków, Poland e-mail: zakandrz@uci.agh.edu.pl
More informationPick s Theorem and Lattice Point Geometry
Pick s Theorem and Lattice Point Geometry 1 Lattice Polygon Area Calculations Lattice points are points with integer coordinates in the x, y-plane. A lattice line segment is a line segment that has 2 distinct
More information1. Find f(1), f(2), f(3), and f(4) if f(n) is defined recursively by f(0) = 1 and for n = 0, 1, 2,
Exercises Exercises 1. Find f(1), f(2), f(3), and f(4) if f(n) is defined recursively by f(0) = 1 and for n = 0, 1, 2, a) f(n + 1) = f(n) + 2. b) f(n + 1) = 3f(n). c) f(n + 1) = 2f(n). d) f(n + 1) = f(n)2
More informationPolygon Triangulation. (slides partially by Daniel Vlasic )
Polygon Triangulation (slides partially by Daniel Vlasic ) Triangulation: Definition Triangulation of a simple polygon P: decomposition of P into triangles by a maximal set of non-intersecting diagonals
More informationMa/CS 6b Class 9: Euler s Formula
Ma/CS 6b Class 9: Euler s Formula By Adam Sheffer Recall: Plane Graphs A plane graph is a drawing of a graph in the plane such that the edges are noncrossing curves. 1 Recall: Planar Graphs The drawing
More informationMath Introduction to Advanced Mathematics
Math 215 - Introduction to Advanced Mathematics Number Theory Fall 2017 The following introductory guide to number theory is borrowed from Drew Shulman and is used in a couple of other Math 215 classes.
More informationMath 443/543 Graph Theory Notes
Math 443/543 Graph Theory Notes David Glickenstein September 3, 2008 1 Introduction We will begin by considering several problems which may be solved using graphs, directed graphs (digraphs), and networks.
More informationLecture 4: Trees and Art Galleries
Math 7H: Honors Seminar Professor: Padraic Bartlett Lecture 4: Trees and Art Galleries Week 2 UCSB 2014 1 Prelude: Graph Theory In this talk, we re going to refer frequently to things called graphs and
More informationThe Full Survey on The Euclidean Steiner Tree Problem
The Full Survey on The Euclidean Steiner Tree Problem Shikun Liu Abstract The Steiner Tree Problem is a famous and long-studied problem in combinatorial optimization. However, the best heuristics algorithm
More informationJordan Curves. A curve is a subset of IR 2 of the form
Jordan Curves A curve is a subset of IR 2 of the form α = {γ(x) : x [0,1]}, where γ : [0,1] IR 2 is a continuous mapping from the closed interval [0,1] to the plane. γ(0) and γ(1) are called the endpoints
More informationLesson 7.1. Angles of Polygons
Lesson 7.1 Angles of Polygons Essential Question: How can I find the sum of the measures of the interior angles of a polygon? Polygon A plane figure made of three or more segments (sides). Each side intersects
More informationExercise set 2 Solutions
Exercise set 2 Solutions Let H and H be the two components of T e and let F E(T ) consist of the edges of T with one endpoint in V (H), the other in V (H ) Since T is connected, F Furthermore, since T
More informationAXIOMS FOR THE INTEGERS
AXIOMS FOR THE INTEGERS BRIAN OSSERMAN We describe the set of axioms for the integers which we will use in the class. The axioms are almost the same as what is presented in Appendix A of the textbook,
More informationLecture 25: Bezier Subdivision. And he took unto him all these, and divided them in the midst, and laid each piece one against another: Genesis 15:10
Lecture 25: Bezier Subdivision And he took unto him all these, and divided them in the midst, and laid each piece one against another: Genesis 15:10 1. Divide and Conquer If we are going to build useful
More informationRevisiting the bijection between planar maps and well labeled trees
Revisiting the bijection between planar maps and well labeled trees Daniel Cosmin Porumbel September 1, 2014 Abstract The bijection between planar graphs and well labeled trees was published by Cori and
More informationCPS 102: Discrete Mathematics. Quiz 3 Date: Wednesday November 30, Instructor: Bruce Maggs NAME: Prob # Score. Total 60
CPS 102: Discrete Mathematics Instructor: Bruce Maggs Quiz 3 Date: Wednesday November 30, 2011 NAME: Prob # Score Max Score 1 10 2 10 3 10 4 10 5 10 6 10 Total 60 1 Problem 1 [10 points] Find a minimum-cost
More informationThe competition numbers of complete tripartite graphs
The competition numbers of complete tripartite graphs SUH-RYUNG KIM Department of Mathematics Education, Seoul National University, 151-742, Korea srkim@snuackr YOSHIO SANO Research Institute for Mathematical
More informationAn Introduction to Polygonal Numbers, Their Patterns, and Relationship to Pascal s Triangle
An Introduction to Polygonal Numbers, Their Patterns, and Relationship to Pascal s Triangle Tyler Albany April, 015 1 The ancient Greek mathematician Diophantos was one of the first to study polygonal
More informationLecture 19 Thursday, March 29. Examples of isomorphic, and non-isomorphic graphs will be given in class.
CIS 160 - Spring 2018 (instructor Val Tannen) Lecture 19 Thursday, March 29 GRAPH THEORY Graph isomorphism Definition 19.1 Two graphs G 1 = (V 1, E 1 ) and G 2 = (V 2, E 2 ) are isomorphic, write G 1 G
More informationWeighted Catalan Numbers and Their Divisibility Properties
Weighted Catalan Numbers and Their Divisibility Properties Sarah Shader under the direction of Mr. Gaku Liu Massachusetts Institute of Technology Research Science Institute Abstract The weighted Catalan
More informationHOMEWORK #4 SOLUTIONS - MATH 4160
HOMEWORK #4 SOLUTIONS - MATH 4160 DUE: FRIDAY MARCH 7, 2002 AT 10:30AM Enumeration problems. (1 How many different ways are there of labeling the vertices of the following trees so that the graphs are
More informationAcute Triangulations of Polygons
Europ. J. Combinatorics (2002) 23, 45 55 doi:10.1006/eujc.2001.0531 Available online at http://www.idealibrary.com on Acute Triangulations of Polygons H. MAEHARA We prove that every n-gon can be triangulated
More informationRECURSIVE BIJECTIONS FOR CATALAN OBJECTS.
RECURSIVE BIJECTIONS FOR CATALAN OBJECTS. STEFAN FORCEY, MOHAMMADMEHDI KAFASHAN, MEHDI MALEKI, AND MICHAEL STRAYER Abstract. In this note we introduce several instructive examples of bijections found between
More informationIntegrated Math I. IM1.1.3 Understand and use the distributive, associative, and commutative properties.
Standard 1: Number Sense and Computation Students simplify and compare expressions. They use rational exponents and simplify square roots. IM1.1.1 Compare real number expressions. IM1.1.2 Simplify square
More informationREGULAR GRAPHS OF GIVEN GIRTH. Contents
REGULAR GRAPHS OF GIVEN GIRTH BROOKE ULLERY Contents 1. Introduction This paper gives an introduction to the area of graph theory dealing with properties of regular graphs of given girth. A large portion
More informationChapter 18 out of 37 from Discrete Mathematics for Neophytes: Number Theory, Probability, Algorithms, and Other Stuff by J. M. Cargal.
Chapter 8 out of 7 from Discrete Mathematics for Neophytes: Number Theory, Probability, Algorithms, and Other Stuff by J. M. Cargal 8 Matrices Definitions and Basic Operations Matrix algebra is also known
More informationTHE DESCENT STATISTIC ON 123-AVOIDING PERMUTATIONS
Séminaire Lotharingien de Combinatoire 63 (2010), Article B63a THE DESCENT STATISTIC ON 123-AVOIDING PERMUTATIONS MARILENA BARNABEI, FLAVIO BONETTI, AND MATTEO SILIMBANI Abstract. We exploit Krattenthaler
More information8 Quadrilaterals. Before
8 Quadrilaterals 8. Find Angle Measures in Polygons 8. Use Properties of Parallelograms 8.3 Show that a Quadrilateral is a Parallelogram 8.4 Properties of Rhombuses, Rectangles, and Squares 8.5 Use Properties
More informationThe Art Gallery Problem
The Art Gallery Problem Imagine an art gallery whose floor plan is a simple polygon, and a guard (a point) inside the gallery. Computational Geometry [csci 3250] The Art Gallery Problem Laura Toma Bowdoin
More informationGraph Theory Questions from Past Papers
Graph Theory Questions from Past Papers Bilkent University, Laurence Barker, 19 October 2017 Do not forget to justify your answers in terms which could be understood by people who know the background theory
More informationAction graphs and Catalan numbers
University of California, Riverside March 4, 2015 Catalan numbers The Catalan numbers are a sequence of natural numbers C 0, C 1, C 2,... given by the recursive formula C 0 = 1 C k+1 = k C i C k i. i=0
More informationMath 443/543 Graph Theory Notes
Math 443/543 Graph Theory Notes David Glickenstein September 8, 2014 1 Introduction We will begin by considering several problems which may be solved using graphs, directed graphs (digraphs), and networks.
More informationExplore 2 Exploring Interior Angles in Polygons
Explore 2 Exploring Interior Angles in Polygons To determine the sum of the interior angles for any polygon, you can use what you know about the Triangle Sum Theorem by considering how many triangles there
More informationwhere each number (after the first two 1 s) is the sum of the previous two numbers.
Fibonacci Numbers The Fibonacci numbers are the numbers in the sequence 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987,... where each number (after the first two 1 s) is the sum of the previous
More informationNoncrossing sets and a Graßmann associahedron
Noncrossing sets and a Graßmann associahedron Francisco Santos, Christian Stump, Volkmar Welker (in partial rediscovering work of T. K. Petersen, P. Pylyavskyy, and D. E. Speyer, 2008) (in partial rediscovering
More informationComputational Geometry [csci 3250]
Computational Geometry [csci 3250] Laura Toma Bowdoin College The Art Gallery Problem The Art Gallery Problem Imagine an art gallery whose floor plan is a simple polygon, and a guard (a point) inside the
More informationarxiv: v1 [math.co] 25 Sep 2015
A BASIS FOR SLICING BIRKHOFF POLYTOPES TREVOR GLYNN arxiv:1509.07597v1 [math.co] 25 Sep 2015 Abstract. We present a change of basis that may allow more efficient calculation of the volumes of Birkhoff
More informationarxiv: v4 [math.co] 25 Apr 2010
QUIVERS OF FINITE MUTATION TYPE AND SKEW-SYMMETRIC MATRICES arxiv:0905.3613v4 [math.co] 25 Apr 2010 AHMET I. SEVEN Abstract. Quivers of finite mutation type are certain directed graphs that first arised
More informationAngles of Polygons. b. Draw other polygons and find the sums of the measures of their interior angles. Record your results in the table below.
7.1 TEXS ESSENTIL KNOWLEGE N SKILLS G.5. ngles of Polygons Essential Question What is the sum of the measures of the interior angles of a polygon? of the exterior angles of a polygon? Interior ngle Measures
More informationBulgarian Math Olympiads with a Challenge Twist
Bulgarian Math Olympiads with a Challenge Twist by Zvezdelina Stankova Berkeley Math Circle Beginners Group September 0, 03 Tasks throughout this session. Harder versions of problems from last time appear
More informationMATRIX INTEGRALS AND MAP ENUMERATION 1
MATRIX INTEGRALS AND MAP ENUMERATION 1 IVAN CORWIN Abstract. We explore the connection between integration with respect to the GUE and enumeration of maps. This connection is faciliated by the Wick Formula.
More informationColoring. Radhika Gupta. Problem 1. What is the chromatic number of the arc graph of a polygonal disc of N sides?
Coloring Radhika Gupta 1 Coloring of A N Let A N be the arc graph of a polygonal disc with N sides, N > 4 Problem 1 What is the chromatic number of the arc graph of a polygonal disc of N sides? Or we would
More informationRevolutionaries and Spies
Revolutionaries and Spies arxiv:1106.3838v2 [math.co] 6 Aug 2012 David Howard Department of Mathematics Colgate University Hamilton, NY 13346, U.S.A. Clifford Smyth Department of Mathematics and Statistics
More informationMath 485, Graph Theory: Homework #3
Math 485, Graph Theory: Homework #3 Stephen G Simpson Due Monday, October 26, 2009 The assignment consists of Exercises 2129, 2135, 2137, 2218, 238, 2310, 2313, 2314, 2315 in the West textbook, plus the
More informationof Nebraska - Lincoln
University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln MAT Exam Expository Papers Math in the Middle Institute Partnership -007 The Polygon Game Kyla Hall Follow this and additional
More informationProperly even harmonious labelings of disconnected graphs
Available online at www.sciencedirect.com ScienceDirect AKCE International Journal of Graphs and Combinatorics 12 (2015) 193 203 www.elsevier.com/locate/akcej Properly even harmonious labelings of disconnected
More informationChung-Feller Theorems
Chung-Feller Theorems Ira M. Gessel Department of Mathematics Brandeis University KMS-AMS Meeting, Seoul December 18, 2009 In their 1949 paper On fluctuations in coin-tossing", Chung and Feller proved
More informationCHAPTER 2. Graphs. 1. Introduction to Graphs and Graph Isomorphism
CHAPTER 2 Graphs 1. Introduction to Graphs and Graph Isomorphism 1.1. The Graph Menagerie. Definition 1.1.1. A simple graph G = (V, E) consists of a set V of vertices and a set E of edges, represented
More informationA combinatorial proof of a formula for Betti numbers of a stacked polytope
A combinatorial proof of a formula for Betti numbers of a staced polytope Suyoung Choi Department of Mathematical Sciences KAIST, Republic of Korea choisy@aistacr (Current Department of Mathematics Osaa
More informationPACKING DIGRAPHS WITH DIRECTED CLOSED TRAILS
PACKING DIGRAPHS WITH DIRECTED CLOSED TRAILS PAUL BALISTER Abstract It has been shown [Balister, 2001] that if n is odd and m 1,, m t are integers with m i 3 and t i=1 m i = E(K n) then K n can be decomposed
More informationWarm-Up Exercises. 1. If the measures of two angles of a triangle are 19º and 80º, find the measure of the third angle. ANSWER 81º
Warm-Up Exercises 1. If the measures of two angles of a triangle are 19º and 80º, find the measure of the third angle. 81º 2. Solve (x 2)180 = 1980. 13 Warm-Up Exercises 3. Find the value of x. 126 EXAMPLE
More information1/25 Warm Up Find the value of the indicated measure
1/25 Warm Up Find the value of the indicated measure. 1. 2. 3. 4. Lesson 7.1(2 Days) Angles of Polygons Essential Question: What is the sum of the measures of the interior angles of a polygon? What you
More informationOrthogonal art galleries with holes: a coloring proof of Aggarwal s Theorem
Orthogonal art galleries with holes: a coloring proof of Aggarwal s Theorem Pawe l Żyliński Institute of Mathematics University of Gdańsk, 8095 Gdańsk, Poland pz@math.univ.gda.pl Submitted: Sep 9, 005;
More information