# Excluding pairs of graphs

Save this PDF as:

Size: px
Start display at page:

## Transcription

1 Excluding pairs of graphs Maria Chudnovsky 1 Columbia University, New York, NY 10027, USA Alex Scott Mathematical Institute, University of Oxford, St Giles, Oxford OX1 3LB, UK Paul Seymour 2 Princeton University, Princeton, NJ 08544, USA September 3, 2012; revised September 11, Supported by NSF grants DMS and IIS Supported by ONR grant N and NSF grant DMS

2 Abstract For a graph G and a set of graphs H, we say that G is H-free if no induced subgraph of G is isomorphic to a member of H. Given an integer P > 0, a graph G, and a set of graphs F, we say that G admits an (F, P )-partition if the vertex set of G can be partitioned into P subsets X 1,..., X P, so that for every i {1,..., P }, either X i = 1, or the subgraph of G induced by X i is {F }-free for some F F. Our first result is the following. For every pair (H, J) of graphs such that H is the disjoint union of two graphs H 1 and H 2, and the complement J c of J is the disjoint union of two graphs J1 c and J 2 c, there exists an integer P > 0 such that every {H, J}-free graph has an ({H 1, H 2, J 1, J 2 }, P )-partition. A similar result holds for tournaments, and this yields a short proof of one of the results of [1]. A cograph is a graph obtained from single vertices by repeatedly taking disjoint unions and disjoint unions in the complement. For every cograph there is a parameter measuring its complexity, called its height. Given a graph G and a pair of graphs H 1, H 2, we say that G is {H 1, H 2 }-split if V (G) = X 1 X 2, where the subgraph of G induced by X i is {H i }-free for i = 1, 2. Our second result is that for every integer k > 0 and pair {H, J} of cographs each of height k + 1, where neither of H, J c is connected, there exists a pair of cographs ( H, J), each of height k, where neither of H c, J is connected, such that every {H, J}-free graph is { H, J}-split. Our final result is a construction showing that if {H, J} are graphs each with at least one edge, then for every pair of integers r, k there exists a graph G such that every r-vertex induced subgraph of G is {H, J}-split, but G does not admit an ({H, J}, k)-partition.

4 Please note that applying 1.3 with J a complete graph and H a graph with no edges gives Ramsey s theorem. Using ideas similar to those of our proof of 1.3, we also give a short proof of one of the results of [1]. An anonymous referee asked whether the conclusion of 1.3 can be strengthened to say that V (G) = X 1... X P where for each i {1,..., P } either X i = 1 or G X i is (H, J )-free for some H c(h) and J ac(j). The answer to this question is no, because of the following example: let n be a positive integer, G be the star K 1,n, J be a cycle of length four, and H = J c. Then G is {H, J}-free, and the proposed strengthening would say that V (G) P for some fixed integer P, which is false, since n can be made arbitrarily large. Next let us generalize the notion of a complete multipartite graph. A cograph is a graph obtained from 1-vertex graphs by repeatedly taking disjoint unions and disjoint unions in the complement. In particular, G is either not connected or not anticonnected for every cograph G with at least two vertices, and therefore for every cograph G with at least two vertices, exactly one of G, G c is connected. It follows from [4] that cographs are precisely the graphs that have no induced threeedge paths. We recursively define a parameter, called the height of a cograph, that measures its complexity, as follows. The height of a one vertex cograph is zero. If G is a cograph that is not connected, let m be the maximum height of a component of G; then the height of G is m + 1. If G is a cograph that is not anticonnected, let m be the maximum height of an anticomponent of G; then the height of G is m + 1. We denote the height of G by h(g). We use 1.3 to prove the following: 1.4. Let k > 0 be an integer, and let H and J be cographs, each of height k + 1, such that H is anticonnected, and J is connected. Then there exist cographs H and J, each of height k, such that H is connected, and J is anticonnected, and every {H, J}-free graph is { H, J}-split. The proof of 1.1 in [3] relies on the following lemma: 1.5. Let p > 0 be an integer. There exists an integer r > 0 such that for every graph G, if every induced subgraph of G with at most r vertices is {K p, S p }-split, then G is {K p, S p }-split. Here is a weaker statement that would still imply the results of [3]: 1.6. Let p > 0 be an integer. There exist integers r, k > 0 such that for every graph G, if every induced subgraph of G with at most r vertices is {K p, S p }-split, then G admits a ({K p, S p }, k)-partition. Originally we hoped that 1.4 could be proved along the same lines, and that a result similar to 1.6 might exist when the pairs {K p, S p } were replaced by pairs of more general graphs. However, this turns out not to be the case, because of the following: 1.7. Let H, J be graphs each with at least one edge. Then for any choice of integers r, k there is a graph G such that for every S V (G) with S r, the graph G S is {H, J}-split, and G has no ({H, J}, k)-partition. By taking complements, the conclusion of 1.7 also holds if each of H and J has a non-edge. Thus 1.6 is in a sense the strongest result of this form possible. This paper is organized as follows. In Section 2 we prove 1.3. In Section 3 we use 1.3 to prove 1.4. In Section 4 we reprove a result of [1]. Finally, Section 5 contains the proof of

