1206:
730:
1201:{\displaystyle \mathbf {g} \left(\mathbf {x} \right)={\begin{bmatrix}g_{1}\left(\mathbf {x} \right)\\\vdots \\g_{i}\left(\mathbf {x} \right)\\\vdots \\g_{m}\left(\mathbf {x} \right)\end{bmatrix}},\quad \mathbf {h} \left(\mathbf {x} \right)={\begin{bmatrix}h_{1}\left(\mathbf {x} \right)\\\vdots \\h_{j}\left(\mathbf {x} \right)\\\vdots \\h_{\ell }\left(\mathbf {x} \right)\end{bmatrix}},\quad \mathbf {\mu } ={\begin{bmatrix}\mu _{1}\\\vdots \\\mu _{i}\\\vdots \\\mu _{m}\\\end{bmatrix}},\quad \mathbf {\lambda } ={\begin{bmatrix}\lambda _{1}\\\vdots \\\lambda _{j}\\\vdots \\\lambda _{\ell }\end{bmatrix}}\quad {\text{and}}\quad \mathbf {\alpha } ={\begin{bmatrix}\mu \\\lambda \end{bmatrix}}.}
2338:
721:
487:
8060:
66:, which allows only equality constraints. Similar to the Lagrange approach, the constrained maximization (minimization) problem is rewritten as a Lagrange function whose optimal point is a global maximum or minimum over the domain of the choice variables and a global minimum (maximum) over the multipliers. The Karush–Kuhn–Tucker theorem is sometimes referred to as the saddle-point theorem.
9521:
716:{\displaystyle {\mathcal {L}}(\mathbf {x} ,\mathbf {\mu } ,\mathbf {\lambda } )=f(\mathbf {x} )+\mathbf {\mu } ^{\top }\mathbf {g} (\mathbf {x} )+\mathbf {\lambda } ^{\top }\mathbf {h} (\mathbf {x} )=L(\mathbf {x} ,\mathbf {\alpha } )=f(\mathbf {x} )+\mathbf {\alpha } ^{\top }{\begin{pmatrix}\mathbf {g} (\mathbf {x} )\\\mathbf {h} (\mathbf {x} )\end{pmatrix}}}
5535:. For the constrained case, the situation is more complicated, and one can state a variety of (increasingly complicated) "regularity" conditions under which a constrained minimizer also satisfies the KKT conditions. Some common examples for conditions that guarantee this are tabulated in the following, with the LICQ the most frequently used one:
7685:
6463:
In some cases, the necessary conditions are also sufficient for optimality. In general, the necessary conditions are not sufficient for optimality and additional information is required, such as the Second Order
Sufficient Conditions (SOSC). For smooth functions, SOSC involve the second derivatives,
9255:
5200:
5044:
2756:
2549:
8215:
8055:{\displaystyle {\begin{aligned}&\left({\frac {{\text{d}}R}{{\text{d}}Q}}\right)(1+\mu )-\mu \left({\frac {{\text{d}}C}{{\text{d}}Q}}\right)\leq 0,\\&Q\geq 0,\\&Q\left=0,\\&R(Q)-C(Q)-G_{\min }\geq 0,\\&\mu \geq 0,\\&\mu =0.\end{aligned}}}
1976:
9009:
6821:
4883:
1740:
4643:
9516:{\displaystyle {\begin{aligned}&\mu _{0}\,\nabla f(x^{*})+\sum _{i=1}^{m}\mu _{i}\,\nabla g_{i}(x^{*})+\sum _{j=1}^{\ell }\lambda _{j}\,\nabla h_{j}(x^{*})=0,\\&\mu _{j}g_{i}(x^{*})=0,\quad i=1,\dots ,m,\end{aligned}}}
7690:
4812:
4741:
4482:
4580:
6174:
5080:
4924:
2585:
6926:
2381:
1587:
7266:
6252:
2141:
2091:
3167:
7416:
5397:
2840:
1827:
1270:
2041:
8858:
2919:
1635:
8664:
9260:
2987:
7549:, then the problem is a meaningful one if the revenue function levels off so it eventually is less steep than the cost function. The problem expressed in the previously given minimization form is
7440:
the KKT approach is used in theoretical models in order to obtain qualitative results. For example, consider a firm that maximizes its sales revenue subject to a minimum profit constraint. Letting
3073:
5335:
5252:
1777:
1866:
1313:
5791:
2332:
8123:
5299:
1373:
7092:
9208:
8576:
5853:
8774:
3807:
3745:
3548:
3481:
3346:
1879:
1343:
257:
6656:
436:
177:
2275:
2187:
8466:
8416:
8375:
8294:
8256:
7644:
3601:
3422:
3287:
8888:
8692:
8494:
6664:
375:
222:
5729:
4358:
4240:
4191:
4145:
1989:
solution can be derived analytically. In general, many optimization algorithms can be interpreted as methods for numerically solving the KKT system of equations and inequalities.
1668:
1402:
1474:
5533:
4407:
4312:
4099:
5434:
of the original, constrained optimization problem (assuming one exists) has to satisfy the above KKT conditions. This is similar to asking under what conditions the minimizer
290:
9247:
3683:
1436:
126:
10034:
Andreani, R.; Martínez, J. M.; Schuverdt, M. L. (2005). "On the relation between constant positive linear dependence condition and quasinormality constraint qualification".
9157:
6432:
6096:
6056:
7164:
1512:
6023:
1538:
3967:
3905:
6390:
4817:
7543:
9038:
7674:
7131:
6955:
6301:
4000:
8115:
1673:
9092:
9065:
7583:
7293:
6547:
6516:
6328:
5996:
5958:
5931:
5893:
5694:
5656:
5610:
5583:
5459:
5432:
4056:
4029:
3934:
3651:
3376:
3241:
2214:
480:
8334:
8314:
7516:
7487:
5488:
5075:
4919:
2580:
2376:
8089:
3195:
9112:
8883:
7458:
6575:
6485:
6348:
4260:
3879:
3859:
3836:
3621:
460:
310:
4585:
4746:
3809:
must close the duality gap, thus they must constitute a Nash equilibrium (since neither side could do any better), thus they satisfy the KKT conditions.
4648:
5906:
For each subset of gradients of active inequality constraints and gradients of equality constraints, if the subset of vectors is linearly dependent at
4424:
1985:
The system of equations and inequalities corresponding to the KKT conditions is usually not solved directly, except in the few special cases where a
5195:{\displaystyle \partial f(x^{*})+D\mathbf {g} (x^{*})^{\top }{\boldsymbol {\mu }}+D\mathbf {h} (x^{*})^{\top }{\boldsymbol {\lambda }}=\mathbf {0} }
5039:{\displaystyle \partial f(x^{*})-D\mathbf {g} (x^{*})^{\top }{\boldsymbol {\mu }}-D\mathbf {h} (x^{*})^{\top }{\boldsymbol {\lambda }}=\mathbf {0} }
4487:
2751:{\displaystyle -\partial f(x^{*})+\sum _{j=1}^{\ell }\lambda _{j}\partial h_{j}(x^{*})+\sum _{i=1}^{m}\mu _{i}\partial g_{i}(x^{*})\ni \mathbf {0} }
2544:{\displaystyle \partial f(x^{*})+\sum _{j=1}^{\ell }\lambda _{j}\partial h_{j}(x^{*})+\sum _{i=1}^{m}\mu _{i}\partial g_{i}(x^{*})\ni \mathbf {0} }
9094:
is interpreted as a resource constraint, the coefficients tell you how much increasing a resource will increase the optimum value of our function
6584:
It was shown by Martin in 1985 that the broader class of functions in which KKT conditions guarantees global optimality are the so-called Type 1
6101:
6832:
1543:
5868:
For each subset of the gradients of the active inequality constraints and the gradients of the equality constraints the rank at a vicinity of
7172:
3197:, i.e., when there are no inequality constraints, the KKT conditions turn into the Lagrange conditions, and the KKT multipliers are called
6179:
2096:
2046:
77:, who first published the conditions in 1951. Later scholars discovered that the necessary conditions for this problem had been stated by
3081:
9860:
7298:
5346:
2765:
1782:
1225:
9537:
The KKT conditions belong to a wider class of the first-order necessary conditions (FONC), which allow for non-smooth functions using
2003:
8786:
2846:
1592:
8589:
2930:
5971:
If the gradients of the active inequality constraints and the gradients of the equality constraints are linearly dependent at
5933:
with non-negative scalars associated with the inequality constraints, then it remains linearly dependent in a neighborhood of
10184:
2998:
5310:
90:
5211:
1745:
8210:{\displaystyle {\frac {{\text{d}}R}{{\text{d}}Q}}={\frac {\mu }{1+\mu }}\left({\frac {{\text{d}}C}{{\text{d}}Q}}\right).}
44:
1832:
1279:
10243:
9835:
5734:
3289:
to the dual problem, such that together they satisfy the KKT conditions, then the problem pair has strong duality, and
2280:
9683:"A contextualized historical analysis of the Kuhn-Tucker theorem in nonlinear programming: the impact of World War II"
9530:. This optimality conditions holds without constraint qualifications and it is equivalent to the optimality condition
5258:
1971:{\displaystyle \mathbf {\Gamma } =\left\{\mathbf {x} \in \mathbf {X} :g_{i}(\mathbf {x} )\leq 0,i=1,\ldots ,m\right\}}
1348:
10207:
10165:
10146:
10121:
10095:
10072:
9925:
9896:
9795:
9766:
9735:
9611:
6963:
9162:
8504:
5796:
8702:
3753:
3691:
3494:
3427:
3292:
1318:
232:
10248:
6608:
4418:
8117:
and hence the third condition implies that the first condition holds with equality. Solving that equality gives
6455:
In practice weaker constraint qualifications are preferred since they apply to a broader selection of problems.
384:
135:
9004:{\displaystyle \{a\in \mathbb {R} ^{m}\mid {\text{for some }}x\in X,g_{i}(x)\leq a_{i},i\in \{1,\ldots ,m\}\}.}
6816:{\displaystyle L(x,\lambda ,\mu )=f(x)+\sum _{i=1}^{m}\mu _{i}g_{i}(x)+\sum _{j=1}^{\ell }\lambda _{j}h_{j}(x)}
2223:
2150:
8436:
8383:
8342:
8261:
8223:
7592:
7166:) are applied. The solution is a strict constrained local minimum in the case the inequality is also strict.
3560:
3381:
3246:
1979:
8672:
8474:
323:
183:
9115:
5699:
4317:
4199:
4150:
4104:
2220:
and the optimization problem satisfies some regularity conditions (see below), then there exist constants
9819:
8430:
If we reconsider the optimization problem as a maximization problem with constant inequality constraints:
1644:
1378:
1441:
482:
respectively. Corresponding to the constrained optimization problem one can form the
Lagrangian function
9917:
9827:
9787:
7518:
be production costs with a positive first derivative and with a non-negative value at zero output, and
5493:
4363:
4268:
4065:
52:
266:
9213:
5627:
The gradients of the active inequality constraints and the gradients of the equality constraints are
3656:
1410:
100:
62:
Allowing inequality constraints, the KKT approach to nonlinear programming generalizes the method of
20:
9129:
6395:
6061:
6028:
7136:
4878:{\displaystyle {\boldsymbol {\lambda }}=\left(\lambda _{1},\ldots ,\lambda _{\ell }\right)^{\top }}
1479:
439:
378:
6001:
1521:
10106:
3939:
3884:
6353:
3747:
satisfies the KKT conditions, thus is a Nash equilibrium, and therefore closes the duality gap.
10138:
10132:
9758:
9752:
7521:
7437:
3813:
1986:
1735:{\displaystyle \mathbf {\alpha } ^{\ast }={\begin{bmatrix}\mu ^{*}\\\lambda ^{*}\end{bmatrix}}}
10195:
9016:
7650:
7100:
10083:
9867:
9723:
9582:
9571:
9527:
6934:
6599:
6554:
6273:
5860:
4409:, since the particle is not on the boundary, the one-sided constraint force cannot activate.
3972:
1873:
1638:
48:
40:
8094:
9935:
9845:
9805:
9708:
9647:
9070:
9043:
7556:
7271:
6525:
6494:
6306:
5974:
5936:
5909:
5871:
5672:
5634:
5588:
5561:
5437:
5410:
4034:
4007:
3912:
3629:
3354:
3219:
3198:
2192:
465:
63:
9114:. This interpretation is especially important in economics and is used, for instance, in
8319:
8299:
7492:
7463:
5464:
5051:
4895:
2556:
2352:
8:
9678:
9555:
8419:
8068:
7431:
6267:
5628:
3174:
7489:
be sales revenue with a positive first derivative and with a zero value at zero output,
10228:
10051:
9966:
9097:
8868:
7546:
7443:
6560:
6470:
6333:
4245:
4031:
are two-sided constraint surfaces. The particle is allowed to move only on the surface
3864:
3844:
3821:
3606:
1998:
445:
313:
295:
8336:
is positive and so the revenue-maximizing firm operates at a level of output at which
10203:
10180:
10161:
10142:
10117:
10091:
10068:
10055:
9970:
9921:
9892:
9884:
9831:
9791:
9762:
9731:
9607:
9565:
4638:{\displaystyle \mathbf {h} (x):\,\!\mathbb {R} ^{n}\rightarrow \mathbb {R} ^{\ell }}
10223:
10043:
9997:
9958:
9694:
9635:
9631:
9550:
8337:
6488:
6258:
4807:{\displaystyle {\boldsymbol {\mu }}=\left(\mu _{1},\ldots ,\mu _{m}\right)^{\top }}
3551:
74:
9662:
8296:
are strictly positive, this inequality along with the non-negativity condition on
4736:{\displaystyle \mathbf {h} (x)=\left(h_{1}(x),\ldots ,h_{\ell }(x)\right)^{\top }}
2334:, called KKT multipliers, such that the following four groups of conditions hold:
9931:
9841:
9801:
9704:
9643:
7268:, the third order Taylor expansion of the Lagrangian should be used to verify if
6658:
found in the above section is a constrained local minimum if for the
Lagrangian,
6578:
6550:
6519:
6467:
The necessary conditions are sufficient for optimality if the objective function
5613:
1515:
4477:{\displaystyle \mathbf {g} (x):\,\!\mathbb {R} ^{n}\rightarrow \mathbb {R} ^{m}}
2337:
9627:
9577:
6586:
3685:: equilibrium is equivalent to primal feasibility and complementary slackness.
78:
70:
10047:
9664:
Minima of
Functions of Several Variables with Inequalities as Side Constraints
4575:{\displaystyle \mathbf {g} (x)=\left(g_{1}(x),\ldots ,g_{m}(x)\right)^{\top }}
10237:
9538:
8378:
7419:
3861:
is a potential field that the particle is minimizing. The force generated by
2217:
2144:
3814:
Interpretation: KKT conditions as balancing constraint-forces in state space
10002:
9985:
9699:
9682:
9561:
8418:— a result that is of interest because it contrasts with the behavior of a
6169:{\displaystyle \lambda _{j}\neq 0\Rightarrow \lambda _{j}h_{j}(x_{k})>0}
3818:
The primal problem can be interpreted as moving a particle in the space of
1273:
9667:(M.Sc. thesis). Dept. of Mathematics, Univ. of Chicago, Chicago, Illinois.
6921:{\displaystyle s^{T}\nabla _{xx}^{2}L(x^{*},\lambda ^{*},\mu ^{*})s\geq 0}
3936:
are one-sided constraint surfaces. The particle is allowed to move inside
3351:(necessity) If the problem pair has strong duality, then for any solution
1582:{\displaystyle \mathbf {x} _{0}\in \operatorname {relint} (\mathbf {X} )}
56:
9962:
5402:
260:
7261:{\displaystyle s^{T}\nabla _{xx}^{2}L(x^{*},\lambda ^{*},\mu ^{*})s=0}
5669:
The gradients of the equality constraints are linearly independent at
4242:
forces must be one-sided, pointing inwards into the feasible set for
442:
functions. The numbers of inequalities and equalities are denoted by
6247:{\displaystyle \mu _{i}\neq 0\Rightarrow \mu _{i}g_{i}(x_{k})>0.}
2136:{\displaystyle h_{j}\colon \mathbb {R} ^{n}\rightarrow \mathbb {R} }
2086:{\displaystyle g_{i}\colon \mathbb {R} ^{n}\rightarrow \mathbb {R} }
6602:
problems, a second order sufficient condition is given as follows.
3162:{\displaystyle \mu _{i}g_{i}(x^{*})=0,{\text{ for }}i=1,\ldots ,m.}
7411:{\displaystyle f(x_{1},x_{2})=(x_{2}-x_{1}^{2})(x_{2}-3x_{1}^{2})}
5392:{\displaystyle {\boldsymbol {\mu }}^{\top }\mathbf {g} (x^{*})=0.}
2835:{\displaystyle h_{j}(x^{*})=0,{\text{ for }}j=1,\ldots ,\ell \,\!}
1822:{\displaystyle (\mathbf {x} ^{\ast },\mathbf {\alpha } ^{\ast })}
1265:{\displaystyle (\mathbf {x} ^{\ast },\mathbf {\alpha } ^{\ast })}
317:
3078:
The last condition is sometimes written in the equivalent form:
2036:{\displaystyle f\colon \mathbb {R} ^{n}\rightarrow \mathbb {R} }
1670:
for the above optimization problem there is associated a vector
6581:, the necessary conditions are also sufficient for optimality.
1978:, the proof of the Karush–Kuhn–Tucker theorem makes use of the
9858:
9642:. Berkeley: University of California Press. pp. 481–492.
8853:{\displaystyle j\in \{1,\ldots ,\ell \},i\in \{1,\ldots ,m\},}
2914:{\displaystyle g_{i}(x^{*})\leq 0,{\text{ for }}i=1,\ldots ,m}
1630:{\displaystyle \mathbf {g} (\mathbf {x} _{0})<\mathbf {0} }
9861:"Karush-Kuhn-Tucker conditions, Optimization 10-725 / 36-725"
5900:
Constant positive linear dependence constraint qualification
8659:{\displaystyle V(a_{1},\ldots ,a_{n})=\sup \limits _{x}f(x)}
3550:
to satisfy the KKT conditions is equivalent to them being a
10196:"Inequality Constraints and the Theorem of Kuhn and Tucker"
10224:
Karush–Kuhn–Tucker conditions with derivation and examples
10202:. New York: Cambridge University Press. pp. 145–171.
2982:{\displaystyle \mu _{i}\geq 0,{\text{ for }}i=1,\ldots ,m}
10033:
8422:
firm, which operates at a level at which they are equal.
5490:
in an unconstrained problem has to satisfy the condition
1404:
is an optimal vector for the above optimization problem.
89:
Consider the following nonlinear optimization problem in
10081:
9606:. Englewood Cliffs, NJ: Prentice-Hall. pp. 19–20.
2341:
Inequality constraint diagram for optimization problems
9040:
is the rate at which the value function increases as
3068:{\displaystyle \sum _{i=1}^{m}\mu _{i}g_{i}(x^{*})=0.}
1697:
1174:
1091:
1011:
892:
760:
666:
9258:
9216:
9165:
9132:
9100:
9073:
9046:
9019:
8891:
8871:
8789:
8705:
8675:
8592:
8507:
8477:
8439:
8386:
8345:
8322:
8302:
8264:
8226:
8126:
8097:
8091:
would violate the minimum profit constraint, we have
8071:
7688:
7653:
7595:
7559:
7524:
7495:
7466:
7446:
7301:
7274:
7175:
7139:
7103:
6966:
6937:
6835:
6667:
6611:
6593:
6563:
6528:
6497:
6473:
6398:
6356:
6336:
6309:
6276:
6182:
6104:
6064:
6031:
6004:
5977:
5939:
5912:
5874:
5799:
5737:
5702:
5675:
5637:
5591:
5564:
5496:
5467:
5440:
5413:
5349:
5330:{\displaystyle {\boldsymbol {\mu }}\geq \mathbf {0} }
5313:
5261:
5214:
5083:
5054:
4927:
4898:
4820:
4749:
4651:
4588:
4490:
4427:
4366:
4320:
4271:
4248:
4202:
4153:
4107:
4068:
4037:
4010:
3975:
3942:
3915:
3887:
3867:
3847:
3824:
3756:
3694:
3659:
3632:
3609:
3563:
3497:
3430:
3384:
3357:
3295:
3249:
3222:
3177:
3084:
3001:
2933:
2849:
2768:
2588:
2559:
2384:
2355:
2283:
2226:
2195:
2153:
2099:
2049:
2006:
1882:
1835:
1785:
1748:
1676:
1647:
1595:
1546:
1524:
1482:
1444:
1413:
1381:
1351:
1321:
1282:
1228:
733:
490:
468:
448:
387:
326:
298:
269:
235:
186:
138:
103:
9568:
to problems that contain "greater-than" constraints.
7133:
corresponding to strict complementarity (i.e. where
5403:
Regularity conditions (or constraint qualifications)
5247:{\displaystyle \mathbf {g} (x^{*})\leq \mathbf {0} }
3838:, and subjecting it to three kinds of force fields:
3623:: equilibrium is equivalent to primal stationarity.
3348:
is a solution pair to the primal and dual problems.
1772:{\displaystyle \mathbf {\mu } ^{*}\geq \mathbf {0} }
9891:(2 ed.). Athena Scientific. pp. 329–330.
9730:. New York: John Wiley & Sons. pp. 39–44.
7460:be the quantity of output produced (to be chosen),
4885:. Then the necessary conditions can be written as:
9515:
9241:
9202:
9151:
9106:
9086:
9059:
9032:
9003:
8877:
8852:
8768:
8686:
8658:
8570:
8488:
8460:
8410:
8369:
8328:
8308:
8288:
8250:
8209:
8109:
8083:
8054:
7668:
7638:
7577:
7537:
7510:
7481:
7452:
7410:
7287:
7260:
7158:
7125:
7086:
6949:
6920:
6815:
6650:
6569:
6541:
6510:
6479:
6426:
6384:
6342:
6322:
6295:
6246:
6168:
6090:
6050:
6017:
5990:
5952:
5925:
5887:
5847:
5785:
5723:
5688:
5650:
5604:
5577:
5527:
5482:
5453:
5426:
5391:
5329:
5293:
5246:
5194:
5069:
5038:
4913:
4877:
4806:
4735:
4637:
4574:
4476:
4401:
4352:
4306:
4254:
4234:
4196:Dual feasibility additionally states that all the
4185:
4139:
4093:
4050:
4023:
3994:
3961:
3928:
3899:
3873:
3853:
3830:
3801:
3739:
3677:
3645:
3615:
3595:
3542:
3475:
3416:
3370:
3340:
3281:
3235:
3189:
3161:
3067:
2981:
2913:
2834:
2750:
2574:
2543:
2370:
2326:
2269:
2208:
2181:
2135:
2085:
2035:
1970:
1861:{\displaystyle L(\mathbf {x} ,\mathbf {\alpha } )}
1860:
1821:
1771:
1734:
1662:
1629:
1581:
1532:
1506:
1468:
1430:
1396:
1367:
1337:
1308:{\displaystyle L(\mathbf {x} ,\mathbf {\alpha } )}
1307:
1264:
1200:
715:
474:
454:
430:
369:
304:
284:
251:
216:
171:
120:
9949:Martin, D. H. (1985). "The Essence of Invexity".
9883:
5786:{\displaystyle \nabla g_{i}(x^{*})^{\top }d<0}
4607:
4446:
2831:
2327:{\displaystyle \lambda _{j}\ (j=1,\ldots ,\ell )}
84:
10235:
10116:. Cambridge University Press. pp. 241–249.
10104:
10082:Boltyanski, V.; Martini, H.; Soltan, V. (1998).
9911:
9781:
8034:
7957:
7601:
7530:
5294:{\displaystyle \mathbf {h} (x^{*})=\mathbf {0} }
1368:{\displaystyle \mathbf {\mu } \geq \mathbf {0} }
10036:Journal of Optimization Theory and Applications
7097:where only those active inequality constraints
7087:{\displaystyle \left^{T}s=0_{\mathbb {R} ^{2}}}
5663:Mangasarian-Fromovitz constraint qualification
4062:Primal stationarity states that the "force" of
69:The KKT conditions were originally named after
10156:Rau, Nicholas (1981). "Lagrange Multipliers".
9724:"Saddle-point Property of Lagrangian Function"
9203:{\displaystyle (\mu _{0},\mu ,\lambda )\neq 0}
8571:{\displaystyle g_{i}(x)\leq a_{i},h_{j}(x)=0.}
6577:of a minimization problem is a differentiable
6487:of a maximization problem is a differentiable
5848:{\displaystyle \nabla h_{j}(x^{*})^{\top }d=0}
4101:is exactly balanced by a linear sum of forces
10174:
10018:Fundamental Methods of Mathematical Economics
8769:{\displaystyle g_{i}(x)\leq a_{i},h_{j}(x)=0}
5621:Linear independence constraint qualification
4417:The necessary conditions can be written with
3802:{\displaystyle x^{*},(\mu ^{*},\lambda ^{*})}
3740:{\displaystyle x^{*},(\mu ^{*},\lambda ^{*})}
3543:{\displaystyle x^{*},(\mu ^{*},\lambda ^{*})}
3476:{\displaystyle x^{*},(\mu ^{*},\lambda ^{*})}
3341:{\displaystyle x^{*},(\mu ^{*},\lambda ^{*})}
1872:Since the idea of this approach is to find a
10229:Examples and Tutorials on the KKT Conditions
9912:Boyd, Stephen; Vandenberghe, Lieven (2004).
9782:Boyd, Stephen; Vandenberghe, Lieven (2004).
8995:
8992:
8974:
8892:
8844:
8826:
8814:
8796:
7545:be the positive minimal acceptable level of
6557:holds. Similarly, if the objective function
6058:for inequalities, then there is no sequence
1338:{\displaystyle \mathbf {x} \in \mathbf {X} }
252:{\displaystyle \mathbf {x} \in \mathbf {X} }
10088:Geometric Methods and Optimization Problems
10065:Nonlinear Programming: Analysis and Methods
9818:
9604:Optimal Control by Mathematical Programming
6651:{\displaystyle x^{*},\lambda ^{*},\mu ^{*}}
259:is the optimization variable chosen from a
10130:
9750:
9626:
9249:the KKT stationarity conditions turn into
8445:
5793:for all active inequality constraints and
431:{\displaystyle h_{j}\ (j=1,\ldots ,\ell )}
172:{\displaystyle g_{i}(\mathbf {x} )\leq 0,}
10001:
9698:
9660:
9564:, for linear problems, which extends the
9395:
9331:
9274:
8903:
7072:
5965:Quasi-normality constraint qualification
5711:
4625:
4610:
4606:
4464:
4449:
4445:
3216:(sufficiency) If there exists a solution
2830:
2270:{\displaystyle \mu _{i}\ (i=1,\ldots ,m)}
2182:{\displaystyle x^{*}\in \mathbb {R} ^{n}}
2169:
2129:
2115:
2079:
2065:
2029:
2015:
272:
10193:
10131:Kemp, Murray C.; Kimura, Yoshio (1978).
9751:Kemp, Murray C.; Kimura, Yoshio (1978).
9715:
9677:
9602:Tabak, Daniel; Kuo, Benjamin C. (1971).
9601:
9013:Given this definition, each coefficient
8461:{\displaystyle {\text{Maximize }}\;f(x)}
7295:is a local minimum. The minimization of
6458:
4412:
2336:
10160:. London: Macmillan. pp. 156–174.
8411:{\displaystyle {\text{d}}C/{\text{d}}Q}
8370:{\displaystyle {\text{d}}R/{\text{d}}Q}
8289:{\displaystyle {\text{d}}C/{\text{d}}Q}
8251:{\displaystyle {\text{d}}R/{\text{d}}Q}
7639:{\displaystyle G_{\min }\leq R(Q)-C(Q)}
5352:
5315:
5180:
5141:
5024:
4985:
4822:
4751:
4265:Complementary slackness states that if
3596:{\displaystyle (\mu ^{*},\lambda ^{*})}
3417:{\displaystyle (\mu ^{*},\lambda ^{*})}
3378:to the primal problem and any solution
3282:{\displaystyle (\mu ^{*},\lambda ^{*})}
1992:
10236:
10134:Introduction to Mathematical Economics
10090:. New York: Springer. pp. 78–92.
10062:
9986:"Invexity and the Kuhn-Tucker Theorem"
9983:
9948:
9754:Introduction to Mathematical Economics
8687:{\displaystyle {\text{subject to }}\ }
8489:{\displaystyle {\text{subject to }}\ }
6957:is a vector satisfying the following,
5861:Constant rank constraint qualification
5407:One can ask whether a minimizer point
370:{\displaystyle g_{i}\ (i=1,\ldots ,m)}
217:{\displaystyle h_{j}(\mathbf {x} )=0.}
10200:A First Course in Optimization Theory
10158:Matrices and Mathematical Programming
9721:
9640:Proceedings of 2nd Berkeley Symposium
9574:a method to solve the KKT conditions.
6439:The strict implications can be shown
5724:{\displaystyle d\in \mathbb {R} ^{n}}
5616:, then no other condition is needed.
4353:{\displaystyle \partial g_{i}(x^{*})}
4235:{\displaystyle \partial g_{i}(x^{*})}
4186:{\displaystyle \partial g_{i}(x^{*})}
4140:{\displaystyle \partial h_{j}(x^{*})}
9859:Geoff Gordon & Ryan Tibshirani.
7418:is a good counter-example, see also
1663:{\displaystyle \mathbf {x} ^{\ast }}
1641:holds). Then with an optimal vector
1397:{\displaystyle \mathbf {x} ^{\ast }}
16:Concept in mathematical optimization
10175:Nocedal, J.; Wright, S. J. (2006).
10155:
10105:Boyd, S.; Vandenberghe, L. (2004).
5552:Linearity constraint qualification
1469:{\displaystyle g_{i}(\mathbf {x} )}
13:
10027:
9396:
9332:
9275:
9217:
9121:
7187:
7013:
6974:
6847:
6594:Second-order sufficient conditions
5831:
5800:
5769:
5738:
5497:
5357:
5174:
5135:
5084:
5018:
4979:
4928:
4870:
4799:
4728:
4567:
4321:
4203:
4154:
4108:
4069:
3891:
3243:to the primal problem, a solution
2711:
2648:
2592:
2504:
2441:
2385:
656:
583:
552:
493:
14:
10260:
10217:
10020:, 3rd edition, 1984, pp. 750–752.
8583:The value function is defined as
8425:
6330:is affine), there exists a point
5528:{\displaystyle \nabla f(x^{*})=0}
4421:of the constraint functions. Let
4402:{\displaystyle \mu _{i}(x^{*})=0}
4307:{\displaystyle g_{i}(x^{*})<0}
4094:{\displaystyle \partial f(x^{*})}
3483:must satisfy the KKT conditions.
81:in his master's thesis in 1939.
10194:Sundaram, Rangarajan K. (1996).
9159:, which may be zero (as long as
5363:
5323:
5287:
5263:
5240:
5216:
5188:
5152:
5113:
5032:
4996:
4957:
4653:
4590:
4492:
4429:
2744:
2537:
1926:
1905:
1897:
1884:
1843:
1791:
1765:
1650:
1623:
1606:
1597:
1572:
1549:
1526:
1459:
1421:
1384:
1361:
1331:
1323:
1290:
1234:
978:
944:
910:
876:
867:
846:
812:
778:
744:
735:
698:
690:
678:
670:
639:
614:
597:
589:
566:
558:
535:
502:
285:{\displaystyle \mathbb {R} ^{n}}
245:
237:
201:
153:
111:
10137:. New York: Springer. pp.
10010:
9977:
9942:
9905:
9877:
9757:. New York: Springer. pp.
9484:
9242:{\displaystyle \nabla f(x^{*})}
3688:Sufficiency: the solution pair
3678:{\displaystyle (\mu ,\lambda )}
1431:{\displaystyle f(\mathbf {x} )}
1160:
1154:
1077:
997:
865:
121:{\displaystyle f(\mathbf {x} )}
9852:
9812:
9775:
9744:
9671:
9654:
9620:
9595:
9472:
9459:
9422:
9409:
9358:
9345:
9294:
9281:
9236:
9223:
9191:
9166:
9152:{\displaystyle \mu _{0}\geq 0}
8949:
8943:
8757:
8751:
8722:
8716:
8653:
8647:
8628:
8596:
8559:
8553:
8524:
8518:
8455:
8449:
8039:
8023:
8017:
8008:
8002:
7996:
7946:
7940:
7931:
7925:
7862:
7850:
7738:
7726:
7633:
7627:
7618:
7612:
7572:
7566:
7505:
7499:
7476:
7470:
7405:
7371:
7368:
7337:
7331:
7305:
7246:
7207:
7120:
7114:
7045:
7032:
7006:
6993:
6906:
6867:
6810:
6804:
6757:
6751:
6704:
6698:
6689:
6671:
6427:{\displaystyle g_{i}(x)<0.}
6415:
6409:
6373:
6367:
6270:(i.e., assuming minimization,
6235:
6222:
6199:
6157:
6144:
6121:
6091:{\displaystyle x_{k}\to x^{*}}
6075:
6051:{\displaystyle \mu _{i}\geq 0}
5855:for all equality constraints.
5827:
5813:
5765:
5751:
5516:
5503:
5477:
5471:
5380:
5367:
5280:
5267:
5233:
5220:
5170:
5156:
5131:
5117:
5103:
5090:
5064:
5058:
5014:
5000:
4975:
4961:
4947:
4934:
4908:
4902:
4719:
4713:
4691:
4685:
4663:
4657:
4620:
4600:
4594:
4558:
4552:
4530:
4524:
4502:
4496:
4459:
4439:
4433:
4390:
4377:
4347:
4334:
4295:
4282:
4229:
4216:
4180:
4167:
4134:
4121:
4088:
4075:
3796:
3770:
3734:
3708:
3672:
3660:
3590:
3564:
3537:
3511:
3470:
3444:
3424:to the dual problem, the pair
3411:
3385:
3335:
3309:
3276:
3250:
3118:
3105:
3056:
3043:
2873:
2860:
2792:
2779:
2737:
2724:
2674:
2661:
2611:
2598:
2569:
2563:
2530:
2517:
2467:
2454:
2404:
2391:
2365:
2359:
2321:
2297:
2264:
2240:
2125:
2075:
2025:
1930:
1922:
1855:
1839:
1816:
1786:
1616:
1601:
1576:
1568:
1463:
1455:
1425:
1417:
1302:
1286:
1259:
1229:
702:
694:
682:
674:
643:
635:
626:
610:
601:
593:
570:
562:
539:
531:
522:
498:
425:
401:
364:
340:
205:
197:
157:
149:
115:
107:
85:Nonlinear optimization problem
43:(sometimes called first-order
1:
9588:
9116:utility maximization problems
7159:{\displaystyle \mu _{i}>0}
6491:, the inequality constraints
4314:, then the force coming from
3750:Necessity: any solution pair
2043:and the constraint functions
1980:hyperplane separation theorem
1507:{\displaystyle i=1,\ldots ,m}
7425:
6018:{\displaystyle \lambda _{j}}
5998:with associated multipliers
1533:{\displaystyle \mathbf {X} }
7:
9544:
8635:
7679:and the KKT conditions are
6522:, the equality constraints
3962:{\displaystyle g_{i}\leq 0}
3900:{\displaystyle -\partial f}
1212:then states the following.
10:
10265:
9918:Cambridge University Press
9828:Princeton University Press
9788:Cambridge University Press
8220:Because it was given that
7429:
6385:{\displaystyle h_{j}(x)=0}
5696:and there exists a vector
3969:, but whenever it touches
1210:Karush–Kuhn–Tucker theorem
10244:Mathematical optimization
10084:"The Kuhn–Tucker Theorem"
10063:Avriel, Mordecai (2003).
10048:10.1007/s10957-004-1861-9
9126:With an extra multiplier
9067:increases. Thus if each
7538:{\displaystyle G_{\min }}
6464:which explains its name.
6451:LICQ ⇒ CRCQ ⇒ CPLD ⇒ QNCQ
6443:LICQ ⇒ MFCQ ⇒ CPLD ⇒ QNCQ
1407:(necessity) Suppose that
21:mathematical optimization
9033:{\displaystyle \mu _{i}}
7669:{\displaystyle Q\geq 0,}
7126:{\displaystyle g_{i}(x)}
3204:
10107:"Optimality Conditions"
9728:Methods of Optimization
9636:"Nonlinear programming"
6950:{\displaystyle s\neq 0}
6600:non-linear optimization
6296:{\displaystyle f,g_{i}}
5341:Complementary slackness
4002:, it is pushed inwards.
3995:{\displaystyle g_{i}=0}
3171:In the particular case
2993:Complementary slackness
10249:Mathematical economics
10179:. New York: Springer.
10177:Numerical Optimization
10003:10.1006/jmaa.1999.6484
9984:Hanson, M. A. (1999).
9824:Nonlinear Optimization
9700:10.1006/hmat.2000.2289
9517:
9384:
9320:
9243:
9204:
9153:
9108:
9088:
9061:
9034:
9005:
8879:
8854:
8770:
8688:
8660:
8572:
8490:
8462:
8412:
8371:
8330:
8310:
8290:
8252:
8211:
8111:
8110:{\displaystyle Q>0}
8085:
8056:
7670:
7640:
7579:
7539:
7512:
7483:
7454:
7438:mathematical economics
7412:
7289:
7262:
7160:
7127:
7088:
6951:
6922:
6817:
6783:
6730:
6652:
6571:
6543:
6512:
6481:
6428:
6386:
6344:
6324:
6297:
6248:
6170:
6092:
6052:
6019:
5992:
5954:
5927:
5889:
5849:
5787:
5725:
5690:
5652:
5606:
5579:
5529:
5484:
5455:
5428:
5393:
5331:
5295:
5248:
5196:
5071:
5040:
4915:
4879:
4808:
4737:
4639:
4576:
4478:
4403:
4354:
4308:
4256:
4236:
4187:
4141:
4095:
4052:
4025:
3996:
3963:
3930:
3901:
3875:
3855:
3832:
3803:
3741:
3679:
3647:
3617:
3597:
3544:
3477:
3418:
3372:
3342:
3283:
3237:
3191:
3163:
3069:
3022:
2983:
2915:
2836:
2752:
2700:
2637:
2576:
2545:
2493:
2430:
2372:
2342:
2328:
2271:
2210:
2183:
2137:
2087:
2037:
1972:
1862:
1823:
1773:
1736:
1664:
1631:
1583:
1540:and that there exists
1534:
1508:
1470:
1432:
1398:
1369:
1339:
1309:
1266:
1202:
717:
476:
456:
432:
371:
306:
286:
253:
218:
173:
122:
41:first derivative tests
37:Kuhn–Tucker conditions
9951:J. Optim. Theory Appl
9889:Nonlinear Programming
9722:Walsh, G. R. (1975).
9572:Interior-point method
9528:Fritz John conditions
9526:which are called the
9518:
9364:
9300:
9244:
9205:
9154:
9109:
9089:
9087:{\displaystyle a_{i}}
9062:
9060:{\displaystyle a_{i}}
9035:
9006:
8880:
8855:
8771:
8689:
8661:
8573:
8491:
8463:
8413:
8372:
8331:
8311:
8291:
8253:
8212:
8112:
8086:
8057:
7671:
7641:
7580:
7578:{\displaystyle -R(Q)}
7540:
7513:
7484:
7455:
7413:
7290:
7288:{\displaystyle x^{*}}
7263:
7161:
7128:
7089:
6952:
6923:
6818:
6763:
6710:
6653:
6572:
6544:
6542:{\displaystyle h_{i}}
6513:
6511:{\displaystyle g_{j}}
6482:
6459:Sufficient conditions
6429:
6387:
6345:
6325:
6323:{\displaystyle h_{j}}
6298:
6249:
6171:
6093:
6053:
6020:
5993:
5991:{\displaystyle x^{*}}
5955:
5953:{\displaystyle x^{*}}
5928:
5926:{\displaystyle x^{*}}
5890:
5888:{\displaystyle x^{*}}
5850:
5788:
5726:
5691:
5689:{\displaystyle x^{*}}
5653:
5651:{\displaystyle x^{*}}
5607:
5605:{\displaystyle h_{j}}
5580:
5578:{\displaystyle g_{i}}
5530:
5485:
5456:
5454:{\displaystyle x^{*}}
5429:
5427:{\displaystyle x^{*}}
5394:
5332:
5296:
5249:
5197:
5072:
5041:
4916:
4880:
4809:
4738:
4640:
4577:
4479:
4413:Matrix representation
4404:
4355:
4309:
4257:
4237:
4188:
4142:
4096:
4053:
4051:{\displaystyle h_{j}}
4026:
4024:{\displaystyle h_{j}}
3997:
3964:
3931:
3929:{\displaystyle g_{i}}
3902:
3876:
3856:
3833:
3804:
3742:
3680:
3648:
3646:{\displaystyle x^{*}}
3618:
3598:
3545:
3478:
3419:
3373:
3371:{\displaystyle x^{*}}
3343:
3284:
3238:
3236:{\displaystyle x^{*}}
3192:
3164:
3070:
3002:
2984:
2916:
2837:
2753:
2680:
2617:
2577:
2546:
2473:
2410:
2373:
2340:
2329:
2272:
2211:
2209:{\displaystyle x^{*}}
2184:
2138:
2088:
2038:
1973:
1874:supporting hyperplane
1863:
1829:is a saddle point of
1824:
1774:
1737:
1665:
1632:
1584:
1535:
1509:
1471:
1433:
1399:
1370:
1340:
1310:
1267:
1203:
718:
477:
475:{\displaystyle \ell }
457:
433:
372:
307:
287:
254:
219:
174:
123:
57:regularity conditions
55:, provided that some
49:nonlinear programming
9820:Ruszczyński, Andrzej
9679:Kjeldsen, Tinne Hoff
9256:
9214:
9163:
9130:
9098:
9071:
9044:
9017:
8889:
8869:
8787:
8703:
8673:
8590:
8505:
8475:
8437:
8384:
8343:
8329:{\displaystyle \mu }
8320:
8309:{\displaystyle \mu }
8300:
8262:
8224:
8124:
8095:
8069:
7686:
7651:
7593:
7557:
7522:
7511:{\displaystyle C(Q)}
7493:
7482:{\displaystyle R(Q)}
7464:
7444:
7299:
7272:
7173:
7137:
7101:
6964:
6935:
6833:
6665:
6609:
6561:
6526:
6495:
6471:
6396:
6354:
6334:
6307:
6274:
6180:
6102:
6062:
6029:
6002:
5975:
5937:
5910:
5872:
5797:
5735:
5700:
5673:
5635:
5629:linearly independent
5589:
5562:
5494:
5483:{\displaystyle f(x)}
5465:
5438:
5411:
5347:
5311:
5259:
5212:
5081:
5070:{\displaystyle f(x)}
5052:
4925:
4914:{\displaystyle f(x)}
4896:
4818:
4747:
4649:
4586:
4488:
4425:
4364:
4318:
4269:
4246:
4200:
4151:
4105:
4066:
4035:
4008:
3973:
3940:
3913:
3885:
3865:
3845:
3822:
3754:
3692:
3657:
3630:
3607:
3561:
3495:
3428:
3382:
3355:
3293:
3247:
3220:
3199:Lagrange multipliers
3175:
3082:
2999:
2931:
2847:
2766:
2586:
2575:{\displaystyle f(x)}
2557:
2382:
2371:{\displaystyle f(x)}
2353:
2281:
2224:
2193:
2151:
2097:
2047:
2004:
1993:Necessary conditions
1880:
1876:on the feasible set
1833:
1783:
1746:
1674:
1645:
1593:
1544:
1522:
1480:
1442:
1411:
1379:
1349:
1319:
1280:
1226:
731:
488:
466:
446:
385:
324:
296:
267:
233:
184:
136:
101:
64:Lagrange multipliers
47:) for a solution in
45:necessary conditions
35:, also known as the
10114:Convex Optimization
9990:J. Math. Anal. Appl
9914:Convex Optimization
9784:Convex Optimization
9556:Lagrange multiplier
8084:{\displaystyle Q=0}
7432:Profit maximization
7404:
7367:
7203:
6863:
6518:are differentiable
6025:for equalities and
4360:must be zero i.e.,
3214: —
3190:{\displaystyle m=0}
1220: —
377:are the inequality
9963:10.1007/BF00941316
9661:W. Karush (1939).
9583:Slater's condition
9513:
9511:
9239:
9200:
9149:
9104:
9084:
9057:
9030:
9001:
8875:
8850:
8766:
8684:
8656:
8643:
8568:
8486:
8458:
8408:
8367:
8326:
8306:
8286:
8248:
8207:
8107:
8081:
8052:
8050:
7666:
7636:
7575:
7535:
7508:
7479:
7450:
7408:
7390:
7353:
7285:
7258:
7186:
7156:
7123:
7084:
6947:
6918:
6846:
6813:
6648:
6567:
6555:Slater's condition
6539:
6508:
6477:
6424:
6382:
6340:
6320:
6293:
6259:Slater's condition
6244:
6166:
6088:
6048:
6015:
5988:
5950:
5923:
5885:
5845:
5783:
5721:
5686:
5648:
5602:
5575:
5525:
5480:
5451:
5424:
5389:
5327:
5291:
5244:
5206:Primal feasibility
5192:
5067:
5036:
4911:
4875:
4804:
4733:
4635:
4572:
4474:
4399:
4350:
4304:
4252:
4232:
4183:
4137:
4091:
4048:
4021:
3992:
3959:
3926:
3897:
3871:
3851:
3828:
3799:
3737:
3675:
3643:
3613:
3593:
3540:
3489:
3473:
3414:
3368:
3338:
3279:
3233:
3212:
3187:
3159:
3065:
2979:
2911:
2832:
2760:Primal feasibility
2748:
2572:
2541:
2368:
2343:
2324:
2267:
2206:
2179:
2133:
2083:
2033:
1999:objective function
1968:
1858:
1819:
1769:
1732:
1726:
1660:
1639:Slater's condition
1627:
1579:
1530:
1504:
1466:
1428:
1394:
1365:
1335:
1305:
1262:
1218:
1198:
1189:
1148:
1068:
988:
856:
713:
707:
472:
452:
428:
367:
302:
282:
249:
214:
169:
118:
25:Karush–Kuhn–Tucker
10186:978-0-387-30303-1
10016:Chiang, Alpha C.
9885:Dimitri Bertsekas
9826:. Princeton, NJ:
9566:simplex algorithm
9532:KKT or (not-MFCQ)
9107:{\displaystyle f}
8919:
8878:{\displaystyle V}
8865:so the domain of
8683:
8679:
8634:
8485:
8481:
8443:
8420:profit maximizing
8403:
8390:
8362:
8349:
8281:
8268:
8243:
8230:
8198:
8192:
8182:
8170:
8149:
8143:
8133:
7897:
7891:
7881:
7844:
7838:
7828:
7773:
7767:
7757:
7720:
7714:
7704:
7453:{\displaystyle Q}
6570:{\displaystyle f}
6480:{\displaystyle f}
6437:
6436:
6343:{\displaystyle x}
4419:Jacobian matrices
4255:{\displaystyle x}
3874:{\displaystyle f}
3854:{\displaystyle f}
3831:{\displaystyle x}
3616:{\displaystyle x}
3487:
3210:
3133:
2956:
2888:
2807:
2296:
2239:
1997:Suppose that the
1222:(sufficiency) If
1216:
1158:
455:{\displaystyle m}
438:are the equality
400:
339:
305:{\displaystyle f}
10256:
10213:
10190:
10171:
10152:
10127:
10111:
10101:
10078:
10059:
10021:
10014:
10008:
10007:
10005:
9981:
9975:
9974:
9946:
9940:
9939:
9909:
9903:
9902:
9881:
9875:
9874:
9872:
9866:. Archived from
9865:
9856:
9850:
9849:
9816:
9810:
9809:
9779:
9773:
9772:
9748:
9742:
9741:
9719:
9713:
9712:
9702:
9675:
9669:
9668:
9658:
9652:
9651:
9624:
9618:
9617:
9599:
9522:
9520:
9519:
9514:
9512:
9471:
9470:
9458:
9457:
9448:
9447:
9437:
9421:
9420:
9408:
9407:
9394:
9393:
9383:
9378:
9357:
9356:
9344:
9343:
9330:
9329:
9319:
9314:
9293:
9292:
9273:
9272:
9262:
9248:
9246:
9245:
9240:
9235:
9234:
9209:
9207:
9206:
9201:
9178:
9177:
9158:
9156:
9155:
9150:
9142:
9141:
9113:
9111:
9110:
9105:
9093:
9091:
9090:
9085:
9083:
9082:
9066:
9064:
9063:
9058:
9056:
9055:
9039:
9037:
9036:
9031:
9029:
9028:
9010:
9008:
9007:
9002:
8964:
8963:
8942:
8941:
8920:
8917:
8912:
8911:
8906:
8884:
8882:
8881:
8876:
8859:
8857:
8856:
8851:
8775:
8773:
8772:
8767:
8750:
8749:
8737:
8736:
8715:
8714:
8693:
8691:
8690:
8685:
8681:
8680:
8678:subject to
8677:
8665:
8663:
8662:
8657:
8642:
8627:
8626:
8608:
8607:
8577:
8575:
8574:
8569:
8552:
8551:
8539:
8538:
8517:
8516:
8495:
8493:
8492:
8487:
8483:
8482:
8480:subject to
8479:
8467:
8465:
8464:
8459:
8444:
8441:
8417:
8415:
8414:
8409:
8404:
8401:
8399:
8391:
8388:
8376:
8374:
8373:
8368:
8363:
8360:
8358:
8350:
8347:
8338:marginal revenue
8335:
8333:
8332:
8327:
8316:guarantees that
8315:
8313:
8312:
8307:
8295:
8293:
8292:
8287:
8282:
8279:
8277:
8269:
8266:
8257:
8255:
8254:
8249:
8244:
8241:
8239:
8231:
8228:
8216:
8214:
8213:
8208:
8203:
8199:
8197:
8193:
8190:
8187:
8183:
8180:
8177:
8171:
8169:
8155:
8150:
8148:
8144:
8141:
8138:
8134:
8131:
8128:
8116:
8114:
8113:
8108:
8090:
8088:
8087:
8082:
8061:
8059:
8058:
8053:
8051:
8038:
8037:
7991:
7974:
7961:
7960:
7920:
7907:
7903:
7902:
7898:
7896:
7892:
7889:
7886:
7882:
7879:
7876:
7849:
7845:
7843:
7839:
7836:
7833:
7829:
7826:
7823:
7808:
7791:
7778:
7774:
7772:
7768:
7765:
7762:
7758:
7755:
7752:
7725:
7721:
7719:
7715:
7712:
7709:
7705:
7702:
7699:
7692:
7675:
7673:
7672:
7667:
7645:
7643:
7642:
7637:
7605:
7604:
7584:
7582:
7581:
7576:
7544:
7542:
7541:
7536:
7534:
7533:
7517:
7515:
7514:
7509:
7488:
7486:
7485:
7480:
7459:
7457:
7456:
7451:
7417:
7415:
7414:
7409:
7403:
7398:
7383:
7382:
7366:
7361:
7349:
7348:
7330:
7329:
7317:
7316:
7294:
7292:
7291:
7286:
7284:
7283:
7267:
7265:
7264:
7259:
7245:
7244:
7232:
7231:
7219:
7218:
7202:
7197:
7185:
7184:
7165:
7163:
7162:
7157:
7149:
7148:
7132:
7130:
7129:
7124:
7113:
7112:
7093:
7091:
7090:
7085:
7083:
7082:
7081:
7080:
7075:
7058:
7057:
7052:
7048:
7044:
7043:
7031:
7030:
7021:
7020:
7005:
7004:
6992:
6991:
6982:
6981:
6956:
6954:
6953:
6948:
6927:
6925:
6924:
6919:
6905:
6904:
6892:
6891:
6879:
6878:
6862:
6857:
6845:
6844:
6822:
6820:
6819:
6814:
6803:
6802:
6793:
6792:
6782:
6777:
6750:
6749:
6740:
6739:
6729:
6724:
6657:
6655:
6654:
6649:
6647:
6646:
6634:
6633:
6621:
6620:
6576:
6574:
6573:
6568:
6551:affine functions
6548:
6546:
6545:
6540:
6538:
6537:
6520:convex functions
6517:
6515:
6514:
6509:
6507:
6506:
6489:concave function
6486:
6484:
6483:
6478:
6433:
6431:
6430:
6425:
6408:
6407:
6391:
6389:
6388:
6383:
6366:
6365:
6349:
6347:
6346:
6341:
6329:
6327:
6326:
6321:
6319:
6318:
6302:
6300:
6299:
6294:
6292:
6291:
6253:
6251:
6250:
6245:
6234:
6233:
6221:
6220:
6211:
6210:
6192:
6191:
6175:
6173:
6172:
6167:
6156:
6155:
6143:
6142:
6133:
6132:
6114:
6113:
6097:
6095:
6094:
6089:
6087:
6086:
6074:
6073:
6057:
6055:
6054:
6049:
6041:
6040:
6024:
6022:
6021:
6016:
6014:
6013:
5997:
5995:
5994:
5989:
5987:
5986:
5959:
5957:
5956:
5951:
5949:
5948:
5932:
5930:
5929:
5924:
5922:
5921:
5894:
5892:
5891:
5886:
5884:
5883:
5854:
5852:
5851:
5846:
5835:
5834:
5825:
5824:
5812:
5811:
5792:
5790:
5789:
5784:
5773:
5772:
5763:
5762:
5750:
5749:
5730:
5728:
5727:
5722:
5720:
5719:
5714:
5695:
5693:
5692:
5687:
5685:
5684:
5657:
5655:
5654:
5649:
5647:
5646:
5614:affine functions
5611:
5609:
5608:
5603:
5601:
5600:
5584:
5582:
5581:
5576:
5574:
5573:
5538:
5537:
5534:
5532:
5531:
5526:
5515:
5514:
5489:
5487:
5486:
5481:
5460:
5458:
5457:
5452:
5450:
5449:
5433:
5431:
5430:
5425:
5423:
5422:
5398:
5396:
5395:
5390:
5379:
5378:
5366:
5361:
5360:
5355:
5336:
5334:
5333:
5328:
5326:
5318:
5305:Dual feasibility
5300:
5298:
5297:
5292:
5290:
5279:
5278:
5266:
5253:
5251:
5250:
5245:
5243:
5232:
5231:
5219:
5201:
5199:
5198:
5193:
5191:
5183:
5178:
5177:
5168:
5167:
5155:
5144:
5139:
5138:
5129:
5128:
5116:
5102:
5101:
5076:
5074:
5073:
5068:
5045:
5043:
5042:
5037:
5035:
5027:
5022:
5021:
5012:
5011:
4999:
4988:
4983:
4982:
4973:
4972:
4960:
4946:
4945:
4920:
4918:
4917:
4912:
4884:
4882:
4881:
4876:
4874:
4873:
4868:
4864:
4863:
4862:
4844:
4843:
4825:
4813:
4811:
4810:
4805:
4803:
4802:
4797:
4793:
4792:
4791:
4773:
4772:
4754:
4742:
4740:
4739:
4734:
4732:
4731:
4726:
4722:
4712:
4711:
4684:
4683:
4656:
4644:
4642:
4641:
4636:
4634:
4633:
4628:
4619:
4618:
4613:
4593:
4581:
4579:
4578:
4573:
4571:
4570:
4565:
4561:
4551:
4550:
4523:
4522:
4495:
4483:
4481:
4480:
4475:
4473:
4472:
4467:
4458:
4457:
4452:
4432:
4408:
4406:
4405:
4400:
4389:
4388:
4376:
4375:
4359:
4357:
4356:
4351:
4346:
4345:
4333:
4332:
4313:
4311:
4310:
4305:
4294:
4293:
4281:
4280:
4261:
4259:
4258:
4253:
4241:
4239:
4238:
4233:
4228:
4227:
4215:
4214:
4192:
4190:
4189:
4184:
4179:
4178:
4166:
4165:
4146:
4144:
4143:
4138:
4133:
4132:
4120:
4119:
4100:
4098:
4097:
4092:
4087:
4086:
4057:
4055:
4054:
4049:
4047:
4046:
4030:
4028:
4027:
4022:
4020:
4019:
4001:
3999:
3998:
3993:
3985:
3984:
3968:
3966:
3965:
3960:
3952:
3951:
3935:
3933:
3932:
3927:
3925:
3924:
3906:
3904:
3903:
3898:
3880:
3878:
3877:
3872:
3860:
3858:
3857:
3852:
3837:
3835:
3834:
3829:
3808:
3806:
3805:
3800:
3795:
3794:
3782:
3781:
3766:
3765:
3746:
3744:
3743:
3738:
3733:
3732:
3720:
3719:
3704:
3703:
3684:
3682:
3681:
3676:
3652:
3650:
3649:
3644:
3642:
3641:
3622:
3620:
3619:
3614:
3602:
3600:
3599:
3594:
3589:
3588:
3576:
3575:
3552:Nash equilibrium
3549:
3547:
3546:
3541:
3536:
3535:
3523:
3522:
3507:
3506:
3482:
3480:
3479:
3474:
3469:
3468:
3456:
3455:
3440:
3439:
3423:
3421:
3420:
3415:
3410:
3409:
3397:
3396:
3377:
3375:
3374:
3369:
3367:
3366:
3347:
3345:
3344:
3339:
3334:
3333:
3321:
3320:
3305:
3304:
3288:
3286:
3285:
3280:
3275:
3274:
3262:
3261:
3242:
3240:
3239:
3234:
3232:
3231:
3215:
3196:
3194:
3193:
3188:
3168:
3166:
3165:
3160:
3134:
3131:
3117:
3116:
3104:
3103:
3094:
3093:
3074:
3072:
3071:
3066:
3055:
3054:
3042:
3041:
3032:
3031:
3021:
3016:
2988:
2986:
2985:
2980:
2957:
2954:
2943:
2942:
2925:Dual feasibility
2920:
2918:
2917:
2912:
2889:
2886:
2872:
2871:
2859:
2858:
2841:
2839:
2838:
2833:
2808:
2805:
2791:
2790:
2778:
2777:
2757:
2755:
2754:
2749:
2747:
2736:
2735:
2723:
2722:
2710:
2709:
2699:
2694:
2673:
2672:
2660:
2659:
2647:
2646:
2636:
2631:
2610:
2609:
2581:
2579:
2578:
2573:
2550:
2548:
2547:
2542:
2540:
2529:
2528:
2516:
2515:
2503:
2502:
2492:
2487:
2466:
2465:
2453:
2452:
2440:
2439:
2429:
2424:
2403:
2402:
2377:
2375:
2374:
2369:
2333:
2331:
2330:
2325:
2294:
2293:
2292:
2276:
2274:
2273:
2268:
2237:
2236:
2235:
2215:
2213:
2212:
2207:
2205:
2204:
2188:
2186:
2185:
2180:
2178:
2177:
2172:
2163:
2162:
2142:
2140:
2139:
2134:
2132:
2124:
2123:
2118:
2109:
2108:
2092:
2090:
2089:
2084:
2082:
2074:
2073:
2068:
2059:
2058:
2042:
2040:
2039:
2034:
2032:
2024:
2023:
2018:
1977:
1975:
1974:
1969:
1967:
1963:
1929:
1921:
1920:
1908:
1900:
1887:
1867:
1865:
1864:
1859:
1854:
1846:
1828:
1826:
1825:
1820:
1815:
1814:
1809:
1800:
1799:
1794:
1778:
1776:
1775:
1770:
1768:
1760:
1759:
1754:
1741:
1739:
1738:
1733:
1731:
1730:
1723:
1722:
1709:
1708:
1688:
1687:
1682:
1669:
1667:
1666:
1661:
1659:
1658:
1653:
1636:
1634:
1633:
1628:
1626:
1615:
1614:
1609:
1600:
1588:
1586:
1585:
1580:
1575:
1558:
1557:
1552:
1539:
1537:
1536:
1531:
1529:
1513:
1511:
1510:
1505:
1475:
1473:
1472:
1467:
1462:
1454:
1453:
1437:
1435:
1434:
1429:
1424:
1403:
1401:
1400:
1395:
1393:
1392:
1387:
1374:
1372:
1371:
1366:
1364:
1356:
1344:
1342:
1341:
1336:
1334:
1326:
1314:
1312:
1311:
1306:
1301:
1293:
1271:
1269:
1268:
1263:
1258:
1257:
1252:
1243:
1242:
1237:
1221:
1207:
1205:
1204:
1199:
1194:
1193:
1165:
1159:
1156:
1153:
1152:
1145:
1144:
1124:
1123:
1103:
1102:
1082:
1073:
1072:
1065:
1064:
1044:
1043:
1023:
1022:
1002:
993:
992:
985:
981:
972:
971:
951:
947:
938:
937:
917:
913:
904:
903:
883:
879:
870:
861:
860:
853:
849:
840:
839:
819:
815:
806:
805:
785:
781:
772:
771:
751:
747:
738:
722:
720:
719:
714:
712:
711:
701:
693:
681:
673:
660:
659:
654:
642:
625:
617:
600:
592:
587:
586:
581:
569:
561:
556:
555:
550:
538:
521:
513:
505:
497:
496:
481:
479:
478:
473:
461:
459:
458:
453:
437:
435:
434:
429:
398:
397:
396:
376:
374:
373:
368:
337:
336:
335:
311:
309:
308:
303:
291:
289:
288:
283:
281:
280:
275:
258:
256:
255:
250:
248:
240:
223:
221:
220:
215:
204:
196:
195:
178:
176:
175:
170:
156:
148:
147:
127:
125:
124:
119:
114:
75:Albert W. Tucker
10264:
10263:
10259:
10258:
10257:
10255:
10254:
10253:
10234:
10233:
10220:
10210:
10187:
10168:
10149:
10124:
10109:
10098:
10075:
10030:
10028:Further reading
10025:
10024:
10015:
10011:
9982:
9978:
9947:
9943:
9928:
9920:. p. 244.
9910:
9906:
9899:
9882:
9878:
9870:
9863:
9857:
9853:
9838:
9817:
9813:
9798:
9790:. p. 244.
9780:
9776:
9769:
9749:
9745:
9738:
9720:
9716:
9676:
9672:
9659:
9655:
9625:
9621:
9614:
9600:
9596:
9591:
9547:
9510:
9509:
9466:
9462:
9453:
9449:
9443:
9439:
9435:
9434:
9416:
9412:
9403:
9399:
9389:
9385:
9379:
9368:
9352:
9348:
9339:
9335:
9325:
9321:
9315:
9304:
9288:
9284:
9268:
9264:
9259:
9257:
9254:
9253:
9230:
9226:
9215:
9212:
9211:
9210:), in front of
9173:
9169:
9164:
9161:
9160:
9137:
9133:
9131:
9128:
9127:
9124:
9122:Generalizations
9099:
9096:
9095:
9078:
9074:
9072:
9069:
9068:
9051:
9047:
9045:
9042:
9041:
9024:
9020:
9018:
9015:
9014:
8959:
8955:
8937:
8933:
8916:
8907:
8902:
8901:
8890:
8887:
8886:
8870:
8867:
8866:
8788:
8785:
8784:
8745:
8741:
8732:
8728:
8710:
8706:
8704:
8701:
8700:
8676:
8674:
8671:
8670:
8638:
8622:
8618:
8603:
8599:
8591:
8588:
8587:
8547:
8543:
8534:
8530:
8512:
8508:
8506:
8503:
8502:
8478:
8476:
8473:
8472:
8440:
8438:
8435:
8434:
8428:
8400:
8395:
8387:
8385:
8382:
8381:
8359:
8354:
8346:
8344:
8341:
8340:
8321:
8318:
8317:
8301:
8298:
8297:
8278:
8273:
8265:
8263:
8260:
8259:
8240:
8235:
8227:
8225:
8222:
8221:
8189:
8188:
8179:
8178:
8176:
8172:
8159:
8154:
8140:
8139:
8130:
8129:
8127:
8125:
8122:
8121:
8096:
8093:
8092:
8070:
8067:
8066:
8049:
8048:
8033:
8029:
7989:
7988:
7972:
7971:
7956:
7952:
7918:
7917:
7888:
7887:
7878:
7877:
7875:
7871:
7835:
7834:
7825:
7824:
7822:
7818:
7817:
7813:
7806:
7805:
7789:
7788:
7764:
7763:
7754:
7753:
7751:
7747:
7711:
7710:
7701:
7700:
7698:
7694:
7689:
7687:
7684:
7683:
7652:
7649:
7648:
7600:
7596:
7594:
7591:
7590:
7558:
7555:
7554:
7529:
7525:
7523:
7520:
7519:
7494:
7491:
7490:
7465:
7462:
7461:
7445:
7442:
7441:
7434:
7428:
7399:
7394:
7378:
7374:
7362:
7357:
7344:
7340:
7325:
7321:
7312:
7308:
7300:
7297:
7296:
7279:
7275:
7273:
7270:
7269:
7240:
7236:
7227:
7223:
7214:
7210:
7198:
7190:
7180:
7176:
7174:
7171:
7170:
7144:
7140:
7138:
7135:
7134:
7108:
7104:
7102:
7099:
7098:
7076:
7071:
7070:
7069:
7065:
7053:
7039:
7035:
7026:
7022:
7016:
7012:
7000:
6996:
6987:
6983:
6977:
6973:
6972:
6968:
6967:
6965:
6962:
6961:
6936:
6933:
6932:
6900:
6896:
6887:
6883:
6874:
6870:
6858:
6850:
6840:
6836:
6834:
6831:
6830:
6798:
6794:
6788:
6784:
6778:
6767:
6745:
6741:
6735:
6731:
6725:
6714:
6666:
6663:
6662:
6642:
6638:
6629:
6625:
6616:
6612:
6610:
6607:
6606:
6596:
6587:invex functions
6579:convex function
6562:
6559:
6558:
6533:
6529:
6527:
6524:
6523:
6502:
6498:
6496:
6493:
6492:
6472:
6469:
6468:
6461:
6403:
6399:
6397:
6394:
6393:
6361:
6357:
6355:
6352:
6351:
6335:
6332:
6331:
6314:
6310:
6308:
6305:
6304:
6303:are convex and
6287:
6283:
6275:
6272:
6271:
6229:
6225:
6216:
6212:
6206:
6202:
6187:
6183:
6181:
6178:
6177:
6151:
6147:
6138:
6134:
6128:
6124:
6109:
6105:
6103:
6100:
6099:
6082:
6078:
6069:
6065:
6063:
6060:
6059:
6036:
6032:
6030:
6027:
6026:
6009:
6005:
6003:
6000:
5999:
5982:
5978:
5976:
5973:
5972:
5944:
5940:
5938:
5935:
5934:
5917:
5913:
5911:
5908:
5907:
5879:
5875:
5873:
5870:
5869:
5830:
5826:
5820:
5816:
5807:
5803:
5798:
5795:
5794:
5768:
5764:
5758:
5754:
5745:
5741:
5736:
5733:
5732:
5715:
5710:
5709:
5701:
5698:
5697:
5680:
5676:
5674:
5671:
5670:
5642:
5638:
5636:
5633:
5632:
5596:
5592:
5590:
5587:
5586:
5569:
5565:
5563:
5560:
5559:
5510:
5506:
5495:
5492:
5491:
5466:
5463:
5462:
5445:
5441:
5439:
5436:
5435:
5418:
5414:
5412:
5409:
5408:
5405:
5374:
5370:
5362:
5356:
5351:
5350:
5348:
5345:
5344:
5322:
5314:
5312:
5309:
5308:
5286:
5274:
5270:
5262:
5260:
5257:
5256:
5239:
5227:
5223:
5215:
5213:
5210:
5209:
5187:
5179:
5173:
5169:
5163:
5159:
5151:
5140:
5134:
5130:
5124:
5120:
5112:
5097:
5093:
5082:
5079:
5078:
5053:
5050:
5049:
5048:For minimizing
5031:
5023:
5017:
5013:
5007:
5003:
4995:
4984:
4978:
4974:
4968:
4964:
4956:
4941:
4937:
4926:
4923:
4922:
4897:
4894:
4893:
4892:For maximizing
4869:
4858:
4854:
4839:
4835:
4834:
4830:
4829:
4821:
4819:
4816:
4815:
4798:
4787:
4783:
4768:
4764:
4763:
4759:
4758:
4750:
4748:
4745:
4744:
4727:
4707:
4703:
4679:
4675:
4674:
4670:
4669:
4652:
4650:
4647:
4646:
4629:
4624:
4623:
4614:
4609:
4608:
4589:
4587:
4584:
4583:
4566:
4546:
4542:
4518:
4514:
4513:
4509:
4508:
4491:
4489:
4486:
4485:
4468:
4463:
4462:
4453:
4448:
4447:
4428:
4426:
4423:
4422:
4415:
4384:
4380:
4371:
4367:
4365:
4362:
4361:
4341:
4337:
4328:
4324:
4319:
4316:
4315:
4289:
4285:
4276:
4272:
4270:
4267:
4266:
4247:
4244:
4243:
4223:
4219:
4210:
4206:
4201:
4198:
4197:
4174:
4170:
4161:
4157:
4152:
4149:
4148:
4128:
4124:
4115:
4111:
4106:
4103:
4102:
4082:
4078:
4067:
4064:
4063:
4042:
4038:
4036:
4033:
4032:
4015:
4011:
4009:
4006:
4005:
3980:
3976:
3974:
3971:
3970:
3947:
3943:
3941:
3938:
3937:
3920:
3916:
3914:
3911:
3910:
3886:
3883:
3882:
3866:
3863:
3862:
3846:
3843:
3842:
3823:
3820:
3819:
3816:
3811:
3790:
3786:
3777:
3773:
3761:
3757:
3755:
3752:
3751:
3728:
3724:
3715:
3711:
3699:
3695:
3693:
3690:
3689:
3658:
3655:
3654:
3637:
3633:
3631:
3628:
3627:
3608:
3605:
3604:
3584:
3580:
3571:
3567:
3562:
3559:
3558:
3531:
3527:
3518:
3514:
3502:
3498:
3496:
3493:
3492:
3491:First, for the
3485:
3464:
3460:
3451:
3447:
3435:
3431:
3429:
3426:
3425:
3405:
3401:
3392:
3388:
3383:
3380:
3379:
3362:
3358:
3356:
3353:
3352:
3329:
3325:
3316:
3312:
3300:
3296:
3294:
3291:
3290:
3270:
3266:
3257:
3253:
3248:
3245:
3244:
3227:
3223:
3221:
3218:
3217:
3213:
3207:
3176:
3173:
3172:
3132: for
3130:
3112:
3108:
3099:
3095:
3089:
3085:
3083:
3080:
3079:
3050:
3046:
3037:
3033:
3027:
3023:
3017:
3006:
3000:
2997:
2996:
2955: for
2953:
2938:
2934:
2932:
2929:
2928:
2887: for
2885:
2867:
2863:
2854:
2850:
2848:
2845:
2844:
2806: for
2804:
2786:
2782:
2773:
2769:
2767:
2764:
2763:
2743:
2731:
2727:
2718:
2714:
2705:
2701:
2695:
2684:
2668:
2664:
2655:
2651:
2642:
2638:
2632:
2621:
2605:
2601:
2587:
2584:
2583:
2558:
2555:
2554:
2553:For maximizing
2536:
2524:
2520:
2511:
2507:
2498:
2494:
2488:
2477:
2461:
2457:
2448:
2444:
2435:
2431:
2425:
2414:
2398:
2394:
2383:
2380:
2379:
2354:
2351:
2350:
2349:For minimizing
2288:
2284:
2282:
2279:
2278:
2231:
2227:
2225:
2222:
2221:
2200:
2196:
2194:
2191:
2190:
2173:
2168:
2167:
2158:
2154:
2152:
2149:
2148:
2128:
2119:
2114:
2113:
2104:
2100:
2098:
2095:
2094:
2078:
2069:
2064:
2063:
2054:
2050:
2048:
2045:
2044:
2028:
2019:
2014:
2013:
2005:
2002:
2001:
1995:
1925:
1916:
1912:
1904:
1896:
1895:
1891:
1883:
1881:
1878:
1877:
1870:
1850:
1842:
1834:
1831:
1830:
1810:
1805:
1804:
1795:
1790:
1789:
1784:
1781:
1780:
1764:
1755:
1750:
1749:
1747:
1744:
1743:
1725:
1724:
1718:
1714:
1711:
1710:
1704:
1700:
1693:
1692:
1683:
1678:
1677:
1675:
1672:
1671:
1654:
1649:
1648:
1646:
1643:
1642:
1622:
1610:
1605:
1604:
1596:
1594:
1591:
1590:
1571:
1553:
1548:
1547:
1545:
1542:
1541:
1525:
1523:
1520:
1519:
1481:
1478:
1477:
1458:
1449:
1445:
1443:
1440:
1439:
1420:
1412:
1409:
1408:
1388:
1383:
1382:
1380:
1377:
1376:
1360:
1352:
1350:
1347:
1346:
1330:
1322:
1320:
1317:
1316:
1297:
1289:
1281:
1278:
1277:
1253:
1248:
1247:
1238:
1233:
1232:
1227:
1224:
1223:
1219:
1188:
1187:
1181:
1180:
1170:
1169:
1161:
1155:
1147:
1146:
1140:
1136:
1133:
1132:
1126:
1125:
1119:
1115:
1112:
1111:
1105:
1104:
1098:
1094:
1087:
1086:
1078:
1067:
1066:
1060:
1056:
1053:
1052:
1046:
1045:
1039:
1035:
1032:
1031:
1025:
1024:
1018:
1014:
1007:
1006:
998:
987:
986:
977:
973:
967:
963:
960:
959:
953:
952:
943:
939:
933:
929:
926:
925:
919:
918:
909:
905:
899:
895:
888:
887:
875:
871:
866:
855:
854:
845:
841:
835:
831:
828:
827:
821:
820:
811:
807:
801:
797:
794:
793:
787:
786:
777:
773:
767:
763:
756:
755:
743:
739:
734:
732:
729:
728:
706:
705:
697:
689:
686:
685:
677:
669:
662:
661:
655:
650:
649:
638:
621:
613:
596:
588:
582:
577:
576:
565:
557:
551:
546:
545:
534:
517:
509:
501:
492:
491:
489:
486:
485:
467:
464:
463:
447:
444:
443:
392:
388:
386:
383:
382:
381:functions and
331:
327:
325:
322:
321:
297:
294:
293:
276:
271:
270:
268:
265:
264:
244:
236:
234:
231:
230:
200:
191:
187:
185:
182:
181:
152:
143:
139:
137:
134:
133:
110:
102:
99:
98:
87:
59:are satisfied.
17:
12:
11:
5:
10262:
10252:
10251:
10246:
10232:
10231:
10226:
10219:
10218:External links
10216:
10215:
10214:
10208:
10191:
10185:
10172:
10166:
10153:
10147:
10128:
10122:
10102:
10096:
10079:
10073:
10060:
10042:(2): 473–485.
10029:
10026:
10023:
10022:
10009:
9996:(2): 594–604.
9976:
9941:
9926:
9904:
9897:
9876:
9873:on 2022-06-17.
9851:
9837:978-0691119151
9836:
9811:
9796:
9774:
9767:
9743:
9736:
9714:
9693:(4): 331–361.
9670:
9653:
9619:
9612:
9593:
9592:
9590:
9587:
9586:
9585:
9580:
9578:Slack variable
9575:
9569:
9558:
9553:
9546:
9543:
9539:subderivatives
9524:
9523:
9508:
9505:
9502:
9499:
9496:
9493:
9490:
9487:
9483:
9480:
9477:
9474:
9469:
9465:
9461:
9456:
9452:
9446:
9442:
9438:
9436:
9433:
9430:
9427:
9424:
9419:
9415:
9411:
9406:
9402:
9398:
9392:
9388:
9382:
9377:
9374:
9371:
9367:
9363:
9360:
9355:
9351:
9347:
9342:
9338:
9334:
9328:
9324:
9318:
9313:
9310:
9307:
9303:
9299:
9296:
9291:
9287:
9283:
9280:
9277:
9271:
9267:
9263:
9261:
9238:
9233:
9229:
9225:
9222:
9219:
9199:
9196:
9193:
9190:
9187:
9184:
9181:
9176:
9172:
9168:
9148:
9145:
9140:
9136:
9123:
9120:
9103:
9081:
9077:
9054:
9050:
9027:
9023:
9000:
8997:
8994:
8991:
8988:
8985:
8982:
8979:
8976:
8973:
8970:
8967:
8962:
8958:
8954:
8951:
8948:
8945:
8940:
8936:
8932:
8929:
8926:
8923:
8918:for some
8915:
8910:
8905:
8900:
8897:
8894:
8874:
8863:
8862:
8861:
8860:
8849:
8846:
8843:
8840:
8837:
8834:
8831:
8828:
8825:
8822:
8819:
8816:
8813:
8810:
8807:
8804:
8801:
8798:
8795:
8792:
8779:
8778:
8777:
8776:
8765:
8762:
8759:
8756:
8753:
8748:
8744:
8740:
8735:
8731:
8727:
8724:
8721:
8718:
8713:
8709:
8695:
8694:
8667:
8666:
8655:
8652:
8649:
8646:
8641:
8637:
8633:
8630:
8625:
8621:
8617:
8614:
8611:
8606:
8602:
8598:
8595:
8581:
8580:
8579:
8578:
8567:
8564:
8561:
8558:
8555:
8550:
8546:
8542:
8537:
8533:
8529:
8526:
8523:
8520:
8515:
8511:
8497:
8496:
8469:
8468:
8457:
8454:
8451:
8448:
8442:Maximize
8427:
8426:Value function
8424:
8407:
8398:
8394:
8366:
8357:
8353:
8325:
8305:
8285:
8276:
8272:
8247:
8238:
8234:
8218:
8217:
8206:
8202:
8196:
8186:
8175:
8168:
8165:
8162:
8158:
8153:
8147:
8137:
8106:
8103:
8100:
8080:
8077:
8074:
8063:
8062:
8047:
8044:
8041:
8036:
8032:
8028:
8025:
8022:
8019:
8016:
8013:
8010:
8007:
8004:
8001:
7998:
7995:
7992:
7990:
7987:
7984:
7981:
7978:
7975:
7973:
7970:
7967:
7964:
7959:
7955:
7951:
7948:
7945:
7942:
7939:
7936:
7933:
7930:
7927:
7924:
7921:
7919:
7916:
7913:
7910:
7906:
7901:
7895:
7885:
7874:
7870:
7867:
7864:
7861:
7858:
7855:
7852:
7848:
7842:
7832:
7821:
7816:
7812:
7809:
7807:
7804:
7801:
7798:
7795:
7792:
7790:
7787:
7784:
7781:
7777:
7771:
7761:
7750:
7746:
7743:
7740:
7737:
7734:
7731:
7728:
7724:
7718:
7708:
7697:
7693:
7691:
7677:
7676:
7665:
7662:
7659:
7656:
7646:
7635:
7632:
7629:
7626:
7623:
7620:
7617:
7614:
7611:
7608:
7603:
7599:
7588:
7585:
7574:
7571:
7568:
7565:
7562:
7532:
7528:
7507:
7504:
7501:
7498:
7478:
7475:
7472:
7469:
7449:
7427:
7424:
7407:
7402:
7397:
7393:
7389:
7386:
7381:
7377:
7373:
7370:
7365:
7360:
7356:
7352:
7347:
7343:
7339:
7336:
7333:
7328:
7324:
7320:
7315:
7311:
7307:
7304:
7282:
7278:
7257:
7254:
7251:
7248:
7243:
7239:
7235:
7230:
7226:
7222:
7217:
7213:
7209:
7206:
7201:
7196:
7193:
7189:
7183:
7179:
7155:
7152:
7147:
7143:
7122:
7119:
7116:
7111:
7107:
7095:
7094:
7079:
7074:
7068:
7064:
7061:
7056:
7051:
7047:
7042:
7038:
7034:
7029:
7025:
7019:
7015:
7011:
7008:
7003:
6999:
6995:
6990:
6986:
6980:
6976:
6971:
6946:
6943:
6940:
6929:
6928:
6917:
6914:
6911:
6908:
6903:
6899:
6895:
6890:
6886:
6882:
6877:
6873:
6869:
6866:
6861:
6856:
6853:
6849:
6843:
6839:
6824:
6823:
6812:
6809:
6806:
6801:
6797:
6791:
6787:
6781:
6776:
6773:
6770:
6766:
6762:
6759:
6756:
6753:
6748:
6744:
6738:
6734:
6728:
6723:
6720:
6717:
6713:
6709:
6706:
6703:
6700:
6697:
6694:
6691:
6688:
6685:
6682:
6679:
6676:
6673:
6670:
6645:
6641:
6637:
6632:
6628:
6624:
6619:
6615:
6595:
6592:
6566:
6536:
6532:
6505:
6501:
6476:
6460:
6457:
6453:
6452:
6445:
6444:
6435:
6434:
6423:
6420:
6417:
6414:
6411:
6406:
6402:
6381:
6378:
6375:
6372:
6369:
6364:
6360:
6339:
6317:
6313:
6290:
6286:
6282:
6279:
6268:convex problem
6264:
6261:
6255:
6254:
6243:
6240:
6237:
6232:
6228:
6224:
6219:
6215:
6209:
6205:
6201:
6198:
6195:
6190:
6186:
6165:
6162:
6159:
6154:
6150:
6146:
6141:
6137:
6131:
6127:
6123:
6120:
6117:
6112:
6108:
6085:
6081:
6077:
6072:
6068:
6047:
6044:
6039:
6035:
6012:
6008:
5985:
5981:
5969:
5966:
5962:
5961:
5947:
5943:
5920:
5916:
5904:
5901:
5897:
5896:
5882:
5878:
5866:
5863:
5857:
5856:
5844:
5841:
5838:
5833:
5829:
5823:
5819:
5815:
5810:
5806:
5802:
5782:
5779:
5776:
5771:
5767:
5761:
5757:
5753:
5748:
5744:
5740:
5718:
5713:
5708:
5705:
5683:
5679:
5667:
5664:
5660:
5659:
5645:
5641:
5625:
5622:
5618:
5617:
5599:
5595:
5572:
5568:
5556:
5553:
5549:
5548:
5545:
5542:
5524:
5521:
5518:
5513:
5509:
5505:
5502:
5499:
5479:
5476:
5473:
5470:
5461:of a function
5448:
5444:
5421:
5417:
5404:
5401:
5400:
5399:
5388:
5385:
5382:
5377:
5373:
5369:
5365:
5359:
5354:
5342:
5338:
5337:
5325:
5321:
5317:
5306:
5302:
5301:
5289:
5285:
5282:
5277:
5273:
5269:
5265:
5254:
5242:
5238:
5235:
5230:
5226:
5222:
5218:
5207:
5203:
5202:
5190:
5186:
5182:
5176:
5172:
5166:
5162:
5158:
5154:
5150:
5147:
5143:
5137:
5133:
5127:
5123:
5119:
5115:
5111:
5108:
5105:
5100:
5096:
5092:
5089:
5086:
5066:
5063:
5060:
5057:
5046:
5034:
5030:
5026:
5020:
5016:
5010:
5006:
5002:
4998:
4994:
4991:
4987:
4981:
4977:
4971:
4967:
4963:
4959:
4955:
4952:
4949:
4944:
4940:
4936:
4933:
4930:
4910:
4907:
4904:
4901:
4890:
4872:
4867:
4861:
4857:
4853:
4850:
4847:
4842:
4838:
4833:
4828:
4824:
4801:
4796:
4790:
4786:
4782:
4779:
4776:
4771:
4767:
4762:
4757:
4753:
4730:
4725:
4721:
4718:
4715:
4710:
4706:
4702:
4699:
4696:
4693:
4690:
4687:
4682:
4678:
4673:
4668:
4665:
4662:
4659:
4655:
4645:be defined as
4632:
4627:
4622:
4617:
4612:
4605:
4602:
4599:
4596:
4592:
4569:
4564:
4560:
4557:
4554:
4549:
4545:
4541:
4538:
4535:
4532:
4529:
4526:
4521:
4517:
4512:
4507:
4504:
4501:
4498:
4494:
4484:be defined as
4471:
4466:
4461:
4456:
4451:
4444:
4441:
4438:
4435:
4431:
4414:
4411:
4398:
4395:
4392:
4387:
4383:
4379:
4374:
4370:
4349:
4344:
4340:
4336:
4331:
4327:
4323:
4303:
4300:
4297:
4292:
4288:
4284:
4279:
4275:
4251:
4231:
4226:
4222:
4218:
4213:
4209:
4205:
4182:
4177:
4173:
4169:
4164:
4160:
4156:
4136:
4131:
4127:
4123:
4118:
4114:
4110:
4090:
4085:
4081:
4077:
4074:
4071:
4060:
4059:
4045:
4041:
4018:
4014:
4003:
3991:
3988:
3983:
3979:
3958:
3955:
3950:
3946:
3923:
3919:
3908:
3896:
3893:
3890:
3870:
3850:
3827:
3815:
3812:
3798:
3793:
3789:
3785:
3780:
3776:
3772:
3769:
3764:
3760:
3736:
3731:
3727:
3723:
3718:
3714:
3710:
3707:
3702:
3698:
3674:
3671:
3668:
3665:
3662:
3640:
3636:
3612:
3592:
3587:
3583:
3579:
3574:
3570:
3566:
3539:
3534:
3530:
3526:
3521:
3517:
3513:
3510:
3505:
3501:
3486:
3472:
3467:
3463:
3459:
3454:
3450:
3446:
3443:
3438:
3434:
3413:
3408:
3404:
3400:
3395:
3391:
3387:
3365:
3361:
3337:
3332:
3328:
3324:
3319:
3315:
3311:
3308:
3303:
3299:
3278:
3273:
3269:
3265:
3260:
3256:
3252:
3230:
3226:
3208:
3206:
3203:
3186:
3183:
3180:
3158:
3155:
3152:
3149:
3146:
3143:
3140:
3137:
3129:
3126:
3123:
3120:
3115:
3111:
3107:
3102:
3098:
3092:
3088:
3076:
3075:
3064:
3061:
3058:
3053:
3049:
3045:
3040:
3036:
3030:
3026:
3020:
3015:
3012:
3009:
3005:
2994:
2990:
2989:
2978:
2975:
2972:
2969:
2966:
2963:
2960:
2952:
2949:
2946:
2941:
2937:
2926:
2922:
2921:
2910:
2907:
2904:
2901:
2898:
2895:
2892:
2884:
2881:
2878:
2875:
2870:
2866:
2862:
2857:
2853:
2842:
2829:
2826:
2823:
2820:
2817:
2814:
2811:
2803:
2800:
2797:
2794:
2789:
2785:
2781:
2776:
2772:
2761:
2758:
2746:
2742:
2739:
2734:
2730:
2726:
2721:
2717:
2713:
2708:
2704:
2698:
2693:
2690:
2687:
2683:
2679:
2676:
2671:
2667:
2663:
2658:
2654:
2650:
2645:
2641:
2635:
2630:
2627:
2624:
2620:
2616:
2613:
2608:
2604:
2600:
2597:
2594:
2591:
2571:
2568:
2565:
2562:
2551:
2539:
2535:
2532:
2527:
2523:
2519:
2514:
2510:
2506:
2501:
2497:
2491:
2486:
2483:
2480:
2476:
2472:
2469:
2464:
2460:
2456:
2451:
2447:
2443:
2438:
2434:
2428:
2423:
2420:
2417:
2413:
2409:
2406:
2401:
2397:
2393:
2390:
2387:
2367:
2364:
2361:
2358:
2347:
2323:
2320:
2317:
2314:
2311:
2308:
2305:
2302:
2299:
2291:
2287:
2266:
2263:
2260:
2257:
2254:
2251:
2248:
2245:
2242:
2234:
2230:
2203:
2199:
2176:
2171:
2166:
2161:
2157:
2145:subderivatives
2131:
2127:
2122:
2117:
2112:
2107:
2103:
2081:
2077:
2072:
2067:
2062:
2057:
2053:
2031:
2027:
2022:
2017:
2012:
2009:
1994:
1991:
1966:
1962:
1959:
1956:
1953:
1950:
1947:
1944:
1941:
1938:
1935:
1932:
1928:
1924:
1919:
1915:
1911:
1907:
1903:
1899:
1894:
1890:
1886:
1857:
1853:
1849:
1845:
1841:
1838:
1818:
1813:
1808:
1803:
1798:
1793:
1788:
1767:
1763:
1758:
1753:
1729:
1721:
1717:
1713:
1712:
1707:
1703:
1699:
1698:
1696:
1691:
1686:
1681:
1657:
1652:
1625:
1621:
1618:
1613:
1608:
1603:
1599:
1578:
1574:
1570:
1567:
1564:
1561:
1556:
1551:
1528:
1503:
1500:
1497:
1494:
1491:
1488:
1485:
1465:
1461:
1457:
1452:
1448:
1427:
1423:
1419:
1416:
1391:
1386:
1363:
1359:
1355:
1333:
1329:
1325:
1304:
1300:
1296:
1292:
1288:
1285:
1261:
1256:
1251:
1246:
1241:
1236:
1231:
1214:
1197:
1192:
1186:
1183:
1182:
1179:
1176:
1175:
1173:
1168:
1164:
1151:
1143:
1139:
1135:
1134:
1131:
1128:
1127:
1122:
1118:
1114:
1113:
1110:
1107:
1106:
1101:
1097:
1093:
1092:
1090:
1085:
1081:
1076:
1071:
1063:
1059:
1055:
1054:
1051:
1048:
1047:
1042:
1038:
1034:
1033:
1030:
1027:
1026:
1021:
1017:
1013:
1012:
1010:
1005:
1001:
996:
991:
984:
980:
976:
970:
966:
962:
961:
958:
955:
954:
950:
946:
942:
936:
932:
928:
927:
924:
921:
920:
916:
912:
908:
902:
898:
894:
893:
891:
886:
882:
878:
874:
869:
864:
859:
852:
848:
844:
838:
834:
830:
829:
826:
823:
822:
818:
814:
810:
804:
800:
796:
795:
792:
789:
788:
784:
780:
776:
770:
766:
762:
761:
759:
754:
750:
746:
742:
737:
710:
704:
700:
696:
692:
688:
687:
684:
680:
676:
672:
668:
667:
665:
658:
653:
648:
645:
641:
637:
634:
631:
628:
624:
620:
616:
612:
609:
606:
603:
599:
595:
591:
585:
580:
575:
572:
568:
564:
560:
554:
549:
544:
541:
537:
533:
530:
527:
524:
520:
516:
512:
508:
504:
500:
495:
471:
451:
427:
424:
421:
418:
415:
412:
409:
406:
403:
395:
391:
366:
363:
360:
357:
354:
351:
348:
345:
342:
334:
330:
301:
279:
274:
247:
243:
239:
227:
226:
225:
224:
213:
210:
207:
203:
199:
194:
190:
179:
168:
165:
162:
159:
155:
151:
146:
142:
128:
117:
113:
109:
106:
86:
83:
79:William Karush
71:Harold W. Kuhn
15:
9:
6:
4:
3:
2:
10261:
10250:
10247:
10245:
10242:
10241:
10239:
10230:
10227:
10225:
10222:
10221:
10211:
10209:0-521-49770-1
10205:
10201:
10197:
10192:
10188:
10182:
10178:
10173:
10169:
10167:0-333-27768-6
10163:
10159:
10154:
10150:
10148:0-387-90304-6
10144:
10140:
10136:
10135:
10129:
10125:
10123:0-521-83378-7
10119:
10115:
10108:
10103:
10099:
10097:0-7923-5454-0
10093:
10089:
10085:
10080:
10076:
10074:0-486-43227-0
10070:
10066:
10061:
10057:
10053:
10049:
10045:
10041:
10037:
10032:
10031:
10019:
10013:
10004:
9999:
9995:
9991:
9987:
9980:
9972:
9968:
9964:
9960:
9956:
9952:
9945:
9937:
9933:
9929:
9927:0-521-83378-7
9923:
9919:
9916:. Cambridge:
9915:
9908:
9900:
9898:9781886529007
9894:
9890:
9886:
9880:
9869:
9862:
9855:
9847:
9843:
9839:
9833:
9829:
9825:
9821:
9815:
9807:
9803:
9799:
9797:0-521-83378-7
9793:
9789:
9786:. Cambridge:
9785:
9778:
9770:
9768:0-387-90304-6
9764:
9760:
9756:
9755:
9747:
9739:
9737:0-471-91922-5
9733:
9729:
9725:
9718:
9710:
9706:
9701:
9696:
9692:
9688:
9687:Historia Math
9684:
9680:
9674:
9666:
9665:
9657:
9649:
9645:
9641:
9637:
9633:
9632:Tucker, A. W.
9629:
9623:
9615:
9613:0-13-638106-5
9609:
9605:
9598:
9594:
9584:
9581:
9579:
9576:
9573:
9570:
9567:
9563:
9559:
9557:
9554:
9552:
9551:Farkas' lemma
9549:
9548:
9542:
9540:
9535:
9533:
9529:
9506:
9503:
9500:
9497:
9494:
9491:
9488:
9485:
9481:
9478:
9475:
9467:
9463:
9454:
9450:
9444:
9440:
9431:
9428:
9425:
9417:
9413:
9404:
9400:
9390:
9386:
9380:
9375:
9372:
9369:
9365:
9361:
9353:
9349:
9340:
9336:
9326:
9322:
9316:
9311:
9308:
9305:
9301:
9297:
9289:
9285:
9278:
9269:
9265:
9252:
9251:
9250:
9231:
9227:
9220:
9197:
9194:
9188:
9185:
9182:
9179:
9174:
9170:
9146:
9143:
9138:
9134:
9119:
9117:
9101:
9079:
9075:
9052:
9048:
9025:
9021:
9011:
8998:
8989:
8986:
8983:
8980:
8977:
8971:
8968:
8965:
8960:
8956:
8952:
8946:
8938:
8934:
8930:
8927:
8924:
8921:
8913:
8908:
8898:
8895:
8872:
8847:
8841:
8838:
8835:
8832:
8829:
8823:
8820:
8817:
8811:
8808:
8805:
8802:
8799:
8793:
8790:
8783:
8782:
8781:
8780:
8763:
8760:
8754:
8746:
8742:
8738:
8733:
8729:
8725:
8719:
8711:
8707:
8699:
8698:
8697:
8696:
8669:
8668:
8650:
8644:
8639:
8631:
8623:
8619:
8615:
8612:
8609:
8604:
8600:
8593:
8586:
8585:
8584:
8565:
8562:
8556:
8548:
8544:
8540:
8535:
8531:
8527:
8521:
8513:
8509:
8501:
8500:
8499:
8498:
8471:
8470:
8452:
8446:
8433:
8432:
8431:
8423:
8421:
8405:
8396:
8392:
8380:
8379:marginal cost
8377:is less than
8364:
8355:
8351:
8339:
8323:
8303:
8283:
8274:
8270:
8245:
8236:
8232:
8204:
8200:
8194:
8184:
8173:
8166:
8163:
8160:
8156:
8151:
8145:
8135:
8120:
8119:
8118:
8104:
8101:
8098:
8078:
8075:
8072:
8045:
8042:
8030:
8026:
8020:
8014:
8011:
8005:
7999:
7993:
7985:
7982:
7979:
7976:
7968:
7965:
7962:
7953:
7949:
7943:
7937:
7934:
7928:
7922:
7914:
7911:
7908:
7904:
7899:
7893:
7883:
7872:
7868:
7865:
7859:
7856:
7853:
7846:
7840:
7830:
7819:
7814:
7810:
7802:
7799:
7796:
7793:
7785:
7782:
7779:
7775:
7769:
7759:
7748:
7744:
7741:
7735:
7732:
7729:
7722:
7716:
7706:
7695:
7682:
7681:
7680:
7663:
7660:
7657:
7654:
7647:
7630:
7624:
7621:
7615:
7609:
7606:
7597:
7589:
7586:
7569:
7563:
7560:
7552:
7551:
7550:
7548:
7526:
7502:
7496:
7473:
7467:
7447:
7439:
7433:
7423:
7421:
7420:Peano surface
7400:
7395:
7391:
7387:
7384:
7379:
7375:
7363:
7358:
7354:
7350:
7345:
7341:
7334:
7326:
7322:
7318:
7313:
7309:
7302:
7280:
7276:
7255:
7252:
7249:
7241:
7237:
7233:
7228:
7224:
7220:
7215:
7211:
7204:
7199:
7194:
7191:
7181:
7177:
7167:
7153:
7150:
7145:
7141:
7117:
7109:
7105:
7077:
7066:
7062:
7059:
7054:
7049:
7040:
7036:
7027:
7023:
7017:
7009:
7001:
6997:
6988:
6984:
6978:
6969:
6960:
6959:
6958:
6944:
6941:
6938:
6915:
6912:
6909:
6901:
6897:
6893:
6888:
6884:
6880:
6875:
6871:
6864:
6859:
6854:
6851:
6841:
6837:
6829:
6828:
6827:
6807:
6799:
6795:
6789:
6785:
6779:
6774:
6771:
6768:
6764:
6760:
6754:
6746:
6742:
6736:
6732:
6726:
6721:
6718:
6715:
6711:
6707:
6701:
6695:
6692:
6686:
6683:
6680:
6677:
6674:
6668:
6661:
6660:
6659:
6643:
6639:
6635:
6630:
6626:
6622:
6617:
6613:
6605:The solution
6603:
6601:
6591:
6589:
6588:
6582:
6580:
6564:
6556:
6552:
6534:
6530:
6521:
6503:
6499:
6490:
6474:
6465:
6456:
6450:
6449:
6448:
6442:
6441:
6440:
6421:
6418:
6412:
6404:
6400:
6379:
6376:
6370:
6362:
6358:
6337:
6315:
6311:
6288:
6284:
6280:
6277:
6269:
6265:
6262:
6260:
6257:
6256:
6241:
6238:
6230:
6226:
6217:
6213:
6207:
6203:
6196:
6193:
6188:
6184:
6163:
6160:
6152:
6148:
6139:
6135:
6129:
6125:
6118:
6115:
6110:
6106:
6083:
6079:
6070:
6066:
6045:
6042:
6037:
6033:
6010:
6006:
5983:
5979:
5970:
5967:
5964:
5963:
5945:
5941:
5918:
5914:
5905:
5902:
5899:
5898:
5895:is constant.
5880:
5876:
5867:
5864:
5862:
5859:
5858:
5842:
5839:
5836:
5821:
5817:
5808:
5804:
5780:
5777:
5774:
5759:
5755:
5746:
5742:
5716:
5706:
5703:
5681:
5677:
5668:
5665:
5662:
5661:
5643:
5639:
5630:
5626:
5623:
5620:
5619:
5615:
5597:
5593:
5570:
5566:
5557:
5554:
5551:
5550:
5546:
5543:
5540:
5539:
5536:
5522:
5519:
5511:
5507:
5500:
5474:
5468:
5446:
5442:
5419:
5415:
5386:
5383:
5375:
5371:
5343:
5340:
5339:
5319:
5307:
5304:
5303:
5283:
5275:
5271:
5255:
5236:
5228:
5224:
5208:
5205:
5204:
5184:
5164:
5160:
5148:
5145:
5125:
5121:
5109:
5106:
5098:
5094:
5087:
5061:
5055:
5047:
5028:
5008:
5004:
4992:
4989:
4969:
4965:
4953:
4950:
4942:
4938:
4931:
4905:
4899:
4891:
4888:
4887:
4886:
4865:
4859:
4855:
4851:
4848:
4845:
4840:
4836:
4831:
4826:
4794:
4788:
4784:
4780:
4777:
4774:
4769:
4765:
4760:
4755:
4723:
4716:
4708:
4704:
4700:
4697:
4694:
4688:
4680:
4676:
4671:
4666:
4660:
4630:
4615:
4603:
4597:
4562:
4555:
4547:
4543:
4539:
4536:
4533:
4527:
4519:
4515:
4510:
4505:
4499:
4469:
4454:
4442:
4436:
4420:
4410:
4396:
4393:
4385:
4381:
4372:
4368:
4342:
4338:
4329:
4325:
4301:
4298:
4290:
4286:
4277:
4273:
4263:
4249:
4224:
4220:
4211:
4207:
4194:
4175:
4171:
4162:
4158:
4129:
4125:
4116:
4112:
4083:
4079:
4072:
4043:
4039:
4016:
4012:
4004:
3989:
3986:
3981:
3977:
3956:
3953:
3948:
3944:
3921:
3917:
3909:
3894:
3888:
3868:
3848:
3841:
3840:
3839:
3825:
3810:
3791:
3787:
3783:
3778:
3774:
3767:
3762:
3758:
3748:
3729:
3725:
3721:
3716:
3712:
3705:
3700:
3696:
3686:
3669:
3666:
3663:
3638:
3634:
3624:
3610:
3585:
3581:
3577:
3572:
3568:
3555:
3553:
3532:
3528:
3524:
3519:
3515:
3508:
3503:
3499:
3484:
3465:
3461:
3457:
3452:
3448:
3441:
3436:
3432:
3406:
3402:
3398:
3393:
3389:
3363:
3359:
3349:
3330:
3326:
3322:
3317:
3313:
3306:
3301:
3297:
3271:
3267:
3263:
3258:
3254:
3228:
3224:
3202:
3200:
3184:
3181:
3178:
3169:
3156:
3153:
3150:
3147:
3144:
3141:
3138:
3135:
3127:
3124:
3121:
3113:
3109:
3100:
3096:
3090:
3086:
3062:
3059:
3051:
3047:
3038:
3034:
3028:
3024:
3018:
3013:
3010:
3007:
3003:
2995:
2992:
2991:
2976:
2973:
2970:
2967:
2964:
2961:
2958:
2950:
2947:
2944:
2939:
2935:
2927:
2924:
2923:
2908:
2905:
2902:
2899:
2896:
2893:
2890:
2882:
2879:
2876:
2868:
2864:
2855:
2851:
2843:
2827:
2824:
2821:
2818:
2815:
2812:
2809:
2801:
2798:
2795:
2787:
2783:
2774:
2770:
2762:
2759:
2740:
2732:
2728:
2719:
2715:
2706:
2702:
2696:
2691:
2688:
2685:
2681:
2677:
2669:
2665:
2656:
2652:
2643:
2639:
2633:
2628:
2625:
2622:
2618:
2614:
2606:
2602:
2595:
2589:
2566:
2560:
2552:
2533:
2525:
2521:
2512:
2508:
2499:
2495:
2489:
2484:
2481:
2478:
2474:
2470:
2462:
2458:
2449:
2445:
2436:
2432:
2426:
2421:
2418:
2415:
2411:
2407:
2399:
2395:
2388:
2362:
2356:
2348:
2345:
2344:
2339:
2335:
2318:
2315:
2312:
2309:
2306:
2303:
2300:
2289:
2285:
2261:
2258:
2255:
2252:
2249:
2246:
2243:
2232:
2228:
2219:
2218:local optimum
2201:
2197:
2174:
2164:
2159:
2155:
2146:
2120:
2110:
2105:
2101:
2070:
2060:
2055:
2051:
2020:
2010:
2007:
2000:
1990:
1988:
1983:
1981:
1964:
1960:
1957:
1954:
1951:
1948:
1945:
1942:
1939:
1936:
1933:
1917:
1913:
1909:
1901:
1892:
1888:
1875:
1869:
1851:
1847:
1836:
1811:
1806:
1801:
1796:
1761:
1756:
1751:
1727:
1719:
1715:
1705:
1701:
1694:
1689:
1684:
1679:
1655:
1640:
1619:
1611:
1565:
1562:
1559:
1554:
1517:
1501:
1498:
1495:
1492:
1489:
1486:
1483:
1450:
1446:
1414:
1405:
1389:
1357:
1353:
1327:
1298:
1294:
1283:
1275:
1254:
1249:
1244:
1239:
1213:
1211:
1195:
1190:
1184:
1177:
1171:
1166:
1162:
1149:
1141:
1137:
1129:
1120:
1116:
1108:
1099:
1095:
1088:
1083:
1079:
1074:
1069:
1061:
1057:
1049:
1040:
1036:
1028:
1019:
1015:
1008:
1003:
999:
994:
989:
982:
974:
968:
964:
956:
948:
940:
934:
930:
922:
914:
906:
900:
896:
889:
884:
880:
872:
862:
857:
850:
842:
836:
832:
824:
816:
808:
802:
798:
790:
782:
774:
768:
764:
757:
752:
748:
740:
726:
723:
708:
663:
651:
646:
632:
629:
622:
618:
607:
604:
578:
573:
547:
542:
528:
525:
518:
514:
510:
506:
483:
469:
449:
441:
422:
419:
416:
413:
410:
407:
404:
393:
389:
380:
361:
358:
355:
352:
349:
346:
343:
332:
328:
319:
315:
299:
277:
262:
261:convex subset
241:
211:
208:
192:
188:
180:
166:
163:
160:
144:
140:
132:
131:
129:
104:
96:
95:
94:
92:
91:standard form
82:
80:
76:
72:
67:
65:
60:
58:
54:
50:
46:
42:
38:
34:
30:
26:
22:
10199:
10176:
10157:
10133:
10113:
10087:
10064:
10039:
10035:
10017:
10012:
9993:
9989:
9979:
9957:(1): 65–76.
9954:
9950:
9944:
9913:
9907:
9888:
9879:
9868:the original
9854:
9823:
9814:
9783:
9777:
9753:
9746:
9727:
9717:
9690:
9686:
9673:
9663:
9656:
9639:
9622:
9603:
9597:
9562:Big M method
9536:
9531:
9525:
9125:
9012:
8864:
8582:
8429:
8219:
8064:
7678:
7435:
7168:
7096:
6930:
6825:
6604:
6598:For smooth,
6597:
6585:
6583:
6466:
6462:
6454:
6446:
6438:
5406:
4889:Stationarity
4416:
4264:
4195:
4061:
3817:
3749:
3687:
3625:
3556:
3490:
3350:
3209:
3170:
3077:
2346:Stationarity
1996:
1984:
1871:
1406:
1274:saddle point
1215:
1209:
727:
724:
484:
228:
88:
68:
61:
36:
32:
28:
24:
18:
9628:Kuhn, H. W.
5541:Constraint
3653:, and vary
3603:, and vary
2147:at a point
1987:closed-form
1742:satisfying
130:subject to
10238:Categories
9589:References
7587:subject to
7430:See also:
6350:such that
6098:such that
5731:such that
5547:Statement
1779:such that
1589:such that
440:constraint
379:constraint
320:function,
33:conditions
10067:. Dover.
10056:122212394
9971:122906371
9498:…
9468:∗
9441:μ
9418:∗
9397:∇
9387:λ
9381:ℓ
9366:∑
9354:∗
9333:∇
9323:μ
9302:∑
9290:∗
9276:∇
9266:μ
9232:∗
9218:∇
9195:≠
9189:λ
9183:μ
9171:μ
9144:≥
9135:μ
9022:μ
8984:…
8972:∈
8953:≤
8925:∈
8914:∣
8899:∈
8836:…
8824:∈
8812:ℓ
8806:…
8794:∈
8726:≤
8613:…
8528:≤
8324:μ
8304:μ
8167:μ
8157:μ
8027:−
8012:−
7994:μ
7980:≥
7977:μ
7963:≥
7950:−
7935:−
7869:μ
7866:−
7860:μ
7797:≥
7780:≤
7745:μ
7742:−
7736:μ
7658:≥
7622:−
7607:≤
7561:−
7553:Minimize
7436:Often in
7426:Economics
7385:−
7351:−
7281:∗
7242:∗
7238:μ
7229:∗
7225:λ
7216:∗
7188:∇
7142:μ
7041:∗
7014:∇
7002:∗
6975:∇
6942:≠
6913:≥
6902:∗
6898:μ
6889:∗
6885:λ
6876:∗
6848:∇
6786:λ
6780:ℓ
6765:∑
6733:μ
6712:∑
6687:μ
6681:λ
6644:∗
6640:μ
6631:∗
6627:λ
6618:∗
6204:μ
6200:⇒
6194:≠
6185:μ
6126:λ
6122:⇒
6116:≠
6107:λ
6084:∗
6076:→
6043:≥
6034:μ
6007:λ
5984:∗
5946:∗
5919:∗
5881:∗
5832:⊤
5822:∗
5801:∇
5770:⊤
5760:∗
5739:∇
5707:∈
5682:∗
5644:∗
5512:∗
5498:∇
5447:∗
5420:∗
5376:∗
5358:⊤
5353:μ
5320:≥
5316:μ
5276:∗
5237:≤
5229:∗
5181:λ
5175:⊤
5165:∗
5142:μ
5136:⊤
5126:∗
5099:∗
5085:∂
5025:λ
5019:⊤
5009:∗
4990:−
4986:μ
4980:⊤
4970:∗
4951:−
4943:∗
4929:∂
4871:⊤
4860:ℓ
4856:λ
4849:…
4837:λ
4823:λ
4800:⊤
4785:μ
4778:…
4766:μ
4752:μ
4729:⊤
4709:ℓ
4698:…
4631:ℓ
4621:→
4568:⊤
4537:…
4460:→
4386:∗
4369:μ
4343:∗
4322:∂
4291:∗
4225:∗
4204:∂
4176:∗
4155:∂
4130:∗
4109:∂
4084:∗
4070:∂
3954:≤
3892:∂
3889:−
3792:∗
3788:λ
3779:∗
3775:μ
3763:∗
3730:∗
3726:λ
3717:∗
3713:μ
3701:∗
3670:λ
3664:μ
3639:∗
3586:∗
3582:λ
3573:∗
3569:μ
3533:∗
3529:λ
3520:∗
3516:μ
3504:∗
3466:∗
3462:λ
3453:∗
3449:μ
3437:∗
3407:∗
3403:λ
3394:∗
3390:μ
3364:∗
3331:∗
3327:λ
3318:∗
3314:μ
3302:∗
3272:∗
3268:λ
3259:∗
3255:μ
3229:∗
3148:…
3114:∗
3087:μ
3052:∗
3025:μ
3004:∑
2971:…
2945:≥
2936:μ
2903:…
2877:≤
2869:∗
2828:ℓ
2822:…
2788:∗
2741:∋
2733:∗
2712:∂
2703:μ
2682:∑
2670:∗
2649:∂
2640:λ
2634:ℓ
2619:∑
2607:∗
2593:∂
2590:−
2534:∋
2526:∗
2505:∂
2496:μ
2475:∑
2463:∗
2442:∂
2433:λ
2427:ℓ
2412:∑
2400:∗
2386:∂
2319:ℓ
2313:…
2286:λ
2256:…
2229:μ
2202:∗
2165:∈
2160:∗
2126:→
2111::
2076:→
2061::
2026:→
2011::
1955:…
1934:≤
1902:∈
1885:Γ
1852:α
1812:∗
1807:α
1797:∗
1762:≥
1757:∗
1752:μ
1720:∗
1716:λ
1706:∗
1702:μ
1685:∗
1680:α
1656:∗
1566:
1560:∈
1496:…
1390:∗
1358:≥
1354:μ
1328:∈
1299:α
1255:∗
1250:α
1240:∗
1185:λ
1178:μ
1163:α
1142:ℓ
1138:λ
1130:⋮
1117:λ
1109:⋮
1096:λ
1080:λ
1058:μ
1050:⋮
1037:μ
1029:⋮
1016:μ
1000:μ
969:ℓ
957:⋮
923:⋮
825:⋮
791:⋮
657:⊤
652:α
623:α
584:⊤
579:λ
553:⊤
548:μ
519:λ
511:μ
470:ℓ
423:ℓ
417:…
356:…
314:objective
242:∈
161:≤
97:minimize
9887:(1999).
9822:(2006).
9681:(2000).
9634:(1951).
9545:See also
5544:Acronym
4582:and let
9936:2061575
9846:2199043
9806:2061575
9709:1800317
9648:0047303
3211:Theorem
1637:(i.e.,
1375:, then
1217:Theorem
318:utility
312:is the
53:optimal
10206:
10183:
10164:
10145:
10120:
10094:
10071:
10054:
9969:
9934:
9924:
9895:
9844:
9834:
9804:
9794:
9765:
9734:
9707:
9646:
9610:
8682:
8484:
8065:Since
7547:profit
6931:where
6826:then,
6553:, and
6266:For a
4743:. Let
2295:
2238:
1563:relint
1516:convex
1514:, are
725:where
399:
338:
229:where
51:to be
39:, are
23:, the
10139:38–73
10110:(PDF)
10052:S2CID
9967:S2CID
9871:(PDF)
9864:(PDF)
9759:38–44
5968:QNCQ
5903:CPLD
5865:CRCQ
5666:MFCQ
5624:LICQ
3488:Proof
3205:Proof
2216:is a
2189:. If
2143:have
1272:is a
10204:ISBN
10181:ISBN
10162:ISBN
10143:ISBN
10118:ISBN
10092:ISBN
10069:ISBN
9922:ISBN
9893:ISBN
9832:ISBN
9792:ISBN
9763:ISBN
9732:ISBN
9608:ISBN
9560:The
8258:and
8102:>
7151:>
6549:are
6447:and
6419:<
6392:and
6239:>
6176:and
6161:>
5778:<
5612:are
5585:and
5555:LCQ
4814:and
4299:<
4147:and
3626:Fix
3557:Fix
2277:and
2093:and
1620:<
1438:and
1208:The
462:and
73:and
10044:doi
10040:125
9998:doi
9994:236
9959:doi
9695:doi
8885:is
8636:sup
8035:min
7958:min
7602:min
7531:min
7169:If
6263:SC
5631:at
5558:If
3881:is
1518:in
1315:in
1276:of
1157:and
316:or
263:of
29:KKT
19:In
10240::
10198:.
10141:.
10112:.
10086:.
10050:.
10038:.
9992:.
9988:.
9965:.
9955:47
9953:.
9932:MR
9930:.
9842:MR
9840:.
9830:.
9802:MR
9800:.
9761:.
9726:.
9705:MR
9703:.
9691:27
9689:.
9685:.
9644:MR
9638:.
9630:;
9541:.
9534:.
9118:.
8566:0.
8046:0.
7422:.
6590:.
6422:0.
6242:0.
5960:.
5658:.
5387:0.
5077::
4921::
4262:.
4193:.
3554:.
3201:.
3063:0.
2582::
2378::
1982:.
1868:.
1476:,
1345:,
292:,
212:0.
93::
31:)
10212:.
10189:.
10170:.
10151:.
10126:.
10100:.
10077:.
10058:.
10046::
10006:.
10000::
9973:.
9961::
9938:.
9901:.
9848:.
9808:.
9771:.
9740:.
9711:.
9697::
9650:.
9616:.
9507:,
9504:m
9501:,
9495:,
9492:1
9489:=
9486:i
9482:,
9479:0
9476:=
9473:)
9464:x
9460:(
9455:i
9451:g
9445:j
9432:,
9429:0
9426:=
9423:)
9414:x
9410:(
9405:j
9401:h
9391:j
9376:1
9373:=
9370:j
9362:+
9359:)
9350:x
9346:(
9341:i
9337:g
9327:i
9317:m
9312:1
9309:=
9306:i
9298:+
9295:)
9286:x
9282:(
9279:f
9270:0
9237:)
9228:x
9224:(
9221:f
9198:0
9192:)
9186:,
9180:,
9175:0
9167:(
9147:0
9139:0
9102:f
9080:i
9076:a
9053:i
9049:a
9026:i
8999:.
8996:}
8993:}
8990:m
8987:,
8981:,
8978:1
8975:{
8969:i
8966:,
8961:i
8957:a
8950:)
8947:x
8944:(
8939:i
8935:g
8931:,
8928:X
8922:x
8909:m
8904:R
8896:a
8893:{
8873:V
8848:,
8845:}
8842:m
8839:,
8833:,
8830:1
8827:{
8821:i
8818:,
8815:}
8809:,
8803:,
8800:1
8797:{
8791:j
8764:0
8761:=
8758:)
8755:x
8752:(
8747:j
8743:h
8739:,
8734:i
8730:a
8723:)
8720:x
8717:(
8712:i
8708:g
8654:)
8651:x
8648:(
8645:f
8640:x
8632:=
8629:)
8624:n
8620:a
8616:,
8610:,
8605:1
8601:a
8597:(
8594:V
8563:=
8560:)
8557:x
8554:(
8549:j
8545:h
8541:,
8536:i
8532:a
8525:)
8522:x
8519:(
8514:i
8510:g
8456:)
8453:x
8450:(
8447:f
8406:Q
8402:d
8397:/
8393:C
8389:d
8365:Q
8361:d
8356:/
8352:R
8348:d
8284:Q
8280:d
8275:/
8271:C
8267:d
8246:Q
8242:d
8237:/
8233:R
8229:d
8205:.
8201:)
8195:Q
8191:d
8185:C
8181:d
8174:(
8164:+
8161:1
8152:=
8146:Q
8142:d
8136:R
8132:d
8105:0
8099:Q
8079:0
8076:=
8073:Q
8043:=
8040:]
8031:G
8024:)
8021:Q
8018:(
8015:C
8009:)
8006:Q
8003:(
8000:R
7997:[
7986:,
7983:0
7969:,
7966:0
7954:G
7947:)
7944:Q
7941:(
7938:C
7932:)
7929:Q
7926:(
7923:R
7915:,
7912:0
7909:=
7905:]
7900:)
7894:Q
7890:d
7884:C
7880:d
7873:(
7863:)
7857:+
7854:1
7851:(
7847:)
7841:Q
7837:d
7831:R
7827:d
7820:(
7815:[
7811:Q
7803:,
7800:0
7794:Q
7786:,
7783:0
7776:)
7770:Q
7766:d
7760:C
7756:d
7749:(
7739:)
7733:+
7730:1
7727:(
7723:)
7717:Q
7713:d
7707:R
7703:d
7696:(
7664:,
7661:0
7655:Q
7634:)
7631:Q
7628:(
7625:C
7619:)
7616:Q
7613:(
7610:R
7598:G
7573:)
7570:Q
7567:(
7564:R
7527:G
7506:)
7503:Q
7500:(
7497:C
7477:)
7474:Q
7471:(
7468:R
7448:Q
7406:)
7401:2
7396:1
7392:x
7388:3
7380:2
7376:x
7372:(
7369:)
7364:2
7359:1
7355:x
7346:2
7342:x
7338:(
7335:=
7332:)
7327:2
7323:x
7319:,
7314:1
7310:x
7306:(
7303:f
7277:x
7256:0
7253:=
7250:s
7247:)
7234:,
7221:,
7212:x
7208:(
7205:L
7200:2
7195:x
7192:x
7182:T
7178:s
7154:0
7146:i
7121:)
7118:x
7115:(
7110:i
7106:g
7078:2
7073:R
7067:0
7063:=
7060:s
7055:T
7050:]
7046:)
7037:x
7033:(
7028:j
7024:h
7018:x
7010:,
7007:)
6998:x
6994:(
6989:i
6985:g
6979:x
6970:[
6945:0
6939:s
6916:0
6910:s
6907:)
6894:,
6881:,
6872:x
6868:(
6865:L
6860:2
6855:x
6852:x
6842:T
6838:s
6811:)
6808:x
6805:(
6800:j
6796:h
6790:j
6775:1
6772:=
6769:j
6761:+
6758:)
6755:x
6752:(
6747:i
6743:g
6737:i
6727:m
6722:1
6719:=
6716:i
6708:+
6705:)
6702:x
6699:(
6696:f
6693:=
6690:)
6684:,
6678:,
6675:x
6672:(
6669:L
6636:,
6623:,
6614:x
6565:f
6535:i
6531:h
6504:j
6500:g
6475:f
6416:)
6413:x
6410:(
6405:i
6401:g
6380:0
6377:=
6374:)
6371:x
6368:(
6363:j
6359:h
6338:x
6316:j
6312:h
6289:i
6285:g
6281:,
6278:f
6236:)
6231:k
6227:x
6223:(
6218:i
6214:g
6208:i
6197:0
6189:i
6164:0
6158:)
6153:k
6149:x
6145:(
6140:j
6136:h
6130:j
6119:0
6111:j
6080:x
6071:k
6067:x
6046:0
6038:i
6011:j
5980:x
5942:x
5915:x
5877:x
5843:0
5840:=
5837:d
5828:)
5818:x
5814:(
5809:j
5805:h
5781:0
5775:d
5766:)
5756:x
5752:(
5747:i
5743:g
5717:n
5712:R
5704:d
5678:x
5640:x
5598:j
5594:h
5571:i
5567:g
5523:0
5520:=
5517:)
5508:x
5504:(
5501:f
5478:)
5475:x
5472:(
5469:f
5443:x
5416:x
5384:=
5381:)
5372:x
5368:(
5364:g
5324:0
5288:0
5284:=
5281:)
5272:x
5268:(
5264:h
5241:0
5234:)
5225:x
5221:(
5217:g
5189:0
5185:=
5171:)
5161:x
5157:(
5153:h
5149:D
5146:+
5132:)
5122:x
5118:(
5114:g
5110:D
5107:+
5104:)
5095:x
5091:(
5088:f
5065:)
5062:x
5059:(
5056:f
5033:0
5029:=
5015:)
5005:x
5001:(
4997:h
4993:D
4976:)
4966:x
4962:(
4958:g
4954:D
4948:)
4939:x
4935:(
4932:f
4909:)
4906:x
4903:(
4900:f
4866:)
4852:,
4846:,
4841:1
4832:(
4827:=
4795:)
4789:m
4781:,
4775:,
4770:1
4761:(
4756:=
4724:)
4720:)
4717:x
4714:(
4705:h
4701:,
4695:,
4692:)
4689:x
4686:(
4681:1
4677:h
4672:(
4667:=
4664:)
4661:x
4658:(
4654:h
4626:R
4616:n
4611:R
4604::
4601:)
4598:x
4595:(
4591:h
4563:)
4559:)
4556:x
4553:(
4548:m
4544:g
4540:,
4534:,
4531:)
4528:x
4525:(
4520:1
4516:g
4511:(
4506:=
4503:)
4500:x
4497:(
4493:g
4470:m
4465:R
4455:n
4450:R
4443::
4440:)
4437:x
4434:(
4430:g
4397:0
4394:=
4391:)
4382:x
4378:(
4373:i
4348:)
4339:x
4335:(
4330:i
4326:g
4302:0
4296:)
4287:x
4283:(
4278:i
4274:g
4250:x
4230:)
4221:x
4217:(
4212:i
4208:g
4181:)
4172:x
4168:(
4163:i
4159:g
4135:)
4126:x
4122:(
4117:j
4113:h
4089:)
4080:x
4076:(
4073:f
4058:.
4044:j
4040:h
4017:j
4013:h
3990:0
3987:=
3982:i
3978:g
3957:0
3949:i
3945:g
3922:i
3918:g
3907:.
3895:f
3869:f
3849:f
3826:x
3797:)
3784:,
3771:(
3768:,
3759:x
3735:)
3722:,
3709:(
3706:,
3697:x
3673:)
3667:,
3661:(
3635:x
3611:x
3591:)
3578:,
3565:(
3538:)
3525:,
3512:(
3509:,
3500:x
3471:)
3458:,
3445:(
3442:,
3433:x
3412:)
3399:,
3386:(
3360:x
3336:)
3323:,
3310:(
3307:,
3298:x
3277:)
3264:,
3251:(
3225:x
3185:0
3182:=
3179:m
3157:.
3154:m
3151:,
3145:,
3142:1
3139:=
3136:i
3128:,
3125:0
3122:=
3119:)
3110:x
3106:(
3101:i
3097:g
3091:i
3060:=
3057:)
3048:x
3044:(
3039:i
3035:g
3029:i
3019:m
3014:1
3011:=
3008:i
2977:m
2974:,
2968:,
2965:1
2962:=
2959:i
2951:,
2948:0
2940:i
2909:m
2906:,
2900:,
2897:1
2894:=
2891:i
2883:,
2880:0
2874:)
2865:x
2861:(
2856:i
2852:g
2825:,
2819:,
2816:1
2813:=
2810:j
2802:,
2799:0
2796:=
2793:)
2784:x
2780:(
2775:j
2771:h
2745:0
2738:)
2729:x
2725:(
2720:i
2716:g
2707:i
2697:m
2692:1
2689:=
2686:i
2678:+
2675:)
2666:x
2662:(
2657:j
2653:h
2644:j
2629:1
2626:=
2623:j
2615:+
2612:)
2603:x
2599:(
2596:f
2570:)
2567:x
2564:(
2561:f
2538:0
2531:)
2522:x
2518:(
2513:i
2509:g
2500:i
2490:m
2485:1
2482:=
2479:i
2471:+
2468:)
2459:x
2455:(
2450:j
2446:h
2437:j
2422:1
2419:=
2416:j
2408:+
2405:)
2396:x
2392:(
2389:f
2366:)
2363:x
2360:(
2357:f
2322:)
2316:,
2310:,
2307:1
2304:=
2301:j
2298:(
2290:j
2265:)
2262:m
2259:,
2253:,
2250:1
2247:=
2244:i
2241:(
2233:i
2198:x
2175:n
2170:R
2156:x
2130:R
2121:n
2116:R
2106:j
2102:h
2080:R
2071:n
2066:R
2056:i
2052:g
2030:R
2021:n
2016:R
2008:f
1965:}
1961:m
1958:,
1952:,
1949:1
1946:=
1943:i
1940:,
1937:0
1931:)
1927:x
1923:(
1918:i
1914:g
1910::
1906:X
1898:x
1893:{
1889:=
1856:)
1848:,
1844:x
1840:(
1837:L
1817:)
1802:,
1792:x
1787:(
1766:0
1728:]
1695:[
1690:=
1651:x
1624:0
1617:)
1612:0
1607:x
1602:(
1598:g
1577:)
1573:X
1569:(
1555:0
1550:x
1527:X
1502:m
1499:,
1493:,
1490:1
1487:=
1484:i
1464:)
1460:x
1456:(
1451:i
1447:g
1426:)
1422:x
1418:(
1415:f
1385:x
1362:0
1332:X
1324:x
1303:)
1295:,
1291:x
1287:(
1284:L
1260:)
1245:,
1235:x
1230:(
1196:.
1191:]
1172:[
1167:=
1150:]
1121:j
1100:1
1089:[
1084:=
1075:,
1070:]
1062:m
1041:i
1020:1
1009:[
1004:=
995:,
990:]
983:)
979:x
975:(
965:h
949:)
945:x
941:(
935:j
931:h
915:)
911:x
907:(
901:1
897:h
890:[
885:=
881:)
877:x
873:(
868:h
863:,
858:]
851:)
847:x
843:(
837:m
833:g
817:)
813:x
809:(
803:i
799:g
783:)
779:x
775:(
769:1
765:g
758:[
753:=
749:)
745:x
741:(
736:g
709:)
703:)
699:x
695:(
691:h
683:)
679:x
675:(
671:g
664:(
647:+
644:)
640:x
636:(
633:f
630:=
627:)
619:,
615:x
611:(
608:L
605:=
602:)
598:x
594:(
590:h
574:+
571:)
567:x
563:(
559:g
543:+
540:)
536:x
532:(
529:f
526:=
523:)
515:,
507:,
503:x
499:(
494:L
450:m
426:)
420:,
414:,
411:1
408:=
405:j
402:(
394:j
390:h
365:)
362:m
359:,
353:,
350:1
347:=
344:i
341:(
333:i
329:g
300:f
278:n
273:R
246:X
238:x
209:=
206:)
202:x
198:(
193:j
189:h
167:,
164:0
158:)
154:x
150:(
145:i
141:g
116:)
112:x
108:(
105:f
27:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.