csdp-theta - מקוון בענן

תָכְנִית:

שֵׁם

csdp - פותר תוכניות למחצה מוגדר

תַקצִיר

csdp <קובץ בעיה>פתרון סופי>פתרון ראשוני>
csdp-complement <קלט גרף>פלט גרף>
csdp-graphtoprob <גרף>קובץ בעיה>
csdp-randgraph <ראנד_graph>פילה>n>p> [זרע>]
csdp-theta <גרף>

תיאור

דף מדריך זה מתעד בקצרה את csdp, csdp-complement, csdp-graphtoprob, csdp-
רנדגרף ו csdp-theta פקודות.

csdp - ממשק לפתרון תוכניות כלליות למחצה מוגדרות
csdp-complement - חשב את ההשלמה של גרף ופלט אותו בפורמט בעיה csdp
csdp-graphtoprob - המר גרף לקובץ בפורמט בעיה של csdp
csdp-randgraph -- צור גרף אקראי
csdp-theta - פותר את בעיית Lovasz thetha

אפשרויות

סיכום האפשרויות כלול להלן. לתיאור מלא, ראה
/usr/share/doc/coinor-csdp-doc/csdpuser.pdf.

csdp
בעיית קלט בפורמט SDPA דל

קובץ בעיה
הוא שם של קובץ המכיל את בעיית SDP בפורמט SDPA דל

פתרון סופי
הוא השם האופציונלי של קובץ שבו יש לשמור את הפתרון הסופי

פתרון ראשוני
הוא השם האופציונלי של קובץ שממנו ניתן לקחת את הפתרון הראשוני.

CSDP מחפש קובץ בשם param.csdp בספרייה הנוכחית. אם אין קובץ כזה
קיים, אז נעשה שימוש בערכי ברירת מחדל עבור כל הפרמטרים של CSDP. אם יש פרמטר
קובץ, ואז CSDP קורא את ערכי הפרמטרים מהקובץ הזה. ערכי ברירת המחדל של הפרמטרים
ניתן להלן (ניתן להדביק בקובץ):

axtol=1.0e-8
atytol=1.0e-8
objtol=1.0e-8
pinftol=1.0e8
dinftol=1.0e8
maxiter=100
minstepfrac=0.90
maxstepfrac=0.97
minstepp=1.0e-8
minstepd=1.0e-8
usexzgap=1
tweakgap=0
affine=0
printlevel=1
perturbobj=1
Fastmode=0

param.csdp פילה פרמטר תיאור

אקסטול atytol objtol סובלנות עבור היתכנות ראשונית, היתכנות כפולה ויחסית
פער דואליות

פינפטול
דינפטול סובלנות המשמשות בקביעת אי-היתכנות ראשונית וכפולה

מקסיטר
להגביל את המספר הכולל של איטרציות בהן CSDP עשוי להשתמש

minstepfrac
maxstepfrac לקבוע כמה קרוב לקצה האזור האפשרי ה-CSDP תצעד.
אם הצעד הראשוני או הכפול קצר מ-minstepp או minstepd, אז CSDP מצהיר
כשל בחיפוש שורה. usexzgap אם פרמטר 0, אז CSDP ישתמש ביעד
פער דואליות פונקציה במקום הפער tr(XZ).

tweakgap
אם מוגדר ל-1, ו-usexzgap מוגדר ל-0, אז CSDP ינסה "לתקן" שלילי
פערי דואליות.

מאפיין אם הפרמטר affine מוגדר ל-1, אזי CSDP ינקוט רק צעדים ראשוניים-דואליים
ולא לעשות שימוש במונח המחסום. זה יכול להיות שימושי עבור כמה בעיות שכן
אין פתרונות אפשריים כי הם אך ורק בחלק הפנימי של החרוט של
מטריצות חצי מוגדרות. רמת הדפסה קובע כמה מידע על ניפוי באגים
תְפוּקָה. השתמש ב-printlevel=0 ללא פלט ו-printlevel=1 עבור פלט רגיל. גבוה יותר
ערכי רמת ההדפסה יפיקו פלט ניפוי נוסף.

perturbobj
קובע אם הפונקציה האובייקטיבית תופרע כדי לעזור להתמודד איתה
בעיות שיש להן מערכי פתרונות אופטימליים בלתי מוגבלים. אם per-turbobj הוא 0, אז ה-
המטרה לא תופרע. אם perturbobj=1, אז פונקציית המטרה תהיה
להיות מוטרד מכמות ברירת המחדל. ערכים גדולים יותר של perturbobj (למשל 100.0) עולים
גודל ההפרעה. זה יכול להיות מועיל בפתרון כמה קשים
בעיות.

מצב מהיר
קובע אם CSDP ידלג על פעולות מסוימות שגוזלות זמן
לשפר מעט את הדיוק של הפתרונות. אם מצב מהיר מוגדר ל-1, אז CSDP
יכול להיות קצת יותר מהיר, אבל גם קצת פחות מדויק.

השתמש ב-csdp-theta באינטרנט באמצעות שירותי onworks.net