This paper considers an optimal radial reconfiguration problem in multi-source distribution networks, where the goal is to find a radial configuration that minimizes quadratic distribution costs while ensuring all sink demands are met. This problem arises in critical infrastructure systems such as power distribution, water networks, and gas distribution, where radial configurations are essential for operational safety and efficiency. Optimal solution for this problem is known to be NP-hard. In this paper, we prove further that constructing a feasible radial distribution configuration is weakly NP-complete, making exact solution methods computationally intractable for large-scale networks. We propose FORWARD (Feasibility Oriented Random-Walk Inspired Algorithm for Radial Reconfiguration in Distribution Networks), a polynomial-time algorithm that leverages graph-theoretic decomposition and random walk principles to construct feasible radial configurations. Our approach introduces novel techniques including strategic graph partitioning at articulation points, dual graph condensation to address greedy shortsightedness, and capacity-aware edge swapping for infeasibility resolution. We provide rigorous theoretical analysis proving feasibility guarantees and establish a compositional framework enabling parallel processing while preserving optimality properties. Comprehensive numerical evaluation on networks ranging from IEEE standard test systems to 400-node small-world networks demonstrates that FORWARD consistently outperforms commercial MINLP solvers, achieving optimal or near-optimal solutions in seconds where traditional methods require hours or fail entirely. The algorithm's polynomial-time complexity and scalability make it particularly suitable for real-time distribution network management and as an effective initialization strategy for iterative optimization solvers.
рдкреЗрдкрд░ ID : 2510.08785рд╢реАрд░реНрд╖рдХ : FORWARD: A Feasible Radial Reconfiguration Algorithm for Multi-Source Distribution Networksрд▓реЗрдЦрдХ : Joan Vendrell Gallart (UC Irvine), Russell Bent (Los Alamos National Laboratory), Solmaz Kia (UC Irvine)рд╡рд░реНрдЧреАрдХрд░рдг : math.OC (рдЕрдиреБрдХреВрд▓рди рдФрд░ рдирд┐рдпрдВрддреНрд░рдг)рдкреНрд░рдХрд╛рд╢рди рд╕рдордп/рд╕рдореНрдореЗрд▓рди : 9 рдЕрдХреНрдЯреВрдмрд░ 2025 рдХреЛ arXiv рдкрд░ рдкреНрд░рд╕реНрддреБрдд, 2025 American Control Conference рдореЗрдВ рдкреНрд░рд╛рд░рдВрднрд┐рдХ рд╕рдВрд╕реНрдХрд░рдг рдкреНрд░рдХрд╛рд╢рд┐рддрдкреЗрдкрд░ рд▓рд┐рдВрдХ : https://arxiv.org/abs/2510.08785v1 рдпрд╣ рдкреЗрдкрд░ рдмрд╣реБ-рд╕реНрд░реЛрдд рд╡рд┐рддрд░рдг рдиреЗрдЯрд╡рд░реНрдХ рдореЗрдВ рдЗрд╖реНрдЯрддрдо рд░реЗрдбрд┐рдпрд▓ рдкреБрдирд░реНрд╡рд┐рдиреНрдпрд╛рд╕ рд╕рдорд╕реНрдпрд╛ рдХрд╛ рдЕрдзреНрдпрдпрди рдХрд░рддрд╛ рд╣реИ, рдЬрд┐рд╕рдХрд╛ рд▓рдХреНрд╖реНрдп рдПрдХ рд░реЗрдбрд┐рдпрд▓ рд╡рд┐рдиреНрдпрд╛рд╕ рдЦреЛрдЬрдирд╛ рд╣реИ рдЬреЛ рд╕рднреА рд╕рд┐рдВрдХ рдмрд┐рдВрджреБ рдХреА рдорд╛рдВрдЧ рдХреЛ рдкреВрд░рд╛ рдХрд░рддреЗ рд╣реБрдП рджреНрд╡рд┐рдШрд╛рдд рд╡рд┐рддрд░рдг рд▓рд╛рдЧрдд рдХреЛ рдХрдо рдХрд░рддрд╛ рд╣реИред рдпрд╣ рд╕рдорд╕реНрдпрд╛ рд╡рд┐рджреНрдпреБрдд рд╡рд┐рддрд░рдг, рдЬрд▓ рдиреЗрдЯрд╡рд░реНрдХ рдФрд░ рдкреНрд░рд╛рдХреГрддрд┐рдХ рдЧреИрд╕ рд╡рд┐рддрд░рдг рдЬреИрд╕реА рдорд╣рддреНрд╡рдкреВрд░реНрдг рдмреБрдирд┐рдпрд╛рджреА рдврд╛рдВрдЪрд╛ рдкреНрд░рдгрд╛рд▓рд┐рдпреЛрдВ рдореЗрдВ рдкреНрд░рдХрдЯ рд╣реЛрддреА рд╣реИ, рдЬрд╣рд╛рдВ рд░реЗрдбрд┐рдпрд▓ рд╡рд┐рдиреНрдпрд╛рд╕ рдкрд░рд┐рдЪрд╛рд▓рди рд╕реБрд░рдХреНрд╖рд╛ рдФрд░ рджрдХреНрд╖рддрд╛ рдХреЗ рд▓рд┐рдП рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╣реИред рд▓реЗрдЦрдХреЛрдВ рдиреЗ рд╕рд╛рдмрд┐рдд рдХрд┐рдпрд╛ рдХрд┐ рд╡реНрдпрд╡рд╣рд╛рд░реНрдп рд░реЗрдбрд┐рдпрд▓ рд╡рд┐рддрд░рдг рд╡рд┐рдиреНрдпрд╛рд╕ рдХрд╛ рдирд┐рд░реНрдорд╛рдг рдХрдордЬреЛрд░ NP-рдкреВрд░реНрдг рд╕рдорд╕реНрдпрд╛ рд╣реИ, рдФрд░ FORWARD рдПрд▓реНрдЧреЛрд░рд┐рджрдо рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд рдХрд┐рдпрд╛ рд╣реИтАФрдПрдХ рдмрд╣реБрдкрдж рд╕рдордп рдПрд▓реНрдЧреЛрд░рд┐рджрдо рдЬреЛ рдЧреНрд░рд╛рдл рд╕рд┐рджреНрдзрд╛рдВрдд рдЕрдкрдШрдЯрди рдФрд░ рдпрд╛рджреГрдЪреНрдЫрд┐рдХ рдЪрд▓рдиреЗ рдХреЗ рд╕рд┐рджреНрдзрд╛рдВрдд рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рд╡реНрдпрд╡рд╣рд╛рд░реНрдп рд░реЗрдбрд┐рдпрд▓ рд╡рд┐рдиреНрдпрд╛рд╕ рдХрд╛ рдирд┐рд░реНрдорд╛рдг рдХрд░рддрд╛ рд╣реИред IEEE рдорд╛рдирдХ рдкрд░реАрдХреНрд╖рдг рдкреНрд░рдгрд╛рд▓рд┐рдпреЛрдВ рд╕реЗ 400-рдиреЛрдб рдЫреЛрдЯреА рджреБрдирд┐рдпрд╛ рдиреЗрдЯрд╡рд░реНрдХ рддрдХ рд╡реНрдпрд╛рдкрдХ рд╕рдВрдЦреНрдпрд╛рддреНрдордХ рдореВрд▓реНрдпрд╛рдВрдХрди рд╕реЗ рдкрддрд╛ рдЪрд▓рддрд╛ рд╣реИ рдХрд┐ FORWARD рд▓рдЧрд╛рддрд╛рд░ рд╡рд╛рдгрд┐рдЬреНрдпрд┐рдХ MINLP рд╕реЙрд▓реНрд╡рд░ рд╕реЗ рдмреЗрд╣рддрд░ рдкреНрд░рджрд░реНрд╢рди рдХрд░рддрд╛ рд╣реИ, рдкрд╛рд░рдВрдкрд░рд┐рдХ рддрд░реАрдХреЛрдВ рдХреЗ рд▓рд┐рдП рдШрдВрдЯреЛрдВ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рдпрд╛ рдкреВрд░реНрдг рд╡рд┐рдлрд▓рддрд╛ рдХреЗ рдорд╛рдорд▓реЛрдВ рдореЗрдВ рдХреБрдЫ рд╕реЗрдХрдВрдб рдореЗрдВ рдЗрд╖реНрдЯрддрдо рдпрд╛ рдирд┐рдХрдЯ-рдЗрд╖реНрдЯрддрдо рд╕рдорд╛рдзрд╛рди рдкреНрд░рд╛рдкреНрдд рдХрд░ рд╕рдХрддрд╛ рд╣реИред
рдЗрд╕ рдкреЗрдкрд░ рджреНрд╡рд╛рд░рд╛ рд╣рд▓ рдХреА рдЬрд╛рдиреЗ рд╡рд╛рд▓реА рдореВрд▓ рд╕рдорд╕реНрдпрд╛ рдмрд╣реБ-рд╕реНрд░реЛрдд рд╡рд┐рддрд░рдг рдиреЗрдЯрд╡рд░реНрдХ рдореЗрдВ рдЗрд╖реНрдЯрддрдо рд░реЗрдбрд┐рдпрд▓ рдкреБрдирд░реНрд╡рд┐рдиреНрдпрд╛рд╕ рд╕рдорд╕реНрдпрд╛ рд╣реИред рд╡рд┐рд╢реЗрд╖ рд░реВрдк рд╕реЗ, рдХрдИ рд╕реНрд░реЛрдд рдиреЛрдбреНрд╕ рдФрд░ рд╕рд┐рдВрдХ рдиреЛрдбреНрд╕ рд╡рд╛рд▓реЗ рдПрдХ рд╡рд┐рддрд░рдг рдиреЗрдЯрд╡рд░реНрдХ рдХреЛ рджреЗрдЦрддреЗ рд╣реБрдП, рдПрдХ рд░реЗрдбрд┐рдпрд▓ рд╡рд┐рдиреНрдпрд╛рд╕ (рдЪрдХреНрд░-рдореБрдХреНрдд рд╡реГрдХреНрд╖ рд╕рдВрд░рдЪрдирд╛) рдЦреЛрдЬрдирд╛ рдЖрд╡рд╢реНрдпрдХ рд╣реИ рдЬреЛ:
рд╕рднреА рд╕рд┐рдВрдХ рдмрд┐рдВрджреБрдУрдВ рдХреА рдорд╛рдВрдЧ рдХреЛ рдкреВрд░рд╛ рдХрд░рддрд╛ рд╣реИ рдиреЗрдЯрд╡рд░реНрдХ рдореЗрдВ рджреНрд╡рд┐рдШрд╛рдд рд╡рд┐рддрд░рдг рд▓рд╛рдЧрдд рдХреЛ рдХрдо рдХрд░рддрд╛ рд╣реИ рдХреНрд╖рдорддрд╛ рдмрд╛рдзрд╛рдУрдВ рдХрд╛ рдкрд╛рд▓рди рдХрд░рддрд╛ рд╣реИ рдпрд╣ рд╕рдорд╕реНрдпрд╛ рдХрдИ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдмреБрдирд┐рдпрд╛рджреА рдврд╛рдВрдЪрд╛ рдХреНрд╖реЗрддреНрд░реЛрдВ рдореЗрдВ рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╣реИ:
рд╡рд┐рджреНрдпреБрдд рдкреНрд░рдгрд╛рд▓реА : рд░реЗрдбрд┐рдпрд▓ рд╡рд┐рдиреНрдпрд╛рд╕ рдкреНрд░рдгрд╛рд▓реА рд╕реНрдерд┐рд░рддрд╛ рдФрд░ рд╕реБрд░рдХреНрд╖рд┐рдд рд╕рдВрдЪрд╛рд▓рди рд╕реБрдирд┐рд╢реНрдЪрд┐рдд рдХрд░рддрд╛ рд╣реИ, рд╕рд╛рде рд╣реА рд╡рд┐рджреНрдпреБрдд рд╣рд╛рдирд┐ рдХреЛ рдХрдо рдХрд░рддрд╛ рд╣реИрдЬрд▓ рдиреЗрдЯрд╡рд░реНрдХ : рдЬрд▓ рдЖрдкреВрд░реНрддрд┐ рд╕реБрд░рдХреНрд╖рд╛ рдФрд░ рджрдХреНрд╖рддрд╛ рд╕реБрдирд┐рд╢реНрдЪрд┐рдд рдХрд░рддрд╛ рд╣реИрдкреНрд░рд╛рдХреГрддрд┐рдХ рдЧреИрд╕ рд╡рд┐рддрд░рдг : рд╕реБрд░рдХреНрд╖рд┐рдд рдкрд░рд┐рд╡рд╣рди рдФрд░ рд▓рд╛рдЧрдд рдирд┐рдпрдВрддреНрд░рдг рд╕реБрдирд┐рд╢реНрдЪрд┐рдд рдХрд░рддрд╛ рд╣реИрдкрд╛рд░рдВрдкрд░рд┐рдХ рддрд░реАрдХреЛрдВ рдореЗрдВ рдореБрдЦреНрдп рд░реВрдк рд╕реЗ рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рд╕рдорд╕реНрдпрд╛рдПрдВ рд╣реИрдВ:
рдЙрдЪреНрдЪ рдХрдореНрдкреНрдпреВрдЯреЗрд╢рдирд▓ рдЬрдЯрд┐рд▓рддрд╛ : MINLP рд╡рд┐рдзрд┐ рдмрдбрд╝реЗ рдкреИрдорд╛рдиреЗ рдХреЗ рдиреЗрдЯрд╡рд░реНрдХ рдкрд░ рдХрдореНрдкреНрдпреВрдЯреЗрд╢рди рд╕рдордп рдореЗрдВ рдШрд╛рддреАрдп рд╡реГрджреНрдзрд┐ рджрд┐рдЦрд╛рддреА рд╣реИрдЦрд░рд╛рдм рд╕реНрдХреЗрд▓реЗрдмрд┐рд▓рд┐рдЯреА : рд╡рд╛рдгрд┐рдЬреНрдпрд┐рдХ рд╕реЙрд▓реНрд╡рд░ 400+ рдиреЛрдб рдиреЗрдЯрд╡рд░реНрдХ рдХреЛ рд╕рдВрднрд╛рд▓рддреЗ рд╕рдордп рдЕрдХреНрд╕рд░ рд╡рд┐рдлрд▓ рд╣реЛрддреЗ рд╣реИрдВрдЕрдкрд░реНрдпрд╛рдкреНрдд рд╡рд╛рд╕реНрддрд╡рд┐рдХ рд╕рдордп : рд╡рд╛рд╕реНрддрд╡рд┐рдХ рд╕рдордп рдиреЗрдЯрд╡рд░реНрдХ рдкреНрд░рдмрдВрдзрди рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛рдУрдВ рдХреЛ рдкреВрд░рд╛ рдирд╣реАрдВ рдХрд░ рд╕рдХрддреЗрдкреНрд░рд╛рд░рдВрднрд┐рдХреАрдХрд░рдг рдХрдард┐рдирд╛рдИ : рдЕрдиреБрдорд╛рдиреА рд╡рд┐рдзрд┐рдпрд╛рдВ рд╡реНрдпрд╡рд╣рд╛рд░реНрдп рдбреЛрдореЗрди рдореЗрдВ рдкреНрд░рд╛рд░рдВрднрд┐рдХ рдмрд┐рдВрджреБ рдЦреЛрдЬрдиреЗ рдореЗрдВ рдХрдард┐рдирд╛рдИ рдХрд╛ рд╕рд╛рдордирд╛ рдХрд░рддреА рд╣реИрдВрд▓реЗрдЦрдХреЛрдВ рдХреА рдЕрдиреБрд╕рдВрдзрд╛рди рдкреНрд░реЗрд░рдгрд╛ рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рд╕реЗ рдЙрддреНрдкрдиреНрди рд╣реЛрддреА рд╣реИ:
рд╡реНрдпрд╡рд╣рд╛рд░реНрдп рд╕рдорд╛рдзрд╛рди рдирд┐рд░реНрдорд╛рдг рд╕рдорд╕реНрдпрд╛ рдХреА рдХрдореНрдкреНрдпреВрдЯреЗрд╢рдирд▓ рдЬрдЯрд┐рд▓рддрд╛ (рдХрдордЬреЛрд░ NP-рдкреВрд░реНрдг) рдХреЛ рд╕рд╛рдмрд┐рдд рдХрд░рдирд╛ рдмрд╣реБрдкрдж рд╕рдордп рдореЗрдВ рд╡реНрдпрд╡рд╣рд╛рд░реНрдп рд╕рдорд╛рдзрд╛рди рдЦреЛрдЬрдиреЗ рдореЗрдВ рд╕рдХреНрд╖рдо рдПрд▓реНрдЧреЛрд░рд┐рджрдо рд╡рд┐рдХрд╕рд┐рдд рдХрд░рдирд╛ рд╡рд╛рд╕реНрддрд╡рд┐рдХ рд╕рдордп рдиреЗрдЯрд╡рд░реНрдХ рдкреНрд░рдмрдВрдзрди рдХреЗ рд▓рд┐рдП рдЙрдкрдпреБрдХреНрдд рдЙрдЪреНрдЪ-рджрдХреНрд╖рддрд╛ рд╕рдорд╛рдзрд╛рди рдкреНрд░рджрд╛рди рдХрд░рдирд╛ рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдпреЛрдЧрджрд╛рди : рдкрд╣рд▓реА рдмрд╛рд░ рд╕рд╛рдмрд┐рдд рдХрд┐рдпрд╛ рдХрд┐ рдмрд╣реБ-рд╕реНрд░реЛрдд рд╡рд┐рддрд░рдг рдиреЗрдЯрд╡рд░реНрдХ рдореЗрдВ рд╡реНрдпрд╡рд╣рд╛рд░реНрдп рд░реЗрдбрд┐рдпрд▓ рд╡рд┐рдиреНрдпрд╛рд╕ рдХрд╛ рдирд┐рд░реНрдорд╛рдг рдХрдордЬреЛрд░ NP-рдкреВрд░реНрдг рд╕рдорд╕реНрдпрд╛ рд╣реИ, рдЬреЛ рдЗрд╕ рд╕рдорд╕реНрдпрд╛ рдХреА рдХрдореНрдкреНрдпреВрдЯреЗрд╢рдирд▓ рдХрдард┐рдирд╛рдИ рдХреЗ рд▓рд┐рдП рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдЖрдзрд╛рд░ рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИрдПрд▓реНрдЧреЛрд░рд┐рджрдо рдирд╡рд╛рдЪрд╛рд░ : FORWARD рдПрд▓реНрдЧреЛрд░рд┐рджрдо рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ, рдЬрд┐рд╕рдореЗрдВ O(n┬▓log n) рдХреА рдмрд╣реБрдкрдж рд╕рдордп рдЬрдЯрд┐рд▓рддрд╛ рд╣реИ, рдЬрд┐рд╕рдореЗрдВ рдкрд╛рдВрдЪ рдореВрд▓ рдШрдЯрдХ рд╣реИрдВ:Pre-Processor: рдиреЗрдЯрд╡рд░реНрдХ рд╕рдВрд░рдЪрдирд╛ рдХреЛ рд╕рд░рд▓ рдмрдирд╛рддрд╛ рд╣реИ Islander: рдЧреНрд░рд╛рдл рдЕрдкрдШрдЯрди рдФрд░ рд╕рдорд╛рдирд╛рдВрддрд░ рдкреНрд░рд╕рдВрд╕реНрдХрд░рдг Net-Concad: рджреЛрд╣рд░реЗ рдЧреНрд░рд╛рдл рд╕рдВрдШрдирди рддрдХрдиреАрдХ Sampler: рднрд╛рд░-рдЖрдзрд╛рд░рд┐рдд рдХрд┐рдирд╛рд░реЗ рдирдореВрдирд╛рдХрд░рдг Rewire: рдХреНрд╖рдорддрд╛-рдЬрд╛рдЧрд░реВрдХ рдХрд┐рдирд╛рд░реЗ рд╡рд┐рдирд┐рдордп рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдврд╛рдВрдЪрд╛ : рд╕рдВрдпреЛрдЬреА рд╡реНрдпрд╡рд╣рд╛рд░реНрдпрддрд╛ рдкреНрд░рдореЗрдп (Theorem 5) рдФрд░ рдЗрд╖реНрдЯрддрдорддрд╛-рд╕рдВрд░рдХреНрд╖рдг рдЙрдкрдлрд▓ (Corollary 6) рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдП, рдЬреЛ рдЧреНрд░рд╛рдл рдЕрдкрдШрдЯрди рд╡рд┐рдзрд┐ рдХреА рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рд╢реБрджреНрдзрддрд╛ рдХреЛ рд╕рд╛рдмрд┐рдд рдХрд░рддреЗ рд╣реИрдВрдкреНрд░рджрд░реНрд╢рди рд╕рдлрд▓рддрд╛ : рдмрдбрд╝реЗ рдкреИрдорд╛рдиреЗ рдХреЗ рдиреЗрдЯрд╡рд░реНрдХ рдкрд░реАрдХреНрд╖рдг рдореЗрдВ рд╡рд╛рдгрд┐рдЬреНрдпрд┐рдХ MINLP рд╕реЙрд▓реНрд╡рд░ рд╕реЗ рдХрд╛рдлреА рдмреЗрд╣рддрд░, рдкрд╛рд░рдВрдкрд░рд┐рдХ рддрд░реАрдХреЛрдВ рдХреЗ рд╡рд┐рдлрд▓ рд╣реЛрдиреЗ рдпрд╛ рдШрдВрдЯреЛрдВ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рдХреЗ рдорд╛рдорд▓реЛрдВ рдореЗрдВ, 400-рдиреЛрдб рдиреЗрдЯрд╡рд░реНрдХ рдХреЛ рдХреБрдЫ рд╕реЗрдХрдВрдб рдореЗрдВ рдкреВрд░рд╛ рдХрд░ рд╕рдХрддрд╛ рд╣реИрд╡рд┐рддрд░рдг рдиреЗрдЯрд╡рд░реНрдХ GD = G(VD, ED) рдХреЛ рджреЗрдЦрддреЗ рд╣реБрдП, рдЬрд╣рд╛рдВ:
рдЗрдирдкреБрдЯ : N рдиреЛрдбреНрд╕, m рдХрд┐рдирд╛рд░реЗ, ng рд╕реНрд░реЛрдд рдиреЛрдбреНрд╕ рдХрд╛ рд╕реЗрдЯ Vg, nc рд╕рд┐рдВрдХ рдиреЛрдбреНрд╕ рдХрд╛ рд╕реЗрдЯ Vcрдмрд╛рдзрд╛рдПрдВ : рдЗрдирдкреБрдЯ рд╡реЗрдХреНрдЯрд░ g, рдЖрдЙрдЯрдкреБрдЯ рд╡реЗрдХреНрдЯрд░ d, рдХреНрд╖рдорддрд╛ рдмрд╛рдзрд╛ x╠Д, тИСgi = тИСdi рдХреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░рддрд╛ рд╣реИрдЖрдЙрдЯрдкреБрдЯ : рд░реЗрдбрд┐рдпрд▓ рд╡рд┐рдиреНрдпрд╛рд╕ S рдФрд░ рдкреНрд░рд╡рд╛рд╣ рд╡рд┐рддрд░рдг x, рдЙрджреНрджреЗрд╢реНрдп рдлрд╝рдВрдХреНрд╢рди рдХреЛ рдХрдо рдХрд░рддрд╛ рд╣реИ:min тБб тИС ( i , j ) тИИ S C i , j тЛЕ x i , j 2 \min \sum_{(i,j) \in S} C_{i,j} \cdot x_{i,j}^2 min тИС ( i , j ) тИИ S тАЛ C i , j тАЛ тЛЕ x i , j 2 тАЛ
рдмрд╛рдзрд╛рдУрдВ рдХреЗ рдЕрдзреАрди:
G(VD,S) тИИ F (рд░реЗрдбрд┐рдпрд▓ рд╡рд┐рдиреНрдпрд╛рд╕ рдмрд╛рдзрд╛) 0 тЙд x(S) тЙд x╠Д(S) (рдХреНрд╖рдорддрд╛ рдмрд╛рдзрд╛) A(S)x(S) = g - d (рдкреНрд░рд╡рд╛рд╣ рд╕рдВрд░рдХреНрд╖рдг рдмрд╛рдзрд╛) рдХрд╛рд░реНрдп: рдиреЗрдЯрд╡рд░реНрдХ рдореЗрдВ рд▓рдЯрдХрддреЗ рдиреЛрдбреНрд╕ рдХреА рдкрд╣рдЪрд╛рди рдФрд░ рдкреНрд░рд╕рдВрд╕реНрдХрд░рдг
рдПрд▓реНрдЧреЛрд░рд┐рджрдо: рдбрд┐рдЧреНрд░реА 1 рдХреЗ рдиреЛрдбреНрд╕ рдХреЛ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ рд╕реЗ рд╕рдВрд╕рд╛рдзрд┐рдд рдХрд░рддрд╛ рд╣реИ,
рдЙрдирдХреА рдорд╛рдВрдЧ/рдЖрдкреВрд░реНрддрд┐ рдХреЛ рдкреИрд░реЗрдВрдЯ рдиреЛрдб рдХреЛ рд╕реНрдерд╛рдирд╛рдВрддрд░рд┐рдд рдХрд░рддрд╛ рд╣реИ
рдЬрдЯрд┐рд▓рддрд╛: O(n + m)
рдЖрдЙрдЯрдкреБрдЯ: 2-core рд╕рдмрдЧреНрд░рд╛рдл GP рдФрд░ рдирдореВрдирд╛ рдХрд┐рдП рдЧрдП рдХрд┐рдирд╛рд░реЛрдВ рдХрд╛ рд╕реЗрдЯ S
рдХрд╛рд░реНрдп: рдЬреЛрдбрд╝ рдмрд┐рдВрджреБрдУрдВ рдкрд░ 2-core рд╕рдмрдЧреНрд░рд╛рдл рдХреЛ рдЕрдкрдШрдЯрд┐рдд рдХрд░рддрд╛ рд╣реИ
рд░рдгрдиреАрддрд┐: рдХреЗрд╡рд▓ рд╕реНрд░реЛрдд рдЬреЛрдбрд╝ рдмрд┐рдВрджреБрдУрдВ рдкрд░ рд╡рд┐рднрд╛рдЬрди, рдХрдореНрдкреНрдпреВрдЯреЗрд╢рдирд▓ рдЬрдЯрд┐рд▓рддрд╛ рдХреЛ рдХрдо рдХрд░рддрд╛ рд╣реИ
рд╕рдВрддреБрд▓рди: рд╡рд┐рднрд╛рдЬрди рдиреЛрдбреНрд╕ рдХреЗ рдиреЛрдб рдорд╛рди рдХреЛ рд╕рдорд╛рдпреЛрдЬрд┐рдд рдХрд░рдХреЗ
рдкреНрд░рддреНрдпреЗрдХ рд╕рдмрдЧреНрд░рд╛рдл рдЗрдирдкреБрдЯ-рдЖрдЙрдЯрдкреБрдЯ рд╕рдВрддреБрд▓рди рд╕реБрдирд┐рд╢реНрдЪрд┐рдд рдХрд░рддрд╛ рд╣реИ
рдЖрдЙрдЯрдкреБрдЯ: L рд╕рдВрддреБрд▓рд┐рдд рд╕рдмрдЧреНрд░рд╛рдл {G1, G2, ..., GL}
рдХрд╛рд░реНрдп: рджреЛрд╣рд░реЗ рдЧреНрд░рд╛рдл рд╕рдВрдШрдирди, рд▓рд╛рд▓рдЪреА рдПрд▓реНрдЧреЛрд░рд┐рджрдо рдХреА рдЕрджреВрд░рджрд░реНрд╢рд┐рддрд╛ рд╕рдорд╕реНрдпрд╛ рдХреЛ рд╣рд▓ рдХрд░рддрд╛ рд╣реИ
рд╡рд┐рдзрд┐:
- рдирдореВрдирд╛ рдХрд┐рдП рдЧрдП рдмрд╣реБ-рд╡реГрдХреНрд╖реЛрдВ рдХреЛ рд╕реБрдкрд░ "рдирдореВрдирд╛ рдХрд┐рдП рдЧрдП" рдиреЛрдб рдореЗрдВ рдорд░реНрдЬ рдХрд░рддрд╛ рд╣реИ
- рдЕрдирдореВрдирд╛ рдХрд┐рдП рдЧрдП рдЬреБрдбрд╝реЗ рдШрдЯрдХреЛрдВ рдХреЛ рд╕реБрдкрд░ "рдЕрдирдореВрдирд╛ рдХрд┐рдП рдЧрдП" рдиреЛрдб рдореЗрдВ рдорд░реНрдЬ рдХрд░рддрд╛ рд╣реИ
- рдЕрд░реНрдз-рджреНрд╡рд┐рдкрдХреНрд╖реАрдп рдЧреНрд░рд╛рдл рд╕рдВрд░рдЪрдирд╛ с╕атДУ рдХрд╛ рдирд┐рд░реНрдорд╛рдг рдХрд░рддрд╛ рд╣реИ
рдХрд╛рд░реНрдп: рдирдореВрдирд╛рдХрд░рдг рдХреЗ рд▓рд┐рдП рдЗрд╖реНрдЯрддрдо рдХрд┐рдирд╛рд░реЛрдВ рдХреЛ рднрд╛рд░-рдЖрдзрд╛рд░рд┐рдд рдЪрдпрди рдХрд░рддрд╛ рд╣реИ
рднрд╛рд░ рдлрд╝рдВрдХреНрд╢рди: wi,j = pi/(Ri,j ┬╖ d┬▓j + f╠В(Ri_k))
рдкреНрд░рд╛рдердорд┐рдХрддрд╛:
1. рд▓рдЯрдХрддреЗ рд╕реБрдкрд░ рдЕрдирдореВрдирд╛ рдХрд┐рдП рдЧрдП рдиреЛрдбреНрд╕
2. рдкрд░реНрдпрд╛рдкреНрдд рдХреНрд╖рдорддрд╛ рд╡рд╛рд▓реЗ рдХрд┐рдирд╛рд░реЗ
3. рднрд╛рд░ рдЕрд╡рд░реЛрд╣реА рдХреНрд░рдо рдореЗрдВ
рдХрд╛рд░реНрдп: рдХрд┐рдирд╛рд░реЗ рд╡рд┐рдирд┐рдордп рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдХреНрд╖рдорддрд╛ рдмрд╛рдзрд╛ рд╕реЗ рдЙрддреНрдкрдиреНрди рдЕрд╡реНрдпрд╡рд╣рд╛рд░реНрдпрддрд╛ рдХреЛ рд╣рд▓ рдХрд░рддрд╛ рд╣реИ
рд░рдгрдиреАрддрд┐:
- рдЕрдкреВрд░реНрдг рдЖрдкреВрд░реНрддрд┐ рдиреЛрдбреНрд╕ рдФрд░ рдЕрддрд┐рд░рд┐рдХреНрдд рдЖрдкреВрд░реНрддрд┐ рдкрдереЛрдВ рдХреА рдкрд╣рдЪрд╛рди рдХрд░рддрд╛ рд╣реИ
- рд░рдгрдиреАрддрд┐рдХ рдХрд┐рдирд╛рд░реЗ рд╡рд┐рдирд┐рдордп рдирд┐рд╖реНрдкрд╛рджрд┐рдд рдХрд░рддрд╛ рд╣реИ
- рд░реЗрдбрд┐рдпрд▓ рд╕рдВрд░рдЪрдирд╛ рдХреЛ рдмрдирд╛рдП рд░рдЦрддрд╛ рд╣реИ
рдирд╡рд╛рдЪрд╛рд░ : рд╕рдВрдпреЛрдЬреА рд╡реНрдпрд╡рд╣рд╛рд░реНрдпрддрд╛ рдкреНрд░рдореЗрдп рдХреЛ рд╕рд╛рдмрд┐рдд рдХрд┐рдпрд╛, рдореВрд▓ рд╕рдорд╕реНрдпрд╛ рдФрд░ рдЕрдкрдШрдЯрд┐рдд рд╕рдмрдкреНрд░реЙрдмреНрд▓рдореНрд╕ рдХреЗ рдмреАрдЪ рд╕рдорддреБрд▓реНрдпрддрд╛ рд╕реНрдерд╛рдкрд┐рдд рдХреА
рд▓рд╛рдн : рд╕рдорд╛рдирд╛рдВрддрд░ рдкреНрд░рд╕рдВрд╕реНрдХрд░рдг рдХрд╛ рд╕рдорд░реНрдерди рдХрд░рддрд╛ рд╣реИ, рд╕рд╛рде рд╣реА рдЗрд╖реНрдЯрддрдорддрд╛ рдХреЛ рдмрдирд╛рдП рд░рдЦрддрд╛ рд╣реИ
рдирд╡рд╛рдЪрд╛рд░ : Net-Concad рдлрд╝рдВрдХреНрд╢рди рдЕрд░реНрдз-рджреНрд╡рд┐рдкрдХреНрд╖реАрдп рдЧреНрд░рд╛рдл рд╕рдВрд░рдЪрдирд╛ рдХреЗ рдирд┐рд░реНрдорд╛рдг рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рд▓рд╛рд▓рдЪреА рдЪрдпрди рдХреА рдЕрджреВрд░рджрд░реНрд╢рд┐рддрд╛ рдХреЛ рджреВрд░ рдХрд░рддрд╛ рд╣реИ
рддрдВрддреНрд░ : рдЬрдЯрд┐рд▓ рдмрд╣реБ-рд╕реНрд░реЛрдд рдмрд╣реБ-рд╕рд┐рдВрдХ рд╕рдорд╕реНрдпрд╛ рдХреЛ рд╕реБрдкрд░ рдиреЛрдбреНрд╕ рдХреЗ рдмреАрдЪ рд╕рд░рд▓ рдХрдиреЗрдХреНрд╢рди рд╕рдорд╕реНрдпрд╛ рдореЗрдВ рдкрд░рд┐рд╡рд░реНрддрд┐рдд рдХрд░рддрд╛ рд╣реИ
рдирд╡рд╛рдЪрд╛рд░ : Rewire рдлрд╝рдВрдХреНрд╢рди рд░рдгрдиреАрддрд┐рдХ рдХрд┐рдирд╛рд░реЗ рд╡рд┐рдирд┐рдордп рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдХреНрд╖рдорддрд╛ рдмрд╛рдзрд╛рдУрдВ рдХреЛ рд╣рд▓ рдХрд░рддрд╛ рд╣реИ
рд╕рд┐рджреНрдзрд╛рдВрдд : рдЕрддрд┐рд░рд┐рдХреНрдд рдЖрдкреВрд░реНрддрд┐ рдХреНрд╖реЗрддреНрд░реЛрдВ рд╕реЗ рдкреНрд░рд╡рд╛рд╣ рдХреЛ рдЕрдкреВрд░реНрдг рдЖрдкреВрд░реНрддрд┐ рдиреЛрдбреНрд╕ рдореЗрдВ рдкреБрдирдГ рд╡рд┐рддрд░рд┐рдд рдХрд░рддрд╛ рд╣реИ, рдЕрддрд┐рд░рд┐рдХреНрдд рдЙрддреНрдкрд╛рджрди рд╕рдВрд╕рд╛рдзрдиреЛрдВ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рдХреЗ рдмрд┐рдирд╛
IEEE рдорд╛рдирдХ рдкрд░реАрдХреНрд╖рдг рдкреНрд░рдгрд╛рд▓реА :
IEEE 13 (2 рд╕реНрд░реЛрдд рдиреЛрдбреНрд╕) IEEE 18 (2 рд╕реНрд░реЛрдд рдиреЛрдбреНрд╕) IEEE 33 (3 рд╕реНрд░реЛрдд рдиреЛрдбреНрд╕) рдЫреЛрдЯреА рджреБрдирд┐рдпрд╛ рдиреЗрдЯрд╡рд░реНрдХ :
WS 120 (10 рд╕реНрд░реЛрдд рдиреЛрдбреНрд╕) WS 240 (10 рд╕реНрд░реЛрдд рдиреЛрдбреНрд╕) WS 400 (20 рд╕реНрд░реЛрдд рдиреЛрдбреНрд╕) рд╡рд┐рджреНрдпреБрдд рд╣рд╛рдирд┐ : рдХрд┐рд▓реЛрд╡рд╛рдЯ (kW) рдореЗрдВрдХрдореНрдкреНрдпреВрдЯреЗрд╢рди рд╕рдордп : CPU рдирд┐рд╖реНрдкрд╛рджрди рд╕рдордп (рд╕реЗрдХрдВрдб)рд╡реНрдпрд╡рд╣рд╛рд░реНрдпрддрд╛ : рдХреНрдпрд╛ рд╡реНрдпрд╡рд╣рд╛рд░реНрдп рд╕рдорд╛рдзрд╛рди рдорд┐рд▓рд╛Knitro : Artelys рдХрдВрдкрдиреА рдХрд╛ рд╡рд╛рдгрд┐рдЬреНрдпрд┐рдХ MINLP рд╕реЙрд▓реНрд╡рд░рдкрд╛рд░рдВрдкрд░рд┐рдХ MINLP рд╡рд┐рдзрд┐ : рд╢рд╛рдЦрд╛ рдФрд░ рдмрд╛рдЙрдВрдб рдЬреИрд╕реА рд╕рдЯреАрдХ рдПрд▓реНрдЧреЛрд░рд┐рджрдордкреНрд▓реЗрдЯрдлреЙрд░реНрдо : MacBook Air M3 рдЪрд┐рдк, 24GB RAMрдкреНрд░реЛрдЧреНрд░рд╛рдорд┐рдВрдЧ рднрд╛рд╖рд╛ : Juliaрдврд╛рдВрдЪрд╛ : PowerDistributionModel (PMD)рд╕рдордп рд╕реАрдорд╛ : 3 рдШрдВрдЯреЗ рдХрд╛ рдЯрд╛рдЗрдордЖрдЙрдЯ рд╕реЗрдЯрд┐рдВрдЧрдиреЗрдЯрд╡рд░реНрдХ Knitro рд╡рд┐рджреНрдпреБрдд рд╣рд╛рдирд┐(kW) Knitro рд╕рдордп(s) FORWARD рд╡рд┐рджреНрдпреБрдд рд╣рд╛рдирд┐(kW) FORWARD рд╕рдордп(s) IEEE 13 360.183 4.189 360.183 0.033 IEEE 18 175.821 123.416 175.821 0.229 IEEE 33 318.568 3,345.67* 919.783 0.066 WS 120 TL TL 1,428.72 0.361 WS 240 TL TL 4,393.17 1.016 WS 400 TL TL 28,345.7 3.090
*рдореИрдиреБрдЕрд▓ рд╕рдорд╛рдкреНрддрд┐ рдХреЛ рджрд░реНрд╢рд╛рддрд╛ рд╣реИ, TL рдЯрд╛рдЗрдордЖрдЙрдЯ рдмрд┐рдирд╛ рд╕рдорд╛рдзрд╛рди рдХреЛ рджрд░реНрд╢рд╛рддрд╛ рд╣реИ
рдЫреЛрдЯреЗ рдкреИрдорд╛рдиреЗ рдХреЗ рдиреЗрдЯрд╡рд░реНрдХ : FORWARD, Knitro рд╕реЗ 100-500 рдЧреБрдирд╛ рддреЗрдЬрд╝рдмрдбрд╝реЗ рдкреИрдорд╛рдиреЗ рдХреЗ рдиреЗрдЯрд╡рд░реНрдХ : Knitro рдкреВрд░реА рддрд░рд╣ рд╡рд┐рдлрд▓, FORWARD 400-рдиреЛрдб рдиреЗрдЯрд╡рд░реНрдХ рдХреЛ 3 рд╕реЗрдХрдВрдб рдореЗрдВ рдкреВрд░рд╛ рдХрд░рддрд╛ рд╣реИрдЗрд╖реНрдЯрддрдорддрд╛ : IEEE 13 рдФрд░ 18 рдкрд░ рдЗрд╖реНрдЯрддрдо рд╕рдорд╛рдзрд╛рди рдкреНрд░рд╛рдкреНрдд рдХрд░рддрд╛ рд╣реИрд╕рдиреНрдирд┐рдХрдЯрди : рдмрдбрд╝реЗ рдкреИрдорд╛рдиреЗ рдХреЗ рдиреЗрдЯрд╡рд░реНрдХ рдкрд░ рдЙрдЪрд┐рдд рд╕рдиреНрдирд┐рдХрдЯрди рд╕рдорд╛рдзрд╛рди рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИрд░реИрдЦрд┐рдХ рд╡реГрджреНрдзрд┐ : рдХрдореНрдкреНрдпреВрдЯреЗрд╢рди рд╕рдордп рдиреЗрдЯрд╡рд░реНрдХ рдЖрдХрд╛рд░ рдХреЗ рд╕рд╛рде рд▓рдЧрднрдЧ рд░реИрдЦрд┐рдХ рд░реВрдк рд╕реЗ рдмрдврд╝рддрд╛ рд╣реИрдореЗрдореЛрд░реА рджрдХреНрд╖рддрд╛ : рдмрд╣реБрдкрдж рд╕реНрдкреЗрд╕ рдЬрдЯрд┐рд▓рддрд╛рдкрд╛рд░рдВрдкрд░рд┐рдХ рддрд░реАрдХреЛрдВ рдХреА рд╕реАрдорд╛рдПрдВ : рд╡рд╛рдгрд┐рдЬреНрдпрд┐рдХ рд╕реЙрд▓реНрд╡рд░ рдХреЗ рдЕрдиреБрдорд╛рдиреА рдкреНрд░рд╛рд░рдВрднрд┐рдХреАрдХрд░рдг рдмрдбрд╝реЗ рдкреИрдорд╛рдиреЗ рдХреЗ рдиреЗрдЯрд╡рд░реНрдХ рдкрд░ рдЕрдХреНрд╕рд░ рд╡рд┐рдлрд▓ рд╣реЛрддреЗ рд╣реИрдВрднреМрддрд┐рдХреА-рдЬрд╛рдЧрд░реВрдХ рднрд╛рд░ рдХреА рдкреНрд░рднрд╛рд╡рд╢реАрд▓рддрд╛ : рд╡рд┐рджреНрдпреБрдд рд╡рд┐рд╢реЗрд╖рддрд╛рдУрдВ рдкрд░ рдЖрдзрд╛рд░рд┐рдд рднрд╛рд░ рдлрд╝рдВрдХреНрд╢рди (рд╕реВрддреНрд░ 2) рд╕рдорд╛рдзрд╛рди рдЧреБрдгрд╡рддреНрддрд╛ рдореЗрдВ рдХрд╛рдлреА рд╕реБрдзрд╛рд░ рдХрд░рддрд╛ рд╣реИрд╕рдорд╛рдирд╛рдВрддрд░ рдкреНрд░рд╕рдВрд╕реНрдХрд░рдг рд▓рд╛рдн : рдЧреНрд░рд╛рдл рдЕрдкрдШрдЯрди рд░рдгрдиреАрддрд┐ рдкреНрд░рднрд╛рд╡реА рд╕рдорд╛рдирд╛рдВрддрд░ рдХрдореНрдкреНрдпреВрдЯрд┐рдВрдЧ рдХреЛ рд╕рдХреНрд╖рдо рдХрд░рддреА рд╣реИрдкреНрд░рддрд┐рдирд┐рдзрд┐ рдХрд╛рд░реНрдп : [19]29 рд╕реНрдерд╛рдиреАрдп рд▓рд╛рд▓рдЪреА рдЦреЛрдЬ рдХреЗ рдмрд╛рдж рд╡рд░реНрдгрдХреНрд░рдореАрдп рдХреНрд▓рд╕реНрдЯрд░рд┐рдВрдЧ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рддреЗ рд╣реИрдВрд╕реАрдорд╛рдПрдВ : рд╡реНрдпрд╡рд╣рд╛рд░реНрдпрддрд╛ рдЧрд╛рд░рдВрдЯреА рдХреА рдХрдореА, рдорд░рдореНрдордд рдкреНрд░рдХреНрд░рд┐рдпрд╛ рдЕрдХреНрд╖рдорд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдЖрдзрд╛рд░ : Ford-Fulkerson рдПрд▓реНрдЧреЛрд░рд┐рджрдо 17 рдкрд░ рдЖрдзрд╛рд░рд┐рддрд╕рдорд╕реНрдпрд╛ : рд░реЗрдбрд┐рдпрд▓ рдмрд╛рдзрд╛ рд╕рдорд╕реНрдпрд╛ рдХреЛ NP-рдХрдард┐рди рдмрдирд╛рддреА рд╣реИрдкрд╛рд░рдВрдкрд░рд┐рдХ рд╡рд┐рдзрд┐ : Kruskal рдФрд░ Prim рдПрд▓реНрдЧреЛрд░рд┐рджрдорд╕реАрдорд╛рдПрдВ : рдмрд╣реБ-рд╕реНрд░реЛрдд рдорд╛рдорд▓реЗ рдореЗрдВ рдЗрд╖реНрдЯрддрдорддрд╛ рдЦреЛ рджреЗрддрд╛ рд╣реИ, MSF рдЖрд╡рд╢реНрдпрдХ рд░реВрдк рд╕реЗ MST рдХрд╛ рд╕рдмрд╕реЗрдЯ рдирд╣реАрдВ рд╣реИрд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдЧрд╛рд░рдВрдЯреА : рдХрдареЛрд░ рд╡реНрдпрд╡рд╣рд╛рд░реНрдпрддрд╛ рдкреНрд░рдорд╛рдг рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИрдмрд╣реБрдкрдж рдЬрдЯрд┐рд▓рддрд╛ : O(n┬▓log n) рд╕рдордп рдЬрдЯрд┐рд▓рддрд╛рд╡реНрдпрд╛рд╡рд╣рд╛рд░рд┐рдХрддрд╛ : рд╡рд╛рд╕реНрддрд╡рд┐рдХ рд╕рдордп рдиреЗрдЯрд╡рд░реНрдХ рдкреНрд░рдмрдВрдзрди рдХреЗ рд▓рд┐рдП рдЙрдкрдпреБрдХреНрддрд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдпреЛрдЧрджрд╛рди : рдкрд╣рд▓реА рдмрд╛рд░ рд╕рд╛рдмрд┐рдд рдХрд┐рдпрд╛ рдХрд┐ рд╡реНрдпрд╡рд╣рд╛рд░реНрдп рд░реЗрдбрд┐рдпрд▓ рд╡рд┐рдиреНрдпрд╛рд╕ рдирд┐рд░реНрдорд╛рдг рдХрдордЬреЛрд░ NP-рдкреВрд░реНрдг рд╕рдорд╕реНрдпрд╛ рд╣реИрдПрд▓реНрдЧреЛрд░рд┐рджрдо рд╕рдлрд▓рддрд╛ : FORWARD рдПрд▓реНрдЧреЛрд░рд┐рджрдо рдмрд╣реБрдкрдж рд╕рдордп рд╡реНрдпрд╡рд╣рд╛рд░реНрдп рд╕рдорд╛рдзрд╛рди рдирд┐рд░реНрдорд╛рдг рдХреЛ рд▓рд╛рдЧреВ рдХрд░рддрд╛ рд╣реИрд╡реНрдпрд╛рд╡рд╣рд╛рд░рд┐рдХ рдореВрд▓реНрдп : рдмрдбрд╝реЗ рдкреИрдорд╛рдиреЗ рдХреЗ рдиреЗрдЯрд╡рд░реНрдХ рдкрд░ рдореМрдЬреВрджрд╛ рддрд░реАрдХреЛрдВ рд╕реЗ рдХрд╛рдлреА рдмреЗрд╣рддрд░рд▓рд╛рдЧрдд рдореЙрдбрд▓ : рдХреЗрд╡рд▓ рджреНрд╡рд┐рдШрд╛рдд рд▓рд╛рдЧрдд рдлрд╝рдВрдХреНрд╢рди рдХреЗ рд▓рд┐рдП рдЙрдкрдпреБрдХреНрддрдиреЗрдЯрд╡рд░реНрдХ рдЯреЛрдкреЛрд▓реЙрдЬреА : рдореБрдЦреНрдп рд░реВрдк рд╕реЗ рд╡рд┐рд░рд▓ рд╡рд┐рддрд░рдг рдиреЗрдЯрд╡рд░реНрдХ рдХреЗ рд▓рд┐рдП рдбрд┐рдЬрд╝рд╛рдЗрди рдХрд┐рдпрд╛ рдЧрдпрд╛рдЗрд╖реНрдЯрддрдорддрд╛ рдЕрдВрддрд░рд╛рд▓ : рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдЗрд╖реНрдЯрддрдорддрд╛ рдЕрдВрддрд░рд╛рд▓ рд╡рд┐рд╢реНрд▓реЗрд╖рдг рдХреА рдХрдореАрдЕрд░реИрдЦрд┐рдХ рдмрд╛рдзрд╛рдПрдВ : рдЕрдзрд┐рдХ рдЬрдЯрд┐рд▓ рднреМрддрд┐рдХреА рдмрд╛рдзрд╛ рдореЙрдбрд▓ рддрдХ рд╡рд┐рд╕реНрддрд╛рд░рдЗрд╖реНрдЯрддрдорддрд╛ рд╡рд┐рд╢реНрд▓реЗрд╖рдг : рдЗрд╖реНрдЯрддрдорддрд╛ рдЕрдВрддрд░рд╛рд▓ рдХреЛ рдФрдкрдЪрд╛рд░рд┐рдХ рд░реВрдк рд╕реЗ рдЪрд┐рд╣реНрдирд┐рдд рдХрд░рдирд╛рдЕрдиреБрдкреНрд░рдпреЛрдЧ рд╡рд┐рд╕реНрддрд╛рд░ : рджреВрд░рд╕рдВрдЪрд╛рд░, рдЖрдкреВрд░реНрддрд┐ рд╢реНрд░реГрдВрдЦрд▓рд╛ рдЖрджрд┐ рдЕрдиреНрдп рдиреЗрдЯрд╡рд░реНрдХ рдЕрдиреБрдХреВрд▓рди рд╕рдорд╕реНрдпрд╛рдУрдВ рддрдХ рд╡рд┐рд╕реНрддрд╛рд░рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдЧрд╣рд░рд╛рдИ : рдХрдордЬреЛрд░ NP-рдкреВрд░реНрдгрддрд╛ рдкреНрд░рдорд╛рдг рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рд░рд┐рдХреНрддрддрд╛ рдХреЛ рднрд░рддрд╛ рд╣реИрдПрд▓реНрдЧреЛрд░рд┐рджрдо рдбрд┐рдЬрд╝рд╛рдЗрди : рдкрд╛рдВрдЪ-рдШрдЯрдХ рдЖрд░реНрдХрд┐рдЯреЗрдХреНрдЪрд░ рдбрд┐рдЬрд╝рд╛рдЗрди рдкрд░рд┐рд╖реНрдХреГрдд рд╣реИ, рдкреНрд░рддреНрдпреЗрдХ рдЕрдкрдиреА рднреВрдорд┐рдХрд╛ рдирд┐рднрд╛рддрд╛ рд╣реИрддрдХрдиреАрдХреА рд╕рдлрд▓рддрд╛ : рджреЛрд╣рд░реЗ рдЧреНрд░рд╛рдл рд╕рдВрдШрдирди рддрдХрдиреАрдХ рд▓рд╛рд▓рдЪреА рдПрд▓реНрдЧреЛрд░рд┐рджрдо рдХреА рдЕрдВрддрд░реНрдирд┐рд╣рд┐рдд рдЦрд╛рдорд┐рдпреЛрдВ рдХреЛ рдкреНрд░рднрд╛рд╡реА рдврдВрдЧ рд╕реЗ рд╣рд▓ рдХрд░рддреА рд╣реИрдбреЗрдЯрд╛рд╕реЗрдЯ рд╡рд┐рд╡рд┐рдзрддрд╛ : рдорд╛рдирдХ рдкрд░реАрдХреНрд╖рдг рдкреНрд░рдгрд╛рд▓реА рдФрд░ рдпрд╛рджреГрдЪреНрдЫрд┐рдХ рд░реВрдк рд╕реЗ рдЙрддреНрдкрдиреНрди рдиреЗрдЯрд╡рд░реНрдХ рдХреЛ рд╢рд╛рдорд┐рд▓ рдХрд░рддрд╛ рд╣реИрд╕реНрдХреЗрд▓ рд░реЗрдВрдЬ : 13-рдиреЛрдб рд╕реЗ 400-рдиреЛрдб рддрдХ рд╡реНрдпрд╛рдкрдХ рдкрд░реАрдХреНрд╖рдгрддреБрд▓рдирд╛ рдирд┐рд╖реНрдкрдХреНрд╖рддрд╛ : рд╡рд╛рдгрд┐рдЬреНрдпрд┐рдХ рд╕реЙрд▓реНрд╡рд░ рдХреЗ рд╕рд╛рде рд╕реАрдзреА рддреБрд▓рдирд╛ рдкреНрд░реЗрд░рдХ рд╣реИрдкреНрд░рдорд╛рдг рдкреВрд░реНрдгрддрд╛ : рд╕рднреА рдкреНрд░рдореЗрдпреЛрдВ рдореЗрдВ рдХрдареЛрд░ рдЧрдгрд┐рддреАрдп рдкреНрд░рдорд╛рдг рд╣реИрдВрдЬрдЯрд┐рд▓рддрд╛ рд╡рд┐рд╢реНрд▓реЗрд╖рдг : рд╡рд┐рд╕реНрддреГрдд рд╕рдордп рдЬрдЯрд┐рд▓рддрд╛ рд╡рд┐рд╢реНрд▓реЗрд╖рдгрд╡реНрдпрд╡рд╣рд╛рд░реНрдпрддрд╛ рдЧрд╛рд░рдВрдЯреА : рдПрд▓реНрдЧреЛрд░рд┐рджрдо рдХреА рд╢реБрджреНрдзрддрд╛ рдХреЗ рд▓рд┐рдП рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдЧрд╛рд░рдВрдЯреАрд▓рд╛рдЧрдд рдлрд╝рдВрдХреНрд╢рди рдкреНрд░рддрд┐рдмрдВрдз : рдХреЗрд╡рд▓ рджреНрд╡рд┐рдШрд╛рдд рд▓рд╛рдЧрдд рдХреЗ рд▓рд┐рдП рдЙрдкрдпреБрдХреНрдд, рдЕрдиреБрдкреНрд░рдпреЛрдЧ рд░реЗрдВрдЬ рдХреЛ рд╕реАрдорд┐рдд рдХрд░рддрд╛ рд╣реИрдиреЗрдЯрд╡рд░реНрдХ рдзрд╛рд░рдгрд╛рдПрдВ : рд╡рд┐рд░рд▓ рдиреЗрдЯрд╡рд░реНрдХ рдХреА рдзрд╛рд░рдгрд╛ рд╕рднреА рд╡реНрдпрд╛рд╡рд╣рд╛рд░рд┐рдХ рдкрд░рд┐рджреГрд╢реНрдпреЛрдВ рдкрд░ рд▓рд╛рдЧреВ рдирд╣реАрдВ рд╣реЛ рд╕рдХрддреАрдХреНрд╖рдорддрд╛ рдкреНрд░рдмрдВрдзрди : Rewire рдШрдЯрдХ рдХреА рдЬрдЯрд┐рд▓рддрд╛ рдмрдбрд╝реЗ рдкреИрдорд╛рдиреЗ рдХреЗ рдЕрдиреБрдкреНрд░рдпреЛрдЧ рдХреЛ рдкреНрд░рднрд╛рд╡рд┐рдд рдХрд░ рд╕рдХрддреА рд╣реИрдмреЗрдВрдЪрдорд╛рд░реНрдХ рд╡рд┐рдзрд┐ рдПрдХрд▓ : рдореБрдЦреНрдп рд░реВрдк рд╕реЗ Knitro рдХреЗ рд╕рд╛рде рддреБрд▓рдирд╛, рдЕрдиреНрдп рдЕрдиреБрдорд╛рдиреА рд╡рд┐рдзрд┐рдпреЛрдВ рдХреЗ рд╕рд╛рде рддреБрд▓рдирд╛ рдХреА рдХрдореАрдкреИрд░рд╛рдореАрдЯрд░ рд╕рдВрд╡реЗрджрдирд╢реАрд▓рддрд╛ : рдПрд▓реНрдЧреЛрд░рд┐рджрдо рдкреИрд░рд╛рдореАрдЯрд░ рд╕рдВрд╡реЗрджрдирд╢реАрд▓рддрд╛ рд╡рд┐рд╢реНрд▓реЗрд╖рдг рдХреА рдХрдореАрд╕рд╛рдВрдЦреНрдпрд┐рдХреАрдп рдорд╣рддреНрд╡ : рдХрдИ рд░рди рдХреЗ рд╕рд╛рдВрдЦреНрдпрд┐рдХреАрдп рд╡рд┐рд╢реНрд▓реЗрд╖рдг рдХреА рдХрдореАрдЗрд╖реНрдЯрддрдорддрд╛ рдЕрдВрддрд░рд╛рд▓ : рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдЗрд╖реНрдЯрддрдорддрд╛ рдЕрдВрддрд░рд╛рд▓ рд╕реАрдорд╛ рдкреНрд░рджрд╛рди рдирд╣реАрдВ рдХрд░рддрд╛ рд╣реИрд╡рд┐рдлрд▓рддрд╛ рдорд╛рдорд▓реЗ : рдПрд▓реНрдЧреЛрд░рд┐рджрдо рд╡рд┐рдлрд▓рддрд╛ рд╕реНрдерд┐рддрд┐рдпреЛрдВ рдХрд╛ рд╡рд┐рд╢реНрд▓реЗрд╖рдг рдХреА рдХрдореАрднреМрддрд┐рдХ рдЕрд░реНрде : рднрд╛рд░ рдлрд╝рдВрдХреНрд╢рди рдХреА рднреМрддрд┐рдХ рд╡реНрдпрд╛рдЦреНрдпрд╛ рдЕрдзрд┐рдХ рдЧрд╣рди рд╣реЛ рд╕рдХрддреА рд╣реИрд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдореВрд▓реНрдп : рдХрдордЬреЛрд░ NP-рдкреВрд░реНрдгрддрд╛ рдкреНрд░рдорд╛рдг рдЕрдиреБрдХреВрд▓рди рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рд▓рд┐рдП рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╣реИрдкрджреНрдзрддрд┐ рдореВрд▓реНрдп : рдЧреНрд░рд╛рдл рдЕрдкрдШрдЯрди рдврд╛рдВрдЪрд╛ рдЕрдиреНрдп рдиреЗрдЯрд╡рд░реНрдХ рдЕрдиреБрдХреВрд▓рди рд╕рдорд╕реНрдпрд╛рдУрдВ рдкрд░ рд▓рд╛рдЧреВ рд╣реЛ рд╕рдХрддрд╛ рд╣реИрдкреНрд░реЗрд░рдгрд╛ : рдмрдбрд╝реЗ рдкреИрдорд╛рдиреЗ рдХреЗ рдиреЗрдЯрд╡рд░реНрдХ рдЕрдиреБрдХреВрд▓рди рдХреЗ рд▓рд┐рдП рдирдИ рд╕реЛрдЪ рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИрдФрджреНрдпреЛрдЧрд┐рдХ рдЕрдиреБрдкреНрд░рдпреЛрдЧ : рд╡рд┐рджреНрдпреБрдд рдкреНрд░рдгрд╛рд▓реА рд╡рд╛рд╕реНрддрд╡рд┐рдХ рд╕рдордп рдкреНрд░рдмрдВрдзрди рдХреЗ рд▓рд┐рдП рд╕реАрдзреЗ рд▓рд╛рдЧреВрджрдХреНрд╖рддрд╛ рд╕реБрдзрд╛рд░ : рдмрдбрд╝реЗ рдкреИрдорд╛рдиреЗ рдХреЗ рдиреЗрдЯрд╡рд░реНрдХ рд╕рдорд╛рдзрд╛рди рджрдХреНрд╖рддрд╛ рдореЗрдВ рдХрд╛рдлреА рд╕реБрдзрд╛рд░рд╕реНрдХреЗрд▓реЗрдмрд┐рд▓рд┐рдЯреА : рд╕реНрдорд╛рд░реНрдЯ рдЧреНрд░рд┐рдб рдЬреИрд╕реЗ рдЙрднрд░рддреЗ рдЕрдиреБрдкреНрд░рдпреЛрдЧреЛрдВ рдХреЗ рд▓рд┐рдП рд╕рдорд░реНрдерди рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИрдХреЛрдб рдЦреБрд▓рд╛ : рд▓реЗрдЦрдХ рдиреЗ рдЦреБрд▓рд╛ рд╕реНрд░реЛрдд рдХрд╛рд░реНрдпрд╛рдиреНрд╡рдпрди рдкреНрд░рджрд╛рди рдХрд┐рдпрд╛ рд╣реИрдХрд╛рд░реНрдпрд╛рдиреНрд╡рдпрди рд╡рд┐рд╡рд░рдг : рдПрд▓реНрдЧреЛрд░рд┐рджрдо рд╡рд┐рд╡рд░рдг рд╡рд┐рд╕реНрддреГрдд рд╣реИ, рдкреБрдирд░реБрддреНрдкрд╛рджрди рдХреЗ рд▓рд┐рдП рд╕реБрд╡рд┐рдзрд╛рдЬрдирдХрдорд╛рдирдХ рдбреЗрдЯрд╛рд╕реЗрдЯ : IEEE рдорд╛рдирдХ рдкрд░реАрдХреНрд╖рдг рдкреНрд░рдгрд╛рд▓реА рдХрд╛ рдЙрдкрдпреЛрдЧ рддреБрд▓рдиреАрдпрддрд╛ рд╕реБрдирд┐рд╢реНрдЪрд┐рдд рдХрд░рддрд╛ рд╣реИрд╡рд┐рджреНрдпреБрдд рдкреНрд░рдгрд╛рд▓реА : рд╡рд┐рддрд░рдг рдиреЗрдЯрд╡рд░реНрдХ рдкреБрдирд░реНрд╡рд┐рдиреНрдпрд╛рд╕ рдФрд░ рд╡рд╛рд╕реНрддрд╡рд┐рдХ рд╕рдордп рдкреНрд░рдмрдВрдзрдирдЬрд▓ рдиреЗрдЯрд╡рд░реНрдХ : рдЬрд▓ рдЖрдкреВрд░реНрддрд┐ рдкреНрд░рдгрд╛рд▓реА рдЕрдиреБрдХреВрд▓рди рдбрд┐рдЬрд╝рд╛рдЗрдирдкреНрд░рд╛рдХреГрддрд┐рдХ рдЧреИрд╕ рдиреЗрдЯрд╡рд░реНрдХ : рдкрд╛рдЗрдкрд▓рд╛рдЗрди рдиреЗрдЯрд╡рд░реНрдХ рдпреЛрдЬрдирд╛рджреВрд░рд╕рдВрдЪрд╛рд░ рдиреЗрдЯрд╡рд░реНрдХ : рдиреЗрдЯрд╡рд░реНрдХ рдЯреЛрдкреЛрд▓реЙрдЬреА рдЕрдиреБрдХреВрд▓рдирдЖрдкреВрд░реНрддрд┐ рд╢реНрд░реГрдВрдЦрд▓рд╛ : рд╡рд┐рддрд░рдг рдиреЗрдЯрд╡рд░реНрдХ рдбрд┐рдЬрд╝рд╛рдЗрдирдкрд░рд┐рд╡рд╣рди рдпреЛрдЬрдирд╛ : рд╕рдбрд╝рдХ рдиреЗрдЯрд╡рд░реНрдХ рдЕрдиреБрдХреВрд▓рди рдбрд┐рдЬрд╝рд╛рдЗрдирдкреНрд░рд╛рд░рдВрднрд┐рдХреАрдХрд░рдг рд░рдгрдиреАрддрд┐ : рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐рдореВрд▓рдХ рдЕрдиреБрдХреВрд▓рди рдПрд▓реНрдЧреЛрд░рд┐рджрдо рдХреЗ рд▓рд┐рдП рдЕрдЪреНрдЫреЗ рдкреНрд░рд╛рд░рдВрднрд┐рдХ рдмрд┐рдВрджреБ рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИрдЕрдкрдШрдЯрди рдврд╛рдВрдЪрд╛ : рдмрдбрд╝реЗ рдкреИрдорд╛рдиреЗ рдХреЗ рдЕрдиреБрдХреВрд▓рди рд╕рдорд╕реНрдпрд╛рдУрдВ рдХреА рд╡рд┐рднрд╛рдЬрди рд░рдгрдиреАрддрд┐рд╕рдорд╛рдирд╛рдВрддрд░ рдХрдореНрдкреНрдпреВрдЯрд┐рдВрдЧ : рдиреЗрдЯрд╡рд░реНрдХ рдЕрдиреБрдХреВрд▓рди рдХреА рд╕рдорд╛рдирд╛рдВрддрд░ рдкреНрд░рд╕рдВрд╕реНрдХрд░рдг рдкреНрд░рддрд┐рдорд╛рдирдпрд╣ рдкреЗрдкрд░ 32 рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕рдВрджрд░реНрднреЛрдВ рдХрд╛ рд╣рд╡рд╛рд▓рд╛ рджреЗрддрд╛ рд╣реИ, рдореБрдЦреНрдп рд░реВрдк рд╕реЗ рд╢рд╛рдорд┐рд▓ рд╣реИрдВ:
рдиреЗрдЯрд╡рд░реНрдХ рдкреБрдирд░реНрд╡рд┐рдиреНрдпрд╛рд╕ рд╕рд┐рджреНрдзрд╛рдВрдд : Merlin & Back (1975) рдХрд╛ рдЕрдЧреНрд░рдгреА рдХрд╛рд░реНрдпрдЧреНрд░рд╛рдл рд╕рд┐рджреНрдзрд╛рдВрдд рдЖрдзрд╛рд░ : Bollob├бs рдХрд╛ рдЖрдзреБрдирд┐рдХ рдЧреНрд░рд╛рдл рд╕рд┐рджреНрдзрд╛рдВрддрдЕрдиреБрдХреВрд▓рди рдПрд▓реНрдЧреЛрд░рд┐рджрдо : Ford-Fulkerson рдЕрдзрд┐рдХрддрдо рдкреНрд░рд╡рд╛рд╣ рдПрд▓реНрдЧреЛрд░рд┐рджрдордЬрдЯрд┐рд▓рддрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд : рд╡рд┐рднрд╛рдЬрди рд╕рдорд╕реНрдпрд╛ рдХреА NP-рдкреВрд░реНрдгрддрд╛рд╡рд┐рджреНрдпреБрдд рдкреНрд░рдгрд╛рд▓реА рдЕрдиреБрдкреНрд░рдпреЛрдЧ : IEEE рдорд╛рдирдХ рдкрд░реАрдХреНрд╖рдг рдкреНрд░рдгрд╛рд▓реА рдФрд░ рд╡реНрдпрд╛рд╡рд╣рд╛рд░рд┐рдХ рдЕрдиреБрдкреНрд░рдпреЛрдЧ рдорд╛рдорд▓реЗрд╕рдордЧреНрд░ рдореВрд▓реНрдпрд╛рдВрдХрди : рдпрд╣ рдПрдХ рдЙрдЪреНрдЪ-рдЧреБрдгрд╡рддреНрддрд╛ рд╡рд╛рд▓рд╛ рдЕрдиреБрдХреВрд▓рди рдПрд▓реНрдЧреЛрд░рд┐рджрдо рдкреЗрдкрд░ рд╣реИ, рдЬреЛ рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдпреЛрдЧрджрд╛рди, рд╡рд┐рдзрд┐ рдирд╡рд╛рдЪрд╛рд░ рдФрд░ рдкреНрд░рдпреЛрдЧрд╛рддреНрдордХ рд╕рддреНрдпрд╛рдкрди рдХреЗ рд╕рднреА рдкрд╣рд▓реБрдУрдВ рдореЗрдВ рдЙрддреНрдХреГрд╖реНрдЯ рдкреНрд░рджрд░реНрд╢рди рдХрд░рддрд╛ рд╣реИред FORWARD рдПрд▓реНрдЧреЛрд░рд┐рджрдо рди рдХреЗрд╡рд▓ рдПрдХ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдЗрдВрдЬреАрдирд┐рдпрд░рд┐рдВрдЧ рд╕рдорд╕реНрдпрд╛ рдХреЛ рд╣рд▓ рдХрд░рддрд╛ рд╣реИ, рдмрд▓реНрдХрд┐ рдмрдбрд╝реЗ рдкреИрдорд╛рдиреЗ рдХреЗ рдиреЗрдЯрд╡рд░реНрдХ рдЕрдиреБрдХреВрд▓рди рдХреЗ рд▓рд┐рдП рдПрдХ рдирдпрд╛ рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдврд╛рдВрдЪрд╛ рдФрд░ рд╡реНрдпрд╛рд╡рд╣рд╛рд░рд┐рдХ рдЙрдкрдХрд░рдг рднреА рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИред рдХреБрдЫ рд╕реАрдорд╛рдУрдВ рдХреЗ рдмрд╛рд╡рдЬреВрдж, рдЗрд╕рдХреА рдирд╡рд╛рдЪрд╛рд░рд┐рддрд╛ рдФрд░ рд╡реНрдпрд╛рд╡рд╣рд╛рд░рд┐рдХ рдореВрд▓реНрдп рдЗрд╕реЗ рдЗрд╕ рдХреНрд╖реЗрддреНрд░ рдХрд╛ рдПрдХ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдпреЛрдЧрджрд╛рди рдмрдирд╛рддрд╛ рд╣реИред