\(S = \sum \abs{A_i-B_i}\) として, \(S > K\) ならば不可能である.

そうでないとき, \(K-S\) が偶数なら可能, 奇数なら不可能である.