جدول‌های عددی، دنباله‌ها و وارسی الگو

وارسی الگو (pattern verification) یعنی پیشنهاد رابطه‌ای فشرده و کنترل اینکه همهٔ داده‌های موجود را توضیح دهد. دنباله (sequence) ترتیب دارد؛ اما جدول فقط اعداد را در فضا نمایش می‌دهد و تا مسیر خواندن مشخص نشود، ترتیب دنباله معلوم نیست. پس نخست باید خانه‌های متوالی را شناسایی کرد. آرایش پلکانی ممکن است یک دنبالهٔ پیوسته باشد، درحالی‌که جدول مستطیلی می‌تواند قواعد مستقل سطری یا ستونی داشته باشد.

۱. پیش از محاسبه، آرایش را بررسی کنید

جهت مشخص‌شده در شکل، پیکان‌ها، اعداد تکراری و انتهای مشترک سطرها را ببینید. فارسی‌بودن متن دفترچه الزام نمی‌کند که نمودار عددی از راست به چپ خوانده شود؛ ملاک، روابط واقعی اعداد است. اگر عدد پایان یک سطر در آغاز سطر بعد تکرار شده، بررسی کنید که آیا آن عدد مرز مشترک دو سطر است. در این برداشت، یک جملهٔ دنباله دو بار نمایش داده شده است و تکرار آن به معنای یک گام تازه با افزایش صفر نیست.

مسیر پیشنهادی را در یک خط بنویسید. جای خانه‌های خالی را حفظ کنید؛ حذف یک جای خالی، شمارهٔ تمام تفاضل‌های بعدی را تغییر می‌دهد. اگر دو مسیر محتمل است، چند تفاضل در هر مسیر حساب کنید و مسیری را ترجیح دهید که هم آرایش و هم مقادیر را توضیح می‌دهد.

۲. مجموعه‌ای کوتاه از آزمون‌های قابل استفاده

با $a_n$ جملهٔ جایگاه $n$ را نشان می‌دهیم و شماره‌گذاری از $n=1$ آغاز می‌شود. تفاضل‌های اول و دوم عبارت‌اند از:

در اینجا $d_1=a_2-a_1$ و $c$ تفاضل دوم مشترک است. افزایش‌های فرد پیاپی الگویی مربعی با انتقال ثابت می‌سازند؛ افزایش‌های زوج پیاپی نیز الگویی درجه‌دو می‌دهند. تشخیص دنبالهٔ افزایش‌ها معمولاً از برازش چندجمله‌ای سریع‌تر است.

مثلاً $2,7,4,10,6,13$ در مجموع حسابی نیست: جمله‌های جایگاه فرد $2,4,6$ و جمله‌های جایگاه زوج $7,10,13$ هستند. تفکیک برحسب جایگاه، هر شش داده را با دو قاعدهٔ ساده توضیح می‌دهد. تنها به دلیل نامنظم‌بودن تفاضل‌ها سراغ تفکیک نروید؛ بررسی کنید که تفکیک واقعاً توضیحی سازگار می‌دهد.

بازگشت کوتاه در برابر تفاضل ثابت

رابطهٔ بازگشتی (recurrence) ممکن است به جای افزایش ثابت، دو جملهٔ پیشین را به کار ببرد. برای آزمون $a_n=a_{n-1}+a_{n-2}+c$ در $n\ge3$، در همهٔ جایگاه‌های ممکن باقیماندهٔ $a_n-a_{n-1}-a_{n-2}$ را حساب کنید. در $3,5,10,17,29$، هر باقیمانده $2$ است؛ پس پیش‌بینی جملهٔ بعد $29+17+2=48$ خواهد بود. تفاضل‌های اول $2,5,7,12$ هستند؛ بنابراین نه تفاضل اول و نه تفاضل دوم ثابت است. دو مقدار آغازین همراه با قاعدهٔ بازگشتیِ داده‌شده، ادامه را تعیین می‌کنند؛ مقادیر آغازین به‌تنهایی آن قاعده را ثابت نمی‌کنند.

حساب شکل: عمل و جهت قرارگیری

پیش از محاسبه، جایگاه‌ها را نام‌گذاری کنید. این‌ها قواعد پیشنهادی برای آزمون‌اند، نه قانون همیشگی یک شکل خاص.

چند کنترل مستقل روش‌ها را روشن می‌کند. سطرهای دارای ارقام «۶»، «۴،۸» و «۲،۷،۵» می‌دهند $6+48+275=329$؛ اگر ارقام بیرونی از یکان نوشته شوند، ترتیبشان $9,2,3$ است. ستون یکان یک واحد به دهگان منتقل می‌کند. برای دو مجموعهٔ گوشهٔ ساعت‌گرد $2,3,8,4$ و $5,2,3,6$، تفاضل حاصل‌ضرب‌ها $\lvert2\cdot8-3\cdot4\rvert=4$ و $\lvert5\cdot3-2\cdot6\rvert=3$ است. در یک T، داده‌های $u=11,v=7,m=3$ مقدار $b=12$ را مستقل از جهت جغرافیایی شاخه می‌دهند. اگر قاعده قبلاً کنترل شده و شاخهٔ تازه $20$ و دو سر $9,4$ باشد، از $20=m\lvert9-4\rvert$ مقدار $m=4$ حاصل می‌شود. دو سر برابر، شاخهٔ صفر می‌خواهند و مرکز را تعیین نمی‌کنند. در آزمون جمع و ضرب، ورودی‌های $2,4,5,7$ مجموع $18$ دارند؛ خروجی‌های $3,x$ رابطهٔ $3x=18$ و در نتیجه $x=6$ را می‌دهند. هر مجهول را در تمام روابط مربوط به خودش جای‌گذاری کنید.

