گراف $G$ را به این شکل میسازیم: ابتدا به ازای هر یک از اعداد ۰ تا ۶۳ یک راس در نظر میگیریم. سپس بین هر دو راس که نمایش دودویی آنها دقیقا در یک بیت اختلاف دارد یک یال رسم میکنیم.
به هر زیرمجموعهی ۷ تایی از راسهای $G$ دقیقا شکل روبهرو را بسازند یک «آدمک» میگوییم. دقت کنید که بین راسهای یک آدمک نباید هیچ یالی غیر از یالهای نشان داده شده در شکل مقابل در گراف $G$ وجود داشته باشد.
در گراف $G$ چند آدمک میتوان پیدا کرد؟