arXiv++ Combinatorics

The Randić index of a graph $G$ is $R(G)=\sum_{uv\in E(G)}1/\!\sqrt{d(u)d(v)}$, where $d(v)$ is the degree of $v$, and the matching number $α'(G)$ is the maximum size of a matching in $G$. We prove that every $n$-vertex König--Egerváry graph, and in particular every bipartite graph, satisfies \[ R(G)\le\sqrt{α'(G)\left(n-α'(G)\right)}, \] and we characterize the graphs attaining equality. Combining this with the Berge--Tutte formula, we determine the maximum of $R(G)-α'(G)$ over all $n$-vertex graphs with $n\ge4$, together with every extremal graph. This settles a conjecture of Aouchiche, Hansen, and Zheng from 2006 in the negative: the smallest counterexample is $K_{10,55}$, the optimal part size is determined by the proportion $\frac{2-\sqrt2}{4}$ rather than by $\frac17$, and the extremal graphs are not only the complete bipartite ones, so that the equality statement fails already for $n=10$. The two proportions give asymptotic slopes differing by $3.7\cdot10^{-5}$, which explains why the conjecture resisted searches over graphs of small order, and the orders admitting two optimal part sizes are those arising from the Pell equation $x^2-2y^2=1$.

Let G = (V, E) be a hypergraph. A 1/k-majority (k+1)-edge-colouring of a hypergraph is an edge-colouring with k+1 colours such that for every vertex v and each colour i, at most floor(d(v)/k) hyperedges incident to v receive colour i. Motivated by a recent work of Pękała and Przybyło on majority edge-colouring in graphs, we prove that every hypergraph G with minimum degree delta(G) >= 2 r k^2 admits a 1/k-majority (k+1)-edge-colouring, where r = max_{e in E} |e|, by extending their key lemma.