### Abstract

A mixed hypergraph H=(X,A,E) consists of the vertex set X and two families of subsets: the family E of edges and the family A of co-edges. In a coloring every edge E∈E has at least two vertices of different colors, while every co-edge A∈A has at least two vertices of the same color. The largest (smallest) number of colors for which there exists a coloring of a mixed hypergraph H using all the colors is called the upper (lower) chromatic number and is denoted χ̄(H)(χ(H)). A mixed hypergraph is called uncolorable if it admits no coloring. We show that there exist uncolorable mixed hypergraphs H=(X,A,E) with arbitrary difference between the upper chromatic number χ̄(H_{A}) of H_{A}=(X,A) and the lower chromatic number χ(H_{E}) of H_{E}=(X,E). Moreover, for any k=χ̄(H_{A})-χ(H_{E})≥0, the minimum number v(k) of vertices of an inclusionwise minimal uncolorable mixed hypergraph is exactly k+4. We introduce a measure of uncolorability (the vertex uncolorability number) and propose a greedy algorithm that finds an estimate on it. We also show that the colorability problem can be expressed in terms of integer programming. Concerning particular cases, we describe those complete (l,m)-uniform mixed hypergraphs which are uncolorable, and observe that for any fixed (l,m) almost all complete (l,m)-uniform mixed hypergraphs are uncolorable, whereas generally almost all complete mixed hypergraphs are colorable.

Original language | English |
---|---|

Pages (from-to) | 209-227 |

Number of pages | 19 |

Journal | Discrete Applied Mathematics |

Volume | 99 |

Issue number | 1-3 |

DOIs | |

Publication status | Published - Feb 1 2000 |

Event | Proceedings of the 1997 5th Twente Workshop on Graphs and Combinatorial Optimization - Enschede, Netherlands Duration: May 20 1997 → May 22 1997 |

### Fingerprint

### ASJC Scopus subject areas

- Discrete Mathematics and Combinatorics
- Applied Mathematics

### Cite this

*Discrete Applied Mathematics*,

*99*(1-3), 209-227. https://doi.org/10.1016/S0166-218X(99)00134-1