اعداد کاتالان – به زبان ساده
«اعداد کاتالان» (Catalan Numbers) دنبالهای از اعداد صحیح مثبت هستند که در بسیاری از مسائل شمارش مبحث ترکیب ظاهر میشوند. این اعداد انواع خاصی از مسیرهای مشبک، درختهای باینری و بسیاری از اشیاء ترکیبی دیگر را شمارش میکنند. اعداد کاتالان در یک رابطه بازگشتی پایه صدق میکنند و یک فرمول بسته برحسب ضرایب دوجملهای دارند.
تعریف اعداد کاتالان
اعداد کاتالان ، ، ... ، و... از فرمول زیر به دست میآیند:
چند عدد نخست از اعداد کاتالان به صورت زیر هستند:
از این تعریف نمیتوان بلافاصله فهمید که ها اعدادی صحیح هستند، اما این امر از بسیاری از قضایای اثبات شده زیر پیروی خواهد کرد.
مسیرهای دایک و دنبالههای پذیرفتنی
قضیه: تعداد عبارات پرانتز مجاز که شامل پرانتز راست و پرانتز چپ است، برابر با اُمین عدد کاتالان است. برای مثال، بوده و ۵ راه برای ایجاد عبارات معتبر با ۳ مجموعه از پرانتزها وجود دارد:
- ( ) ( ) ( )
- ( ( ) ) ( )
- ( ) ( ( ) )
- ( ( ( ) ) )
- ( ( ) ( ) )
با در نظر گرفتن پرانتزهای سمت راست به عنوان و پرانتزهای سمت چپ به عنون ، میتوانیم اینگونه بنویسیم: اعداد دنباله ، ، ... و متشکل از جمله را که میتوان با استفاده از نسخه از ها و نسخه از ها تشکیل داد، آنهایی هستند که در مجموع جزئی زیر صدق میکنند:
که در آن، برابر است با اُمین عدد کاتالان است.
اثبات: دنبالهای از نسخه از ها و نسخه از ها را «پذیرفتنی» (Acceptable) گوییم اگر در شرط بالا صدق کند، در غیر این صورت «نپذیرفتنی» (Unacceptable) است. تعداد دنبالههای پذیرفتنی را با و تعداد دنبالههای نپذیرفتنی را با مشخص میکنیم.
تعداد کل دنبالههای و را میتوان به عنوان جابهجایی اشیایی از دو نوع مختلف با شیء از یک نوع و تا از نوع دیگر در نظر گرفت. بنابراین، تعداد کل چنین دنبالههایی برابر است با:
در نتیجه، و گام بعدی شمارش است.
یک دنباله نپذیرفتنی از نسخه از ها و نسخه از ها را در نظر بگیرید. کوچکترین عدد به گونهای وجود دارد که مجموع جزئی منفی باشد. با توجه به کمینگی ، باید تعدادِ برابرِ و قبل از وجود داشته باشد. بنابراین باید فرد بوده و رابطه و را داشته باشیم. در نتیجه، از بین جملات تعداد نسخه از و نسخه از وجود دارد. از بین جملات باقیمانده ، ... و ، تعداد نسخه از و نسخه از وجود دارد.
حال، اثر معکوس کردن علامت هر یک از جمله اول، یعنی جایگزینی با را برای در نظر بگیرید. سایر جملات را تغییر نمیدهیم. اکنون این دنباله جدید به دست آمده و آن را ، ، ، ، ... و مینامیم که نسخه از ها و نسخه از ها دارد (زیرا به ۲ اضافه میشوند).
این موضوع، تابع را از مجموعه دنبالههای نپذیرفتنی تا مجموعه دنبالههایی از را که با ۲ جمع میشوند نتیجه میدهد. برای مشاهده یک به یک بودن تابع ، معکوس آن را تشکیل میدهیم: فرض کنید دنبالهای از جملات ها باشد که با 2 جمع میشوند. فرض کنید اولین اندیس برای حالتی باشد که در تعداد بیشتری نسبت به ها وجود داشته باشد (باید چنین ای وجود داشته باشد، زیرا مجموع همه جملات مثبت است). بنابراین را تعریف میکنیم که باید دنباله (نپذیرفتنی) باشد. واضح است که و معکوس هم هستند.
اکنون تعداد دنبالههای نسخه از ها و نسخه از ها برابر با است. با توجه به یک به یک بودن، همچنین، این تعداد برابر با تعداد دنبالههای نپذیرفتنی نیز هست. بنابراین، تعداد کل دنبالههای نپذیرفتنی به صورت زیر است:
در نتیجه، تعداد دنبالههای پذیرفتنی برابر است با:
و اثبات کامل میشود.
نکته ۱: این دنبالهها همچنین «مسیرهای دایک» (Dyck Paths) به طول را توصیف میکنند که دنبالههایی از فواصل مساوی شمال شرقی و جنوب شرقی را میپیمایند که از مبداء آغاز شده و به محور ختم میشوند و هرگز زیر محور نمیروند. یک به یک بودن بين دنبالههای پذیرفتنی و مسیرهای دایک، یک را به حرکت شمال شرقی و یک به یک حرکت جنوب شرقی اختصاص میدهد. شرايط پذيرش، معادل مسیری است كه هرگز زير خط شروع و پايان نمیرود.
نکته ۲: طبق آنچه گفتیم، میتوان دریافت که اعداد کاتالان اعدادی صحیح هستند، اگرچه این موضوع از اتحاد نیز به دست میآید که از اثبات بالا آورده شده است.
رابطه بازگشتی و تابع مولد
یک ابزار مفید برای اثباتهای مرتبط با اعداد کاتالان، رابطه بازگشتی توصیف کننده آنها است.
قضیه: اعداد کاتالان در رابطه بازگشتی زیر صدق میکنند:
اثبات: چند راه برای اثبات این قضیه وجود دارد، اما شاید زیرکانهترینشان با مسیرهای دایک به طول باشد که در بالا شمارش را دیدیم. برای یک مسیر دایک به طول ، فرض میکنیم اولین مختصات غیرصفر نخست باشد که در آن، مسیر به محور برخورد میکند و .
مسیر به دو بخش میشکند، بخش چپ و بخش سمت راست آن. بخش راست یک مسیر دایک به طول است، بنابراین، با شمارش میشود. بخش چپ یک گام در جهت شمال شرقی است، سپس یک مسیر دایک به طول و آنگاه یک گام جنوب غربی طی میشود (مسیر میانی یک مسیر دایک است که هرگز به زیر نقطه شروع خود نمیرود، زیرا نمیتواند پیش از به محور برخورد کند). تعداد تا از اینها وجود دارد. بنابراین، در کل مسیر وجود دارد که ابتدا در به محور برخورد میکنند و مجموع این جملات به میرسد که یک رابطه بازگشتی است.
مثال: اگر باشد، آنگاه پنج مسیر دایک شکل بالا را میشمارد:
- مسیر 1 دارای است، و در شمارش شده است.
- مسیر ۲ دارای است، و در شمارش شده است.
- مسیر ۳ دارای است، و در شمارش شده است.
- مسیر ۴ دارای است، و در شمارش شده است.
- مسیر ۵ دارای است، و در شمارش شده است.
مسیر میانی به طول ۴ در مسیرهای ۱ و ۲، و نیمه پایینی قله چپ مسیر ۳، مسیرهای دایک در اثبات بالا هستند.
رابطه بازگشتی رابطه مفیدی است، زیرا میتوان از آن برای اثبات این موضوع استفاده کرد که دنبالهای از اعداد، دنباله اعداد کاتالان است. اگر دنباله (آن را مینامیم) در رابطه بازگشتی مشابهی با اعداد کاتالان صدق کند و شرایط اولیه مشابه را داشته باشیم، آنگاه طبق استقرا تساوی را داریم.
قضیه: تابع مولد اعداد کاتالان به صورت زیر است:
اثبات: تابع را در نظر بگیرید. در نتیجه، میتوان نوشت:
بنابراین، طبق فرمول، ریشههای را خواهیم داشت، اما علامت منفی تنها انتخاب است که معنی دارد، زیرا علامت مثبت منجر به عبارتی میشود که در تعریف نشده است (انتخاب علامت منفی به عبارتی میانجامد که یک حد دارد و طبق قاعده هوپیتال، داریم: .
سایر کاربردهای اعداد کاتالان
مثال: شخصی بلوک به شمال و بلوک به غرب از محل اقامتش حرکت میکند.
او هر روز بلوک برای حرکت دارد. اگر او هیچگاه از خط قطری خانه به دفتر کار عبور نکند، چه تعداد مسیر ممکن موجود دارد؟
پاسخ: واضح است که هر مسیر پذیرفتنی در بالا یا پایین خط قطری بوده و هر دوی این مسیرها متقارن هستند. بنابراین، تعداد مسیرهای زیر قطر را در ۲ ضرب میکنیم. هر مسیر دنبالهای از بلوک شمالی و بلوک غربی است. غرب را با و شمال را با مشخص میکنیم. هر مسیر متناظر با دنباله ، ، ... و از نسخه از ها و نسخه از ها است. اما برای آنکه مسیر بالاتر از قطر نرود، باید برای ، داشته باشیم:
بنابراین، تعداد مسیرهای پذیرفتنی بالای قطر برابر با اُمین عدد کاتالان است و کل تعداد مسیرهای پذیرفتنی برابر است با:
نمودار بالا مسیرهای زیر قطر را برای نشان میدهد. توجه کنید که تعداد چنین مسیرهایی برابر با است. بنابراین، جواب خواهد بود.
مثال: یک درخت باینری ریشهدار درختی است که یک گره ریشه دارد. گره ریشه گرهای است دارای صفر یا دو شاخه متصل به گره فرزند است. یک گره درونی یا داخلی است اگر دو گره داشته باشد که دو گره از آن آمده باشند. چه تعداد از درختهای باینری ریشهدار با گره داخلی وجود دارند؟
پاسخ: این موضوع یک توضیح خوب از اثبات این موضوع است که یک دنباله با استفاده از رابطه بازگشتی معادل با اعداد کاتالان است. فرض کنید تعداد درختهای ریشهدار باینری با گره داخلی باشد. در نتیجه، بوده که مطابق شکل بالا است. اکنون برای ، فرض کنید یک درخت باینری ریشهدار با گره داخلی وجود داشته باشد. گره ریشه داخلی است. تعداد گره داخلی در چپ و گره داخلی در راست وجود دارد. با نگاهی به سمت چپ و راست دو درخت باینری ریشهدار، به ترتیب، و گره داخلی خواهیم داشت. در نتیجه، میتوان نوشت:
که مشابه رابطه بازگشتی مانند اعداد کاتالان است. بنابراین، برای همه ها، رابطه را داریم.
مثال: چند راه برای تقسیم یک ضلعی به مثلث وجود دارد (با رسم خط غیرمتقاطع بین رئوس چندضلعی)؟
پاسخ: فرض کنید تعداد این مثلثها باشد و را تعریف میکنیم. را چیزی در نظر میگیریم که یک ضلعی را میشمارد و مثلثسازیها را دستهبندی میکند.
رئوس را ، ، ... و نامگذاری میکنیم. فرض کنید یال باشد. اگر مثلث این لبه به پایان برسد، را خواهیم داشت، آنگاه این مثلث چندضلعی را به دو چندضلعی باقیمانده تقسیم میکند که باید مثلث شده باشد.
- اگر باشد، آنگاه آنچه در سمت چپ است، یک ضلعی است. تعداد سهگوشها مشابه این است.
- اگر باشد، یک مثلث روی یک ضلع است و یک ضلعی روی ضلع دیگر است. تعداد سهگوشها مانند این است.
- اگر باشد، یک چهارگوش روی یک ضلع است و یک ضلعی روی ضلع دیگر است. تعداد سهگوشهای مشابه این، است.
با ادامه به همین صورت، خواهیم داشت:
همچنین .
این همان رابطه بازگشتی و شرایط اولیه است که اعداد کاتالان را برآورده میکند، بنابراین باید برای هر ، داشته باشیم: .