5 2 The proof of 1.3 The goal of this section is to prove 1.3. Let us start with some definitions. For a graph G and a set X V (G), we denote by G \ X the graph G (V (G) \ X). If X = 1, say X = {v}, we write G \ v instead of G \ {v}. Let S, T be induced subgraphs of a graph H. We say that S is an H -extension of T if T = S \ u for some u V (S). Clearly, 1.3 follows from repeated applications of the following: 2.1. Let H, J, H 1, H 2, J 1 and J 2 be non-null graphs such that H is the disjoint union of H 1 and H 2, and J c is the disjoint union of J c 1 and J c 2. Let m = max( V (H 1), V (H 2 ), V (J 1 ), V (J 2 ) ), and F = {H 1, H 2, J 1, J 2 }. Then every {H, J}-free graph G admits an (F, 2(m + 1) m )-partition. Proof. We may assume without loss of generality that V (H 1 ) = m. We may also assume that G is not H 1 -free, for otherwise the theorem holds. Choose some vertex h V (H 2 ), and let H be the subgraph of H induced on V (H 1 ) {h }. For an induced subgraph T of H, a T -piece is an isomorphism g from T to an induced subgraph of G, that we denote by g(t ). For a T -piece g, and an H -extension S of T, let V (S) \ V (T ) = {s}; we say that v V (G) \ V (g(t )) g-corresponds to S if the map sending x to g(x) for each x V (T ), and sending s to v, is an S-piece. We denote by Y S (g) the set of all vertices in G that g-correspond to S. Let Y (g) be the union of the sets Y S (g). Thus Y (g) is the set of all vertices in V (G) that g-correspond to an H -extension of T. (1) If g is an H 1 -piece, then Y (g) is anticomplete to V (g(h 1 )), and the graph G Y (g) is H 2 -free. Since V (H 1 ) is anticomplete to V (H 2 ) in H, and in particular anticomplete to h, it follows that Y (g) is anticomplete to V (g(h 1 )). But then, since G is H-free, it follows that G Y (g) is H 2 -free. This proves (1). Let φ(t) = { 2(m + 1) m t for 0 t m 1 1 for t = m. (2) Let T be an induced subgraph of H 1, and let g be a T -piece. Write t = V (T ). Then for some H -extension S of T, the graph G Y S (g) admits an (F, φ(t))-partition. The proof is by induction on m t. If t = m, then (as H 1 = m) it follows from (1) that G Y (g) admits an (F, 1)-partition, so we may assume that t m 1. Choose an H -extension S of T, with S an induced subgraph of H 1. If the graph G Y S (g) admits an (F, φ(t))-partition then we are done; so we may assume that for every partition of Y S (g) into at most φ(t) classes, some class contains each of H 1, H 2, J 1, J 2. Let V (S)\V (T ) = {s}. Let v Y S (g), and let h be the S-piece mapping s to v and mapping x to g(x) for each x V (T ). Inductively, there exists an H -extension Q of S such that G Y Q (h) admits an (F, φ(t + 1))-partition. Let V (Q) \ V (S) = {r}, and let R = Q \ s. Thus R is an H -extension of T different from S. (Nevertheless, possibly Y R (g) = Y S (g), if there is an isomorphism from S to R fixing T pointwise.) We say that v is of type R. From the definition of Y Q (h), it follows that Y Q (h) Y R (g), and either 3

7 G X the subtournament of G induced by X. We write G \ X to mean G (V (G) \ X); and if X = 1, say X = {x}, we write G \ x instead of G \ {x}. If X and Y are two disjoint subsets of V (G), we say that X is complete to Y, and Y is complete from X, if every vertex in X is adjacent to every vertex in Y ; if X = 1, say X = {x}, we say that x is complete to Y, and Y is complete from x. If H is a tournament, we say G contains H if H is isomorphic to a subtournament of G, and otherwise G is H-free. For a set H of tournaments, G is H-free if G is H-free for every H H. A set X V (G) is transitive if G X has no directed cycles. The chromatic number of G is the smallest integer k for which V (G) can be partitioned into k transitive subsets. Given tournaments H 1 and H 2 with disjoint vertex sets, we write H 1 H 2 to mean the tournament H with V (H) = V (H 1 ) V (H 2 ), and such that H V (H i ) = H i for i = 1, 2, and V (H 1 ) is complete to V (H 2 ). A tournament H is a hero if there exists c (depending on H) such that every H-free tournament has chromatic number at most c. One of the results of [1] is a complete characterization of all heroes. An important and the most difficult step toward that is the following: 3.1. If H 1 and H 2 are heroes, then so is H 1 H 2. It turns out that translating the proof of 2.1 into the language of tournaments gives a proof of 3.1 that is much simpler than the one in [1], and we include it here. Let us start with some definitions. Let H be a tournament, and let S, T be subtournaments of H. As with undirected graphs, we say that S is an H -extension of T if T = S \ u for some u V (S). For an integer k > 0 and a set F of tournaments, we say that a tournament G admits an (F, k)-partition if V (G) = X 1... X k, where for all i {1,..., k}, either X i = 1, or G X i is F -free for some F F. Please note that the condition X i = 1 is significant only when all members of F have at most one vertex. First we prove the tournament analogue of Let H 1, H 2 be non-null tournaments, and let H be H 1 H 2. Let m = max( V (H 1 ), V (H 2 ) ), and F = {H 1, H 2 }. Then every H-free tournament G admits an (F, 2(m + 1) m )-partition. Proof. By reversing all edges of T, if necessary, we may assume that V (H 1 ) = m. We may assume that G is not H 1 -free, for otherwise the theorem holds. Choose h V (H 2 ), and let H be the subtournament of H with vertex set V (H 1 ) {h }. For a subtournament T of H, a T -piece is an isomorphism g from T to some subtournament of G that we denote by g(t ). For a T -piece g, and an H -extension S of T, let V (S) \ V (T ) = {s}; we say that v V (G) \ V (g(t )) g-corresponds to S if the map sending x to g(x) for each x V (T ), and sending s to v, is an S-piece. We denote by Y S (g) the set of all vertices in G that g-correspond to S. Let Y (g) be the union of the sets Y S (g). Thus Y (g) is the set of all vertices in V (G) that g-correspond to an H -extension of T. (1) If g is an H 1 -piece, then Y (g) is complete from V (g(h 1 )), and the graph G Y (g) is H 2 -free. Since V (H 1 ) is complete to V (H 2 ) in H, and in particular complete to h, it follows that Y (g) is complete from V (g(h 1 )). But then, since G is H-free, it follows that G Y (g) is H 2 -free. This proves (1). 5

9 Let b B; since b Z R, since A b Y R (g), and since A b is complete to b, it follows from the definition of Z R that G A b admits an (F, φ(t + 1))-partition. Since G is H-free, it follows that G A 0 is H 2 -free. Since B m, this implies that G A admits an (F, K)-partition, where This proves (2). K = mφ(t + 1) + m + 1 2(m + 1) m t = φ(t). Now let T be the null tournament, and g the isomorphism from T into G. Then T is an subtournament of H 1, and g is a T -piece. Also, Y S (g) = V (G) for every H -extension S of T. But then, by (2), G admits an (F, 2(m + 1) m )-partition. This proves 3.2. Now 3.1 follows easily: Proof of 3.1. Since H 1 and H 2 are heroes, there exists an integer c > 0 such that every H i -free tournament has chromatic number at most c for i = 1, 2. By 3.2, every H-free tournament G has an ({H 1, H 2 }, 2(m + 1) m )-partition, where m = max( V (H 1 ), V (H 2 ) ); and therefore V (G) can be partitioned into 2(m+1) m c transitive subsets. Thus every H-free tournament has chromatic number at most 2(m + 1) m c, and consequently H is a hero. This proves Cographs In this section we prove 1.4, which is the cograph analogue of 1.2. Let F be a set of graphs, where k 1 is an integer, and let P > 0 be an integer. We say that a graph C is (F, P )-universal if for every partition X 1,..., X P of V (C) (by a partition we mean that the sets X 1,..., X P are pairwise disjoint, and have union V (C)), there exists i {1,..., P } such that C X i contains every member of F (in other words, C does not admit an (F, P )-partition. We start with a lemma that establishes the existence of universal cographs Let P, k be positive integers. Let F be a finite set of connected cographs, all of height at most k. Then there exists a connected cograph of height k that is (F, P )-universal. Proof. The proof is by induction on k. Suppose first that k = 1. Then the members of F are complete graphs; let m = max F F V (F ). Now the complete graph on mp vertices is (F, P )- universal. Next we consider a general k > 1. For every F F, the members of the set ac(f ) are anticonnected cographs of height at most k 1. Let A = F F ac(f ). Inductively, passing to the complement, there exists an (A, P )-universal anticonnected cograph C of height k 1. Denote by s the maximum number of anticomponents of a member of F, and write K = (s 1)P + 2. Then K 2. Let U be the cograph obtained from K vertex-disjoint copies C 1,..., C K of C by making V (C i ) complete to V (C j ) for all 1 i < j K. Then U is a connected cograph of height k. We claim that U is (F, P )-universal. Let X 1,..., X P be a partition of V (U). We need to prove that U X j contains every member of F for some j {1,..., P }. For i {1,..., K} and j {1,..., P } write C j i = U (V (C i) X j ). Since C is (A, P )-universal, it follows that for every i {1,..., K} there exists j {1,..., P } such that C j i contains every member of A. For every j {1,..., P }, let 7

10 I j = {i {1,..., K} such that C j i contains every member of A}. Since K > P (s 1), there exists j {1,..., P } such that I j s. Let D be the graph obtained from the graphs {C j i } i I j by making V (C j i ) complete to V (Cj h ) for all distinct i, h I j. Then each anticomponent of D contains every member of A, and D has at least s anticomponents. But since each member of F has at most s anticomponents, it follows that D contains every member of F. Since D is an induced subgraph of U X j, it follows that U X j contains every member of F. This proves the claim that U is (F, P )-universal, and completes the proof of 4.1. We are now ready to prove 1.4. First we note that 1.3 immediately implies the following: 4.2. Let k 0 be an integer, and let H and J be cographs, each of height k + 1, such that H is anticonnected, and J is connected. Then there exists an integer P such that every {H, J}-free graph admits a (c(h) ac(j), P )-partition. We repeat 1.4: 4.3. Let k 1 be an integer, and let H and J be cographs, each of height k + 1, such that H is anticonnected, and J is connected. Then there exist cographs H and J, each of height k, such that H is connected, and J is anticonnected, and every {H, J}-free graph G is { H, J}-split. Proof. Write A = c(h) and B = ac(j). Then the members of A are connected cographs of height at most k, and the members of B are anticonnected cographs of height at most k. By 4.2, there exists an integer P such that G admits an (A B, P )-partition. We may assume that there exists j {1,..., P } such that for 1 i j either X i = 1, or the subgraph of G induced by X i is {F }-free for some F A, and for j < i P either X i = 1, or the subgraph of G induced by X i is {F }-free for some F B. Let X = 1 i j X i, and Y = j<i P X i. By 4.1, there exists a connected cograph H, of height k, such that H is (A, P )-universal. By 4.1 (complemented) there exists an anticonnected cograph J, of height k, such that J is (B, P )-universal. From the definition of X and Y, it follows that G X is H-free, and G Y is J-free, and so G is { H, J}-split, as required. This proves A construction Let G be a graph (not necessarily connected). A block of G is a maximal subgraph of G that is either 2-connected or isomorphic to K 2 so in this paper isolated vertices do not belong to a block). Please note that two distinct blocks cannot share more than one vertex. In this section we prove 1.7, which we restate: 5.1. Let L, M be graphs each with at least one edge. Then for every choice of non-negative integers r, k there is a graph G such that for every S V (G) with S r, the graph G S is {L, M}-split, and G has no ({L, M}, k)-partition. 8

11 Proof. Let L 1,..., L l be the blocks of L and let M 1,..., M m be the blocks of M. We may assume that L 1,..., L l, M 1,..., M m each have at most V (L 1 ) vertices, and l, m 1 (since L, M each have at least one edge by hypothesis). Note that L, M may not be connected, and there may be isolated vertices that are not contained in any block. Fix r, k; we may assume that r max{3 L, 3 M }. Choose a small constant ɛ > 0 (ɛ = 1/(r + 2) will do). Let V be a set of size n 1. By a hypergraph with vertex set V we mean in this paper a set of subsets of V (all different), and we call these subsets hyperedges. We generate l + m independent random hypergraphs with vertex set V as follows. For i = 1,..., l, we let Hi L be a random V (L i ) uniform hypergraph, where each possible hyperedge is present independently with probability p i = n ( V (Li) 1)+ɛ ; for j = 1,..., m, we let Hj M be a random V (M j ) -uniform hypergraph, where each possible hyperedge is present independently with probability q j = n ( V (Mj) 1)+ɛ. We then set H to be the union of these l + m hypergraphs, labeling each hyperedge of H with the name of the block (L i or M j ) it came from; we refer to the L i and M j as pieces of H. Note that at this point a hyperedge might have more than one label. For t 3, a cycle of length t in H (or t-cycle) is a sequence of distinct vertices v 1,..., v t such that for 1 i t, some hyperedge A satisfies A {v 1,..., v t } = {v i, v i+1 }, where subscripts are taken modulo t. A cycle of length 2 in H (or 2-cycle) is a pair of distinct vertices v 1, v 2 such that there are at least two distinct hyperedges containing v 1, v 2. If R V, we denote by H \ R the hypergraph of all hyperedges of H that are disjoint from R. (1) If n is sufficiently large, then with high probability, there is a set R of size o(n/ log n) such that H \ R has no cycles of length at most r and no hyperedges with multiple labels. Let us deal first with multiple labels. If a hyperedge of size k has at least two labels, then it has been chosen in (at least) two distinct pieces of H. This has probability at most ( ) l+m 2 (n (k 1)+ɛ ) 2 = O(n 2(k 1)+2ɛ ). The expected number of such hyperedges is O(n 2(k 1)+2ɛ( n k) ) = O(n k+2+2ɛ ) = O(n 2ɛ ), so by Markov s Inequality there are with high probability at most o(n/ log n) such hyperedges. For vertices v, w in H, let X vw be the number of hyperedges of H that contain both v and w. Then EX vw = i ( ) n 2 p i + V (L i ) 2 j ( ) n 2 q j V (M j ) 2 i n V (L i) 2 n ( V (L i) 1)+ɛ + j n V (M j) 2 n ( V (M j) 1)+ɛ = O(n 1+ɛ ). The probability that there is a pair of hyperedges both containing the pair {v, w} is at most E ( X vw ) 2, the expected number of pairs of hyperedges containing {v, w}. Since X vw is a sum of independent indicator variables, we have EX vw (X vw 1) (EX vw ) 2 and so E ( X vw ) 2 = O(n 2+2ɛ ). Summing over all v, w, we see that the expected number of pairs {v, w} that lie in two or more hyperedges is O(n 2ɛ ) and so by Markov s Inequality is with high probability O(n 3ɛ ). Consequently with high probability the number of 2-cycles is O(n 3ɛ ). For fixed t 3, we now bound the number of t-cycles. Let v 1,..., v t be a sequence of distinct vertices, and for i = 1,... t, let Y i be the number of hyperedges that meet {v 1,..., v t } in exactly 9

12 {v i, v i+1 } (subscripts taken modulo t). Note that the random variables Y 1,..., Y t are independent, as they depend on disjoint sets of hyperedges; also, for each i, we have Y i X vi v i+1. Then the probability that the sequence v 1,..., v t forms a t-cycle is P[Y 1 Y t > 0] E[Y 1 Y t ] = t EY i i=1 t EX vi v i+1 = O(n t+tɛ ). Summing over all O(n t ) choices of v 1,..., v t, we see that the expected number of t-cycles is O(n tɛ ). So by Markov s Inequality, with high probability the number of t-cycles is O(n (t+1)ɛ ) = O(n (r+1)ɛ ). Consequently, with high probability the number of cycles of length at most r is at most O(n (r+1)ɛ ) = o(n/ log n). Finally, let R consist of one vertex from each hyperedge with multiple labels, and one vertex from each cycle of length at most r. By the argument above, this gives with high probability a total of at most o(n/ log n) vertices. This proves (1). (2) If n is sufficiently large, then with high probability, every set of at least n/ log n vertices contains hyperedges from every H L i and H M j. i=1 Let S be a set of at least n/ log n vertices. hyperedge from Hi L is at most Then, for any i, the probability that S contains no (1 p i ) ( S V (L i ) ) (1 pi ) n V (L i ) ɛ/2 exp( p i n V (L i) ɛ/2 ) = exp( n 1+ɛ/2 ), provided n is sufficiently large. The same bound holds for hyperedges from Hj M. There are fewer than 2 n choices for S, and O(1) choices of i or j, so with high probability every set of at least n/ log n vertices contains hyperedges from every Hi L and Hj M. This proves (2). From (1) and (2), if n is sufficiently large then there exists a hypergraph H and a subset R V such that (3) R has size o(n/ log n), and H \ R has no cycles of length at most r, and has no hyperedges with multiple labels, and every set of at least n/ log n vertices of V contains hyperedges of H from every H L i and H M j. Let H = H \ R. We construct a graph G, with V (G) = V (H ), by replacing each surviving hyperedge of form H L i by a copy of L i, and each surviving hyperedge of form H M j by a copy of M j (in each case, choosing an arbitrary ordering of the vertices). Note that this is well-defined, as H has no hyperedges with multiple labels, and no pair of vertices belongs to two hyperedges (so the subgraphs we are inserting intersect pairwise in at most one vertex). We claim that, provided n is sufficiently large, G satisfies the theorem. (4) For every subset S of V (G) with size at most r, the graph G S is (L, M)-split. Fix an S. We show that S can be partitioned into two sets, X and Y, so that G X is L-free, and G Y is M-free. Let H S be the hypergraph containing all sets A S, where A H and A S 2. 10

13 We label each hyperedge of H S with the label of the hyperedge that generated it (note that this is well defined: all hyperedges of H S have size at least two, and so are contained in only one hyperedge of H ). By construction, the hypergraph H S has no cycles, since any cycle in H S is a cycle in H, and H has no cycles of length at most r. It can be easily proved that there is a partition (X, Y ) of S such that every hyperedge of H S has exactly one vertex in Y. Suppose that G X is not L-free. Then, in particular, there exists a subset B of X such that G B is isomorphic to L 1. Since L 1 is 2-connected, and H S has no cycles, it follows that B is contained in some hyperedge E of H S. But all hyperedges of H S have size at most V (L 1 ), and therefore E Y =, a contradiction. This proves that G X is L-free. Next suppose that G Y is not M-free. Then, in particular, there exists a subset B of Y such that G B is isomorphic to M 1. Since M 1 is 2-connected, and H S has no cycles, it follows that B is contained in some hyperedge E of H S. But E Y = 1, a contradiction since V (M 1 ) 2. Thus G Y is M-free. This proves (4). (5) G has no ({L, M}, k)-partition. It is enough to show that for every subset S of V (G) with S n/2k, the graph G S is not L- free and not M-free. Let B = {L 1,..., L l, M 1,..., M m }. Note that, by adding fewer than 2 L additional blocks each isomorphic to L 1, we can generate a connected graph L that has L as an induced subgraph, and such that all its blocks belong to B; and similarly for M. Thus, since r max{3 L, 3 M }, it will be enough to prove the following. (6) For every integer t 1 with t < r, there is an integer K(t) 0 such that if n is sufficiently large then the following holds. Let F be a connected graph with exactly t blocks, such that all its blocks are isomorphic to members of B; then for every set W V (G) of at least K(t)n/ log n vertices, there is an induced subgraph F of G W, isomorphic to F, such that the vertex set of every block of F is a hyperedge of H. We argue by induction on t. For t = 1 this follows from (3), taking K(1) = 1. So suppose t 2 and we have shown the existence of K(t 1). Write K = K(t 1). Let F be a graph with t blocks, all from B. Since t 2 and F is connected, and the bipartite graph of blocks versus cutpoints of F is a tree, it follows that there is a block B of F, and a vertex v 0 of B, such that no other block of F contains any vertex of B different from v 0. Write F = F \ (V (B) \ {v 0 }). Then F has t 1 blocks. If P is an induced subgraph of G and v V (P ), and there is an isomorphism between P and F mapping v to v 0, we call v an anchor of P. Pick a large constant M, let W be any set of at least Mn/ log n vertices in G, and let F be a maximal collection of pairwise vertex-disjoint copies of F with vertices from W. Then, by our inductive hypothesis, the union of the vertex sets of the members of F contains all but at most Kn/ log n vertices from W, and so F (M K)n V (F ) log n > n log n, provided M is sufficiently large. Let T be a set consisting of an anchor of each member of F. Then T n/ log n, and since K(1) = 1, T contains an hyperedge E of H such that G E is isomorphic 11

14 to B. Let z E such that some such isomorphism takes z to v 0. Let P F be such that E V (P ) = {z}. If some vertex in E \ {z} is adjacent in G to some vertex in V (F ) \ {z}, then since every edge of G is contained in a hyperedge of H, and E is a hyperedge of H, and P has at most r 2 blocks, each with vertex set some hyperedge of H, it follows that H has a cycle of length at most r, a contradiction. Thus there is no such edge, and so G (V (P ) E) is isomorphic to F, and (6) holds taking K(t) = M. This proves (6) and completes the proof of 5.1. References [1] E. Berger, K. Choromanski, M. Chudnovsky, J. Fox, M. Loebl, A. Scott, P. Seymour and S. Thomassé, Tournaments and colouring, Journal of Combinatorial Theory, Ser. B 103(2013), [2] S. Földes and P.L. Hammer, Split graphs, Congres. Numer., 19 (1977), [3] M. Chudnovsky and P. Seymour, Extending the Gyárfás-Sumner conjecture, submitted for publication. [4] D. Seinsche, On a property of the class of n-colorable graphs, J. Comb. Theory B 16 (1974),

### Mean Ramsey-Turán numbers

Mean Ramsey-Turá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

### SHARP 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.,

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

### Handout #Ch7 San Skulrattanakulchai Gustavus Adolphus College Dec 6, 2010. Chapter 7: Digraphs

MCS-236: 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

### Large 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

### Cycles and clique-minors in expanders

Cycles and clique-minors 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

### Odd 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 long-standing

### A 2-factor in which each cycle has long length in claw-free graphs

A -factor in which each cycle has long length in claw-free graphs Roman Čada Shuya Chiba Kiyoshi Yoshimoto 3 Department of Mathematics University of West Bohemia and Institute of Theoretical Computer Science

### CS 598CSC: Combinatorial Optimization Lecture date: 2/4/2010

CS 598CSC: Combinatorial Optimization Lecture date: /4/010 Instructor: Chandra Chekuri Scribe: David Morrison Gomory-Hu Trees (The work in this section closely follows [3]) Let G = (V, E) be an undirected

### INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS STEVEN P. LALLEY AND ANDREW NOBEL Abstract. It is shown that there are no consistent decision rules for the hypothesis testing problem

### SCORE 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

### The positive minimum degree game on sparse graphs

The positive minimum degree game on sparse graphs József Balogh Department of Mathematical Sciences University of Illinois, USA jobal@math.uiuc.edu András Pluhár Department of Computer Science University

### 8. Matchings and Factors

8. Matchings and Factors Consider the formation of an executive council by the parliament committee. Each committee needs to designate one of its members as an official representative to sit on the council,

### All 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

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

### Brendan D. McKay Computer Science Dept., Vanderbilt University, Nashville, Tennessee 37235

139. Proc. 3rd Car. Conf. Comb. & Comp. pp. 139-143 SPANNING TREES IN RANDOM REGULAR GRAPHS Brendan D. McKay Computer Science Dept., Vanderbilt University, Nashville, Tennessee 37235 Let n~ < n2

### Every 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

### princeton univ. F 13 cos 521: Advanced Algorithm Design Lecture 6: Provable Approximation via Linear Programming Lecturer: Sanjeev Arora

princeton univ. F 13 cos 521: Advanced Algorithm Design Lecture 6: Provable Approximation via Linear Programming Lecturer: Sanjeev Arora Scribe: One of the running themes in this course is the notion of

### Connectivity 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

### Ph.D. Thesis. Judit Nagy-György. Supervisor: Péter Hajnal Associate Professor

Online algorithms for combinatorial problems Ph.D. Thesis by Judit Nagy-György Supervisor: Péter Hajnal Associate Professor Doctoral School in Mathematics and Computer Science University of Szeged Bolyai

### Best 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

### An inequality for the group chromatic number of a graph

An inequality for the group chromatic number of a graph Hong-Jian Lai 1, Xiangwen Li 2 and Gexin Yu 3 1 Department of Mathematics, West Virginia University Morgantown, WV 26505 USA 2 Department of Mathematics

### Cycles 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É CLAUDE-BERNARD LYON 1 69622 VILLEURBANNE, FRANCE 2 DEPARTMENT OF MATHEMATICS

### 3. 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

### Lecture 17 : Equivalence and Order Relations DRAFT

CS/Math 240: Introduction to Discrete Mathematics 3/31/2011 Lecture 17 : Equivalence and Order Relations Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT Last lecture we introduced the notion

### On Integer Additive Set-Indexers of Graphs

On Integer Additive Set-Indexers of Graphs arxiv:1312.7672v4 [math.co] 2 Mar 2014 N K Sudev and K A Germina Abstract A set-indexer of a graph G is an injective set-valued function f : V (G) 2 X such that

### Triangle 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,

### Labeling 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

### Degree Hypergroupoids Associated with Hypergraphs

Filomat 8:1 (014), 119 19 DOI 10.98/FIL1401119F Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Degree Hypergroupoids Associated

### 1. Prove that the empty set is a subset of every set.

1. Prove that the empty set is a subset of every set. Basic Topology Written by Men-Gen Tsai email: b89902089@ntu.edu.tw Proof: For any element x of the empty set, x is also an element of every set since

### On an anti-ramsey type result

On an anti-ramsey type result Noga Alon, Hanno Lefmann and Vojtĕch Rödl Abstract We consider anti-ramsey type results. For a given coloring of the k-element subsets of an n-element set X, where two k-element

### GRAPH THEORY LECTURE 4: TREES

GRAPH THEORY LECTURE 4: TREES Abstract. 3.1 presents some standard characterizations and properties of trees. 3.2 presents several different types of trees. 3.7 develops a counting method based on a bijection

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

### SEQUENCES 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

### Minimum degree condition forcing complete graph immersion

Minimum degree condition forcing complete graph immersion Matt DeVos Department of Mathematics Simon Fraser University Burnaby, B.C. V5A 1S6 Jacob Fox Department of Mathematics MIT Cambridge, MA 02139

### Product irregularity strength of certain graphs

Also available at http://amc.imfm.si ISSN 1855-3966 (printed edn.), ISSN 1855-3974 (electronic edn.) ARS MATHEMATICA CONTEMPORANEA 7 (014) 3 9 Product irregularity strength of certain graphs Marcin Anholcer

### The degree, size and chromatic index of a uniform hypergraph

The degree, size and chromatic index of a uniform hypergraph Noga Alon Jeong Han Kim Abstract Let H be a k-uniform hypergraph in which no two edges share more than t common vertices, and let D denote the

### Definition 11.1. Given a graph G on n vertices, we define the following quantities:

Lecture 11 The Lovász ϑ Function 11.1 Perfect graphs We begin with some background on perfect graphs. graphs. First, we define some quantities on Definition 11.1. Given a graph G on n vertices, we define

### COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH. 1. Introduction

COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH ZACHARY ABEL 1. Introduction In this survey we discuss properties of the Higman-Sims graph, which has 100 vertices, 1100 edges, and is 22 regular. In fact

### Midterm Practice Problems

6.042/8.062J Mathematics for Computer Science October 2, 200 Tom Leighton, Marten van Dijk, and Brooke Cowan Midterm Practice Problems Problem. [0 points] In problem set you showed that the nand operator

### A 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 Haifa-ORANIM, Tivon 36006, Israel. AMS Subject Classification:

### 2-partition-transitive tournaments

-partition-transitive tournaments Barry Guiduli András Gyárfás Stéphan Thomassé Peter Weidl Abstract Given a tournament score sequence s 1 s s n, we prove that there exists a tournament T on vertex set

### 1 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

### Graphs without proper subgraphs of minimum degree 3 and short cycles

Graphs without proper subgraphs of minimum degree 3 and short cycles Lothar Narins, Alexey Pokrovskiy, Tibor Szabó Department of Mathematics, Freie Universität, Berlin, Germany. August 22, 2014 Abstract

### Tree-representation of set families and applications to combinatorial decompositions

Tree-representation of set families and applications to combinatorial decompositions Binh-Minh Bui-Xuan a, Michel Habib b Michaël Rao c a Department of Informatics, University of Bergen, Norway. buixuan@ii.uib.no

### An 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 Hong-Jian Lai a, Xiangwen Li b,,1, Gexin Yu c a Department of Mathematics,

### On three zero-sum Ramsey-type problems

On three zero-sum Ramsey-type problems Noga Alon Department of Mathematics Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv University, Tel Aviv, Israel and Yair Caro Department of Mathematics

### 1 Definitions. Supplementary Material for: Digraphs. Concept graphs

Supplementary Material for: van Rooij, I., Evans, P., Müller, M., Gedge, J. & Wareham, T. (2008). Identifying Sources of Intractability in Cognitive Models: An Illustration using Analogical Structure Mapping.

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

### Fairness in Routing and Load Balancing

Fairness in Routing and Load Balancing Jon Kleinberg Yuval Rabani Éva Tardos Abstract We consider the issue of network routing subject to explicit fairness conditions. The optimization of fairness criteria

### Collinear Points in Permutations

Collinear Points in Permutations Joshua N. Cooper Courant Institute of Mathematics New York University, New York, NY József Solymosi Department of Mathematics University of British Columbia, Vancouver,

### Exponential time algorithms for graph coloring

Exponential time algorithms for graph coloring Uriel Feige Lecture notes, March 14, 2011 1 Introduction Let [n] denote the set {1,..., k}. A k-labeling of vertices of a graph G(V, E) is a function V [k].

### Degree-associated reconstruction parameters of complete multipartite graphs and their complements

Degree-associated reconstruction parameters of complete multipartite graphs and their complements Meijie Ma, Huangping Shi, Hannah Spinoza, Douglas B. West January 23, 2014 Abstract Avertex-deleted subgraphofagraphgisacard.

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

### Cycle 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.

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

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 2-2010, January 24, 2010 RUTCOR Rutgers Center for Operations

### Graphical degree sequences and realizations

swap Graphical and realizations Péter L. Erdös Alfréd Rényi Institute of Mathematics Hungarian Academy of Sciences MAPCON 12 MPIPKS - Dresden, May 15, 2012 swap Graphical and realizations Péter L. Erdös

### 136 CHAPTER 4. INDUCTION, GRAPHS AND TREES

136 TER 4. INDUCTION, GRHS ND TREES 4.3 Graphs In this chapter we introduce a fundamental structural idea of discrete mathematics, that of a graph. Many situations in the applications of discrete mathematics

### PROBLEM SET 7: PIGEON HOLE PRINCIPLE

PROBLEM SET 7: PIGEON HOLE PRINCIPLE The pigeonhole principle is the following observation: Theorem. Suppose that > kn marbles are distributed over n jars, then one jar will contain at least k + marbles.

### Discrete Mathematics Problems

Discrete Mathematics Problems William F. Klostermeyer School of Computing University of North Florida Jacksonville, FL 32224 E-mail: wkloster@unf.edu Contents 0 Preface 3 1 Logic 5 1.1 Basics...............................

### A threshold for the Maker-Breaker clique game

A threshold for the Maker-Breaker clique game Tobias Müller Miloš Stojaković October 7, 01 Abstract We study the Maker-Breaker k-clique game played on the edge set of the random graph G(n, p. In this game,

### MODULAR ARITHMETIC. a smallest member. It is equivalent to the Principle of Mathematical Induction.

MODULAR ARITHMETIC 1 Working With Integers The usual arithmetic operations of addition, subtraction and multiplication can be performed on integers, and the result is always another integer Division, on

### On the independence number of graphs with maximum degree 3

On the independence number of graphs with maximum degree 3 Iyad A. Kanj Fenghui Zhang Abstract Let G be an undirected graph with maximum degree at most 3 such that G does not contain any of the three graphs

### Lecture 15 An Arithmetic Circuit Lowerbound and Flows in Graphs

CSE599s: Extremal Combinatorics November 21, 2011 Lecture 15 An Arithmetic Circuit Lowerbound and Flows in Graphs Lecturer: Anup Rao 1 An Arithmetic Circuit Lower Bound An arithmetic circuit is just like

### I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called

### SOLUTIONS TO ASSIGNMENT 1 MATH 576

SOLUTIONS TO ASSIGNMENT 1 MATH 576 SOLUTIONS BY OLIVIER MARTIN 13 #5. Let T be the topology generated by A on X. We want to show T = J B J where B is the set of all topologies J on X with A J. This amounts

### 6.2 Permutations continued

6.2 Permutations continued Theorem A permutation on a finite set A is either a cycle or can be expressed as a product (composition of disjoint cycles. Proof is by (strong induction on the number, r, of

### Generalized Induced Factor Problems

Egerváry Research Group on Combinatorial Optimization Technical reports TR-2002-07. 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.

### Lecture 22: November 10

CS271 Randomness & Computation Fall 2011 Lecture 22: November 10 Lecturer: Alistair Sinclair Based on scribe notes by Rafael Frongillo Disclaimer: These notes have not been subjected to the usual scrutiny

### A 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 sublinear-time algorithm for testing whether a bounded degree graph is bipartite

### Special Classes of Divisor Cordial Graphs

International Mathematical Forum, Vol. 7,, no. 35, 737-749 Special Classes of Divisor Cordial Graphs R. Varatharajan Department of Mathematics, Sri S.R.N.M. College Sattur - 66 3, Tamil Nadu, India varatharajansrnm@gmail.com

### 3. Equivalence Relations. Discussion

3. EQUIVALENCE RELATIONS 33 3. Equivalence Relations 3.1. Definition of an Equivalence Relations. Definition 3.1.1. A relation R on a set A is an equivalence relation if and only if R is reflexive, symmetric,

### THE DIMENSION OF A VECTOR SPACE

THE DIMENSION OF A VECTOR SPACE KEITH CONRAD This handout is a supplementary discussion leading up to the definition of dimension and some of its basic properties. Let V be a vector space over a field

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

### High degree graphs contain large-star factors

High degree graphs contain large-star factors Dedicated to László Lovász, for his 60th birthday Noga Alon Nicholas Wormald Abstract We show that any finite simple graph with minimum degree d contains a

### SHORT CYCLE COVERS OF GRAPHS WITH MINIMUM DEGREE THREE

SHOT YLE OVES OF PHS WITH MINIMUM DEEE THEE TOMÁŠ KISE, DNIEL KÁL, END LIDIKÝ, PVEL NEJEDLÝ OET ŠÁML, ND bstract. The Shortest ycle over onjecture of lon and Tarsi asserts that the edges of every bridgeless

### On the k-path cover problem for cacti

On the k-path 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

### Induction. Margaret M. Fleck. 10 October These notes cover mathematical induction and recursive definition

Induction Margaret M. Fleck 10 October 011 These notes cover mathematical induction and recursive definition 1 Introduction to induction At the start of the term, we saw the following formula for computing

### Graph theoretic techniques in the analysis of uniquely localizable sensor networks

Graph theoretic techniques in the analysis of uniquely localizable sensor networks Bill Jackson 1 and Tibor Jordán 2 ABSTRACT In the network localization problem the goal is to determine the location of

### Math212a1010 Lebesgue measure.

Math212a1010 Lebesgue measure. October 19, 2010 Today s lecture will be devoted to Lebesgue measure, a creation of Henri Lebesgue, in his thesis, one of the most famous theses in the history of mathematics.

### A Stronger Form of the Van den Berg-Kesten Inequality

A Stronger Form of the Van den Berg-Kesten 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 up-events

### Markov random fields and Gibbs measures

Chapter Markov random fields and Gibbs measures 1. Conditional independence Suppose X i is a random element of (X i, B i ), for i = 1, 2, 3, with all X i defined on the same probability space (.F, P).

### Small Maximal Independent Sets and Faster Exact Graph Coloring

Small Maximal Independent Sets and Faster Exact Graph Coloring David Eppstein Univ. of California, Irvine Dept. of Information and Computer Science The Exact Graph Coloring Problem: Given an undirected

### PART I. THE REAL NUMBERS

PART I. THE REAL NUMBERS This material assumes that you are already familiar with the real number system and the representation of the real numbers as points on the real line. I.1. THE NATURAL NUMBERS

### Resource 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

### Solutions for Practice problems on proofs

Solutions for Practice problems on proofs Definition: (even) An integer n Z is even if and only if n = 2m for some number m Z. Definition: (odd) An integer n Z is odd if and only if n = 2m + 1 for some

### 1 Introduction to Counting

1 Introduction to Counting 1.1 Introduction In this chapter you will learn the fundamentals of enumerative combinatorics, the branch of mathematics concerned with counting. While enumeration problems can

### Extremal Graph Theory

Extremal Graph Theory Instructor: Asaf Shapira Scribed by Guy Rutenberg Fall 013 Contents 1 First Lecture 1.1 Mantel s Theorem........................................ 3 1. Turán s Theorem.........................................

### arxiv:1209.1595v5 [math.co] 26 Dec 2014

TRIANGLE-FREE 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

### 1. 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

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

### 1 The Line vs Point Test

6.875 PCP and Hardness of Approximation MIT, Fall 2010 Lecture 5: Low Degree Testing Lecturer: Dana Moshkovitz Scribe: Gregory Minton and Dana Moshkovitz Having seen a probabilistic verifier for linearity

### MA651 Topology. Lecture 6. Separation Axioms.

MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples

### Mathematical Induction. Lecture 10-11

Mathematical Induction Lecture 10-11 Menu Mathematical Induction Strong Induction Recursive Definitions Structural Induction Climbing an Infinite Ladder Suppose we have an infinite ladder: 1. We can reach

### Uniform Multicommodity Flow through the Complete Graph with Random Edge-capacities

Combinatorics, Probability and Computing (2005) 00, 000 000. c 2005 Cambridge University Press DOI: 10.1017/S0000000000000000 Printed in the United Kingdom Uniform Multicommodity Flow through the Complete

### On end degrees and infinite cycles in locally finite graphs

On end degrees and infinite cycles in locally finite graphs Henning Bruhn Maya Stein Abstract We introduce a natural extension of the vertex degree to ends. For the cycle space C(G) as proposed by Diestel

### Removing Even Crossings

EuroComb 2005 DMTCS proc. AE, 2005, 105 110 Removing Even Crossings Michael J. Pelsmajer 1, Marcus Schaefer 2 and Daniel Štefankovič 2 1 Department of Applied Mathematics, Illinois Institute of Technology,

### Metric Spaces Joseph Muscat 2003 (Last revised May 2009)

1 Distance J Muscat 1 Metric Spaces Joseph Muscat 2003 (Last revised May 2009) (A revised and expanded version of these notes are now published by Springer.) 1 Distance A metric space can be thought of