arXiv++ Combinatorics

We study finite, connected, simple bipartite graphs in a grid model, in which a graph is drawn as a rectangular array and its structure is read off from empty subrectangles, called holes. In this model we attach to every brick a numerical invariant, its characteristic m, the difference between the number of rows and the largest proper independent set. A brick is excessive if m > 0. Our main results concern this invariant. We determine the characteristic of a disconnected excessive brick from those of its components, showing that m = min_i min{m_i, imb(W_i)} while the imbalance is additive; and we prove that an m-excessive brick is m-extendable, that is, every matching of size m extends to a maximum matching. Since Plummer's notion of n-extendability is defined only for graphs carrying a perfect matching, and our proof nowhere uses balance, the characteristic extends that notion canonically to unbalanced bipartite graphs. Using the characteristic we partition bipartite graphs into eleven structural classes. The underlying decomposition into atomic blocks is the classical decomposition into elementary components, and the description of the maximum proper independent sets by ideals of the block poset is likewise classical; the paper states precisely which results are classical and are not claimed here. What the grid model adds is a single geometric framework in which holes, characteristics and the block triangular form are read off from one picture.

A partial Latin square of order $n$ can be represented by a $3$-dimensional chess-board of size $n\times n\times n$ with at most $n^2$ non-attacking rooks. Based on this representation, we apply a uniform method to prove the M. Hall's, Ryser's and Cruse's theorems for completion of partial Latin squares. With the help of this proof, we extend the scope of Cruse's theorem to compact bricks, which appear to be independent of their environment. Without losing any completion you can replace a dot by a rook if the dot must become rook, or you can eliminate the dots that are known not to become rooks. Therefore, we introduce primary and secondary extension procedures that are repeated as many times as possible. If the procedures do not decide whether a PLSC can be completed or not, a new necessary condition for completion can be formulated for the dot structure of the resulting PLSC, the BUG condition.

A partial Latin square of order $n$ can be represented by a $3$-dimensional chess-board of size $n\times n\times n$ with at most $n^2$ non-attacking rooks. In Latin squares, a subsystem and its most distant mate together have as many rooks as their capacity. That implies a simple capacity condition for the completion of partial Latin squares which is in fact the Cruse's necessary condition for characteristic matrices. Andersen-Hilton proved that, except for certain listed cases, a PLS of order $n$ can be completed if it contains only $n$ symbols. Andersen proved it for $n+1$ symbols, listing the cases to be excluded. Identifying the structures of the chess-board that can be overloaded with $n$ or $n+1$ rooks, it follows that a PLS derived from a chess-board with at most $n+1$ non-attacking rooks can be completed exactly if it satisfies the capacity condition. In a layer of a Latin square, two subsystems of a remote couple are in balance. Thus, a necessary condition for completion of a layer can be formulated, the balance condition. For an LSC, each 1-dimensional subspace of the chess-board contains exactly one rook. Consequently, for the PLSCs derived from partial Latin squares, we examine certain sets of 1-dimensional subspaces because they indicate the number of missing rooks.

A $d$-dimensional generalization of a Latin square of order $n$ can be considered as a chess-board of size $n\times n\times \ldots\times n$ ($d$ times), containing $n^d$ cells with $n^{d-1}$ non-attacking rooks. Each cell is identified by a $d$-tuple $(e_1,e_2,\ldots ,e_d)$ where $e_i \in \{1,2,\ldots ,n\}$. For $d = 3$ we prove that such a chess-board represents precisely one main class. A subsystem $T$ induced by a family of sets $<E_1,E_2,\ldots ,E_d>$ over $\{1,2,\ldots ,n\}$ is real if $E_i \subset \{1,2,\ldots ,n\}$ for each $i \in \{1,2,\ldots ,d\}$. The density of $T$ is the ratio of contained rooks to the number of cells in $T$. The distance between two subsystems is the minimum Hamming distance between cell pairs. Replacing $k$ sets of $<E_1,E_2,\ldots ,E_d>$ by their complements, a subsystem $U$ is obtained with distance $k$ between $T$ and $U$. All these subsystems, including $T$, form a partition of the chess-board. We prove that in such a partition, the number of rooks in a $U$ and the density of $U$ can be determined from the number of rooks in $T$ and the number of cells in $T$ and $U$ and the value of $(-1)^k$. We examine the subsystem couple $(T,U)$ in the $2$- and $3$-dimensional cases, where $U$ is the most distant unique subsystem from a real $T$. On the fly, a new identity of binomial coefficients is proved.