Ramsey numbers involving a triangle: theory and algorithms

Ramsey theory studies the existence of highly regular patterns in large sets of objects. Given two graphs G and H, the Ramsey number R(G, H) is defined to be the smallest integer n such that any graph F with n or more vertices must contain G, or F must contain H. Albeit beautiful, the problem of determining Ramsey numbers is considered to be very difficult. We focus our attention on efficient algorithms for determining Ram sey numbers involving a triangle: R(K3 , G). With the help of theoretical tools, the search space is reduced by using different pruning techniques and linear programming. Efficient operations are also carried out to mathematically glue together small graphs to construct larger critical graphs. Using the algorithms developed in this thesis, we compute all the Ramsey numbers R(Kz,G), where G is any connected graph of order seven. Most of the corresponding critical graphs are also constructed. We believe that the algorithms developed here will have wider applications to other Ramsey-type problems

Rainbow Generalizations of Ramsey Theory - A Dynamic Survey

In this work, we collect Ramsey-type results concerning rainbow edge colorings of graphs

Rainbow Generalizations of Ramsey Theory - A Dynamic Survey

In this work, we collect Ramsey-type results concerning rainbow edge colorings of graphs

Finite canonization

The canonization theorem says that for given m,n for some m^* (the first one is called ER(n;m)) we have: for every function f with domain [{1, ...,m^*}]^n, for some A in [{1, ...,m^*}]^m, the question of when the equality f({i_1, ...,i_n})=f({j_1, ...,j_n}) (where i_1< ... <i_n and j_1 < ... < j_n are from A) holds has the simplest answer: for some v subseteq {1, ...,n} the equality holds iff (for all l in v)(i_l = j_l). In this paper we improve the bound on ER(n,m) so that fixing n the number of exponentiation needed to calculate ER(n,m) is best possible

Rainbow Generalizations of Ramsey Theory - A Dynamic Survey

In this work, we collect Ramsey-type results concerning rainbow edge colorings of graphs

An extensive English language bibliography on graph theory and its applications, supplement 1

Graph theory and its applications - bibliography, supplement

Graphs without large bicliques and well-quasi-orderability by the induced subgraph relation

Recently, Daligault, Rao and Thomass\'e asked in [3] if every hereditary class which is well-quasi-ordered by the induced subgraph relation is of bounded clique-width. There are two reasons why this questions is interesting. First, it connects two seemingly unrelated notions. Second, if the question is answered affirmatively, this will have a strong algorithmic consequence. In particular, this will mean (through the use of Courcelle theorem [2]), that any problem definable in Monadic Second Order Logic can be solved in a polynomial time on any class well-quasi-ordered by the induced subgraph relation. In the present paper, we answer this question affirmatively for graphs without large bicliques. Thus the above algorithmic consequence is true, for example, for classes of graphs of bounded degree

Combinatorics, Probability and Computing

One of the exciting phenomena in mathematics in recent years has been the widespread and surprisingly effective use of probabilistic methods in diverse areas. The probabilistic point of view has turned out to b

R(W5 , K5) = 27

The two-color Ramsey number R(G , H) is defined to be the smallest integer n such that any graph F on n vertices contains either a subgraph isomorphic to G or the complement of F contains a subgraph isomorphic to H. Ramsey numbers serve to quantify many of the existing theorems of Ramsey theory, which looks at large combinatorial objects for certain given smaller combinatorial objects that must be present. In 1989 George R. T. Hendry presented a table of two-color Ramsey numbers R(G , H) for all pairs of graphs G and H having at most five vertices. This table left seven unsolved cases, of which three have since been solved. This thesis eliminates one of the remaining four cases, R(W5 , K5), where a K5 is the complete graph on five vertices and a W5 is a wheel of order 5, which can be pictured as a wheel having four spokes or as a cycle of length 4 having all four vertices adjacent to a central vertex. In this thesis we show R(W5, K5) to be equal to 27, utilizing a combinatorial approach with significant computations. Specifically we use a technique developed by McKay and Radziszowski to effectively glue together smaller graphs in an effort to prove exhaustively that no graph having 27 vertices exists that does not contain an independent set on five vertices or a subgraph isomorphic to W5. The previous best bounds for this case were 27 \u3c= R( W_5 , K_5 ) \u3c= 29