拉丁「圍」機
每行每列恰有m個格子填入1,其他的格子皆填入0的方陣,稱為m–(1,0)拉丁方陣。本研究要探討以下問題:求最小的非負整數a,使得所有n階的m–(1,0)拉丁方陣中,都存在一個k×k正方形,其內數字和不超過a。 藉由程式得到答案之後,再針對不同的n,k值討論。k整除n時可經由簡單的估計和構造得到答案,但k不整除n時,經由估計得到的上界,和構造得到的答案卻不盡相同,因此必須再配合壓界的方式得到最後的精確值。目前解決了m=1和m=2的情形,未來將繼續著手處理更一般化的結果,也就是當給定任意n,m,k時,都能得到答案。