混合超图的染色理论

混合超图是含有两种超边的超图，一种称为D-超边，一种称为C-超边，它们的区别主要体现在染色要求上．混合超图的染色，要求每-D-超边至少有两个点染不同的颜色，每一C-超边至少有两个点染相同的颜色．用颜色最多的染色所用的颜色数称为该混合超图的上色数，用颜色最少的染色所用的颜色数称为该混合超图的下色数．混合超图的染色理论是目前国际组合学界比较新的研究课题之一．本文主要概括介绍关于混合超图染色理论已经取得的一些成果，其中包含本文作者的研究成果．并提出了一些可供进一步研究的问题．     

超图中的着色问题

本文是近三十年来有关超图中涉及的着色问题的综述。它包含了有关超图着色中的基本结果,临界可着色性,２－可着色性,非２－可着色性以及在超图中与顶点着色、边着色和其它着色相关的极值问题。     

4一致(ξ)-超图的最小边数的上界

主要讨论了4一致l-超图的最小边数与最小上色数的关系,给出了上色数为3的4一致l-超图的最小边数的一个上界.     

r-一致超图Ramsey函数的渐近下界(英文)

本文利用Lovasz局部引理的Spencer形式和对称形式给出r-一致超图Ramsey函数的渐近下界.证明了:对于任意取定的正整数f0,使得当n→∞时,有R~((r))(m~l,n~(k-l))≥(c-o(1))(n~(r-1)/logn)~■.特别地,R~((r))_k(n)≥(1-o(1))n/e k~■(n→∞).对于任意取定的正整数s≥r+1和常数δ>0,α≥0,如果F表示阶为s的r-一致超图,■表示阶为t的r-一致超图,且■的边数满足m(■)≥(δ-o(1))t~r/(logt)α(t→∞),则存在c=c(s,δ,α)>0,使得R~((r))(F,■)≥(c-o(1))(t~(r-1)/(logt)~l+(r-l)α)~(m(F)-l/s-r).     

Color-bounded hypergraphs, II: Interval hypergraphs and hypertrees

A color-bounded hypergraph is a hypergraph (set system) with vertex set X and edge set E={E₁,…,E_m}, together with integers s_i and t_i (1≤s_i≤t_i≤|E_i|) for i=1,…,m. A vertex coloring φ is feasible if the number of colors occurring in edge E_i satisfies s_i≤|φ(E_i)|≤t_i, for every i≤m.In this paper we point out that hypertrees-hypergraphs admitting a representation over a (graph) tree where each hyperedge E_i induces a subtree of the underlying tree-play a central role concerning the set of possible numbers of colors that can occur in feasible colorings. We also consider interval hypergraphs and circular hypergraphs, where the underlying graph is a path or a cycle, respectively. Sufficient conditions are given for a ‘gap-free’ chromatic spectrum; i.e., when each number of colors is feasible between minimum and maximum. The algorithmic complexity of colorability is studied, too.Compared with the ‘mixed hypergraphs’-where ‘D-edge’ means (s_i,t_i)=(2,|E_i|), while ‘C-edge’ assumes (s_i,t_i)=(1,|E_i|−1)-the differences are rather significant.     

Color-bounded hypergraphs, I: General results

The concept of color-bounded hypergraph is introduced here. It is a hypergraph (set system) with vertex set X and edge set E={E₁,…,E_m}, where each edge E_i is associated with two integers s_i and t_i such that 1≤s_i≤t_i≤|E_i|. A vertex coloring φ:X→N is considered to be feasible if the number of colors occurring in E_i satisfies s_i≤|φ(E_i)|≤t_i, for all i≤m.Color-bounded hypergraphs generalize the concept of ‘mixed hypergraphs’ introduced by Voloshin [V. Voloshin, The mixed hypergraphs, Computer Science Journal of Moldova 1 (1993) 45-52], and a recent model studied by Drgas-Burchardt and ?azuka [E. Drgas-Burchardt, E. ?azuka, On chromatic polynomials of hypergraphs, Applied Mathematics Letters 20 (12) (2007) 1250-1254] where only lower bounds s_i were considered.We discuss the similarities and differences between our general model and the more particular earlier ones. An important issue is the chromatic spectrum-strongly related to the chromatic polynomial-which is the sequence whose kth element is the number of allowed colorings with precisely k colors (disregarding color permutations). Problems concerning algorithmic complexity are also considered.     

Coloring of Plane Graphs with Unique Maximal Colors on Faces

