نام (NAME)

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

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

ppl_lpsol [OPTION]... [FILE]

توضیحات (DESCRIPTION)

یک فایل در قالب MPS را خوانده و با استفاده از الگوریتم‌های بهینه‌سازی ارائه‌شده توسط PPL تلاش می‌کند آن را حل کند.

برای اطلاعات درباره قالب MPS، به GNU Linear Programming Kit: Reference Manual (Version 4.31) مراجعه کنید.

گزینه‌ها (OPTIONS)

-c, --check[=THRESHOLD] نتایج به‌دست‌آمده را با استفاده از GLPK بررسی می‌کند؛: نقاط بهینه با تلرانس THRESHOLD (پیش‌فرض 1e-09) بررسی می‌شوند؛ داده‌های ورودی نیز به همان روشی که GLPK انجام می‌دهد دستخوش اختلال (perturb) می‌شوند
-i, --incremental: مسئله را به‌صورت افزایشی حل می‌کند
-m, --min: تابع هدف را کمینه می‌کند
-M, --max: تابع هدف را بیشینه می‌کند (پیش‌فرض)
-n, --no-optimization: تنها صدق‌پذیری را بررسی می‌کند
-r, --no-mip: متغیرهای عدد صحیح را به عنوان متغیرهای حقیقی در نظر می‌گیرد
-CSECS, --max-cpu=SECS: میزان استفاده از CPU را به SECS ثانیه محدود می‌کند
-RMB, --max-memory=MB: میزان مصرف حافظه را به MB مگابایت محدود می‌کند
-h, --help: این متن راهنما را در خروجی استاندارد چاپ می‌کند
-oPATH, --output=PATH: خروجی را به انتهای PATH اضافه می‌کند
-e, --enumerate: از روش شمارش (بسیار هزینه‌بر!) استفاده می‌کند
-pM, --pricing=M: از روش قیمت‌گذاری M برای سیمپلکس استفاده می‌کند (گزینه -s را مفروض می‌داند)؛ M یک عدد صحیح از 0 تا 2 است، پیش‌فرض 0: 0 --> روش steepest-edge با استفاده از ممیز شناور 1 --> روش steepest-edge با استفاده از محاسبات دقیق 2 --> کتاب درسی (textbook)
-s, --simplex: از روش سیمپلکس استفاده می‌کند
-t, --timings: زمان‌بندی‌ها را در stderr چاپ می‌کند
-v, --verbosity=LEVEL: سطح جزئیات خروجی را تنظیم می‌کند (از 0 تا 4، پیش‌فرض 3): 0 --> ساکت: هیچ خروجی به جز خطاها و

: اعلان‌هایی که صریحاً درخواست شده‌اند ندارد
: 1 --> فقط وضعیت حل‌کننده 2 --> وضعیت + مقدار بهینه 3 --> وضعیت + مقدار بهینه + مکان نقطه بهینه 4 --> خروجی فراوان

-V, --version: اطلاعات نسخه را در خروجی استاندارد چاپ می‌کند

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

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

نکات (NOTES)

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

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

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

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

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

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

ppl-config(1)

Andrew Makhorin. GNU Linear Programming Kit: Reference Manual (Version 4.31).