Coloring Relatives of Intervals on the Plane, I: Chromatic Number Versus Girth


 Marjory Benson
 1 years ago
 Views:
Transcription
1 Europ. J. Cobinatorics (1998) 19, Coloring Relatives of Intervals on the Plane, I: Chroatic Nuber Versus Girth A. V. KOSTOCHKA AND J. NEŠETŘIL For the intersection graphs of intervals, rays and strings on the plane, we estiate axiu chroatic nuber in ters of girth. c 1998 Acadeic Press Liited 1. INTRODUCTION Asplund and Grünbau [1] and Gyárfás and Lehel [2] started studying any interesting probles on the chroatic nuber of intersection graphs of intervals and their relatives on the plane. A nuber of these probles can be obtained in the following fraework. For a class G of intersection graphs and for positive integer k, k 2 find or bound (1) f (G, k), the axiu chroatic nuber of a graph in G with a clique nuber of at ost k; and (2) g(g, k), and the axiu chroatic nuber of a graph in G with a girth of at least k (here we assue k 4). Note that f (G, 2) = g(g, 4). In [3] we studied f (G, k) for several failies G, and the current paper concerns g(g, k). Our objects are the failies: I the intersection graphs of intervals on the plane; R the intersection graphs of rays on the plane; S the intersection graphs of such failies of strings (i.e. arcs) on the plane that the intersection of any two strings is a connected subset of the plane. Obviously, R I S and thus f (R, k) f (I, k) f (S, k) and g(r, k) g(i, k) g(s, k) for every k. Note also that f (G, 2) = g(g, 4) for every faily G. The results in McGuiness [5] on coloring intersection graphs of arcwise connected sets iply that f (R, k) < for each integer k. No such facts are known for f (I, k) and f (S, k) and, in fact, the following probles otivated our research: PROBLEM 1. (Erdös, see [2]). Is g(i, 4) <? PROBLEM 2. (Kratochvil and Nešetřil; see e.g. [4]). Is g(s, 4) <? These probles are presently open. Perhaps soewhat surprisingly we show here that already for g(s, 5) the situation is ore optiistic: THEOREM 1. g(s, k) { 6, k 5; 4, k 6; 3, k 8. (1) This work was partially supported by the Network DIMANET of the European Union and by the grant of the Russian Foundation for Fundaental Research. This work was supported by Network DIMANET and by GAČR and GAUK grants 0194 and /98/ $25.00/0 ej c 1998 Acadeic Press Liited
2 104 A. V. Kostochka and J. Nešetřil Obviously the bound for girth 8 is the best possible but for the two reaining bounds this is not clear. We state this as PROBLEM 3. Does there exist a graph of girth 5 (i.e. triangle and rectangle free) which is an intersection graph of strings (or intervals) and which satisfies χ(g) >3? (This is equivalent to saying that g(s, 5) >3. For R, we iprove the bounds of Theore 1 as follows. THEOREM 2. For any integer k 6, and g(r, 5) 4. g(r, k) = 3; The following subfailies of I and R will also be considered: I R the intersection graphs of intervals on the plane parallel to soe lines; the intersection graphs of rays on the plane parallel to soe lines. In particular, we are able to prove stronger bounds for g(i 2, 5) and g(r 2, 5) than those for g(i, 5) and g(r, 5), respectively. THEOREM 3. g(i 2, 5) 5. THEOREM 4. g(r 2, 5) = 3. It is slightly surprising that long cycles do not belong to R. THEOREM 5. Cycle C n of length n belongs to R iff 3 n 6. This fact together with Theores 4 and 2 and the fact that f 1 (R 2, 2) = 4, proved in [3], give the exact values of g(r 2, k) and exact values for g(r, k), k 6: COROLLARY. (1) g(r 2, k) = (2) g(r, k) = { 4, k = 4; 3, 5 k 11; { 2, k 12, 3, 6 k 6 1; 2, k NOTATIONS AND PRELIMINARIES Let P be a Cartesian plane. All our strings, intervals, rays and lines are supposed to be subsets of P. By a string we ean a nonclosed continuous curve on the plane without selfcrossings, i.e. the iage s = s( f ) of a onetoone continuous apping f :[0, 1] P. It will be convenient to consider the point f (0) as the origin o(s) of s, and the point f (1) as its terinal t(s). Intervals are also considered to have origins and terinals. Each ray r can be represented by the quadruple (x, y, u,w), where the point (x, y) is its origin o(r) and (u,w) is its vector v(r). In other words, r ={(x, y) + λ (u,w) λ 0}. Say that a faily F of intervals, rays or lines is an direction faily if there are (straight) lines l 1,...,l such that any eber of F is parallel to soe l i,1 i. For a faily F of subsets of P, its intersection graph G = G F is the undirected graph with the vertex set F such that for r, p V, (r, p) E(G) r p.
3 Coloring relatives of intervals on the plane, I: chroatic nuber versus girth 105 r 1 r 2 r 4 r 5 a 1, 2 = a 4, 3 a 1, 1 = a 5, 3 a 2, 2 = a 4, 2 a 2, 1 = a 5, 2 a 1, 2 = a 4, 3 a 1, 1 = a 5, 3 a 2, 2 = a 4, 2 a 2, 1 = a 5, 2 r 1 r 6 r 4 r 5 a 5, 1 = a 6, 2 a 5, 1 = a 6, 2 r 3 a 3, 2 = a 4, 1 a 3, 1 = a 6, 1 a 3, 2 = a 4, 1 a 3, 1 = a 6, 1 r 3 r 2 r 6 Faily F The graphical graph H(F) The intersection graph G F FIGURE 1. A ray faily F and corresponding graphs. Certainly, for a graph G, there could be very different failies F and F such that G = G F = G F. Any such faily is called a representation of G. We denote by S the collection of intersection graphs of string failies on P such that the intersection of any two strings is a connected subset of P. Evidently, any intersection graph of intervals and rays belongs to S. The intersection graphs of Lshapes described by Gyàrfàs and Lehel [2] also belong to S. We are interested in trianglefree graphs. Clearly for any string representation F of a trianglefree graph G S, each point of P belongs to at ost two strings. Moreover, if s 1 and s 2 are intersecting strings and q = s 1 s 2 (q is a connected curve by the definition of S) then no point of q belongs to any other eber of F. Thus, contracting q into a point we obtain a faily with the sae intersection graph. It follows that for each trianglefree graph G S, there exists a string representation U(G) such that any two strings have at ost one point in coon. This also refers to ray representations. We call such representations Urepresentations (by strings, intervals or rays). Let F ={s 1,...,s n } be a Urepresentation of a trianglefree graph G S. Let for i = 1,...,n, the points a i,1,...,a i,qi be the coon points of s i with other ebers of F nubered starting fro its origin o(s i ). Since G has no triangles, any a i, j lies on exactly two strings. Now we can define the graphical graph H[F] as follows. The vertex set of H is the union n i=1 {a i,1,...,a i,qi } and the edge set of H is {(a i, j, a i, j+1 ) 1 i n, 1 j q i }. An exaple (for a rayintersection graph) is given in Figure 1. Note that H(F) is considered to be a plane graph, i.e. a graph ebedded into P, and its edges are the parts of strings connecting a i, j with a i, j+1. Let v, e and f denote the nuber of vertices, edges and faces in H(F), and denote the nuber of edges in G = G F. Each a i, j corresponds to an edge in G F. Hence v =. (2) Each string s i, i = 1,...,n produces q i 1 edges in H(F), and so e = n (q i 1) = 2v n. (3) i=1 3. COLORING STRING GRAPHS If the class of string graphs S contains a kchroatic graph of girth l then it also contains a kvertexcritical graph G of girth l. Since its iniu degree is at least k 1, we have n(k 1)/2. (4)
4 106 A. V. Kostochka and J. Nešetřil Let F ={s 1,...,s n } be a Urepresentation of G. Then each cycle in H(F) corresponds to a closed walk in G such that any edge is traversed at ost once. Hence the girth of H(F) is at least l, and 2e l f. (5) Fro Euler s forula, and (5) we obtain Hence by (2) and (3), and coparing this with (4), we have v e + 2e/l > 0. /n < l 2 l 4, 2(l 2) k 1 < l 4. (6) For l = 5, (6) gives k 6, for l = 6, it gives k 4, and for l = 8 it gives k 3. Theore 1 is proved. 4. COLORING RAYS Analogously to the previous section, let G be a kvertexcritical rayintersection graph of girth l, and let F ={r 1,...,r n } be a Urepresentation by rays. We ay assue k 3. LEMMA 1. The size of the outer face of H(F) is at least n. PROOF. We associate with each ray r i F an edge d i E(H(F)) on the boundary of the outer face of H(F) in the following way: (1) If the degree of a i,q(i) in H(F) is 2 then we put d i = (a i,q(i) 1, a i,q(i) ). (2) If the degree of a i,q(i) in H(F) is 3 then for soe j i and 2 l q( j) 1, a i,q(i) = a j,l. In this case, we put d i = (a j,l 1, a j,l ). It is easy to see that all d i s are distinct edges of the outer face. Now, instead of (5) by Lea 1 and hence Fro Euler s forula and (3) we have 2e g( f 1) + n, f 1 + (4v 3n)/g. (7) v (2 n) + f = 2, which together with (7) gives 2 + ( n) 1 + (4 3n)/g, and g <(4 3n)/( n). In other words /n <(g 3)/(g 4). (8) Coparing (8) with (4), we obtain k 1 < 2(g 3)/(g 4). This gives k 4 for g = 5 and k 3 for g 6. Thus, Theore 2 is proved.
5 Coloring relatives of intervals on the plane, I: chroatic nuber versus girth 107 i 2 i 2 i 3 i 3 i 1 i 4 i 1 i 6 i 4 i 5 i 5 (a) (b) FIGURE 2. Girth 5faces. 5. TWO DIRECTION FAMILIES OF GIRTH FIVE Let a kvertexcritical graph G I 2 have girth five and F be its Urepresentation by horizontal and vertical intervals. Since geoetrically any face in H(F) is a polygon with an even nuber of corners, each 5face in H(F) is a 4gon which one side contains the coon point of soe two vertical or two horizontal ebers of F (see Figure 2(a)). Moreover, a coon point of two vertical or two horizontal ebers of F cannot belong to two 5faces as in Figure 2(b); for otherwise the intervals i 1, i 2, i 6 and i 5 for a 4cycle in G. Thus the nuber of 5faces in H(F) does not exceed the nuber p of coon points of intervals in the sae direction. Evidently, p < n. Consequently, instead of (5) we have 2e 6 f p > 6 f n. (9) Now, proceeding along the lines of the proof of Theore 1, we obtain /n < 5/2 and then k 1 < 5. This proves Theore 3. Let F be a Urepresentation of a 4vertexcritical graph G R 2 of girth at least five by horizontal and vertical rays. Any coponent of the subgraph of G induced by horizontal (resp., vertical) rays has either one or two vertices. In the latter case, the union of the corresponding rays ust be a line, and the intersection ust be a point. We will call such a line l an Fline with the origin o(l) and two rays l + and l. The signs + and are taken in accordance with the orientation of the axes of P. By Lea 1, in our case, inequality (9) can be refined as follows: 2e 6( f 1) p + n, and hence 3n + p 6 2. The last inequality is equivalent to the following: (deg G x 3) p 6. (10) x V (G) Recall that each suand deg G x 3 is nonnegative, since G is 4critical. LEMMA 2. If F fors at ost two horizontal Flines or at ost two vertical Flines then the chroatic nuber of G F is at ost three. PROOF. Consider the case when there are exactly two horizontal Flines l 1 and l 2. The case when there is at ost one horizontal Fline is analogous and even easier. Let o(l i ) = (a i, b i ), l = 1, 2. We ay assue that a 1 a 2. For each vertical Fline l, one can choose a ray r(l) {l +, l } disjoint fro both l + 2 and l 1. We can color by 1 the set {l+ 2, l 1 } {r(l) l is a verticalfline}. The reaining horizontal rays we color by 2, and vertical rays by 3.
6 108 A. V. Kostochka and J. Nešetřil LEMMA 3. Let F have p 1 horizontal Flines and p 2 vertical Flines. Then ax{p 1, p 2 } 4. PROOF. Assue that p 1 p 2, p 2 5. By Lea 2, p 1 3. Let l be a horizontal Fline. Then l intersects at least p 2 horizontal ebers of F, and the vertices l + and l in G are adjacent. Hence deg G l + + deg G l p Consequently, x V (G) (deg G x 3) p 1(p 2 4), and by (10), p 1 (p 2 4) p 1 + p 2 6. This is ipossible for p 1 3, p 2 5. Denote by V 4 the set of vertices of G of degree at least 4. By Gallai s theore on critical graphs, each block of G V 4 is either a coplete graph or an odd cycle. By Lea 3 and (10), V 4 2. Thus, for any x V (G) \ V 4, deg G V4 x 3 2 = 1. Moreover, if there are two vertices x and y of degree 1 in G V 4 then V 4 =2 and both x and y are adjacent to both eleents of V 4. But this iplies the existence of a 4cycle in G, a contradiction. Consequently, any pendant block in G V 4 is an odd cycle. Let x, y and z be three consecutive vertices on such a cycle having degree two in G V 4. Since V 4 2, there exists u V 4 adjacent to at least two of x, y and z. This again iplies the existence of a 3cycle or a 4cycle in G, a contradiction. Theore 4 is proved. 6. RAYINTERSECTION FAMILIES OF LARGE GIRTH As rays (unlike lines) are oriented configurations, we can consider oriented directions. Let R denote the set of intersection graphs of translates of soe fixed rays. Obviously, R R 2 for any. Thus the only if part of Theore 5 is iplied by the only if part of the following fact. THEOREM 6. Cycle C n of length n belongs to R, 3, iff 3 n 3. The if parts of both theores follow fro the following construction. CONSTRUCTION. Choose oriented directions (vectors) d i = (cos 2πi 2πi, sin ), i = 0,..., 1. Note that for even, the vector d i is opposite to d i+/2, i = 0,...,/2 1. The origins of the three rays in the direction d i, i = 0,..., 1 are (cos 2πi 2πi, sin ), (cos 2π(i+1), sin 2π(i+1) ) and (2 cos 2π(i 1), 2 sin 2π(i 1) ). This gives a realization of C 3.It is easy to change it slightly to obtain realizations of C 3 1 and C 3 2. An exaple (for = 4) is given on Figure 3. To prove the only if part of Theore 6, assue that the rays r 1,...,r n in oriented directions for a representation of C n, n > 4. For each i, i = 1,...,n, the set P \ (r i r i+1 ) has two connected parts: P 1 (i) (containing the origins of r i and r i+1 ) and P 2 (i). An exaple is given in Figure 4. The following fact is obvious but helpful. OBSERVATION. Either all r j, j {1,...,n}\{i 1, i, i + 1, i + 2} are contained in P 1 (i) or all of the are contained in P 2 (i). Now we prove the final lea which yields the only if part of Theore 6. LEMMA 4. At ost three rays go in each oriented direction. PROOF. Assue that there are four rays, r i1, r i2, r i3 and r i4 (nubered fro left to right), going downward.
7 Coloring relatives of intervals on the plane, I: chroatic nuber versus girth 109 (0,0) FIGURE 3. 4 oriented directions. P 1 (i) r i r i 1 r i+2 P 2 (i) r i+1 FIGURE 4. r i2 +1 P 2 (i) r i1 r i2 r i3 r i4 FIGURE 5. Case 1.
8 110 A. V. Kostochka and J. Nešetřil Case 1. The first coordinate of the vector of r i2 +1 is positive (i.e. it goes to the righthand side of r i2 ) (see Figure 5). Since G is 2regular, r i2 +1 does not eet either r i3 or r i4. So one of the (say, r i4 )is contained in P 2 (i 2 ). But then either r i1 is contained in P 1 (i 2 ) of (if i 1 = i 2 + 2) r i1 +1 is contained in P 1 (i 2 ). This contradicts the Observation. Because of the syetry between i 2 +1 and i 2 1, it is enough now to consider the following situation. Case 2. The first coordinates of vectors of both r i2 +1 and r i2 1 are negative (i.e. the rays go to the lefthand side of r i2 ). Since n > 4, at least one of r i2 +1 and r i2 1 (say, r i2 +1) isses r i1. It ust also iss either r i3 or r i4 (say, r i4 ). But then r i1 is contained in P 2 (i 2 ) and r i4 is contained in P 1 (i 2 ). This is the final contradiction. REFERENCES 1. E. Asplund and B. Grünbau, On a coloring proble, Math. Scand., 8 (1960), A. Gyárfás and J. Lehel, Covering and coloring probles for relatives of intervals, Discrete Math., 55 (1985), A. V. Kostochka and J. Nešetřil, Coloring relatives of intervals on the plane, II: chroatic nuber versus clique nuber, in preparation. 4. A. V. Kostochka and J. Nešetřil, Chroatic nuber of geoetric intersection graphs, in: 1995 Prague Midsuer Cobinatorial Workshop, (M. Klazar ed.), KAM Series , Charles University, Prague, pp S. McGuiness, Colouring arcwise connected sets in the plane, Report 4, Uea University, Received 10 March 1996 and accepted 4 April 1997 A. V. KOSTOCHKA Russian Acadey of Sciences, Novosibirsk , Russia J. NEŠETŘIL KAM MFF UK Charles University, Malostranské ná. 25, Praha 1, Czech Republic
arxiv:1209.1595v5 [math.co] 26 Dec 2014
TRIANGLEFREE INTERSECTION GRAPHS OF LINE SEGMENTS WITH LARGE CHROMATIC NUMBER ARKADIUSZ PAWLIK, JAKUB KOZIK, TOMASZ KRAWCZYK, MICHAŁ LASOŃ, PIOTR MICEK, WILLIAM T. TROTTER, AND BARTOSZ WALCZAK arxiv:1209.1595v5
More informationON SELFROUTING IN CLOS CONNECTION NETWORKS. BARRY G. DOUGLASS Electrical Engineering Department Texas A&M University College Station, TX 778433128
ON SELFROUTING IN CLOS CONNECTION NETWORKS BARRY G. DOUGLASS Electrical Engineering Departent Texas A&M University College Station, TX 7788 A. YAVUZ ORUÇ Electrical Engineering Departent and Institute
More informationMINIMUM VERTEX DEGREE THRESHOLD FOR LOOSE HAMILTON CYCLES IN 3UNIFORM HYPERGRAPHS
MINIMUM VERTEX DEGREE THRESHOLD FOR LOOSE HAMILTON CYCLES IN 3UNIFORM HYPERGRAPHS JIE HAN AND YI ZHAO Abstract. We show that for sufficiently large n, every 3unifor hypergraph on n vertices with iniu
More information2.3 Scheduling jobs on identical parallel machines
2.3 Scheduling jobs on identical parallel machines There are jobs to be processed, and there are identical machines (running in parallel) to which each job may be assigned Each job = 1,,, must be processed
More informationMDegrees of QuadrangleFree Planar Graphs
MDegrees of QuadrangleFree Planar Graphs Oleg V. Borodin, 1 Alexandr V. Kostochka, 1,2 Naeem N. Sheikh, 2 and Gexin Yu 3 1 SOBOLEV INSTITUTE OF MATHEMATICS NOVOSIBIRSK 630090, RUSSIA Email: brdnoleg@math.nsc.ru
More informationPlane Trusses. Section 7: Flexibility Method  Trusses. A plane truss is defined as a twodimensional
lane Trusses A plane truss is defined as a twodiensional fraework of straight prisatic ebers connected at their ends by frictionless hinged joints, and subjected to loads and reactions that act only at
More informationLecture L9  Linear Impulse and Momentum. Collisions
J. Peraire, S. Widnall 16.07 Dynaics Fall 009 Version.0 Lecture L9  Linear Ipulse and Moentu. Collisions In this lecture, we will consider the equations that result fro integrating Newton s second law,
More informationColoring a set of touching strings
Coloring a set of touching strings Louis Esperet Daniel Gonçalves Arnaud Labourel Abstract For a family of geometric objects in the plane F = {S 1,..., S n }, define χ(f) as the least integer l such that
More informationLabeling outerplanar graphs with maximum degree three
Labeling outerplanar graphs with maximum degree three Xiangwen Li 1 and Sanming Zhou 2 1 Department of Mathematics Huazhong Normal University, Wuhan 430079, China 2 Department of Mathematics and Statistics
More informationTotal colorings of planar graphs with small maximum degree
Total colorings of planar graphs with small maximum degree Bing Wang 1,, JianLiang Wu, SiFeng Tian 1 Department of Mathematics, Zaozhuang University, Shandong, 77160, China School of Mathematics, Shandong
More informationResource Allocation with Time Intervals
Resource Allocation with Time Intervals Andreas Darmann Ulrich Pferschy Joachim Schauer Abstract We study a resource allocation problem where jobs have the following characteristics: Each job consumes
More informationMean RamseyTurán numbers
Mean RamseyTurán numbers Raphael Yuster Department of Mathematics University of Haifa at Oranim Tivon 36006, Israel Abstract A ρmean coloring of a graph is a coloring of the edges such that the average
More informationR u t c o r Research R e p o r t. Boolean functions with a simple certificate for CNF complexity. Ondřej Čepeka Petr Kučera b Petr Savický c
R u t c o r Research R e p o r t Boolean functions with a simple certificate for CNF complexity Ondřej Čepeka Petr Kučera b Petr Savický c RRR 22010, January 24, 2010 RUTCOR Rutgers Center for Operations
More informationCycles and cliqueminors in expanders
Cycles and cliqueminors in expanders Benny Sudakov UCLA and Princeton University Expanders Definition: The vertex boundary of a subset X of a graph G: X = { all vertices in G\X with at least one neighbor
More information1 if 1 x 0 1 if 0 x 1
Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or
More informationA 2factor in which each cycle has long length in clawfree graphs
A factor in which each cycle has long length in clawfree graphs Roman Čada Shuya Chiba Kiyoshi Yoshimoto 3 Department of Mathematics University of West Bohemia and Institute of Theoretical Computer Science
More informationTools for parsimonious edgecolouring of graphs with maximum degree three. J.L. Fouquet and J.M. Vanherpe. Rapport n o RR201010
Tools for parsimonious edgecolouring of graphs with maximum degree three J.L. Fouquet and J.M. Vanherpe LIFO, Université d Orléans Rapport n o RR201010 Tools for parsimonious edgecolouring of graphs
More informationHandout #Ch7 San Skulrattanakulchai Gustavus Adolphus College Dec 6, 2010. Chapter 7: Digraphs
MCS236: Graph Theory Handout #Ch7 San Skulrattanakulchai Gustavus Adolphus College Dec 6, 2010 Chapter 7: Digraphs Strong Digraphs Definitions. A digraph is an ordered pair (V, E), where V is the set
More informationLarge induced subgraphs with all degrees odd
Large induced subgraphs with all degrees odd A.D. Scott Department of Pure Mathematics and Mathematical Statistics, University of Cambridge, England Abstract: We prove that every connected graph of order
More informationWhen is a graph planar?
When is a graph planar? Theorem(Euler, 1758) If a plane multigraph G with k components has n vertices, e edges, and f faces, then n e + f = 1 + k. Corollary If G is a simple, planar graph with n(g) 3,
More informationPOWER SETS AND RELATIONS
POWER SETS AND RELATIONS L. MARIZZA A. BAILEY 1. The Power Set Now that we have defined sets as best we can, we can consider a sets of sets. If we were to assume nothing, except the existence of the empty
More informationLecture L263D Rigid Body Dynamics: The Inertia Tensor
J. Peraire, S. Widnall 16.07 Dynaics Fall 008 Lecture L63D Rigid Body Dynaics: The Inertia Tensor Version.1 In this lecture, we will derive an expression for the angular oentu of a 3D rigid body. We shall
More informationSome Notes on Taylor Polynomials and Taylor Series
Some Notes on Taylor Polynomials and Taylor Series Mark MacLean October 3, 27 UBC s courses MATH /8 and MATH introduce students to the ideas of Taylor polynomials and Taylor series in a fairly limited
More informationA Turán Type Problem Concerning the Powers of the Degrees of a Graph
A Turán Type Problem Concerning the Powers of the Degrees of a Graph Yair Caro and Raphael Yuster Department of Mathematics University of HaifaORANIM, Tivon 36006, Israel. AMS Subject Classification:
More informationData Set Generation for Rectangular Placement Problems
Data Set Generation for Rectangular Placeent Probles Christine L. Valenzuela (Muford) Pearl Y. Wang School of Coputer Science & Inforatics Departent of Coputer Science MS 4A5 Cardiff University George
More informationABSTRACT. For example, circle orders are the containment orders of circles (actually disks) in the plane (see [8,9]).
Degrees of Freedom Versus Dimension for Containment Orders Noga Alon 1 Department of Mathematics Tel Aviv University Ramat Aviv 69978, Israel Edward R. Scheinerman 2 Department of Mathematical Sciences
More informationContinuous Functions, Smooth Functions and the Derivative
UCSC AMS/ECON 11A Supplemental Notes # 4 Continuous Functions, Smooth Functions and the Derivative c 2004 Yonatan Katznelson 1. Continuous functions One of the things that economists like to do with mathematical
More informationarxiv: v2 [math.co] 30 Nov 2015
PLANAR GRAPH IS ON FIRE PRZEMYSŁAW GORDINOWICZ arxiv:1311.1158v [math.co] 30 Nov 015 Abstract. Let G be any connected graph on n vertices, n. Let k be any positive integer. Suppose that a fire breaks out
More informationTriangle deletion. Ernie Croot. February 3, 2010
Triangle deletion Ernie Croot February 3, 2010 1 Introduction The purpose of this note is to give an intuitive outline of the triangle deletion theorem of Ruzsa and Szemerédi, which says that if G = (V,
More informationINCIDENCEBETWEENNESS GEOMETRY
INCIDENCEBETWEENNESS GEOMETRY MATH 410, CSUSM. SPRING 2008. PROFESSOR AITKEN This document covers the geometry that can be developed with just the axioms related to incidence and betweenness. The full
More informationThe number of generalized balanced lines
The number of generalized balanced lines David Orden Pedro Ramos Gelasio Salazar Abstract Let S be a set of r red points and b = r + 2δ blue points in general position in the plane, with δ 0. A line l
More informationSHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH
31 Kragujevac J. Math. 25 (2003) 31 49. SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH Kinkar Ch. Das Department of Mathematics, Indian Institute of Technology, Kharagpur 721302, W.B.,
More informationAREA AND CIRCUMFERENCE OF CIRCLES
AREA AND CIRCUMFERENCE OF CIRCLES Having seen how to compute the area of triangles, parallelograms, and polygons, we are now going to consider curved regions. Areas of polygons can be found by first dissecting
More informationThe minimum number of distinct areas of triangles determined by a set of n points in the plane
The minimum number of distinct areas of triangles determined by a set of n points in the plane Rom Pinchasi Israel Institute of Technology, Technion 1 August 6, 007 Abstract We prove a conjecture of Erdős,
More informationThe chromatic spectrum of mixed hypergraphs
The chromatic spectrum of mixed hypergraphs Tao Jiang, Dhruv Mubayi, Zsolt Tuza, Vitaly Voloshin, Douglas B. West March 30, 2003 Abstract A mixed hypergraph is a triple H = (X, C, D), where X is the vertex
More informationSEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS. Nickolay Khadzhiivanov, Nedyalko Nenov
Serdica Math. J. 30 (2004), 95 102 SEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS Nickolay Khadzhiivanov, Nedyalko Nenov Communicated by V. Drensky Abstract. Let Γ(M) where M V (G) be the set of all vertices
More information3. Eulerian and Hamiltonian Graphs
3. Eulerian and Hamiltonian Graphs There are many games and puzzles which can be analysed by graph theoretic concepts. In fact, the two early discoveries which led to the existence of graphs arose from
More informationSTRONGLY CONSISTENT ESTIMATES FOR FINITES MIX'IURES OF DISTRIBUTION FUNCTIONS ABSTRACT. An estimator for the mixing measure
STRONGLY CONSISTENT ESTIMATES FOR FINITES MIX'IURES OF DISTRIBUTION FUNCTIONS Keewhan Choi Cornell University ABSTRACT The probles with which we are concerned in this note are those of identifiability
More informationIntroduction to Graph Theory
Introduction to Graph Theory Allen Dickson October 2006 1 The Königsberg Bridge Problem The city of Königsberg was located on the Pregel river in Prussia. The river divided the city into four separate
More informationDeterminants, Areas and Volumes
Determinants, Areas and Volumes Theodore Voronov Part 2 Areas and Volumes The area of a twodimensional object such as a region of the plane and the volume of a threedimensional object such as a solid
More informationON INDUCED SUBGRAPHS WITH ALL DEGREES ODD. 1. Introduction
ON INDUCED SUBGRAPHS WITH ALL DEGREES ODD A.D. SCOTT Abstract. Gallai proved that the vertex set of any graph can be partitioned into two sets, each inducing a subgraph with all degrees even. We prove
More informationInduction Problems. Tom Davis November 7, 2005
Induction Problems Tom Davis tomrdavis@earthlin.net http://www.geometer.org/mathcircles November 7, 2005 All of the following problems should be proved by mathematical induction. The problems are not necessarily
More informationPhysics 211: Lab Oscillations. Simple Harmonic Motion.
Physics 11: Lab Oscillations. Siple Haronic Motion. Reading Assignent: Chapter 15 Introduction: As we learned in class, physical systes will undergo an oscillatory otion, when displaced fro a stable equilibriu.
More informationAll trees contain a large induced subgraph having all degrees 1 (mod k)
All trees contain a large induced subgraph having all degrees 1 (mod k) David M. Berman, A.J. Radcliffe, A.D. Scott, Hong Wang, and Larry Wargo *Department of Mathematics University of New Orleans New
More informationPh.D. Thesis. Judit NagyGyörgy. Supervisor: Péter Hajnal Associate Professor
Online algorithms for combinatorial problems Ph.D. Thesis by Judit NagyGyörgy Supervisor: Péter Hajnal Associate Professor Doctoral School in Mathematics and Computer Science University of Szeged Bolyai
More informationarxiv:0805.1434v1 [math.pr] 9 May 2008
Degreedistribution stability of scalefree networs Zhenting Hou, Xiangxing Kong, Dinghua Shi,2, and Guanrong Chen 3 School of Matheatics, Central South University, Changsha 40083, China 2 Departent of
More informationBest Monotone Degree Bounds for Various Graph Parameters
Best Monotone Degree Bounds for Various Graph Parameters D. Bauer Department of Mathematical Sciences Stevens Institute of Technology Hoboken, NJ 07030 S. L. Hakimi Department of Electrical and Computer
More informationMathematical Induction
Mathematical Induction (Handout March 8, 01) The Principle of Mathematical Induction provides a means to prove infinitely many statements all at once The principle is logical rather than strictly mathematical,
More informationApplications of Methods of Proof
CHAPTER 4 Applications of Methods of Proof 1. Set Operations 1.1. Set Operations. The settheoretic operations, intersection, union, and complementation, defined in Chapter 1.1 Introduction to Sets are
More informationAn inequality for the group chromatic number of a graph
An inequality for the group chromatic number of a graph HongJian Lai 1, Xiangwen Li 2 and Gexin Yu 3 1 Department of Mathematics, West Virginia University Morgantown, WV 26505 USA 2 Department of Mathematics
More informationAngle: An angle is the union of two line segments (or two rays) with a common endpoint, called a vertex.
MATH 008: Angles Angle: An angle is the union of two line segents (or two rays) with a coon endpoint, called a vertex. A B C α Adjacent angles: Adjacent angles are two angles that share a vertex, have
More informationLines That Pass Through Regions
: Student Outcomes Given two points in the coordinate plane and a rectangular or triangular region, students determine whether the line through those points meets the region, and if it does, they describe
More informationThe Language of Mathematics
CHPTER 2 The Language of Mathematics 2.1. Set Theory 2.1.1. Sets. set is a collection of objects, called elements of the set. set can be represented by listing its elements between braces: = {1, 2, 3,
More informationA REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE. 1. Introduction and Preliminaries
Acta Math. Univ. Comenianae Vol. LXVI, 2(1997), pp. 285 291 285 A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE E. T. BASKORO, M. MILLER and J. ŠIRÁŇ Abstract. It is well known that Moore digraphs do
More informationFactor Model. Arbitrage Pricing Theory. Systematic Versus NonSystematic Risk. Intuitive Argument
Ross [1],[]) presents the aritrage pricing theory. The idea is that the structure of asset returns leads naturally to a odel of risk preia, for otherwise there would exist an opportunity for aritrage profit.
More informationA Stronger Form of the Van den BergKesten Inequality
A Stronger Form of the Van den BergKesten Inequality Peter Winkler March 4, 2010 Abstract Let Q n := {0,1} n be the discrete hypercube with uniform probability distribution, and let A and B be two upevents
More informationOdd induced subgraphs in graphs of maximum degree three
Odd induced subgraphs in graphs of maximum degree three David M. Berman, Hong Wang, and Larry Wargo Department of Mathematics University of New Orleans New Orleans, Louisiana, USA 70148 Abstract A longstanding
More informationEvery tree contains a large induced subgraph with all degrees odd
Every tree contains a large induced subgraph with all degrees odd A.J. Radcliffe Carnegie Mellon University, Pittsburgh, PA A.D. Scott Department of Pure Mathematics and Mathematical Statistics University
More informationhalfline the set of all points on a line on a given side of a given point of the line
Geometry Week 3 Sec 2.1 to 2.4 Definition: section 2.1 halfline the set of all points on a line on a given side of a given point of the line notation: is the halfline that contains all points on the
More information1. Determine all real numbers a, b, c, d that satisfy the following system of equations.
altic Way 1999 Reykjavík, November 6, 1999 Problems 1. etermine all real numbers a, b, c, d that satisfy the following system of equations. abc + ab + bc + ca + a + b + c = 1 bcd + bc + cd + db + b + c
More informationReliability Constrained Packetsizing for Linear Multihop Wireless Networks
Reliability Constrained acketsizing for inear Multihop Wireless Networks Ning Wen, and Randall A. Berry Departent of Electrical Engineering and Coputer Science Northwestern University, Evanston, Illinois
More information5.3 The Cross Product in R 3
53 The Cross Product in R 3 Definition 531 Let u = [u 1, u 2, u 3 ] and v = [v 1, v 2, v 3 ] Then the vector given by [u 2 v 3 u 3 v 2, u 3 v 1 u 1 v 3, u 1 v 2 u 2 v 1 ] is called the cross product (or
More informationChapter 3. Cartesian Products and Relations. 3.1 Cartesian Products
Chapter 3 Cartesian Products and Relations The material in this chapter is the first real encounter with abstraction. Relations are very general thing they are a special type of subset. After introducing
More informationCycles in a Graph Whose Lengths Differ by One or Two
Cycles in a Graph Whose Lengths Differ by One or Two J. A. Bondy 1 and A. Vince 2 1 LABORATOIRE DE MATHÉMATIQUES DISCRÉTES UNIVERSITÉ CLAUDEBERNARD LYON 1 69622 VILLEURBANNE, FRANCE 2 DEPARTMENT OF MATHEMATICS
More informationOSCILLATION OF DIFFERENCE EQUATIONS WITH SEVERAL POSITIVE AND NEGATIVE COEFFICIENTS
F A S C I C U L I M A T H E M A T I C I Nr 51 2013 Hasan Öğünez and Özkan Öcalan OSCILLATION OF DIFFERENCE EQUATIONS WITH SEVERAL POSITIVE AND NEGATIVE COEFFICIENTS Abstract. Our ai in this paper is to
More informationArrangements And Duality
Arrangements And Duality 3.1 Introduction 3 Point configurations are tbe most basic structure we study in computational geometry. But what about configurations of more complicated shapes? For example,
More informationA Sublinear Bipartiteness Tester for Bounded Degree Graphs
A Sublinear Bipartiteness Tester for Bounded Degree Graphs Oded Goldreich Dana Ron February 5, 1998 Abstract We present a sublineartime algorithm for testing whether a bounded degree graph is bipartite
More informationSCORE SETS IN ORIENTED GRAPHS
Applicable Analysis and Discrete Mathematics, 2 (2008), 107 113. Available electronically at http://pefmath.etf.bg.ac.yu SCORE SETS IN ORIENTED GRAPHS S. Pirzada, T. A. Naikoo The score of a vertex v in
More informationConnectivity and cuts
Math 104, Graph Theory February 19, 2013 Measure of connectivity How connected are each of these graphs? > increasing connectivity > I G 1 is a tree, so it is a connected graph w/minimum # of edges. Every
More informationAdditional Topics in Math
Chapter Additional Topics in Math In addition to the questions in Heart of Algebra, Problem Solving and Data Analysis, and Passport to Advanced Math, the SAT Math Test includes several questions that are
More informationMathematical Induction. Mary Barnes Sue Gordon
Mathematics Learning Centre Mathematical Induction Mary Barnes Sue Gordon c 1987 University of Sydney Contents 1 Mathematical Induction 1 1.1 Why do we need proof by induction?.... 1 1. What is proof by
More information2. FINDING A SOLUTION
The 7 th Balan Conference on Operational Research BACOR 5 Constanta, May 5, Roania OPTIMAL TIME AND SPACE COMPLEXITY ALGORITHM FOR CONSTRUCTION OF ALL BINARY TREES FROM PREORDER AND POSTORDER TRAVERSALS
More informationCycle transversals in bounded degree graphs
Electronic Notes in Discrete Mathematics 35 (2009) 189 195 www.elsevier.com/locate/endm Cycle transversals in bounded degree graphs M. Groshaus a,2,3 P. Hell b,3 S. Klein c,1,3 L. T. Nogueira d,1,3 F.
More informationEuclidean Geometry. We start with the idea of an axiomatic system. An axiomatic system has four parts:
Euclidean Geometry Students are often so challenged by the details of Euclidean geometry that they miss the rich structure of the subject. We give an overview of a piece of this structure below. We start
More informationThe Graphical Method: An Example
The Graphical Method: An Example Consider the following linear program: Maximize 4x 1 +3x 2 Subject to: 2x 1 +3x 2 6 (1) 3x 1 +2x 2 3 (2) 2x 2 5 (3) 2x 1 +x 2 4 (4) x 1, x 2 0, where, for ease of reference,
More informationGeneralized Induced Factor Problems
Egerváry Research Group on Combinatorial Optimization Technical reports TR200207. Published by the Egrerváry Research Group, Pázmány P. sétány 1/C, H 1117, Budapest, Hungary. Web site: www.cs.elte.hu/egres.
More information1 Symmetries of regular polyhedra
1230, notes 5 1 Symmetries of regular polyhedra Symmetry groups Recall: Group axioms: Suppose that (G, ) is a group and a, b, c are elements of G. Then (i) a b G (ii) (a b) c = a (b c) (iii) There is an
More informationVector Spaces II: Finite Dimensional Linear Algebra 1
John Nachbar September 2, 2014 Vector Spaces II: Finite Dimensional Linear Algebra 1 1 Definitions and Basic Theorems. For basic properties and notation for R N, see the notes Vector Spaces I. Definition
More informationCOMBINATORIAL PROPERTIES OF THE HIGMANSIMS GRAPH. 1. Introduction
COMBINATORIAL PROPERTIES OF THE HIGMANSIMS GRAPH ZACHARY ABEL 1. Introduction In this survey we discuss properties of the HigmanSims graph, which has 100 vertices, 1100 edges, and is 22 regular. In fact
More informationON SELFINTERSECTIONS OF IMMERSED SURFACES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 126, Number 12, December 1998, Pages 3721 3726 S 00029939(98)044566 ON SELFINTERSECTIONS OF IMMERSED SURFACES GUISONG LI (Communicated by Ronald
More informationLecture 16 : Relations and Functions DRAFT
CS/Math 240: Introduction to Discrete Mathematics 3/29/2011 Lecture 16 : Relations and Functions Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT In Lecture 3, we described a correspondence
More informationDisjoint Compatible Geometric Matchings
Disjoint Compatible Geometric Matchings Mashhood Ishaque Diane L. Souvaine Csaba D. Tóth Abstract We prove that for every even set of n pairwise disjoint line segments in the plane in general position,
More informationFigure 1.1 Vector A and Vector F
CHAPTER I VECTOR QUANTITIES Quantities are anything which can be measured, and stated with number. Quantities in physics are divided into two types; scalar and vector quantities. Scalar quantities have
More informationFoundations of Geometry 1: Points, Lines, Segments, Angles
Chapter 3 Foundations of Geometry 1: Points, Lines, Segments, Angles 3.1 An Introduction to Proof Syllogism: The abstract form is: 1. All A is B. 2. X is A 3. X is B Example: Let s think about an example.
More informationDiscrete Mathematics & Mathematical Reasoning Chapter 10: Graphs
Discrete Mathematics & Mathematical Reasoning Chapter 10: Graphs Kousha Etessami U. of Edinburgh, UK Kousha Etessami (U. of Edinburgh, UK) Discrete Mathematics (Chapter 6) 1 / 13 Overview Graphs and Graph
More informationAn inequality for the group chromatic number of a graph
Discrete Mathematics 307 (2007) 3076 3080 www.elsevier.com/locate/disc Note An inequality for the group chromatic number of a graph HongJian Lai a, Xiangwen Li b,,1, Gexin Yu c a Department of Mathematics,
More informationSection 10.4 Vectors
Section 10.4 Vectors A vector is represented by using a ray, or arrow, that starts at an initial point and ends at a terminal point. Your textbook will always use a bold letter to indicate a vector (such
More informationWork, Energy, Conservation of Energy
This test covers Work, echanical energy, kinetic energy, potential energy (gravitational and elastic), Hooke s Law, Conservation of Energy, heat energy, conservative and nonconservative forces, with soe
More informationMATH 131 SOLUTION SET, WEEK 12
MATH 131 SOLUTION SET, WEEK 12 ARPON RAKSIT AND ALEKSANDAR MAKELOV 1. Normalisers We first claim H N G (H). Let h H. Since H is a subgroup, for all k H we have hkh 1 H and h 1 kh H. Since h(h 1 kh)h 1
More informationProbability and Statistics
CHAPTER 2: RANDOM VARIABLES AND ASSOCIATED FUNCTIONS 2b  0 Probability and Statistics Kristel Van Steen, PhD 2 Montefiore Institute  Systems and Modeling GIGA  Bioinformatics ULg kristel.vansteen@ulg.ac.be
More informationFuzzy Sets in HR Management
Acta Polytechnica Hungarica Vol. 8, No. 3, 2011 Fuzzy Sets in HR Manageent Blanka Zeková AXIOM SW, s.r.o., 760 01 Zlín, Czech Republic blanka.zekova@sezna.cz Jana Talašová Faculty of Science, Palacký Univerzity,
More informationAlgorithmica 2001 SpringerVerlag New York Inc.
Algorithica 2001) 30: 101 139 DOI: 101007/s0045300100030 Algorithica 2001 SpringerVerlag New York Inc Optial Search and OneWay Trading Online Algoriths R ElYaniv, 1 A Fiat, 2 R M Karp, 3 and G Turpin
More informationOn the kpath cover problem for cacti
On the kpath cover problem for cacti Zemin Jin and Xueliang Li Center for Combinatorics and LPMC Nankai University Tianjin 300071, P.R. China zeminjin@eyou.com, x.li@eyou.com Abstract In this paper we
More informationNo: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics
No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results
More informationON DEGREES IN THE HASSE DIAGRAM OF THE STRONG BRUHAT ORDER
Séminaire Lotharingien de Combinatoire 53 (2006), Article B53g ON DEGREES IN THE HASSE DIAGRAM OF THE STRONG BRUHAT ORDER RON M. ADIN AND YUVAL ROICHMAN Abstract. For a permutation π in the symmetric group
More informationClique coloring B 1 EPG graphs
Clique coloring B 1 EPG graphs Flavia Bonomo a,c, María Pía Mazzoleni b,c, and Maya Stein d a Departamento de Computación, FCENUBA, Buenos Aires, Argentina. b Departamento de Matemática, FCEUNLP, La
More informationMathematics Course 111: Algebra I Part IV: Vector Spaces
Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 19967 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are
More informationFinding and counting given length cycles
Finding and counting given length cycles Noga Alon Raphael Yuster Uri Zwick Abstract We present an assortment of methods for finding and counting simple cycles of a given length in directed and undirected
More informationMATH10040 Chapter 2: Prime and relatively prime numbers
MATH10040 Chapter 2: Prime and relatively prime numbers Recall the basic definition: 1. Prime numbers Definition 1.1. Recall that a positive integer is said to be prime if it has precisely two positive
More informationx if x 0, x if x < 0.
Chapter 3 Sequences In this chapter, we discuss sequences. We say what it means for a sequence to converge, and define the limit of a convergent sequence. We begin with some preliminary results about the
More information