The Four Color Theorem asserts that the vertices of every plane graph can be properly colored with four colors. Fabrici and Göring conjectured the following stronger statement to also hold: the vertices of every plane graph can be properly colored with the numbers 1, …, 4 in such a way that every face contains a unique vertex colored with the maximal color appearing on that face. They proved that every plane graph has such a coloring with the numbers 1, …, 6. We prove that every plane graph has such a coloring with the numbers 1, …, 5 and we also prove the list variant of the statement for lists of sizes seven.     

一类4-正则平面图的邻点可区别关联色数

所谓图R_n是指具有如下结构的平面图:R_n=(V,E),其中顶点集合V={u_1,u_2,…,u_n}U{v_1,v_2,…,v_n},边集合E={u_iu_(i+1),v_iv_(i+1),u_iv_i,u_iv_(i+1)|i=1,2,…,n},其中u_(n+1)=u_1,v_(n+1)=v_1.通过研究R_n的邻点可区别关联着色,给出了当n=4,n是3或者5的正整数倍时,R_n的邻点可区别关联色数.     

3-一致超图的反馈数研究

超图H=(V,E)顶点集为V,边集为E.S■V是H的顶点子集,如果H/S不含有圈,则称S是H的点反馈数,记τc(H)是H的最小点反馈数.本文证明了:(i)如果H是线性3-一致超图,边数为m,则τc(H)≤m/3;(ii)如果H是3-一致超图,边数为m,则τc(H)≤m/2并且等式成立当且仅当H任何一个连通分支是孤立顶点或者长度为2的圈.A■V是H的边子集,如果H\A不含有圈,则称A是H的边反馈数,记τc′(H)是H的最小边反馈数.本文证明了如果H是含有p个连通分支的3-一致超图,则τc’(H)≤2m-n+p.     

Color-bounded hypergraphs, IV: Stable colorings of hypertrees

We consider vertex colorings of hypergraphs in which lower and upper bounds are prescribed for the largest cardinality of a monochromatic subset and/or of a polychromatic subset in each edge. One of the results states that for any integers s≥2 and a≥2 there exists an integer f(s,a) with the following property. If an interval hypergraph admits some coloring such that in each edge E_i at least a prescribed number s_i≤s of colors occur and also each E_i contains a monochromatic subset with a prescribed number a_i≤a of vertices, then a coloring with these properties exists with at most f(s,a) colors. Further results deal with estimates on the minimum and maximum possible numbers of colors and the time complexity of determining those numbers or testing colorability, for various combinations of the four color bounds prescribed. Many interesting problems remain open.     

Large Sets of Wrapped K–K Hamilton Cycle Decompositions of Complete Bipartite 3‐Uniform Hypergraphs

Using the Katona–Kierstead (K–K) definition of a Hamilton cycle in a uniform hypergraph, we investigate the existence of wrapped K–K Hamilton cycle decompositions of the complete bipartite 3‐uniform hypergraph and their large sets, settling their existence whenever n is prime.     

Line Hypergraphs: A Survey

The survey is devoted to line graphs and a new multivalued function called the line hypergraph. This function generalizes two classical concepts at once, namely the line graph and the dual hypergraph. In a certain sense, line graphs and dual hypergraphs are extreme values of the function . There are many publications about line graphs, but our considerations are restricted to papers concerning Krausz global characterization of line graphs or Whitneys theorem on edge isomorphisms. The survey covers almost all known results on the function because they are concentrated around Krausz and Whitneys theorems. These results provide evidence that the notion of the line hypergraph is quite natural. It enables one to unify the classical theorems on line graphs and to obtain their more general versions in a simpler way.     

Extremality of Graph Entropy Based on Degrees of Uniform Hypergraphs with Few Edges

Let $$\mathcal{H}$$     

Hypergraphs and the Clar problem in hexagonal systems

We show that for a hypergraph H that is separable and has the Helly property, the perfect matchings of H are the strongly stable sets of the line graph of H. Also, we show that the hypergraph generated by a hexagonal system is separable and has the Helly property. Finally, we note that the Clar problem of a hexagonal system is a minimum cardinality perfect matching problem of the hypergraph generated by the hexagonal system. Hence, the Clar problem of a hexagonal system is a minimum cardinality strongly stable set problem in the line graph of the hypergraph generated by the hexagonal system.     

Partitions of hypergraphs under variable degeneracy constraints

