Zapis dowodowy metody

Simulated Annealing

Simulated annealing is a probabilistic local-search metaheuristic introduced by Kirkpatrick, Gelatt, and Vecchi in 1983. It models the physical annealing process in metallurgy — where a material is heated and then slowly cooled to reach a low-energy crystalline state — and uses this analogy to escape local optima in combinatorial and continuous optimization problems.

Sources recorded, not reviewed

Zapis źródłowy

Cytaty skopiowane dosłownie z zapisu źródłowego metody. Nie należy z nich wywnioskować weryfikacji na poziomie twierdzenia.

Simulated Annealing

Taksonomiczny zapis metody · process-pipeline / optimization

Kirkpatrick, S., Gelatt, C.D. & Vecchi, M.P. (1983). Optimization by Simulated Annealing. Science, 220(4598), 671-680. · DOI 10.1126/science.220.4598.671
van Laarhoven, P.J.M. & Aarts, E.H.L. (1987). Simulated Annealing: Theory and Applications. Springer. · ISBN 9789027725431

Otwórz pełną metodę

Wyselekcjonowane twierdzenia

Twierdzenia utrwalone w rejestrze dowodowym, każde z własną oceną.

Brak wyselekcjonowanych twierdzeń

Ten widok nie tworzy oceny twierdzenia, jeśli rejestr jej nie zawiera.

Powiązane metody

Wygenerowane z grafu metod i pokazane jako sugerowane przez maszynę powiązania — nie należy z nich wywnioskować twierdzenia dowodowego.

Same method familyAnt Colony Optimizationmachine-suggested · Relational suggestion, not evidence.Same method familyDifferential Evolutionmachine-suggested · Relational suggestion, not evidence.Same method familyGenetic Algorithmmachine-suggested · Relational suggestion, not evidence.Same method familyParticle Swarm Optimizationmachine-suggested · Relational suggestion, not evidence.Same method familyTabu Searchmachine-suggested · Relational suggestion, not evidence.