עיצוב רשת ואופטימיזציה קישוריות הם אתגרים בסיסיים בתשתיות מודרניות, תקשורת, תחבורה ומערכות שירות. Planners ומהנדסים חייבים להחליט איפה להציב קישורים, כיצד לסלול תנועה, ואשר נכסים לשדרג - כל זאת תוך איזון עלויות, יכולת, אמינות וביקוש. תכנות Integer (IP) מספק מסגרת מתמטית קפדנית לפתרון בעיות משולבות אלה בדיוק, להבטיח כי משאבים בקושי משמשים ביעילות וביעילות כי כמו מגבלות תקציב או פתרונות קישוריות, פתרונות תכנות.

מה זה Integer Programming?

תכנות Integer הוא ענף של אופטימיזציה מתמטית שבו כמה או כל משתנה החלטות מוגבלים לערכים integer. זה ניגודים עם תכנות ליניארי (LP), שבו משתנים יכולים לקחת מספר אמיתי. בעיצוב רשת, החלטות הם דיסקרטיות מטבעו: או קישור נבנה או לא, מתקן נפתח או סגור, מסלול הוא מוקצה או לא.

Minimize (או למקסם) פונקציה אובייקטיבית ליניארית כפופה להגבלות שוויון ליניארי ואי שוויון, עם הדרישה הנוספת כי משתנים מסוימים חייבים להיות integers.

כאשר (FLT:0 ,alligalph:1) משתנים חייב להיות integers, המודל הוא תוכנית טהור integer. in Many Action Network בעיות רשת, רק תת-קבוצה של משתנים צריך להיות integer בעוד אחרים נשארים רציף; זה הוא FLT:2mixed-integer תכנות (MIP)Fal 3, לדוגמה, ברשת תקשורתית, שבו כמות של תכנות היא 3D) {\displaystyle 4.

[ה] כוחה של תכנות integer הוא ביכולתו לייצר מגבלות מורכבות, בעולם האמיתי כי אופטימיזציה רציפה אינה יכולה לייצג.עם זאת, בעיות IP הן בדרך כלל NP-Hard, כלומר זמני פתרון יכולים לגדול באופן אקספוננציאלי עם גודל בעיות.

מודלים של Network Integer Programming Models

כל מודל תכנות integer עבור עיצוב רשת חולק שלושה אבני בניין חיוניות: משתנים החלטות, תפקוד אובייקטיבי ומגבלות.הבנת האופן שבו אלמנטים אלה נועדו הוא קריטי ליישום IP ביעילות.

החלטות משתנות

בבעיות רשת, משתנים החלטות בדרך כלל נופלים לשתי קטגוריות:

  • (ב) [ה]: [ה], [ה], [ה], אם] [ה], [ה], אם], [ה], [ה], [ה]]]], [ה'], [ה'], [ה'], [ה']'[ה']']'[ה']']']']']'[ה'[ה']']']'[ה']']'[ה'[ה']'[ה'[ה']'[ה'[ה'[ה'[ה']']']'[ה']']'[ה'[ה']']']'[ה']']'[ה'[ה'[ה']']'[ה']']']'[ה'[ה']']'[ה']'[ה']']']'[ה']']']'[ה'[ה'[ה'[ה']'[ה']']'[ה'[ה'[ה'[ה'[ה
  • (FLT:0)Flow או קיבולת משתנים 1FLT - משתנים רצופים המייצגים את כמות התנועה, הסחורות או המשאבים העוברים באמצעות קישור או צומת.לעתים קרובות הם כבולים על ידי מגבלות יכולת תלויות בהחלטות בינאריות.

תפקוד אובייקטיבי

המטרה היא ביטוי ליניארי המשקף את המטרה העיקרית של מתכנן הרשת.מטרות נפוצות כוללות:

  • מינימום (FLT:0) או פריסה עלות הפריסה 1 (מתוך עלויות קבועות עבור כל קישור נבחר בתוספת עלויות משתנה עבור זרימה).
  • ממקסימים (ב):0 (ב) ,בכוחו של דבר 1 או סך כל הביקושים.
  • מדרש (ב) , ויקרא י"א, ויקרא י"א, ויקרא י"ד).
  • מינימום (FLT:0 Energyroval הצריכהFLT:1 או טביעת רגל פחמן בעת הפעלת הרשת.

Constraints

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

  • (ב) ,0) מגבלות אובייקטיביות (FLT:1) - ודא כי כל הצמתים (או קבוצה מוגדרת של זוגות ביקוש) מחוברים דרך של קישורים נבחרים.לדוגמה, בנוסחת עץ המשתרעת על פני השטח, כל צומת חייב להיות לפחות קישור אירוע אחד שנבחר, ומספר הכולל של קישורים נבחרים חייב להיות שווה FLT:2NFLT 3:2NIR-3 - 1.
  • (ב) ,0) , ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇
  • (ב) [החוק]:0 [השומר] של קרצ'וף (Kirchhoff's lawture) 1 – בכל צומת ביניים, סכום הזרם הנכנס שווה את סכום זרימת הזרימה היוצאת פלוס (או מינוס) כל דרישה או אספקה בהעדר.
  • (ב) ,0) הגבלות של קיצוץ 1 (FLT) – קיבולת ההשקעה הכוללת או הוצאות התפעוליות.
  • (FLT:0) אחריות או מגבלות עליות (FLT:1) - נדרש שהרשת תישאר מחוברת (או מסוגלת לספק דרישה) לאחר מספר מוגדר של קישורים או כישלונות ללא חתימה.
  • (ב) [17] (ב) , ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇

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

בעיות עיצוב רשת נפוצות Solved עם Integer Programming

תכנות Integer כבר מיושם על מגוון רחב של בעיות עיצוב רשת קלאסיות ומתעוררות. להלן כמה דוגמאות בולטות ביותר.

עץ ספנינג מינימלי (MST) ו בעיות עץ שטיינר

(הופנה מהדף ⁇ :0) ,5mum המשתרע על פני עץ 1 (FLT:1) בעיה מבקשת את מערכת הקישורים הזולה ביותר המחברת את כל הנקודות, בעוד MST ניתן לפתור ביעילות עם אלגוריתמים חמדנים (למשל, קרוסקאל או פריים), הבעיה הופכת ל-NP-Harddes כאשר מוסיפים מגבלות נוספות, כגון מגבלות תואר או סדרי עדיפויות של LT2Stekird;

מיקום הרשת ועיצוב

(הבעיות הרבות בעיצוב רשת כרוכות בקביעת מקום מרכזי מחסנים, מתגים או שרתים.ה-FLT:0) בעיית מיקום מבוזר (UFLP) מחסנים, מתגים או שרתים (ה-FLT) 1 (UFLP) בוחר קבוצה של מתקנים כדי לפתוח ולהקציש כל דרישה למתקן אחד, צמצום עלויות פתיחה קבועות כולל בתוספת עלויות תחבורה.

בעיות ברשת עם החלטות דיסקטר

(הופנה מהדף max-flow and min-cost Flow) בעיות זרימה קבועות של קישורים, עם זאת, עיצובים בעולם האמיתי כוללים החלטות לגבי אילו קישורים לבניית או לשדרג.TheFLT:0;0) בעיות עיצוב רשת מורכבות של רשתות תכנות גלקסיות: 1R) מרחיבות מודלים זרימה על ידי הוספת החלפת קישורים בינאריים משתנה.כל סחורה יש מקור ויעדים; המודל חייב את כל הסחורות תוך כבוד כי זרימת הקישור מותר רק אם הוא בנוי בין היתרה של רשת 2F2.

