حل مسائل بیمارستانی در ASP و Minizinc

یک برنامه Minizinc و ASP بنویسید که بتواند راه حلی برای آن بیابدمشکل زیر:بیمارستان ص. یک بیمارستان آماده ارائه k نوع ویزیت در آزمایشگاه های مختلف است (مانند رادیوگرافی، TAC، NMR، نمونه خون، ...). هر بازدید مدتی طول می کشد، اجازه دهید به عنوان زمان واحد از 10 دقیقه استفاده کنیم، بنابراین شما در ساعت های 8.00، 8.10، 8.20، 8.30، 8.40، 8.50، 9.00، 9.20، ...، 17.50 بازدید دارید. برخی از بازدیدها ممکن است بیش از 1 واحد زمان ببرد (به عنوان مثال NMR 30 دقیقه طول می کشد). بخشی از ورودی (که بستگی به بیمارستان دارد) k نوع ویزیت و مدت آنها است (داده ها را در اینجا اختراع کنید، من پزشک نیستم). بخش دیگر ورودی ها، بیماران هستند. شما فهرستی از بیمارانی دارید که از آنها با مجموعه ای از ویزیت های لازم (مثلاً بیمار 1 به نمونه خون و TAC نیاز دارد). همچنین در اینجا داده ها را اختراع کنید. دلیل در بازه زمانی 5 روزه (هفته کاری). هدف، برنامه‌ریزی بیماران برای حضور در آزمایشگاه به منظور به حداقل رساندن (جریمه بالا) عدم بازگشت در دو روز جداگانه و به حداقل رساندن (جریمه کوچکتر) مجموع زمان صرف شده برای انتظار برای ملاقات بعدی در بیمارستان است. نمونه خون در ساعت 11:00 پایان می یابد، سایر معاینات در ساعت 18:00 به پایان می رسد. پس از نمونه خون، بیماران باید 30 دقیقه (3 بار واحد) قبل از ورود به ویزیت دیگر یا خروج از بیمارستان بنشینند. البته همان بیمار می تواند حداکثر یک بار در یک زمان معین مراجعه کند. یک باتری از 30 نمونه معیار تهیه کنید. آنها را به صورت تصادفی تولید کنید اما چند نمونه آسان/کوچک (یک زوج زمان اجرا ثانیه)، برخی از نمونه های متوسط ​​(چند دقیقه) و برخی از نمونه های سخت (بیش از مهلت زمانی). کدگذاری Minizinc و ASP را روی همه نمونه ها اجرا کنید. احتمالاً کاوش استراتژی های مختلف جستجو، با تایم اوت 5 دقیقه برای هر آزمون (گزینه «پیکربندی» در Minizinc، گزینه --time-limit در clingo، در در هر دو مورد می توانید از ترفندهای لینوکس استفاده کنید)