Экстремальная оптимизация
Экстремальная оптимизация (англ. extremal optimization, EO) — это эвристика оптимизации, вдохновлённая моделью Бака — Снеппена самоорганизованной критичности из области статистической физики. Эта эвристика изначально разрабатывалась для решения задач комбинаторной оптимизации, таких как задача о коммивояжёре и спиновое стекло, однако показала применимость и в других областях оптимизации.
Связь с самоорганизованной критичностью
Самоорганизованная критичность — концепция статистической физики для описания класса динамических систем, притягивающихся к критической точке. В частности, это неравновесные системы, эволюционирующие через лавинообразные изменения и диссипации, распространяющиеся на максимальные масштабы системы. Считается, что самоорганизованная критичность определяет динамику некоторых природных явлений с подобными всплесками, таких как формирование рельефа, землетрясения, эволюция и гранулярная динамика куч риса и песка. Особый интерес здесь представляет модель Бака—Снеппена самоорганизованной критичности, способная описывать эволюцию через прерывистое равновесие (события вымирания), тем самым моделируя эволюцию как самоорганизованный критический процесс.
Связь с вычислительной сложностью
Другим существенным элементом является работа по изучению вычислительной сложности: было показано, что критические точки существуют в NP-полных задачах, где околооптимальные решения широко разбросаны и разделены барьерами в пространстве поиска, что приводит к застреванию или значительному затруднению для алгоритмов локального поиска. Именно эволюционная модель самоорганизованной критичности Бака и Снеппена и наблюдение за критическими точками в задачах комбинаторной оптимизации привели к разработке экстремальной оптимизации Стефаном Бёттхером и Аллоном Перкусом.
Методика
Экстремальная оптимизация спроектирована как алгоритм локального поиска для задач комбинаторной оптимизации. В отличие от генетических алгоритмов, которые оперируют с популяцией кандидатных решений, экстремальная оптимизация эволюционирует одно решение, локально модифицируя наихудшие компоненты. Для этого требуется подобрать подходящее представление решения, позволяющее каждому компоненту присваивать меру качества («приспособленность»). Это отличается от целостных подходов, таких как муравьиная оптимизация и эволюционные вычисления, где все компоненты решения оцениваются одинаково по результатам коллективной проверки по целевой функции. Алгоритм начинается с исходного решения, которое может быть сгенерировано случайно или получено из другого поискового процесса.
Этот подход представляет собой тонкозернистый поиск и внешне напоминает технику поиска по возвышенности (hill climbing). Однако более подробный анализ выявляет интересные принципы, которые потенциально схожи или применимы и к более широким популяционным алгоритмам (эволюционные вычисления, искусственная иммунная система). Управляющий принцип данного алгоритма состоит в улучшении решения путём избирательного удаления низкокачественных компонентов и их замены случайно выбранными. Это явным образом противоположно генетическим алгоритмам — типичным алгоритмам эволюционных вычислений, где отбор делается в пользу лучших решений с целью их дальнейшего улучшения.
Динамика, возникающая из этого простого принципа, заключается, во-первых, в устойчивом поведении поиска по возвышенности, и, во-вторых, наличии механизма разнообразия, сходного с подходами многократного перезапуска поиска. График глобального качества решения во времени (по итерациям алгоритма) показывает периоды улучшений, за которыми следуют «обвалы» качества (лавины), весьма характерные для прерывистого равновесия. Именно такие обвальные скачки или перестройки в пространстве поиска позволяют алгоритму выходить из локальных оптимумов и отличают подход экстремальной оптимизации от прочих процедур локального поиска. Хотя такого рода поведение может быть специально «запрограммировано» или задано жёстко, важно отметить, что здесь это — эмерджентный эффект, возникающий из базового принципа отрицательного отбора компонентов.
Экстремальная оптимизация применяется прежде всего к комбинаторным задачам, таким как разделение графа и задача о коммивояжёре, а также к задачам статистической физики, например, спиновым стёклам.
Вариации и применения
Универсализированная экстремальная оптимизация (GEO, Generalised Extremal Optimization) была разработана для работы с битовыми строками, где качество компонента определяется абсолютной скоростью изменения бита или вкладом бита в общее качество решения. Эта модификация применяется к стандартным задачам оптимизации функций, а также в инженерных приложениях. Другая сходная вариация — непрерывная экстремальная оптимизация (CEO, Continuous Extremal Optimization).
Экстремальная оптимизация также применялась к растеризации изображений и использовалась как локальный поиск после муравьиной оптимизации. EO использовалась для выявления структур в сложных сетях, а также при решении задачи слежения за несколькими целями. Отдельные научные работы были посвящены исследованию распределения вероятностей для управления выбором компонентов.
Литература
- Bak, Per; Tang, Chao; Wiesenfeld, Kurt (27 июля 1987). “Self-organized criticality: An explanation of the 1/f noise”. Physical Review Letters. American Physical Society (APS). 59 (4): 381—384. Bibcode:1987PhRvL..59..381B. DOI:10.1103/physrevlett.59.381. ISSN 0031-9007. PMID 10035754. S2CID 7674321.
- Bak, Per; Sneppen, Kim (13 декабря 1993). “Punctuated equilibrium and criticality in a simple model of evolution”. Physical Review Letters. American Physical Society (APS). 71 (24): 4083—4086. Bibcode:1993PhRvL..71.4083B. DOI:10.1103/physrevlett.71.4083. ISSN 0031-9007. PMID 10055149.
- P. Cheeseman, B. Kanefsky, W. M. Taylor, «Where the really hard problems are», Proceedings of the 12th IJCAI, 1991. [1]
- G. Istrate, «Computational complexity and phase transitions», Proceedings. 15th Annual IEEE Conference on Computational Complexity, 104—115 (2000). [2]
- Stefan Boettcher, Allon G. Percus, «Extremal Optimization: Methods derived from Co-Evolution», Proceedings of the Genetic and Evolutionary Computation Conference (1999). [3]
- Boettcher, Stefan (1 января 1999). “Extremal optimization of graph partitioning at the percolation threshold”. Journal of Physics A: Mathematical and General. IOP Publishing. 32 (28): 5201—5211. arXiv:cond-mat/9901353. Bibcode:1999JPhA...32.5201B. DOI:10.1088/0305-4470/32/28/302. ISSN 0305-4470. S2CID 7925735.
- Boettcher, Stefan; Percus, Allon (2000). “Nature's way of optimizing”. Artificial Intelligence. 119 (1—2): 275—286. arXiv:cond-mat/9901351. DOI:10.1016/S0004-3702(00)00007-2. S2CID 7128022.
- Boettcher, S. (2000). “Extremal optimization: heuristics via coevolutionary avalanches”. Computing in Science & Engineering. Institute of Electrical and Electronics Engineers (IEEE). 2 (6): 75—82. arXiv:cond-mat/0006374. Bibcode:2000CSE.....2f..75B. DOI:10.1109/5992.881710. ISSN 1521-9615. S2CID 7259036.
- Boettcher, Stefan; Percus, Allon G. (4 июня 2001). “Optimization with Extremal Dynamics”. Physical Review Letters. American Physical Society (APS). 86 (23): 5211—5214. arXiv:cond-mat/0010337. Bibcode:2001PhRvL..86.5211B. DOI:10.1103/physrevlett.86.5211. ISSN 0031-9007. PMID 11384460. S2CID 3261749.
- Dall, Jesper; Sibani, Paolo (2001). “Faster Monte Carlo simulations at low temperatures. The waiting time method”. Computer Physics Communications. 141 (2): 260—267. arXiv:cond-mat/0107475. Bibcode:2001CoPhC.141..260D. DOI:10.1016/s0010-4655(01)00412-x. ISSN 0010-4655. S2CID 14585624.
- Boettcher, Stefan; Grigni, Michelangelo (28 января 2002). “Jamming model for the extremal optimization heuristic”. Journal of Physics A: Mathematical and General. IOP Publishing. 35 (5): 1109—1123. arXiv:cond-mat/0110165. Bibcode:2002JPhA...35.1109B. DOI:10.1088/0305-4470/35/5/301. ISSN 0305-4470. S2CID 640976.
- Souham Meshoul, Mohamed Batouche, «Robust Point Correspondence for Image Registration Using Optimization with Extremal Dynamics», Lecture Notes in Computer Science, том 2449, с. 330—337 (2002). [4]
- Onody, Roberto N.; De Castro, Paulo A. (2003). “Self-Organized Criticality, Optimization and Biodiversity”. International Journal of Modern Physics C. World Scientific Pub Co Pte Lt. 14 (7): 911—916. arXiv:cond-mat/0302260. Bibcode:2003IJMPC..14..911O. DOI:10.1142/s0129183103005054. ISSN 0129-1831. S2CID 14553130.
- Boettcher, Stefan; Percus, Allon G. (24 июня 2004). “Extremal optimization at the phase transition of the three-coloring problem”. Physical Review E. American Physical Society (APS). 69 (6). arXiv:cond-mat/0402282. Bibcode:2004PhRvE..69f6703B. DOI:10.1103/physreve.69.066703. ISSN 1539-3755. PMID 15244779. S2CID 3070942.
- Middleton, A. Alan (14 мая 2004). “Improved extremal optimization for the Ising spin glass”. Physical Review E. American Physical Society (APS). 69 (5): 055701(R). arXiv:cond-mat/0402295. Bibcode:2004PhRvE..69e5701M. DOI:10.1103/physreve.69.055701. ISSN 1539-3755. PMID 15244875. S2CID 28439352.
- Heilmann, F; Hoffmann, K. H; Salamon, P (2004). “Best possible probability distribution over extremal optimization ranks”. Europhysics Letters. IOP Publishing. 66 (3): 305—310. Bibcode:2004EL.....66..305H. DOI:10.1209/epl/i2004-10011-3. ISSN 0295-5075. S2CID 250810936.
- Pontus Svenson, «Extremal optimization for sensor report pre-processing», Proc SPIE 5429, 162—171 (2004). [5]
- Zhou, Tao; Bai, Wen-Jie; Cheng, Long-Jiu; Wang, Bing-Hong (6 июля 2005). “Continuous extremal optimization for Lennard-Jones clusters”. Physical Review E. American Physical Society (APS). 72 (1). arXiv:cond-mat/0411428. Bibcode:2005PhRvE..72a6702Z. DOI:10.1103/physreve.72.016702. ISSN 1539-3755. PMID 16090129. S2CID 26578844.
- Duch, Jordi; Arenas, Alex (24 августа 2005). “Community detection in complex networks using extremal optimization”. Physical Review E. American Physical Society (APS). 72 (2). arXiv:cond-mat/0501368. Bibcode:2005PhRvE..72b7104D. DOI:10.1103/physreve.72.027104. ISSN 1539-3755. PMID 16196754. S2CID 13898113.
- Ahmed, E.; Elettreby, M.F. (2006). “On combinatorial optimization motivated by biology”. Applied Mathematics and Computation. Elsevier BV. 172 (1): 40—48. DOI:10.1016/j.amc.2005.01.122. ISSN 0096-3003.
Ссылки
- Стефан Бёттхер — факультет физики Университета Эмори
- Аллон Перкус — Университет Клермонт-Грэдуэйт


