مجموعهی A را بدین صورت تعریف میکنیم: مجموعهی کلیهی رشتههای ناتهی دودویی.
فرض کنید رشتهی دودویی s1 بهطول i و رشتهی دودویی s2 بهطول j را داریم و (i≤j). میگوییم s1 پیشوند s2 است اگر و فقط اگر حروف s1 با i حرف ابتدایی s2 یکی باشند. میخواهیم تابعی مثل f بیابیم که هر کدام از عضوهای A را با یک رشتهی ناتهی دودویی متناظر کند. در ضمن میخواهیم مجموعهی برد تابع f، prefix−free باشد؛ یعنی نتوان در برد f دو رشتهی s1 و s2 پیدا کرد که یکی پیشوند دیگری باشد.
الف) تابع f را بهگونهای بسازید که به ازای هر s∈A، طول رشتهی f(s) حداکثر ۲ برابر طول رشتهی s باشد.
ب) تابع f را بهگونهای بسازید که به ازای هر s∈A، اگر طول s، n باشد طول f(s) حداکثر n+2⌈log2(n+1)⌉ باشد.