עיצוב רשתי גמיש

(ה) אמינות רשת היא דאגה ביקורתית, במיוחד בטלקומוניקציה, רשתות חשמל ומערכות תגובה חירום (FLT:0) , עיצוב רשת בלתי ניתן להגדרה מחדש של רשת: 1 (FLT:1) מבטיח כי הרשת יכולה לעמוד בפני כשלים של קישורים או אלגוריתמים.

אופטימיזציה של קישוריות: טכניקות מפורטות

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

  • (ב) ל-[[1924]], [[1924]]]], [[1924]]]]]], [[1924]]]]]], [[1924]]]]]], [[1924]]]]]]]]]], [[1924]]]]]]]], [[1924]]]]]]]]]], [[1924]]]]]]]]]]
  • (ב) ⁇ :0) ,2-החדשה המחוברת ל- 1 (ה) – הרשת נותרה מחוברת לאחר שקישור אחד נכשל.
  • (FLT:0) Node-disjoint RedundancyFLT:1) - זוגות ביקוש קריטי דורשים נתיבי node-disjoint ראשוניים וגיבוי, להבטיח כי כשל צומת לא משפיע בו זמנית על שני הנתיבים.

מודלים לתכנות של קישוריות מסתמכים לעתים קרובות על מגבלות: 0cut-FLT:1 עבור קיצוץ מסוים (חלקת נקודות לשני סטים), מספר הקישורים שנבחרו חציית הקיצוץ חייב להיות לפחות את רמת הקישור הרצויה.

