User:TNTErick/Draft:k Restriction

證明之定理同應用

應用一: 項鍊分割問題

主条目：w:項鍊分割

項鍊分割，或更精確地說，k-段,t-相項鍊分割，指的是

A k-wise t-way splitter is a set of partitions of [m] into b sets, so that for every k coordinates within [m], each having a color in [t], there exists a partition so that every set 1 ≤ j ≤ b contains the same number of coordinates of each color up to rounding. This is a generalization of the existing notion of a splitter introduced by [18]. Splitters are multi-way splitters for t = 1. Splitters and multi-way splitters are used to split a problem of the form “for every k coordinates,...” into b problems of the form “for every dk/be coordinates,...”. The advantage of 2 multi-way splitters is that they give more control on the split. They allow us to split a problem of the form “for every k coordinates, for every partition of the coordinates into t types,...” into b problems of the form “for every dk/be coordinates, for every partition of the coordinates into t types,...”.

定理3

A k-wise t-way splitter for splitting m coordinates into b blocks of size $\mathrm {O} (k^{4}\log m)\cdot b^{p+1}\cdot {\binom {k^{2}}{p}}$ where $p=(b-1)t$, may be constructed in time poly (m, t^k and the size of construction) .