MathDB
Binary sequences with n terms

Source: Kürschák 2015, problem 3

October 7, 2016
combinatoricsBinary

Problem Statement

Let Q={0,1}nQ=\{0,1\}^n, and let AA be a subset of QQ with 2n12^{n-1} elements. Prove that there are at least 2n12^{n-1} pairs (a,b)A×(QA)(a,b)\in A\times (Q\setminus A) for which sequences aa and bb differ in only one term.