דוגמאות לאופטימיזציה של קישוריות בפועל כוללות תכנון בעיה רשתית:0 (Creveable סיבים טבעת 1) עבור אזור מטרופוליטן (התפת לעתים קרובות כבעיית רשת 2 המחוברת) או תכנון:2backup Power Distribution קווי החלוקה של כוח התפלגות 3 עבור פארקים תעשייתיים.

Algorithms ו- Solutions טכניקות עבור Integer Programming

(הופנה מהדף אינטגרטיבי (הגישה הנפוצה ביותר היא FLT:0branch ו-SEC (B) ראשי תיבות של B&B) בדיוק דורש אלגוריתמים מתוחכמים (בקיצור של פתרונות אינטגרטיביים) על ידי מרגיעה של תוכנית ליניארית (LPרגיעה), ולאחר מכן התכנסות על משתנים זעירים.FLT:2Branchnch ו-FLT3, על ידי הגדלת B&B על ידי מספר דינמי ו-ידי צמצום של מספר קיצוץ (FLT) עם מהירות ו-ידי צמצום (FLT)

(כגון גורובי, CPLEX ו- SCIP) ליישם באופן אוטומטי חבילה של צמצום טרום פתרון, היוריסטים ועיבוד מקבילים.עבור בעיות עיצוב רשת, FLT:0decomposition MethodsFLT:1 הם יעילים במיוחד:

  • (FLT:0)enders decompositionFLT:1 מפריד בין ההחלטות המשותפות הקשות (למשל, קישורים לבניית) מהחלטות זרימה רצופות.הבעיה המאסטר פותרת לבחירת קישורים, בעוד תת-הסובבת מעריכה את האפשרות ואת העלות עבור זרימתם, ומייצרת חתכים חזרה אל המאסטר.
  • (FLT:0) Lagrangian הרפיה FLT:1 מרגיע כמה מגבלות "מתאים" (למשל, מגבלות יכולת) וממסתת אותן לתפקוד האובייקטיבי, ומייצרת בעיה שניתן לפתור במהירות.הפול לגראנגי מספק גבול נמוך יותר, ואופטימיזציה תת- ⁇ ניתן להשתמש כדי למצוא פתרונות קרובים-אופטימיים.
  • (ב) ,0) דור ה-Column GenerationFLT:1 משמש כאשר מספר הדרכים או התצורה האפשריים הוא אסטרונומי; הוא יוצר מבטיחות אלה באופן מעשי.

(במקרים כאלה, אלגוריתמים גדולים מאוד (מאות אלפי צמתים), זמני פתרון עדיין יכולים להיות אוסרים.במקרים כאלה, אלגוריתמים היורדים – כגון בנייה חמדנית, חיפוש מקומי, אלגוריתמים גנטיים, או FLT:0simulated annealingFLT:1 - הם מועסקים כדי למצוא פתרונות טובים, כגון FLT2GRASPIRSTI, לעתים קרובות, פשטות אופטימלית, אך ורקמות (GR) הם לא חוקיים, אך ורק פשטות, אך ורקמות).

יישום אמיתי-עולמי של Integer Programming בעיצוב רשת

תכנות Integer כבר הוצב בהצלחה על פני תעשיות רבות.למטה הם שלושה תחומים נציג עם דוגמאות קונקרטיות.

רשתות תקשורת וסיבים-Optic

מפעילי טלקום משתמשים בקביעות ב- IP כדי לעצב את רשתות ה-Backbone והגישה שלהם.בעיה טיפוסית כוללת חיבור מאות מגדלי תאים לרשת הליבה באמצעות סיבים או קישורים מיקרוגל.המודל חייב לשקול עלויות ישירות של הכביש, יכולת עבור תעבורת 5G, וכיסוי חובה עבור אתרים קריטיים.Integer מטפל בבחירה דיסקרטית של מסלולים וציוד.

תחבורה ולוגיסטיקה

(ברשתות מטען, תכנות אינטגרטיבי המיקום של FLT:0) מרכזי הפצה 1FIRLT ומשימה של לקוחות אליהם.המודל בוחר אילו מתקנים לפתוח (משתנים בינאריים) וכמה משאיות כדי לפרוס על כל נתיב (כולל מגבלות משלוח) אשר קובעות את עלויות ה-MLT (pLT) ו- 2 Airline תכנון רשת 3LT משתמש ב- IP כדי להחליט אילו רגליים לפעול כדי להקצות את סוגי ה-FLT (R) ל-DVT) ל-DVT.

רשתות חשמל ורשתות שימוש

