加载中…
A partial Latin square of order is called -dense if each row and each column contains at most filled cells, and each symbol occurs at most times. A partial Latin square is said to be completable if its empty cells can be filled to obtain a Latin square. Daykin and H"{a}ggkvist conjectured that every -dense partial Latin square is completable. In this paper, we show that for all sufficiently large integers , every -dense partial Latin square of order is completable. The proof is obtained by establishing that there exists an such that every triangle-divisible balanced tripartite graph on vertices with partite minimum degree at least admits a fractional triangle decomposition.

生成讲解博客的中文版本

生成AI智能校验的中文版本