نام (NAME)

ppl_pips - حل‌کننده مسئله برنامه‌ریزی عدد صحیح پارامتریک مبتنی بر PPL

خلاصه دستور (SYNOPSIS)

ppl_pips [OPTION]... [FILE]

توضیحات (DESCRIPTION)

تعریف یک مسئله برنامه‌ریزی عدد صحیح پارامتریک را خوانده و کمینه قاموسی (lexicographic minimum) را بر حسب مقادیر پارامترها نمایش می‌دهد.

گزینه‌ها (OPTIONS)

-RMB, --max-memory=MB: مصرف حافظه را به MB مگابایت محدود می‌کند
-h, --help: این متن راهنما را در stdout چاپ می‌کند
-oPATH, --output=PATH: خروجی را به انتهای PATH اضافه می‌کند
-P, --polylib: مسئله را در قالب PolyLib می‌خواند (پیش‌فرض)
-p, --piplib: مسئله را در قالب PipLib می‌خواند
-t, --timings: زمان‌بندی‌ها را در stderr چاپ می‌کند
-v, --verbose: خروجی پرجزئیات تولید می‌کند
-i, --iterations=N: فرایند حل را N بار اجرا می‌کند (پیش‌فرض=1)
-V, --version: اطلاعات نسخه را در stdout چاپ می‌کند
-cPATH, --check=PATH: بررسی می‌کند که آیا نتیجه با محتوای موجود در PATH برابر است یا خیر

گزینه‌های تولید برش (Cut generation options):

-f, --cut-first: از نخستین سطر غیر عدد صحیح استفاده می‌کند (پیش‌فرض)
-d, --cut-deepest: برای تولید عمیق‌ترین برش تلاش می‌کند
-a, --cut-all: همواره تمام برش‌های ممکن را تولید می‌کند

گزینه‌های راهبرد سطر لولا (Pivot row strategy options):

-F, --row-first: از نخستین سطر با پارامتر منفی استفاده می‌کند (پیش‌فرض)
-M, --row-max: سطری را انتخاب می‌کند که ستون لولای بیشینه قاموسی را تولید کند

در دسترس بودن (AVAILABILITY)

آخرین نسخه Parma Polyhedra Library و تمامی مستندات در http://bugseng.com/products/ppl در دسترس است.

نکات (NOTES)

گزینه‌های -CSECS (--max-cpu=SECS) و -t (--timings) در برخی از پلتفرم‌ها در دسترس نیستند.

قالب PolyLib به شرح زیر است:

-: سطر نخست، ماتریس زمینه (یعنی محدودیت‌های روی پارامترها) را توصیف می‌کند. مقدار اول تعداد سطرها (که می‌تواند صفر باشد) و مقدار دوم تعداد ستون‌ها است. تعداد پارامترها برابر است با تعداد ستون‌ها منهای ۲.
-: سطرهای ماتریس زمینه (در صورت وجود) از سطر دوم آغاز می‌شوند. هر سطر که نشان‌دهنده یک محدودیت به فرم c1*p1 + ... + cn*pn + c0 =/>= 0 است، شامل موارد زیر می‌باشد: مقدار 0 در صورتی که محدودیت تساوی باشد، 1 در صورتی که نامساوی باشد؛ ضرایب پارامترهای c1, ..., cn؛ جمله ثابت c0. برای نمونه، محدودیت نامساوی روی دو پارامتر p1 + 2*p2 - 1 >= 0 توسط سطر 1 1 2 -1 کدگذاری می‌شود.
-: سطر بعدی شامل شماره پارامتر برای به‌اصطلاح big parameter (پارامتر بزرگ) است. اگر از هیچ پارامتر بزرگی استفاده نشود، مقدار آن -1 خواهد بود.
-: سطرهای بعدی ماتریس نامساوی مسئله را کدگذاری می‌کنند. همانند ماتریس زمینه، دو مقدار اول، ابعاد ماتریس هستند. تعداد متغیرها برابر است با تعداد ستون‌های ماتریس منهای تعداد پارامترها منهای ۲. هر سطر که نشان‌دهنده محدودیتی به فرم d1*v1 + ... + dm*vm + c1*p1 + ... + cn*pn + c0 =/>= 0 است، شامل موارد زیر می‌باشد: مقدار 0 در صورتی که محدودیت تساوی باشد، 1 در صورتی که نامساوی باشد؛ ضرایب متغیرهای d1, ..., dm؛ ضرایب پارامترهای c1, ..., cn؛ جمله ثابت c0.
قالب PipLib در بخش ۲.۲ از PIP/PipLib: A Solver for Parametric Integer Programming Problems توضیح داده شده است (پایین‌تر را ببینید).

نویسندگان (AUTHORS)

برای دیدن فهرست مشارکت‌کنندگان، فایل CREDITS را در توزیع کد منبع مشاهده کرده یا از دستور ppl-config --credits استفاده کنید.

گزارش باگ‌ها (BUGS)

گزارش باگ‌ها را به <ppl-devel@cs.unipr.it> ارسال کنید.

کپی‌رایت و تکثیر (COPYRIGHT)

کپی‌رایت 2001-2010 متعلق به Roberto Bagnara <bagnara@cs.unipr.it> کپی‌رایت 2010-2016 متعلق به BUGSENG srl (http://bugseng.com)
این یک نرم‌افزار آزاد است؛ برای آگاهی از شرایط تکثیر، فایل COPYING موجود در بسته منبع را ببینید یا از دستور ppl-config --copying استفاده نمایید. هیچ تضمینی وجود ندارد؛ حتی تضمین ضمنی برای قابلیت فروش یا تناسب با یک هدف خاص.

همچنین ببینید (SEE ALSO)

ppl-config(1)

Paul Feautrier. Parametric Integer Programming. RAIRO Recherche Operationnelle, 22(3):243-268, 1988.

Paul Feautrier, Jean-Francois Collard, and Cedric Bastoul. PIP/PipLib: A Solver for Parametric Integer Programming Problems, 5.0 edition, July 2007. توزیع‌شده همراه با PIP/PipLib 1.4.0.