(כלי חשמל חשמליים תלויים בתכנות של אינטגרטור עבור FLT:0) תכנון הרחבה (TEP)ראט 1 (מודלים TEP מחליטים היכן לבנות קווי שידור חדשים (משתנים בינאריים) כדי לענות על הביקוש גדל תוך שמירה על אמינות המערכת (למשל, משאבה מינימלית) עם מגבלות של מים (FLT:2N-1FLT3) אבטחה).

היתרונות והחסרונות של Integer Programming

יתרונות

  • (FLT:0)Optimalityערובות ל- 1FLT: IP מוצא פתרון אופטימלי (או פתרון בתוך פער אופטימליות ידוע), אשר אינו יקר להשקעות בעלות גבוהה.
  • (ב) ,0) ,התאמת מודלים של כפל 1 (ב) – מגבלות בעולם האמיתי כמו תקציבים, יכולות דיסקרטיות, ותנאים לוגיים מובעים באופן טבעי.
  • (FLT:0Sרגישות ניתוח FLT:1) - פלאנרים יכולים לבחון כיצד שינויים בפרמטרים עלות או רמות הביקוש משפיעים על העיצוב האופטימלי.
  • (FLT:0)Scenario AssessmentFLT:1 - מודל IP זהה יכול להיות מנוהל עם נתונים קלט שונים כדי להשוות תרחישים "מה אם" (למשל, עם או ללא טכנולוגיה חדשה).

הגבלות

  • (FLT:0) מורכבות רבת ערך (FLT:1) - בעיות IP גדולות או גרועות יכולות לקחת שעות או ימים כדי לפתור אופטימליות.
  • דרישות ההרחבה:0 (FLT:0) דרישות נתונים, דרישות IP דורשות הערכות בעלות מדויקות, תחזית הביקוש ונתוני קיבולת, אשר עשויים להיות לא בטוחים.
  • (ב) ⁇ :0) ניסוח מורכב של 1:1 - ניסוח גרוע יכול להוביל לזמני פתרון איטיים ביותר. ידע מומחה במודל מתמטי נדרש לעתים קרובות.
  • (FLT:0) חיבור מהתיוייריםFLT:1) במקרים מסוימים, עתידן מעוצב בקפידה יכול להניב פתרונות כמעט-אופטימיים תוך דקות, בעוד ש- IP דוכנים לעתים קרובות כמדד לאמת את היוריסטים.

כיוונים עתידיים

תפקיד תכנות integer בעיצוב רשת מתפתח במהירות בשל ההתקדמות בחומרה, אלגוריתמים ומדע נתונים.FLT:0 Machine Learning (ML)MaLT:1 משולב צינורות אופטימיזציה כדי לחזות נקודות חמות, להנחות כללים, או ביצועים חמים של פרימיטיביים, למשל, "צלילה עצבית" יכולה לנבא משימות חלקית עבור פתרונות משולבים עבור שילוב של 3 כוכבים יקרים, אשר מאפשרים כיום קבוצות של חלבון גבוה:

מגמה נוספת היא:0 (האופטימיזציה החזקה של נתונים) 1 (FLT:0) , שבה פרמטרים לא בטוחים (דרישה, הסתברות כישלונ) משולבים במודל IP באמצעות תרחישים או פוליהדרל אי הוודאות קובע רשתות אשר הופכות מחדש על פני טווח של תנאים עתידיים.FLT:2Decomposition מסגרות של OpenFLT 3 כגון Dantzig-Wolulation מאפשר פתרון עצום של רשתות מסחריות, כגון מהירויות של מיליוני קיבולת של רשתות הפעלה.

לבסוף, ההתכנסות של תכנות ההרחבה (FLT:0) ולוגי / constraint תכנות תכנות תכנות תכנות: 1 מייצרת פותרים היברידיים המטפלים הן מגבלות ליניאריות ומשלבות, פותחים את הדלת למודלים עיצוב רשתיים מציאותיים יותר המשלבים תזמון, תזמון והחלטות מלאי בו זמנית.

מסקנה

תכנות Integer הוא כלי חיוני עבור עיצוב רשת אופטימיזציה קישוריות.על ידי מודלים של החלטות דיסקרטיות עם דיוק מתמטי, IP מאפשר מתכננים לבנות רשתות כי הם עלות יעיל, אמין, והיקף.מעמודים אופטיים ורכזי תחבורה לרשתות חשמל ומערכות מים, ההשפעה של תכנות integer על תשתיות בעולם האמיתי היא עמוקה, בעוד אתגרים חישוביים, להמשיך אלגוריתמים, לפתור את האלגוריתם של תכנות פתוח יותר, כדי לפתוח מערכת הפעלה, או תכנות, כדי לפתוח מערכת הפעלה טובה יותר, כדי לפתוח מערכת הפעלה.