.\" DO NOT MODIFY THIS FILE!  It was generated by help2man 1.40.11.
.TH PPL_LPSOL "1" "February 2016" "ppl_lpsol 1.2" "User Commands"
.SH "نام (NAME)"
ppl_lpsol \- یک حل‌کننده مسئله برنامه‌ریزی عدد صحیح مختلط مبتنی بر PPL
.SH "خلاصه دستور (SYNOPSIS)"
.B ppl_lpsol
[\fIOPTION\fR]... [\fIFILE\fR]
.SH "توضیحات (DESCRIPTION)"
یک فایل در قالب MPS را خوانده و با استفاده از الگوریتم‌های بهینه‌سازی ارائه‌شده توسط PPL تلاش می‌کند آن را حل کند.
.PP
برای اطلاعات درباره قالب MPS، به
.IR "GNU Linear Programming Kit: Reference Manual (Version 4.31)"
مراجعه کنید.
.SH "گزینه‌ها (OPTIONS)"
.TP
\fB\-c\fR, \fB\-\-check\fR[=\fITHRESHOLD\fR] نتایج به‌دست‌آمده را با استفاده از GLPK بررسی می‌کند؛
نقاط بهینه با تلرانس THRESHOLD (پیش‌فرض 1e\-09)
بررسی می‌شوند؛ داده‌های ورودی نیز به همان روشی
که GLPK انجام می‌دهد دستخوش اختلال (perturb) می‌شوند
.TP
\fB\-i\fR, \fB\-\-incremental\fR
مسئله را به‌صورت افزایشی حل می‌کند
.TP
\fB\-m\fR, \fB\-\-min\fR
تابع هدف را کمینه می‌کند
.TP
\fB\-M\fR, \fB\-\-max\fR
تابع هدف را بیشینه می‌کند (پیش‌فرض)
.TP
\fB\-n\fR, \fB\-\-no\-optimization\fR
تنها صدق‌پذیری را بررسی می‌کند
.TP
\fB\-r\fR, \fB\-\-no\-mip\fR
متغیرهای عدد صحیح را به عنوان متغیرهای حقیقی در نظر می‌گیرد
.TP
\fB\-CSECS\fR, \fB\-\-max\-cpu\fR=\fISECS\fR
میزان استفاده از CPU را به SECS ثانیه محدود می‌کند
.TP
\fB\-RMB\fR, \fB\-\-max\-memory\fR=\fIMB\fR
میزان مصرف حافظه را به MB مگابایت محدود می‌کند
.TP
\fB\-h\fR, \fB\-\-help\fR
این متن راهنما را در خروجی استاندارد چاپ می‌کند
.TP
\fB\-oPATH\fR, \fB\-\-output\fR=\fIPATH\fR
خروجی را به انتهای PATH اضافه می‌کند
.TP
\fB\-e\fR, \fB\-\-enumerate\fR
از روش شمارش (بسیار هزینه‌بر!) استفاده می‌کند
.TP
\fB\-pM\fR, \fB\-\-pricing\fR=\fIM\fR
از روش قیمت‌گذاری M برای سیمپلکس استفاده می‌کند (گزینه \fB\-s\fR را مفروض می‌داند)؛
M یک عدد صحیح از 0 تا 2 است، پیش‌فرض 0:
0 \fB\-\-\fR> روش steepest\-edge با استفاده از ممیز شناور
1 \fB\-\-\fR> روش steepest\-edge با استفاده از محاسبات دقیق
2 \fB\-\-\fR> کتاب درسی (textbook)
.TP
\fB\-s\fR, \fB\-\-simplex\fR
از روش سیمپلکس استفاده می‌کند
.TP
\fB\-t\fR, \fB\-\-timings\fR
زمان‌بندی‌ها را در stderr چاپ می‌کند
.TP
\fB\-v\fR, \fB\-\-verbosity\fR=\fILEVEL\fR
سطح جزئیات خروجی را تنظیم می‌کند (از 0 تا 4، پیش‌فرض 3):
0 \fB\-\-\fR> ساکت: هیچ خروجی به جز خطاها و
.IP
اعلان‌هایی که صریحاً درخواست شده‌اند ندارد
.IP
1 \fB\-\-\fR> فقط وضعیت حل‌کننده
2 \fB\-\-\fR> وضعیت + مقدار بهینه
3 \fB\-\-\fR> وضعیت + مقدار بهینه + مکان نقطه بهینه
4 \fB\-\-\fR> خروجی فراوان
.TP
\fB\-V\fR, \fB\-\-version\fR
اطلاعات نسخه را در خروجی استاندارد چاپ می‌کند
.SH "در دسترس بودن (AVAILABILITY)"
جدیدترین نسخه Parma Polyhedra Library و تمام مستندات در
\fBhttp://bugseng.com/products/ppl\fR
در دسترس است.
.SH "نکات (NOTES)"
گزینه‌های \fB\-CSECS\fR (\fB\-\-max\-cpu\fR=\fISECS\fR) و
\fB\-t\fR (\fB\-\-timings\fR) در برخی از پلتفرم‌ها در دسترس نیستند.
.SH "نویسندگان (AUTHORS)"
برای دیدن فهرست مشارکت‌کنندگان، فایل \fBCREDITS\fR را در توزیع کد منبع ببینید یا از دستور
\fBppl\-config \-\-credits\fR استفاده کنید.
.SH "کپی‌رایت و تکثیر (COPYRIGHT)"
Copyright (C) 2001\-2010 Roberto Bagnara <bagnara@cs.unipr.it>
Copyright (C) 2010\-2016 BUGSENG srl (http://bugseng.com)
.br
این یک نرم‌افزار آزاد است؛ برای شرایط تکثیر، فایل \fBCOPYING\fR را در توزیع
کد منبع ببینید یا از دستور \fBppl\-config \-\-copying\fR استفاده
کنید. هیچ ضمانتی وجود ندارد؛ حتی برای قابلیت فروش یا تناسب با یک هدف خاص.
.SH "همچنین ببینید (SEE ALSO)"
.BR ppl-config(1)
.sp
Andrew Makhorin.
.IR "GNU Linear Programming Kit: Reference Manual (Version 4.31)".