الگوریتم زیر که $Zip$ نام دارد، رشتەای دودویی (از ارقام $۰$ و $۱$) را به عنوان ورودی میگیرد و به صورت زیر اجرا میشود:
برای مثال، اگر رشتەی $۱۱۱۰$ را به عنوان ورودی به این الگوریتم بدهیم، مقدار $z$ به این صورت تغییر میکند: $$ ۱۱۱۰ → ۰۱۱۱ → ۰۱۱ → ۰۱ → ۱۰ → ۰۱ $$ و در نتیجه، مقدار $Zip(1110)$ برابر با $۰۱$ میشود. دقت کنید که رقم سمت چپ رشتەی $z$ میتواند صفر باشد.
به ازای همەی رشتەهای دودویی یازده رقمی ممکن، این الگوریتم چند خروجی متفاوت را برمیگرداند؟
بزرگترین مجموعه از رشتەهای دودویی یازده رقمی متمایز که خروجی الگوریتم برای همەی اعضایش یکسان باشد، چه اندازەای دارد؟