Za prirodne brojeve nn i kk, promatramo popločavanja ploče dimenzija 2n×k2n \times k dominima dimenzija 2×12 \times 1. U jednom potezu je dopušteno izabrati 2×22 \times 2 kvadrat na ploči koji je potpuno prekriven s dva domina, te okrenuti ga za 90°90° oko središta. Kažemo da su dva popločavanja ekvivalentna ako je od jednog moguće dobiti drugog primjenom konačno mnogo dopuštenih poteza. Za koje parove (n,k)(n, k) su sva popločavanja ekvivalentna?