کاشیکاری
تعدادی کاشی مستطیلی با اضلاع طبیعی داریم. کاشی i ام به صورت ai×bi است. مجموع مساحت کاشیها 3n است. دو کار زیر را در نظر بگیرید:
میخواهیم یک جدول 3×n را با این کاشیها به طور معمول بپوشانیم. حق چرخاندن کاشیها را نداریم؛ یعنی یک کاشی a×b را نمیتوان به صورت b×a استفاده کرد.
میخواهیم به هر کاشی با شمارهی i عدد حسابی ci را نسبت دهیم، طوری که ai+ci≤n شود. متغیرهای h1 تا hn را نیز تعریف میکنیم و در ابتدا مقدار آنها را برابر صفر قرار میخواهیم. به ازای هر کاشی با شمارهی i به مقدار تمام متغیرهای hci+1، hci+2، … و hci+ai به اندازهی bi اضافه میکنیم. میخواهیم طوری عددهای ci را مشخص کرده باشیم که مقدار تمام hi ها در انتها برابر ۳ شود.
ثابت کنید کار (۱) امکانپذیر است، اگر و تنها اگر کار (۲) امکانپذیر باشد.