The paper deals with partitions of hypergraphs into induced subhypergraphs satisfying constraints on their degeneracy. Our hypergraphs may have multiple edges, but no loops. Given a hypergraph $H$ and a sequence $f=\left(f_1,f_2,\text{…},f_p\right)$ of $p\ge 1$ vertex functions $f_i:V\left(H\right)\to {\mathbb{N}}_0$ such that $f_1\left(v\right)+f_2\left(v\right)+\mathrm{?}+f_p\left(v\right)\ge d_H\left(v\right)$ for all $v\in V\left(H\right)$, we want to find a sequence $\left(H_1,H_2,\text{…},H_p\right)$ of vertex disjoint induced subhypergraphs containing all vertices of $H$ such that each hypergraph $H_i$ is strictly $f_i$‐degenerate, that is, for every nonempty subhypergraph $H\prime ?H_i$ there is a vertex $v\in V\left(H\prime \right)$ such that $d_{H\prime }\left(v\right)<f_i\left(v\right)$. Our main result in this paper says that such a sequence of hypergraphs exists if and only if $\left(H,f\right)$ is not a so‐called hard pair. Hard pairs form a recursively defined family of configurations, obtained from three basic types of configurations by the operation of merging a vertex. Our main result has several interesting applications related to generalized hypergraph coloring problems.     

无标号真严格(d)-连通无圈超图的计数

本文得到了无标号真严格(d)-连通无圈超图的计数公式,并得到了无标号真严格(d)-连通同胚k不可约无圈超图的计数公式.     

On the α-spectra of Uniform Hypergraphs and Its Associated Graphs

For 0 ≤α 1 and a k-uniform hypergraph H, the tensor A_α(H) associated with H is defined as A_α(H) = αD(H) +(1-α)A(H), where D(H) and A(H) are the diagonal tensor of degrees and the adjacency tensor of H, respectively. The α-spectra of H is the set of all eigenvalues of A_α(H) and the α-spectral radius ρ_α(H) is the largest modulus of the elements in the spectrum of A_α(H). In this paper we define the line graph L(H) of a uniform hypergraph H and prove that ρ_α(H) ≤■ρ_α(L(H)) + 1 + α(Δ-1-δ~*/k), where Δ and δ~* are the maximum degree of H and the minimum degree of L(H), respectively. We also generalize some results on α-spectra of G~(k,s), which is obtained from G by blowing up each vertex into an s-set and each edge into a k-set where 1 ≤ s ≤ k/2.     

On Generalized Ramsey Numbers for 3‐Uniform Hypergraphs

The well‐known Ramsey number is the smallest integer n such that every ‐free graph of order n contains an independent set of size u. In other words, it contains a subset of u vertices with no K₂. Erd?s and Rogers introduced a more general problem replacing K₂ by  for . Extending the problem of determining Ramsey numbers they defined the numbers where the minimum is taken over all ‐free graphs G of order n. In this note, we study an analogous function for 3‐uniform hypergraphs. In particular, we show that there are constants c₁ and c₂ depending only on s such that      

On the Existence of Friendship Hypergraphs

A 3‐uniform friendship hypergraph is a 3‐uniform hypergraph in which, for all triples of vertices x, y, z there exists a unique vertex w, such that , and are edges in the hypergraph. Sós showed that such 3‐uniform friendship hypergraphs on n vertices exist with a so‐called universal friend if and only if a Steiner triple system, exists. Hartke and Vandenbussche used integer programming to search for 3‐uniform friendship hypergraphs without a universal friend and found one on 8, three nonisomorphic on 16 and one on 32 vertices. So far, these five hypergraphs are the only known 3‐uniform friendship hypergraphs. In this paper we construct an infinite family of 3‐uniform friendship hypergraphs on 2^k vertices and edges. We also construct 3‐uniform friendship hypergraphs on 20 and 28 vertices using a computer. Furthermore, we define r‐uniform friendship hypergraphs and state that the existence of those with a universal friend is dependent on the existence of a Steiner system, . As a result hereof, we know infinitely many 4‐uniform friendship hypergraphs with a universal friend. Finally we show how to construct a 4‐uniform friendship hypergraph on 9 vertices and with no universal friend.     

3一致 C-超图的最小边数

混合超图是含有两类超边的超图,一类称为C-超边,一类称为D-超边,它们的区别主要体现在染色要求上．混合超图的染色,要求每一C-超边至少有两个点染相同的颜色,而每一D-超边至少有两个点染不同的颜色．所用的最大颜色数称为对应混合超图的上色数,所用的最小颜色数称为对应混合超图的下色数．上、下色数与边数有密切关系．作者在文献[2]中证明了具有最小上色数的3一致C-超图边数的一个下界为‘n(n-2)/3’,其中n为对应混合超图的顶点数．该文证明当n=2k 1时,该下界是可以达到的．