محدودیتی که برنامه هفتگی FET شما را غیرممکن می‌کند
یک محدودیت اشتباه می‌تواند فایل FET را غیرقابل حل کند و جستجو ساعت‌ها طول بکشد؛ ابتدا فایل را بررسی کنید که رایگان است و چند ثانیه زمان می‌برد.
شما داده‌ها را تکمیل می‌کنید. دکمه تولید را در FET فشار می‌دهید. سپس منتظر می‌مانید.
ده دقیقه می‌گذرد. یک ساعت می‌گذرد. تعداد کلاس‌های جای‌گذاری شده هرگز به تعداد کل نمی‌رسد. در نهایت، شما تولید برنامه را متوقف می‌کنید و هیچ برنامه هفتگی ندارید. بدتر از آن، نمی‌دانید چرا.
مشکل اغلب یک محدودیت است
یک برنامه هفتگی مدرسه صدها محدودیت دارد. بیشتر آنها صحیح هستند. یکی از آنها صحیح نیست، و شما نمی‌توانید آن را ببینید.
برای مثال:
- کلاسی با ۳۱ دانش‌آموز فقط می‌تواند از اتاق‌هایی با ۳۰ صندلی استفاده کند.
- یک استاد ۲۶ ساعت درس دارد، اما فقط برای ۲۴ بازه زمانی در دسترس است.
- یک قانون باعث می‌شود یک کلاس هیچ زمان شروع مجازی در هفته نداشته باشد.
- چهار درس باید در روزهای متفاوتی باشند، اما گروه دانشجویان فقط سه روز در هفته درس دارند.
هر یک از این موارد، ساخت برنامه هفتگی را غیرممکن می‌کند. هیچ چینشی نمی‌تواند آن را برآورده کند. اما فایل عادی به نظر می‌رسد. FET آن را باز کرده و شروع به جستجو می‌کند.
چرا جستجو به شما نمی‌گوید
FET در کار خود بسیار خوب است. این نرم‌افزار به دنبال چینشی می‌گردد که از تمام محدودیت‌ها پیروی کند. FET برخی فایل‌ها را فوراً رد می‌کند. برای بسیاری از مشکلات دیگر، جستجویی را آغاز می‌کند که نمی‌تواند موفق شود.
یک جستجوی ناموفق فقط یک چیز به شما می‌گوید: این جستجو چینشی پیدا نکرد. نمی‌تواند بین «محدودیت‌های شما این کار را غیرممکن می‌کند» و «این بار آن را پیدا نکردم» تمایز قائل شود. بنابراین شما یک ضریب را تغییر می‌دهید، دوباره تلاش می‌کنید، و دوباره منتظر می‌مانید.
ساعت‌ها این‌گونه تلف می‌شوند. زمان صرف جستجویی می‌شود که هرگز نمی‌توانست موفق شود، نه صرف حل کردن.
اول شمارش، سپس جستجو
یک سؤال سریع‌تر وجود دارد که قبل از تولید برنامه باید پرسید: آیا این برنامه هفتگی اصلاً ممکن است؟
این سؤال نیازی به جستجو ندارد. به حساب و کتاب نیاز دارد. ابزار بررسی، محدودیت‌های شما را می‌خواند و فضای باقی‌مانده توسط آنها را می‌شمارد:
- ساعت‌هایی که یک استاد باید تدریس کند، در برابر بازه‌های زمانی که در دسترس باقی می‌مانند
- زمان‌های شروعی که یک کلاس پس از اعمال همه قوانین هنوز دارد
- اینکه آیا دو درسی که هر دو باید برگزار شوند، مجبور به قرار گرفتن در یک بازه زمانی یکسان شده‌اند
- اینکه آیا گروهی از درس‌ها به روزهای بیشتری از آنچه هفته دارد نیاز دارند
وقتی یکی از این شمارش‌ها به صفر برسد، برنامه هفتگی غیرممکن است. این یک حدس در مورد سختی کار نیست. یک اثبات است، و ابزار بررسی آن را در چند ثانیه به شما می‌دهد.
این ابزار قانون را مشخص می‌کند
یک اثبات تنها زمانی مفید است که بتوانید بر اساس آن عمل کنید. هر یافته به زبان ساده می‌گوید چه چیزی اشتباه است و قوانین درگیر را نام می‌برد.
در مثال بالا، کلاس ریاضی · 9A دارای ۳۱ دانش‌آموز است. بزرگترین اتاقی که محدودیت اتاق ترجیحی کلاس اجازه می‌دهد، ۳۰ صندلی دارد. راه‌حل واضح است: اجازه استفاده از یک اتاق بزرگتر را بدهید، یا کلاس را تقسیم کنید.
یافته‌ها در گروه‌هایی دسته‌بندی شده‌اند. گروه اثبات‌شده غیرممکن شامل مشکلاتی است که هیچ حل‌کننده‌ای نمی‌تواند از آنها عبور کند. گروه‌های دیگر شامل اشتباهات محتمل و مواردی هستند که یک فایل را دشوار می‌کنند. اطلاعات بیشتر را در چهار نوع یافته بخوانید.
دو جا برای استفاده از آن
بدون حساب کاربری: دستیار FET. به fetviewer.com/check بروید و فایل .fet خود را انتخاب کنید. این ابزار رایگان است و محدودیتی در تعداد بررسی‌های مجدد وجود ندارد. فایل شما روی کامپیوترتان باقی می‌ماند. مرورگر شما فقط خلاصه‌ای را به سرور ما ارسال می‌کند، و این خلاصه هیچ نامی ندارد: استادان، اتاق‌ها و گروه‌های دانشجویان به صورت عدد ارسال می‌شوند. ما چیزی ذخیره نمی‌کنیم. به بررسی یک فایل بدون حساب کاربری مراجعه کنید.
داخل حساب کاربری شما: بررسی اولیه. وقتی برنامه هفتگی خود را وارد می‌کنید، صفحه بررسی اولیه در کنار محدودیت‌ها در صفحه داده‌ها قرار دارد. هر بخش محدودیت‌ها نیز یک خلاصه یک‌خطی در بالا نشان می‌دهد. یک محدودیت را تغییر دهید، و حین کار دوباره بررسی کنید. به بررسی اولیه چه کاری انجام می‌دهد مراجعه کنید.
چه چیزهایی را نمی‌تواند به شما بگوید
این بررسی موارد غیرممکن را اثبات می‌کند. نمی‌تواند اثبات کند که یک فایل حتماً حل خواهد شد، و نمی‌تواند به شما بگوید FET چقدر زمان خواهد برد. یک بررسی بدون خطا یک دلیل برای شکست را حذف می‌کند. جستجو همچنان کار FET است.
بنابراین از هر دو، به این ترتیب استفاده کنید:
- فایل را بررسی کنید.
- مواردی را که بررسی اثبات می‌کند، اصلاح کنید.
- سپس به FET اجازه دهید جستجو کند.
مقایسه کامل را در تفاوت بررسی با اجازه دادن به FET برای حل کردن بخوانید.
قبل از انتظار طولانی بعدی
دفعه بعد که یک فرآیند تولید بیش از حد طول کشید، آن را متوقف کنید. ابتدا فایل را بررسی کنید. اگر یک محدودیت برنامه هفتگی را غیرممکن کند، در چند ثانیه متوجه می‌شوید، و می‌بینید کدام محدودیت است.