Previous Page 3

Displaying 41 – 52 of 52

Showing per page

Two variants of the size Ramsey number

Andrzej Kurek, Andrzej Ruciński (2005)

Discussiones Mathematicae Graph Theory

Given a graph H and an integer r ≥ 2, let G → (H,r) denote the Ramsey property of a graph G, that is, every r-coloring of the edges of G results in a monochromatic copy of H. Further, let m ( G ) = m a x F G | E ( F ) | / | V ( F ) | and define the Ramsey density m i n f ( H , r ) as the infimum of m(G) over all graphs G such that G → (H,r). In the first part of this paper we show that when H is a complete graph Kₖ on k vertices, then m i n f ( H , r ) = ( R - 1 ) / 2 , where R = R(k;r) is the classical Ramsey number. As a corollary we derive a new proof of the result credited to Chvatál...

μ -bicomplete categories and parity games

Luigi Santocanale (2002)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

For an arbitrary category, we consider the least class of functors containing the projections and closed under finite products, finite coproducts, parameterized initial algebras and parameterized final coalgebras, i.e. the class of functors that are definable by μ -terms. We call the category μ -bicomplete if every μ -term defines a functor. We provide concrete examples of such categories and explicitly characterize this class of functors for the category of sets and functions. This goal is achieved...

μ-Bicomplete Categories and Parity Games

Luigi Santocanale (2010)

RAIRO - Theoretical Informatics and Applications

For an arbitrary category, we consider the least class of functors containing the projections and closed under finite products, finite coproducts, parameterized initial algebras and parameterized final coalgebras, i.e. the class of functors that are definable by μ-terms. We call the category μ-bicomplete if every μ-term defines a functor. We provide concrete examples of such categories and explicitly characterize this class of functors for the category of sets and functions. This goal is achieved...

Currently displaying 41 – 52 of 52

Previous Page 3