مجموع متناهی و حذف جفت‌های مجاور

برای دنبالهٔ حسابی با $n$ جمله داریم:

هنگام مقایسهٔ گروه‌های یک‌درمیان، علامت سهم‌ها را حفظ کنید. مثلاً $3-6+9-12+15-18+21$ سه جفت مجاور با سهم $-3$ و یک جملهٔ پایانی $21$ دارد؛ پس مجموع آن $3(-3)+21=12$ است. جملهٔ آخر بی‌جفت است و حذف نمی‌شود. جفت‌سازی اغلب از جمع جداگانهٔ جمله‌های مثبت و منفی سریع‌تر است.

۳. دستور کار در زمان محدود

۱. مسیر خواندن را مشخص کنید و جایگاه مجهول‌ها را نگه دارید. ۲. تفاضل‌های اول را بیازمایید؛ اگر منظم تغییر می‌کنند، تفاضل آن‌ها را بررسی کنید. ۳. اگر آزمون جمعی نتیجه نداد، نسبت‌ها، جایگاه‌های یک‌درمیان یا عملی تکرارشونده در سطر و ستون را امتحان کنید. ۴. پیش از پرکردن مجهول‌ها، قاعدهٔ پیشنهادی را در یک جمله بیان کنید. ۵. هر مجهول را از یک طرف به دست آورید و از طرف دیگر کنترل کنید. تمام داده‌ها، به‌ویژه نخستین خانه پس از شکست سطر، باید درست باشند. ۶. سپس کمیت خواسته‌شده، مثلاً مجموع مجهول‌ها، را حساب کنید.

گزینه‌ها می‌توانند قاعده‌ای را رد کنند، اما قاعده‌ای را که با یک خانهٔ معلوم ناسازگار است معتبر نمی‌کنند. قاعدهٔ پیچیده‌ای که صرفاً برای رسیدن به یک گزینه ساخته شود، پشتوانهٔ ضعیفی دارد.

۴. مثال حل‌شده: جدول پلکانی

فرض کنید آغاز هر سطر نسبت به سطر قبل دو خانه به راست جابه‌جا شده است. داده‌های هر سطر از چپ به راست خوانده می‌شوند:

تکرار مرزها مسیر پیوستهٔ $5,7,11,17,25,u,47,61,77,v$ را پیشنهاد می‌کند. تفاضل‌های معلوم با $2,4,6,8$ آغاز می‌شوند و در ادامه $14,16$ نیز دیده می‌شود. افزایش‌های زوج را بدون شروع دوباره در مرز سطر ادامه می‌دهیم:

فهرست کامل تفاضل‌ها $2,4,6,8,10,12,14,16,18$ و تفاضل دوم برابر $2$ است. توصیف دیگر، رابطهٔ $a_n=5+n(n-1)$ است که $a_6=35$ و $a_{10}=95$ را می‌دهد. پس $u+v=130$. دو توصیف سازگارند، زیرا یک قاعده را بیان می‌کنند. شروع دوبارهٔ افزایش‌ها در هر سطر، همان ابتدا $17+2=19$ را پیش‌بینی می‌کند که با دادهٔ چاپ‌شدهٔ $25$ ناسازگار است.

۵. داده‌ها چه چیزی را ثابت می‌کنند؟

فهرست متناهی در میان تمام توابع قابل تصور، قاعده‌ای یکتا تعیین نمی‌کند؛ بی‌نهایت ادامهٔ پیچیده می‌توان ساخت که با آن سازگار باشد. سؤال استعداد، رابطهٔ ساده و سازگارِ موردنظر را می‌خواهد که آرایش و گزینه‌ها از آن پشتیبانی کنند. قاعده‌ای با عمل‌های کم، بدون استثنای مخصوص یک خانه و دارای کنترل موفق در داده‌های دور از هم را ترجیح دهید. مشاهدهٔ یک افزایش، حسابی‌بودن دنباله را ثابت نمی‌کند؛ موفقیت در یک سطر نیز اثبات قاعدهٔ کل جدول نیست.

در کشف قاعدهٔ پنهان، عمل از مثال‌ها استنباط می‌شود. در شمارش فرایند دوره‌ای، عمل و برنامه داده شده‌اند؛ با کارت مکمل فرایندهای دوره‌ای، چرخه‌های کامل و بخش پایانی را بشمارید. ظاهر تکرارشونده به‌تنهایی قاعدهٔ تازه‌ای برای دنباله ثابت نمی‌کند.

نکتهٔ کنکوری: دور اعداد تکراری در مرز سطرها خط بکشید و پیش از محاسبه سطرها را به هم وصل کنید. یک فهرست پیوستهٔ تفاضل‌ها اغلب جدول پلکانی را فوراً آشکار می‌کند.

تلهٔ رایج: شکست سطر مرز چاپی است و الزاماً آغاز دوبارهٔ دنباله نیست. هر مرز مشترک را یک بار بشمارید و جایگاه تمام خانه‌های خالی را حفظ کنید.