Let \((G,C)\) be an edge-colored bipartite graph with bi-partition \((X,Y)\). A heterochromatic matching of \(G\) is such a matching in which no two edges have the same color. Let \(N^c(S)\) denote a maximum color neighborhood of \(S \subseteq V(G)\).
1970-2025 CP (Manitoba, Canada) unless otherwise stated.