← Search

Martin S. Krejca

9 accepted papers

2026

Improved Runtime Guarantees for the SPEA2 Multi-Objective Optimizer

AAAI 2026technical

Together with the NSGA-II, the SPEA2 is one of the most widely used domination-based multi-objective evolutionary algorithms. For both algorithms, the known runtime guarantees are linear in the population size; for the NSGA-II, matching lower bounds exist. With a careful study of the more complex se

Cited by 0SourcePDFScholar
2025

Proven Approximation Guarantees in Multi-Objective Optimization: SPEA2 Beats NSGA-II

IJCAI 2025

Together with the NSGA-II and SMS-EMOA, the strength Pareto evolutionary algorithm 2 (SPEA2) is one of the most prominent dominance-based multi-objective evolutionary algorithms (MOEAs). Different from the NSGA-II, it does not employ the crowding distance (essentially the distance to neighboring sol

Cited by 0SourcePDFScholar
2025

Resistance is Futile: Gradually Declining Immunity Retains the Exponential Duration of Immunity-Free Diffusion

IJCAI 2025

Diffusion processes pervade numerous areas of AI, abstractly modeling the dynamics of exchanging, oftentimes volatile, information in networks. A central question is how long the information remains in the network, known as survival time. For the commonly studied SIS process, the expected survival t

Cited by 0SourcePDFScholar
2025

Runtime Analysis for Multi-Objective Evolutionary Algorithms in Unbounded Integer Spaces

AAAI 2025technical

Randomized search heuristics have been applied successfully to a plethora of problems. This success is complemented by a large body of theoretical results. Unfortunately, the vast majority of these results regard problems with binary or continuous decision variables -- the theoretical analysis of ra…

Cited by 2SourcePDFScholar
2025

Tight Runtime Guarantees From Understanding the Population Dynamics of the GSEMO Multi-Objective Evolutionary Algorithm

IJCAI 2025

The global simple evolutionary multi-objective optimizer (GSEMO) is a simple, yet often effective multi-objective evolutionary algorithm (MOEA). By only maintaining non-dominated solutions, it has a variable population size that automatically adjusts to the needs of the optimization process. The dow

Cited by 0SourcePDFScholar
2024

Runtime Analysis of the (μ + 1) GA: Provable Speed-Ups from Strong Drift towards Diverse Populations

AAAI 2024technical

Most evolutionary algorithms used in practice heavily employ crossover. In contrast, the rigorous understanding of how crossover is beneficial is largely lagging behind. In this work, we make a considerable step forward by analyzing the population dynamics of the (µ+1) genetic algorithm when optimiz…

Cited by 5SourcePDFScholar
2024

The Irrelevance of Influencers: Information Diffusion with Re-Activation and Immunity Lasts Exponentially Long on Social Network Models

AAAI 2024technical

Information diffusion models on networks are at the forefront of AI research. The dynamics of such models typically follow stochastic models from epidemiology, used to model not only infections but various phenomena, including the behavior of computer viruses and viral marketing campaigns. A core qu…

Cited by 2SourcePDFScholar