特定の機能を回避するグリッドの色のカウント
グリッドの色付けは、関数です。壊れ長方形でタプルであるを満足 -つまり、長方形のちょうど3つの角が同じ色です。kkkm×nm×nm \times nC:[m]×[n]→[k]C:[m]×[n]→[k]C:[m] \times [n] \to [k]CCC(i,i′,j,j′)(i,i′,j,j′)(i,i',j,j')C(i,j)=C(i′,j)=C(i,j′)≠C(i′,j′)C(i,j)=C(i′,j)=C(i,j′)≠C(i′,j′)C(i,j) = C(i',j) = C(i,j') \ne C(i',j') 次の質問に興味があります。 関数として、どのように多く -colorings重複する行を避けるため、重複する列、および壊れた長方形（任意のサイズのグリッドのために）存在しますか？kkkkkk これまでのところ、答えは有限であり、証明できる最高の上限はことがわかっています（以下を参照）。k(1.5k!)2k(1.5k!)2k^{(1.5 k!)^2} また、これは、Gasarchが彼のブログ（およびこのペーパー）で頻繁に語った質問とは異なる質問であることも指摘しておきます。彼はすべての単色の長方形を避けたいのですが、私は単色の長方形を気にしません。それは私が避けたい「壊れた」長方形です。 動機は何ですか？暗号では、我々は（持っているアリスの問題を検討し（持っている）とボブ・両方の学習）合意された機能のために、彼らは超えない学ぶような方法で、。を2次元テーブルに自然に関連付けることができるため、グリッドの色付けができます。この種の問題には、次の形式の特性があります（ただし、表記は異なります）。「は、が壊れた長方形を含む場合にのみ、暗号的に興味深い特性があります。」例については、Kilian91およびBeimelMalkinMicali99を参照してください。xxxyyyf(x,y)f(x,y)f(x,y)ffff(x,y)f(x,y)f(x,y)fffffffff そのため、この問題は、私が調査していた暗号化の設定で発生しました。私の目的のために、壊れた長方形と重複する行/列を避けるために、有限数のグリッドカラーリングがあることを知るだけで十分でした。しかし、私は組み合わせの問題自体が面白いと思い、より良い限界が可能になると信じています。 私が証明できる最高の限界：および定義する; したがって、。まず、が少なくとも行の色である場合、重複行または壊れた長方形のいずれかがあることを証明できます。対称的に、列に関して同じことを示すことができます。（証明は非常に基本的で、色の数に関する鳩の巣の原理に従っています。）これから、私たちが気にする色はすべてよりも小さい次元を持っていることがわかります。このようなカラーリングの非常に緩やかな上限。R(2)=3R(2)=3R(2)=3R(k)=k⋅R(k−1)R(k)=k⋅R(k−1)R(k) = k \cdot R(k-1)R(k)=1.5k!R(k)=1.5k!R(k) = 1.5 k!CCCkkkR(k)R(k)R(k)R(k)×R(k)R(k)×R(k)R(k) \times R(k)kR(k)2kR(k)2k^{R(k)^2} これは2つの方法で改善できると思います。まず、最適値はです。以下着色の（再帰的に定義される）のファミリーであるある大き-coloring、これらの禁止機能を回避します。R(k)R(k)R(k)2k−1+12k−1+12^{k-1}+1CkCkC_kkkk2k−1×2k−12k−1×2k−12^{k-1} \times 2^{k-1} C1=[1];Ck=⎡⎣⎢⎢⎢⎢⎢⎢⎢⎢⎢⎢⎢⎢k⋮k⋯⋱⋯Ck−1k⋮kk⋮kCk−1⋯⋱⋯k⋮k⎤⎦⎥⎥⎥⎥⎥⎥⎥⎥⎥⎥⎥⎥.C1=[1];Ck=[k⋯k⋮⋱⋮Ck−1k⋯kk⋯kCk−1⋮⋱⋮k⋯k]. \qquad C_1 = [1]; \qquad C_k = \left[ \begin{array}{ccc|ccc} k & \cdots & …