یک کد Gray به طول k و اندازهی l، دنبالهای به طول k از l تاییهای مرتب متمایز از صفر و یک است که هر دو l تایی متوالی این دنباله (و همچنین عنصر اول و آخر) دقیقا در یک بیت متفاوتاند. ثابت کنید که اگر k فرد باشد این دنباله وجود ندارد و برنامهای بنویسید که برای k ی زوج دنبالهای به طول کمینه بیابد.