Запис о доказима методе

Bilevel Optimization

Bilevel optimization is a class of mathematical programming problems in which one optimization problem is nested inside another. The upper-level (leader) problem optimizes its objective subject to constraints that include the solution of a lower-level (follower) problem. Formalized comprehensively by Jonathan Bard in 1998, the framework models hierarchical decision-making where the leader anticipates and accounts for the rational response of the follower.

Sources recorded, not reviewed

Изворни запис

Цитирани радови су копирани дословно из изворног записа методе. Из њих се не изводи верификација на нивоу тврдње.

Bilevel Optimization (Leader-Follower)

Таксономски запис методе · process-pipeline / optimization

Bard, J. F. (1998). Practical Bilevel Optimization: Algorithms and Applications. Kluwer Academic Publishers. · ISBN 978-0-7923-5458-7
Colson, B., Marcotte, P., & Savard, G. (2007). An overview of bilevel optimization. Annals of Operations Research, 153(1), 235–256. · DOI 10.1007/s10479-007-0176-2

Отвори пуну методу

Куроване тврдње

Тврдње су сачуване у регистру доказа, свака са својом проценом.

Још увек нема курованих тврдњи

Овај приказ не измишља процену тврдње када регистар нема ниједну.

Сродне методе

Генерисано из графа метода и приказано као машински предложене везе — не изводи се тврдња доказа.

Same method familyInteger Programmingmachine-suggested · Relational suggestion, not evidence.Taxonomic bucketNonlinear Programmingmachine-suggested · Relational suggestion, not evidence.Same method familyRobust Optimizationmachine-suggested · Relational suggestion, not evidence.