Knowledge (XXG)

Bilevel optimization

Source đź“ť

860:(Marktform und Gleichgewicht) in 1934 that described this hierarchical problem. The strategic game described in his book came to be known as Stackelberg game that consists of a leader and a follower. The leader is commonly referred as a Stackelberg leader and the follower is commonly referred as a Stackelberg follower. In a Stackelberg game, the players of the game compete with each other, such that the leader makes the first move, and then the follower reacts optimally to the leader's action. This kind of a hierarchical game is asymmetric in nature, where the leader and the follower cannot be interchanged. The leader knows ex ante that the follower observes its actions before responding in an optimal manner. Therefore, if the leader wants to optimize its objective, then it needs to anticipate the optimal response of the follower. In this setting, the leader's optimization problem contains a nested optimization task that corresponds to the follower's optimization problem. In the Stackelberg games, the upper level optimization problem is commonly referred as the leader's problem and the lower level optimization problem is commonly referred as the follower's problem. 913:
maximize its revenues only by taking the highway users' problem into account. For any given tax structure the highway users solve their own optimization problem, where they minimize their traveling costs by deciding between utilizing the highways or an alternative route. Under these circumstances, the government's problem needs to be formulated as a bilevel optimization problem. The upper level consists of the government’s objectives and constraints, and the lower level consists of the highway users' objectives and constraints for a given tax structure. It is noteworthy that the government will be able to identify the revenue generated by a particular tax structure only by solving the lower level problem that determines to what extent the highways are used.
925:). The upper level objective in such problems may involve cost minimization or weight minimization subject to bounds on displacements, stresses and contact forces. The decision variables at the upper level usually are shape of the structure, choice of materials, amount of material etc. However, for any given set of upper level variables, the state variables (displacement, stresses and contact forces) can only be figured out by solving the potential energy minimization problem that appears as an equilibrium satisfaction constraint or lower level minimization task to the upper level problem. 938:
to the opponent, then it can only be achieved if the leader takes the reactions of the follower into account. A rational follower will always react optimally to the leaders offensive. Therefore, the leader's problem appears as an upper level optimization task, and the optimal response of the follower to the leader's actions is determined by solving the lower level optimization task.
987:. This yields a single-level mathematical program with complementarity constraints, i.e., MPECs. If the lower level problem is not convex, with this approach the feasible set of the bilevel optimization problem is enlarged by local optimal solutions and stationary points of the lower level, which means that the single-level problem obtained is a 946:
Bilevel optimization can serve as a decision support tool for firms in real-life settings to improve workforce and human resources decisions. The first level reflects the company’s goal to maximize profitability. The second level reflects employees goal to minimize the gap between desired salary and
734:
represent the inequality constraint functions at the upper and lower levels respectively. If some objective function is to be maximized, it is equivalent to minimize its negative. The formulation above is also capable of representing equality constraints, as these can be easily rewritten in terms of
26:
where one problem is embedded (nested) within another. The outer optimization task is commonly referred to as the upper-level optimization task, and the inner optimization task is commonly referred to as the lower-level optimization task. These problems involve two kinds of variables, referred to as
1490:
etc. In such situations, heuristic methods may be used. Among them, evolutionary methods, though computationally demanding, often constitute an alternative tool to offset some of these difficulties encountered by exact methods, albeit without offering any optimality guarantee on the solutions they
937:
and defensive force structure design, strategic bomber force structure, and allocation of tactical aircraft to missions. The offensive entity in this case may be considered a leader and the defensive entity in this case may be considered a follower. If the leader wants to maximize the damage caused
863:
If the follower has more than one optimal response to a certain selection of the leader, there are two possible options: either the best or the worst follower's solution with respect to the leader's objective function is assumed, i.e. the follower is assumed to act either in a cooperative way or in
912:
In the field of transportation, bilevel optimization commonly appears in the toll-setting problem. Consider a network of highways that is operated by the government. The government wants to maximize its revenues by choosing the optimal toll setting for the highways. However, the government can
947:
a preferred work plan. The bilevel model provides an exact solution based on a mixed integer formulation and present a computational analysis based on changing employees behaviors in response to the firm’s strategy, thus demonstrate how the problem’s parameters influence the decision policy.
2004: 1662: 345: 1142: 1499:
A bilevel optimization problem can be generalized to a multi-objective bilevel optimization problem with multiple objectives at one or both levels. A general multi-objective bilevel optimization problem can be formulated as follows:
1774: 1465:
This is a nonsmooth optimization problem since the optimal value function is in general not differentiable, even if all the constraint functions and the objective function in the lower level problem are smooth.
2245: 510: 1406: 1217: 838:. However, it is usually worthwhile to treat equality constraints separately, to deal with them more efficiently in a dedicated way; in the representation above, they have been omitted for brevity. 101: 2158: 2084: 955:
Bilevel optimization problems are hard to solve. One solution method is to reformulate bilevel optimization problems to optimization problems for which robust solution algorithms are available.
2509:
represent the inequality constraint functions at the upper and lower levels respectively. Equality constraints may also be present in a bilevel program, but they have been omitted for brevity.
423: 836: 1767: 1321: 205: 2330: 959:
is an extension to mathematical programming languages that provides several keywords for bilevel optimization problems. These annotations facilitate the automatic reformulation to
595: 2286: 1460: 551: 960: 922: 1717: 1271: 155: 921:
Structural optimization problems consist of two levels of optimization task and are commonly referred as mathematical programming problems with equilibrium constraints (
1506: 211: 1005: 768: 2507: 2480: 732: 705: 2453: 2433: 2413: 2393: 2373: 2353: 678: 658: 638: 618: 2755:
Sinha, Ankur; Malo, Pekka; Deb, Kalyanmoy (April 2018). "A Review on Bilevel Optimization: From Classical to Evolutionary Approaches and Applications".
964: 956: 2739: 1999:{\displaystyle y\in \arg \min \limits _{z\in Y}\{f(x,z)=(f_{1}(x,z),f_{2}(x,z),\ldots ,f_{q}(x,z)):g_{j}(x,z)\leq 0,j\in \{1,2,\ldots ,J\}\}} 2818: 2715: 2543: 968: 853: 2164: 429: 1327: 1157: 880:
Bilevel optimization problems are commonly found in a number of real-world problems. This includes problems in the domain of
41: 2090: 2016: 984: 356: 857: 988: 773: 979:
Certain bilevel programs, notably those having a convex lower level and satisfying a regularity condition (e.g.
1722: 1276: 901: 847: 160: 2292: 557: 2251: 1412: 516: 2719: 980: 2530:. Nonconvex Optimization and Its Applications. Vol. 61. Springer, Boston, MA. pp. vii–viii. 1674: 1228: 112: 934: 1657:{\displaystyle \min \limits _{x\in X,y\in Y}\;\;F(x,y)=(F_{1}(x,y),F_{2}(x,y),\ldots ,F_{p}(x,y))} 340:{\displaystyle y\in \arg \min \limits _{z\in Y}\{f(x,z):g_{j}(x,z)\leq 0,j\in \{1,2,\ldots ,J\}\}} 2782: 2764: 2696: 2614: 2579: 2559: 1137:{\displaystyle \phi (x)=\min \limits _{z\in Y}\{f(x,z):g_{j}(x,z)\leq 0,j\in \{1,2,\ldots ,J\}\}} 2735: 2688: 2539: 1483: 904:
etc. Some of the practical bilevel problems studied in the literature are briefly discussed.
2774: 2727: 2678: 2670: 2606: 2571: 2531: 889: 738: 2597:
Colson, Benoit; Marcotte, Patrice; Savard, Gilles (2005). "Bilevel programming: A survey".
2485: 2458: 710: 683: 2659:"A flexible employee recruitment and compensation model: A bi-level optimization approach" 852:
Bilevel optimization was first realized in the field of game theory by a German economist
2683: 2658: 2438: 2418: 2398: 2378: 2358: 2338: 1479: 881: 663: 643: 623: 603: 2812: 2700: 2562:; Calamai, P.H. (1994). "Bilevel and multilevel programming: A bibliography review". 1475: 35:
A general formulation of the bilevel optimization problem can be written as follows:
2724:
Bilevel Programming Problems: Theory, Algorithms and Applications to Energy Networks
2618: 2583: 2786: 983:), can be reformulated to single level by replacing the lower-level problem by its 23: 1474:
For complex bilevel problems, classical methods may fail due to difficulties like
2803: 897: 2778: 2731: 2674: 2610: 1487: 885: 2692: 893: 2575: 2535: 2769: 2657:
Ben-Gal, Hila Chalutz; Forma, Iris A.; Singer, Gonen (March 2022).
2632: 933:
Bilevel optimization has a number of applications in defense, like
1151:, a possible single-level reformulation of the bilevel problem is 864:
an aggressive way. The resulting bilevel problem is called
2240:{\displaystyle G_{i},g_{j}:R^{n_{x}}\times R^{n_{y}}\to R} 505:{\displaystyle G_{i},g_{j}:R^{n_{x}}\times R^{n_{y}}\to R} 640:
represents the lower-level objective function. Similarly
27:
the upper-level variables and the lower-level variables.
1401:{\displaystyle g_{j}(x,y)\leq 0,j\in \{1,2,\ldots ,J\}} 1212:{\displaystyle \min \limits _{x\in X,y\in Y}\;\;F(x,y)} 96:{\displaystyle \min \limits _{x\in X,y\in Y}\;\;F(x,y)} 2726:. Springer-Verlag Berlin Heidelberg. pp. 84–85. 2488: 2461: 2441: 2421: 2401: 2381: 2361: 2341: 2295: 2254: 2167: 2093: 2019: 1777: 1725: 1677: 1509: 1415: 1330: 1279: 1231: 1160: 1008: 776: 741: 713: 686: 666: 646: 626: 606: 560: 519: 432: 359: 214: 163: 115: 44: 2153:{\displaystyle f:R^{n_{x}}\times R^{n_{y}}\to R^{q}} 2079:{\displaystyle F:R^{n_{x}}\times R^{n_{y}}\to R^{p}} 963:(MPECs) for which mature solver technology exists. 2501: 2474: 2447: 2427: 2407: 2387: 2367: 2347: 2324: 2280: 2239: 2152: 2078: 1998: 1761: 1711: 1656: 1454: 1400: 1315: 1265: 1211: 1136: 961:Mathematical Programs with Equilibrium Constraints 830: 762: 726: 699: 672: 652: 632: 620:represents the upper-level objective function and 612: 589: 545: 504: 418:{\displaystyle F,f:R^{n_{x}}\times R^{n_{y}}\to R} 417: 339: 199: 149: 95: 2395:represents the lower-level objective vector with 2355:represents the upper-level objective vector with 2722:(2015). "3.6 The optimal value transformation". 2435:represents the upper-level decision vector and 660:represents the upper-level decision vector and 2757:IEEE Transactions on Evolutionary Computation 8: 2455:represents the lower-level decision vector. 1993: 1990: 1966: 1806: 1756: 1732: 1395: 1371: 1310: 1286: 1131: 1128: 1104: 1040: 831:{\displaystyle \{h(x)\leq 0,\ -h(x)\leq 0\}} 825: 777: 680:represents the lower-level decision vector. 334: 331: 307: 243: 194: 170: 2633:"Scope: Evolutionary Bilevel Optimization" 2006:In the Stackelberg games: Follower problem 1539: 1538: 1190: 1189: 942:Workforce and Human Resources applications 74: 73: 2768: 2682: 2493: 2487: 2466: 2460: 2440: 2420: 2400: 2380: 2360: 2340: 2311: 2306: 2294: 2270: 2265: 2253: 2223: 2218: 2203: 2198: 2185: 2172: 2166: 2144: 2129: 2124: 2109: 2104: 2092: 2070: 2055: 2050: 2035: 2030: 2018: 1930: 1899: 1865: 1837: 1794: 1776: 1724: 1682: 1676: 1630: 1596: 1568: 1514: 1508: 1414: 1335: 1329: 1278: 1236: 1230: 1165: 1159: 1068: 1028: 1007: 775: 740: 718: 712: 691: 685: 665: 645: 625: 605: 576: 571: 559: 535: 530: 518: 488: 483: 468: 463: 450: 437: 431: 401: 396: 381: 376: 358: 271: 231: 213: 162: 120: 114: 49: 43: 1664:In the Stackelberg games: Leader problem 16:Quadratic fractional programming problem 2518: 957:Extended Mathematical Programming (EMP) 870:pessimistic bilevel programming problem 31:Mathematical formulation of the problem 2663:Computers & Industrial Engineering 1762:{\displaystyle i\in \{1,2,\ldots ,I\}} 1316:{\displaystyle i\in \{1,2,\ldots ,I\}} 866:optimistic bilevel programming problem 735:inequality constraints: for instance, 200:{\displaystyle i\in \{1,2,\ldots ,I\}} 2325:{\displaystyle Y\subseteq R^{n_{y}}.} 590:{\displaystyle Y\subseteq R^{n_{y}}.} 7: 2281:{\displaystyle X\subseteq R^{n_{x}}} 1495:Multi-objective bilevel optimization 1455:{\displaystyle f(x,y)\leq \phi (x).} 546:{\displaystyle X\subseteq R^{n_{x}}} 2528:Foundations of Bilevel Programming 2526:Dempe, Stephan (2002). "Preface". 14: 2804:Mathematical Programming Glossary 991:of the original bilevel problem. 854:Heinrich Freiherr von Stackelberg 1712:{\displaystyle G_{i}(x,y)\leq 0} 1266:{\displaystyle G_{i}(x,y)\leq 0} 858:Market Structure and Equilibrium 150:{\displaystyle G_{i}(x,y)\leq 0} 2564:Journal of Global Optimization 2231: 2137: 2063: 1948: 1936: 1920: 1917: 1905: 1883: 1871: 1855: 1843: 1830: 1824: 1812: 1700: 1688: 1651: 1648: 1636: 1614: 1602: 1586: 1574: 1561: 1555: 1543: 1446: 1440: 1431: 1419: 1353: 1341: 1254: 1242: 1206: 1194: 1086: 1074: 1058: 1046: 1018: 1012: 816: 810: 789: 783: 751: 745: 496: 409: 289: 277: 261: 249: 138: 126: 90: 78: 1: 985:Karush-Kuhn-Tucker conditions 1791: 1511: 1162: 1025: 995:Optimal value reformulation 228: 46: 2835: 2718:; Prez-Valds, Gerardo A.; 2335:In the above formulation, 845: 600:In the above formulation, 2819:Mathematical optimization 2779:10.1109/TEVC.2017.2712906 2732:10.1007/978-3-662-45827-3 2675:10.1016/j.cie.2021.107916 2611:10.1007/s10288-005-0071-0 2716:Kalashnikov, Vyacheslav 2415:objectives. Similarly, 917:Structural optimization 902:environmental economics 848:Stackelberg competition 842:Stackelberg competition 2720:Kalashnykova, Nataliya 2503: 2476: 2449: 2429: 2409: 2389: 2369: 2349: 2326: 2282: 2241: 2154: 2080: 2000: 1763: 1713: 1658: 1456: 1402: 1317: 1267: 1213: 1149:optimal value function 1138: 951:Solution methodologies 832: 764: 763:{\displaystyle h(x)=0} 728: 701: 674: 654: 634: 614: 591: 547: 506: 419: 341: 201: 151: 97: 2504: 2502:{\displaystyle g_{j}} 2477: 2475:{\displaystyle G_{i}} 2450: 2430: 2410: 2390: 2370: 2350: 2327: 2283: 2242: 2155: 2081: 2001: 1764: 1714: 1659: 1457: 1403: 1318: 1268: 1214: 1139: 833: 770:can be translated as 765: 729: 727:{\displaystyle g_{j}} 702: 700:{\displaystyle G_{i}} 675: 655: 635: 615: 592: 548: 507: 420: 342: 202: 152: 98: 22:is a special kind of 2486: 2459: 2439: 2419: 2399: 2379: 2359: 2339: 2293: 2252: 2165: 2091: 2017: 1775: 1723: 1675: 1507: 1413: 1328: 1277: 1229: 1158: 1006: 967:is available within 929:Defense applications 908:Toll setting problem 774: 739: 711: 684: 664: 644: 624: 604: 558: 517: 430: 357: 212: 161: 113: 42: 20:Bilevel optimization 935:strategic offensive 2576:10.1007/BF01096458 2499: 2472: 2445: 2425: 2405: 2385: 2365: 2345: 2322: 2278: 2237: 2150: 2076: 1996: 1805: 1759: 1709: 1654: 1537: 1452: 1398: 1313: 1263: 1209: 1188: 1134: 1039: 981:Slater's condition 828: 760: 724: 697: 670: 650: 630: 610: 587: 543: 502: 415: 337: 242: 197: 147: 93: 72: 2741:978-3-662-45827-3 2448:{\displaystyle y} 2428:{\displaystyle x} 2408:{\displaystyle q} 2388:{\displaystyle f} 2368:{\displaystyle p} 2348:{\displaystyle F} 1790: 1510: 1484:differentiability 1470:Heuristic methods 1161: 1024: 975:KKT reformulation 803: 673:{\displaystyle y} 653:{\displaystyle x} 633:{\displaystyle f} 613:{\displaystyle F} 227: 45: 2826: 2791: 2790: 2772: 2752: 2746: 2745: 2714:Dempe, Stephan; 2711: 2705: 2704: 2686: 2654: 2648: 2647: 2645: 2643: 2629: 2623: 2622: 2594: 2588: 2587: 2556: 2550: 2549: 2523: 2508: 2506: 2505: 2500: 2498: 2497: 2481: 2479: 2478: 2473: 2471: 2470: 2454: 2452: 2451: 2446: 2434: 2432: 2431: 2426: 2414: 2412: 2411: 2406: 2394: 2392: 2391: 2386: 2374: 2372: 2371: 2366: 2354: 2352: 2351: 2346: 2331: 2329: 2328: 2323: 2318: 2317: 2316: 2315: 2287: 2285: 2284: 2279: 2277: 2276: 2275: 2274: 2246: 2244: 2243: 2238: 2230: 2229: 2228: 2227: 2210: 2209: 2208: 2207: 2190: 2189: 2177: 2176: 2159: 2157: 2156: 2151: 2149: 2148: 2136: 2135: 2134: 2133: 2116: 2115: 2114: 2113: 2085: 2083: 2082: 2077: 2075: 2074: 2062: 2061: 2060: 2059: 2042: 2041: 2040: 2039: 2005: 2003: 2002: 1997: 1935: 1934: 1904: 1903: 1870: 1869: 1842: 1841: 1804: 1768: 1766: 1765: 1760: 1718: 1716: 1715: 1710: 1687: 1686: 1663: 1661: 1660: 1655: 1635: 1634: 1601: 1600: 1573: 1572: 1536: 1461: 1459: 1458: 1453: 1407: 1405: 1404: 1399: 1340: 1339: 1322: 1320: 1319: 1314: 1272: 1270: 1269: 1264: 1241: 1240: 1218: 1216: 1215: 1210: 1187: 1143: 1141: 1140: 1135: 1073: 1072: 1038: 890:decision science 837: 835: 834: 829: 801: 769: 767: 766: 761: 733: 731: 730: 725: 723: 722: 706: 704: 703: 698: 696: 695: 679: 677: 676: 671: 659: 657: 656: 651: 639: 637: 636: 631: 619: 617: 616: 611: 596: 594: 593: 588: 583: 582: 581: 580: 552: 550: 549: 544: 542: 541: 540: 539: 511: 509: 508: 503: 495: 494: 493: 492: 475: 474: 473: 472: 455: 454: 442: 441: 424: 422: 421: 416: 408: 407: 406: 405: 388: 387: 386: 385: 346: 344: 343: 338: 276: 275: 241: 206: 204: 203: 198: 156: 154: 153: 148: 125: 124: 102: 100: 99: 94: 71: 2834: 2833: 2829: 2828: 2827: 2825: 2824: 2823: 2809: 2808: 2800: 2795: 2794: 2754: 2753: 2749: 2742: 2713: 2712: 2708: 2656: 2655: 2651: 2641: 2639: 2637:www.bilevel.org 2631: 2630: 2626: 2596: 2595: 2591: 2558: 2557: 2553: 2546: 2536:10.1007/b101970 2525: 2524: 2520: 2515: 2489: 2484: 2483: 2462: 2457: 2456: 2437: 2436: 2417: 2416: 2397: 2396: 2377: 2376: 2375:objectives and 2357: 2356: 2337: 2336: 2307: 2302: 2291: 2290: 2266: 2261: 2250: 2249: 2219: 2214: 2199: 2194: 2181: 2168: 2163: 2162: 2140: 2125: 2120: 2105: 2100: 2089: 2088: 2066: 2051: 2046: 2031: 2026: 2015: 2014: 1926: 1895: 1861: 1833: 1773: 1772: 1721: 1720: 1678: 1673: 1672: 1626: 1592: 1564: 1505: 1504: 1497: 1472: 1411: 1410: 1331: 1326: 1325: 1275: 1274: 1232: 1227: 1226: 1156: 1155: 1064: 1004: 1003: 997: 977: 953: 944: 931: 919: 910: 878: 850: 844: 772: 771: 737: 736: 714: 709: 708: 687: 682: 681: 662: 661: 642: 641: 622: 621: 602: 601: 572: 567: 556: 555: 531: 526: 515: 514: 484: 479: 464: 459: 446: 433: 428: 427: 397: 392: 377: 372: 355: 354: 267: 210: 209: 159: 158: 116: 111: 110: 40: 39: 33: 17: 12: 11: 5: 2832: 2830: 2822: 2821: 2811: 2810: 2807: 2806: 2799: 2798:External links 2796: 2793: 2792: 2763:(2): 276–295. 2747: 2740: 2706: 2649: 2624: 2589: 2570:(3): 291–306. 2551: 2544: 2517: 2516: 2514: 2511: 2496: 2492: 2469: 2465: 2444: 2424: 2404: 2384: 2364: 2344: 2333: 2332: 2321: 2314: 2310: 2305: 2301: 2298: 2288: 2273: 2269: 2264: 2260: 2257: 2247: 2236: 2233: 2226: 2222: 2217: 2213: 2206: 2202: 2197: 2193: 2188: 2184: 2180: 2175: 2171: 2160: 2147: 2143: 2139: 2132: 2128: 2123: 2119: 2112: 2108: 2103: 2099: 2096: 2086: 2073: 2069: 2065: 2058: 2054: 2049: 2045: 2038: 2034: 2029: 2025: 2022: 2008: 2007: 1995: 1992: 1989: 1986: 1983: 1980: 1977: 1974: 1971: 1968: 1965: 1962: 1959: 1956: 1953: 1950: 1947: 1944: 1941: 1938: 1933: 1929: 1925: 1922: 1919: 1916: 1913: 1910: 1907: 1902: 1898: 1894: 1891: 1888: 1885: 1882: 1879: 1876: 1873: 1868: 1864: 1860: 1857: 1854: 1851: 1848: 1845: 1840: 1836: 1832: 1829: 1826: 1823: 1820: 1817: 1814: 1811: 1808: 1803: 1800: 1797: 1793: 1789: 1786: 1783: 1780: 1770: 1758: 1755: 1752: 1749: 1746: 1743: 1740: 1737: 1734: 1731: 1728: 1708: 1705: 1702: 1699: 1696: 1693: 1690: 1685: 1681: 1666: 1665: 1653: 1650: 1647: 1644: 1641: 1638: 1633: 1629: 1625: 1622: 1619: 1616: 1613: 1610: 1607: 1604: 1599: 1595: 1591: 1588: 1585: 1582: 1579: 1576: 1571: 1567: 1563: 1560: 1557: 1554: 1551: 1548: 1545: 1542: 1535: 1532: 1529: 1526: 1523: 1520: 1517: 1513: 1496: 1493: 1471: 1468: 1463: 1462: 1451: 1448: 1445: 1442: 1439: 1436: 1433: 1430: 1427: 1424: 1421: 1418: 1408: 1397: 1394: 1391: 1388: 1385: 1382: 1379: 1376: 1373: 1370: 1367: 1364: 1361: 1358: 1355: 1352: 1349: 1346: 1343: 1338: 1334: 1323: 1312: 1309: 1306: 1303: 1300: 1297: 1294: 1291: 1288: 1285: 1282: 1262: 1259: 1256: 1253: 1250: 1247: 1244: 1239: 1235: 1220: 1219: 1208: 1205: 1202: 1199: 1196: 1193: 1186: 1183: 1180: 1177: 1174: 1171: 1168: 1164: 1147:the so-called 1145: 1144: 1133: 1130: 1127: 1124: 1121: 1118: 1115: 1112: 1109: 1106: 1103: 1100: 1097: 1094: 1091: 1088: 1085: 1082: 1079: 1076: 1071: 1067: 1063: 1060: 1057: 1054: 1051: 1048: 1045: 1042: 1037: 1034: 1031: 1027: 1023: 1020: 1017: 1014: 1011: 996: 993: 976: 973: 952: 949: 943: 940: 930: 927: 918: 915: 909: 906: 882:transportation 877: 874: 872:respectively. 856:who published 846:Main article: 843: 840: 827: 824: 821: 818: 815: 812: 809: 806: 800: 797: 794: 791: 788: 785: 782: 779: 759: 756: 753: 750: 747: 744: 721: 717: 694: 690: 669: 649: 629: 609: 598: 597: 586: 579: 575: 570: 566: 563: 553: 538: 534: 529: 525: 522: 512: 501: 498: 491: 487: 482: 478: 471: 467: 462: 458: 453: 449: 445: 440: 436: 425: 414: 411: 404: 400: 395: 391: 384: 380: 375: 371: 368: 365: 362: 348: 347: 336: 333: 330: 327: 324: 321: 318: 315: 312: 309: 306: 303: 300: 297: 294: 291: 288: 285: 282: 279: 274: 270: 266: 263: 260: 257: 254: 251: 248: 245: 240: 237: 234: 230: 226: 223: 220: 217: 207: 196: 193: 190: 187: 184: 181: 178: 175: 172: 169: 166: 146: 143: 140: 137: 134: 131: 128: 123: 119: 104: 103: 92: 89: 86: 83: 80: 77: 70: 67: 64: 61: 58: 55: 52: 48: 32: 29: 15: 13: 10: 9: 6: 4: 3: 2: 2831: 2820: 2817: 2816: 2814: 2805: 2802: 2801: 2797: 2788: 2784: 2780: 2776: 2771: 2766: 2762: 2758: 2751: 2748: 2743: 2737: 2733: 2729: 2725: 2721: 2717: 2710: 2707: 2702: 2698: 2694: 2690: 2685: 2680: 2676: 2672: 2668: 2664: 2660: 2653: 2650: 2638: 2634: 2628: 2625: 2620: 2616: 2612: 2608: 2605:(2): 87–107. 2604: 2600: 2593: 2590: 2585: 2581: 2577: 2573: 2569: 2565: 2561: 2560:Vicente, L.N. 2555: 2552: 2547: 2545:1-4020-0631-4 2541: 2537: 2533: 2529: 2522: 2519: 2512: 2510: 2494: 2490: 2467: 2463: 2442: 2422: 2402: 2382: 2362: 2342: 2319: 2312: 2308: 2303: 2299: 2296: 2289: 2271: 2267: 2262: 2258: 2255: 2248: 2234: 2224: 2220: 2215: 2211: 2204: 2200: 2195: 2191: 2186: 2182: 2178: 2173: 2169: 2161: 2145: 2141: 2130: 2126: 2121: 2117: 2110: 2106: 2101: 2097: 2094: 2087: 2071: 2067: 2056: 2052: 2047: 2043: 2036: 2032: 2027: 2023: 2020: 2013: 2012: 2011: 1987: 1984: 1981: 1978: 1975: 1972: 1969: 1963: 1960: 1957: 1954: 1951: 1945: 1942: 1939: 1931: 1927: 1923: 1914: 1911: 1908: 1900: 1896: 1892: 1889: 1886: 1880: 1877: 1874: 1866: 1862: 1858: 1852: 1849: 1846: 1838: 1834: 1827: 1821: 1818: 1815: 1809: 1801: 1798: 1795: 1787: 1784: 1781: 1778: 1771: 1753: 1750: 1747: 1744: 1741: 1738: 1735: 1729: 1726: 1706: 1703: 1697: 1694: 1691: 1683: 1679: 1671: 1670: 1669: 1645: 1642: 1639: 1631: 1627: 1623: 1620: 1617: 1611: 1608: 1605: 1597: 1593: 1589: 1583: 1580: 1577: 1569: 1565: 1558: 1552: 1549: 1546: 1540: 1533: 1530: 1527: 1524: 1521: 1518: 1515: 1503: 1502: 1501: 1494: 1492: 1489: 1485: 1481: 1477: 1476:non-linearity 1469: 1467: 1449: 1443: 1437: 1434: 1428: 1425: 1422: 1416: 1409: 1392: 1389: 1386: 1383: 1380: 1377: 1374: 1368: 1365: 1362: 1359: 1356: 1350: 1347: 1344: 1336: 1332: 1324: 1307: 1304: 1301: 1298: 1295: 1292: 1289: 1283: 1280: 1260: 1257: 1251: 1248: 1245: 1237: 1233: 1225: 1224: 1223: 1203: 1200: 1197: 1191: 1184: 1181: 1178: 1175: 1172: 1169: 1166: 1154: 1153: 1152: 1150: 1125: 1122: 1119: 1116: 1113: 1110: 1107: 1101: 1098: 1095: 1092: 1089: 1083: 1080: 1077: 1069: 1065: 1061: 1055: 1052: 1049: 1043: 1035: 1032: 1029: 1021: 1015: 1009: 1002: 1001: 1000: 999:Denoting by 994: 992: 990: 986: 982: 974: 972: 970: 966: 962: 958: 950: 948: 941: 939: 936: 928: 926: 924: 916: 914: 907: 905: 903: 899: 895: 891: 887: 883: 875: 873: 871: 867: 861: 859: 855: 849: 841: 839: 822: 819: 813: 807: 804: 798: 795: 792: 786: 780: 757: 754: 748: 742: 719: 715: 692: 688: 667: 647: 627: 607: 584: 577: 573: 568: 564: 561: 554: 536: 532: 527: 523: 520: 513: 499: 489: 485: 480: 476: 469: 465: 460: 456: 451: 447: 443: 438: 434: 426: 412: 402: 398: 393: 389: 382: 378: 373: 369: 366: 363: 360: 353: 352: 351: 328: 325: 322: 319: 316: 313: 310: 304: 301: 298: 295: 292: 286: 283: 280: 272: 268: 264: 258: 255: 252: 246: 238: 235: 232: 224: 221: 218: 215: 208: 191: 188: 185: 182: 179: 176: 173: 167: 164: 144: 141: 135: 132: 129: 121: 117: 109: 108: 107: 87: 84: 81: 75: 68: 65: 62: 59: 56: 53: 50: 38: 37: 36: 30: 28: 25: 21: 2760: 2756: 2750: 2723: 2709: 2666: 2662: 2652: 2640:. Retrieved 2636: 2627: 2602: 2598: 2592: 2567: 2563: 2554: 2527: 2521: 2334: 2009: 1668:subject to: 1667: 1498: 1480:discreteness 1473: 1464: 1222:subject to: 1221: 1148: 1146: 998: 978: 954: 945: 932: 920: 911: 879: 876:Applications 869: 865: 862: 851: 599: 349: 106:subject to: 105: 34: 24:optimization 19: 18: 898:engineering 2770:1705.06270 2669:: 107916. 2513:References 989:relaxation 2701:245625445 2642:6 October 2300:⊆ 2259:⊆ 2232:→ 2212:× 2138:→ 2118:× 2064:→ 2044:× 1982:… 1964:∈ 1952:≤ 1890:… 1799:∈ 1788:⁡ 1782:∈ 1748:… 1730:∈ 1704:≤ 1621:… 1531:∈ 1519:∈ 1491:produce. 1488:convexity 1438:ϕ 1435:≤ 1387:… 1369:∈ 1357:≤ 1302:… 1284:∈ 1258:≤ 1182:∈ 1170:∈ 1120:… 1102:∈ 1090:≤ 1033:∈ 1010:ϕ 886:economics 820:≤ 805:− 793:≤ 565:⊆ 524:⊆ 497:→ 477:× 410:→ 390:× 323:… 305:∈ 293:≤ 236:∈ 225:⁡ 219:∈ 186:… 168:∈ 142:≤ 66:∈ 54:∈ 2813:Category 2693:36568877 2619:15686735 2584:26639305 894:business 2787:4626744 2684:9758963 2785:  2738:  2699:  2691:  2681:  2617:  2582:  2542:  2010:where 1719:, for 1486:, non- 1482:, non- 1273:, for 802:  350:where 157:, for 2783:S2CID 2765:arXiv 2697:S2CID 2615:S2CID 2580:S2CID 2736:ISBN 2689:PMID 2644:2013 2540:ISBN 2482:and 969:GAMS 923:MPEC 707:and 2775:doi 2728:doi 2679:PMC 2671:doi 2667:165 2607:doi 2599:4OR 2572:doi 2532:doi 1792:min 1785:arg 1512:min 1163:min 1026:min 965:EMP 868:or 229:min 222:arg 47:min 2815:: 2781:. 2773:. 2761:22 2759:. 2734:. 2695:. 2687:. 2677:. 2665:. 2661:. 2635:. 2613:. 2601:. 2578:. 2566:. 2538:. 1478:, 971:. 900:, 896:, 892:, 888:, 884:, 2789:. 2777:: 2767:: 2744:. 2730:: 2703:. 2673:: 2646:. 2621:. 2609:: 2603:3 2586:. 2574:: 2568:5 2548:. 2534:: 2495:j 2491:g 2468:i 2464:G 2443:y 2423:x 2403:q 2383:f 2363:p 2343:F 2320:. 2313:y 2309:n 2304:R 2297:Y 2272:x 2268:n 2263:R 2256:X 2235:R 2225:y 2221:n 2216:R 2205:x 2201:n 2196:R 2192:: 2187:j 2183:g 2179:, 2174:i 2170:G 2146:q 2142:R 2131:y 2127:n 2122:R 2111:x 2107:n 2102:R 2098:: 2095:f 2072:p 2068:R 2057:y 2053:n 2048:R 2037:x 2033:n 2028:R 2024:: 2021:F 1994:} 1991:} 1988:J 1985:, 1979:, 1976:2 1973:, 1970:1 1967:{ 1961:j 1958:, 1955:0 1949:) 1946:z 1943:, 1940:x 1937:( 1932:j 1928:g 1924:: 1921:) 1918:) 1915:z 1912:, 1909:x 1906:( 1901:q 1897:f 1893:, 1887:, 1884:) 1881:z 1878:, 1875:x 1872:( 1867:2 1863:f 1859:, 1856:) 1853:z 1850:, 1847:x 1844:( 1839:1 1835:f 1831:( 1828:= 1825:) 1822:z 1819:, 1816:x 1813:( 1810:f 1807:{ 1802:Y 1796:z 1779:y 1769:; 1757:} 1754:I 1751:, 1745:, 1742:2 1739:, 1736:1 1733:{ 1727:i 1707:0 1701:) 1698:y 1695:, 1692:x 1689:( 1684:i 1680:G 1652:) 1649:) 1646:y 1643:, 1640:x 1637:( 1632:p 1628:F 1624:, 1618:, 1615:) 1612:y 1609:, 1606:x 1603:( 1598:2 1594:F 1590:, 1587:) 1584:y 1581:, 1578:x 1575:( 1570:1 1566:F 1562:( 1559:= 1556:) 1553:y 1550:, 1547:x 1544:( 1541:F 1534:Y 1528:y 1525:, 1522:X 1516:x 1450:. 1447:) 1444:x 1441:( 1432:) 1429:y 1426:, 1423:x 1420:( 1417:f 1396:} 1393:J 1390:, 1384:, 1381:2 1378:, 1375:1 1372:{ 1366:j 1363:, 1360:0 1354:) 1351:y 1348:, 1345:x 1342:( 1337:j 1333:g 1311:} 1308:I 1305:, 1299:, 1296:2 1293:, 1290:1 1287:{ 1281:i 1261:0 1255:) 1252:y 1249:, 1246:x 1243:( 1238:i 1234:G 1207:) 1204:y 1201:, 1198:x 1195:( 1192:F 1185:Y 1179:y 1176:, 1173:X 1167:x 1132:} 1129:} 1126:J 1123:, 1117:, 1114:2 1111:, 1108:1 1105:{ 1099:j 1096:, 1093:0 1087:) 1084:z 1081:, 1078:x 1075:( 1070:j 1066:g 1062:: 1059:) 1056:z 1053:, 1050:x 1047:( 1044:f 1041:{ 1036:Y 1030:z 1022:= 1019:) 1016:x 1013:( 826:} 823:0 817:) 814:x 811:( 808:h 799:, 796:0 790:) 787:x 784:( 781:h 778:{ 758:0 755:= 752:) 749:x 746:( 743:h 720:j 716:g 693:i 689:G 668:y 648:x 628:f 608:F 585:. 578:y 574:n 569:R 562:Y 537:x 533:n 528:R 521:X 500:R 490:y 486:n 481:R 470:x 466:n 461:R 457:: 452:j 448:g 444:, 439:i 435:G 413:R 403:y 399:n 394:R 383:x 379:n 374:R 370:: 367:f 364:, 361:F 335:} 332:} 329:J 326:, 320:, 317:2 314:, 311:1 308:{ 302:j 299:, 296:0 290:) 287:z 284:, 281:x 278:( 273:j 269:g 265:: 262:) 259:z 256:, 253:x 250:( 247:f 244:{ 239:Y 233:z 216:y 195:} 192:I 189:, 183:, 180:2 177:, 174:1 171:{ 165:i 145:0 139:) 136:y 133:, 130:x 127:( 122:i 118:G 91:) 88:y 85:, 82:x 79:( 76:F 69:Y 63:y 60:, 57:X 51:x

Index

optimization
Stackelberg competition
Heinrich Freiherr von Stackelberg
Market Structure and Equilibrium
transportation
economics
decision science
business
engineering
environmental economics
MPEC
strategic offensive
Extended Mathematical Programming (EMP)
Mathematical Programs with Equilibrium Constraints
EMP
GAMS
Slater's condition
Karush-Kuhn-Tucker conditions
relaxation
non-linearity
discreteness
differentiability
convexity
doi
10.1007/b101970
ISBN
1-4020-0631-4
Vicente, L.N.
doi
10.1007/BF01096458

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.

↑