Maximum Cardinality Matching by Evolutionary Algorithms

Jun He,Xin Yao

2002-01-01

Abstract:The analysis of time complexity of evolutionary algorithms has always focused on some artificial binary problems. This p aper considers the average time complexity of an evolutionary algorithm for maximum cardinality matching in a graph. It is shown that the evolutionary algorithm can produce matchings with nearly maximum cardinality in average polynomial time.

What problem does this paper attempt to address?

Convergence Analysis of General Evolutionary Algorithms

PENG Fuming,YAO Min,BAI Shunke

DOI: https://doi.org/10.3724/sp.j.1087.2013.01571

2013-01-01

Abstract:Traditional Evolutionary Algorithm(EA) convergence research focuses on specific algorithm;consequently the conclusion is only suitable for some specific algorithm.In order to study the convergence of all EAs,this paper presented a general EA including EAs of all operator types.A probability space was set up for the purpose of studying the algorithm's convergence,and all terms on the algorithm were strictly defined in mathematical language,and seven theorems related to the algorithm's convergence were completely proved in the probability space.One of the theorems found the sufficient and necessary conditions for the algorithm's convergence in probability.More importantly,these theorems are suitable to all types of EAs.A system composed of these theorems was established,which could be used to guide the EA design and judge the correctness of an EA theoretically.
Analysis of Evolutionary Diversity Optimisation for the Maximum Matching Problem

Jonathan Gadea Harder,Aneta Neumann,Frank Neumann

2024-04-18

Abstract:This paper explores the enhancement of solution diversity in evolutionary algorithms (EAs) for the maximum matching problem, concentrating on complete bipartite graphs and paths. We adopt binary string encoding for matchings and use Hamming distance to measure diversity, aiming for its maximization. Our study centers on the $(\mu+1)$-EA and $2P-EA_D$, which are applied to optimize diversity. We provide a rigorous theoretical and empirical analysis of these algorithms.

Neural and Evolutionary Computing
Maximum Cardinality $f$-Matching in Time $O(n^{2/3}m)$

Harold Gabow

2023-11-24

Abstract:We present an algorithm that finds a maximum cardinality $f$-matching of a simple graph in time $O(n^{2/3} m)$. Here $f:V\to \mathbb{N}$ is a given function, and an $f$-matching is a subgraph wherein each vertex $v\in V$ has degree $\le f(v)$. This result generalizes a string of algorithms, concentrating on simple bipartite graphs. The bipartite case is based on the notion of level graph, introduced by Dinic for network flow. For general graphs the ``level'' of a vertex is unclear: A given vertex can occur on many different levels in augmenting trails. In fact there does not seem to be a unique level graph, our notion of level graph depends on the trails being analyzed. Our analysis presents new properties of blossoms of shortest augmenting trails. Our algorithm, unmodified, is also efficient on multigraphs, achieving time $O(\min \{\sqrt {f(V)}, n\}\,m)$, for $f(V)=\sum_vf(v)$.

Data Structures and Algorithms
Gabow's Cardinality Matching Algorithm in General Graphs: Implementation and Experiments

Matin Ansaripour,Alireza Danaei,Kurt Mehlhorn

2024-09-23

Abstract:It is known since 1975 (\cite{HK75}) that maximum cardinality matchings in bipartite graphs with $n$ nodes and $m$ edges can be computed in time $O(\sqrt{n} m)$. Asymptotically faster algorithms were found in the last decade and maximum cardinality bipartite matchings can now be computed in near-linear time~\cite{NearlyLinearTimeBipartiteMatching, AlmostLinearTimeMaxFlow,AlmostLinearTimeMinCostFlow}. For general graphs, the problem seems harder. Algorithms with running time $O(\sqrt{n} m)$ were given in~\cite{MV80,Vazirani94,Vazirani12,Vazirani20,Vazirani23,Goldberg-Karzanov,GT91,Gabow:GeneralMatching}. Mattingly and Ritchey~\cite{Mattingly-Ritchey} and Huang and Stein~\cite{Huang-Stein} discuss implementations of the Micali-Vazirani Algorithm. We describe an implementation of Gabow's algorithm~\cite{Gabow:GeneralMatching} in C++ based on LEDA~\cite{LEDAsystem,LEDAbook} and report on running time experiments. On worst-case graphs, the asymptotic improvement pays off dramatically. On random graphs, there is no improvement with respect to algorithms that have a worst-case running time of $O(n m)$. The performance seems to be near-linear. The implementation is available open-source.

Data Structures and Algorithms
The Weighted Matching Approach to Maximum Cardinality Matching

Harold N. Gabow

DOI: https://doi.org/10.48550/arXiv.1703.03998

2017-03-12

Abstract:Several papers have achieved time $O(\sqrt n m)$ for cardinality matching, starting from first principles. This results in a long derivation. We simplify the task by employing well-known concepts for maximum weight matching. We use Edmonds' algorithm to derive the structure of shortest augmenting paths. We extend this to a complete algorithm for maximum cardinality matching in time $O(\sqrt n m)$.

Data Structures and Algorithms
Scaling algorithms for approximate and exact maximum weight matching

Ran Duan,Seth Pettie,Hsin-Hao Su

2011-01-01

Abstract: The {\em maximum cardinality} and {\em maximum weight matching} problems can be solved in time $\tilde{O}(m\sqrt{n})$, a bound that has resisted improvement despite decades of research. (Here $m$ and $n$ are the number of edges and vertices.) In this article we demonstrate that this "$m\sqrt{n}$ barrier" is extremely fragile, in the following sense. For any $\epsilon>0$, we give an algorithm that computes a $(1-\epsilon)$-approximate maximum weight matching in $O(m\epsilon^{-1}\log\epsilon^{-1})$ time, that is, optimal {\em linear time} for any fixed $\epsilon$. Our algorithm is dramatically simpler than the best exact maximum weight matching algorithms on general graphs and should be appealing in all applications that can tolerate a negligible relative error. Our second contribution is a new {\em exact} maximum weight matching algorithm for integer-weighted bipartite graphs that runs in time $O(m\sqrt{n}\log N)$. This improves on the $O(Nm\sqrt{n})$-time and $O(m\sqrt{n}\log(nN))$-time algorithms known since the mid 1980s, for $1\ll \log N \ll \log n$. Here $N$ is the maximum integer edge weight.
Runtime Analysis of Competitive co-Evolutionary Algorithms for Maximin Optimisation of a Bilinear Function

Per Kristian Lehre

2024-03-17

Abstract:Co-evolutionary algorithms have a wide range of applications, such as in hardware design, evolution of strategies for board games, and patching software bugs. However, these algorithms are poorly understood and applications are often limited by pathological behaviour, such as loss of gradient, relative over-generalisation, and mediocre objective stasis. It is an open challenge to develop a theory that can predict when co-evolutionary algorithms find solutions efficiently and reliable. This paper provides a first step in developing runtime analysis for population-based competitive co-evolutionary algorithms. We provide a mathematical framework for describing and reasoning about the performance of co-evolutionary processes. An example application of the framework shows a scenario where a simple co-evolutionary algorithm obtains a solution in polynomial expected time. Finally, we describe settings where the co-evolutionary algorithm needs exponential time with overwhelmingly high probability to obtain a solution.

Neural and Evolutionary Computing,Populations and Evolution
Time Complexity Analysis of an Evolutionary Algorithm for approximating Nash Equilibriums

Aadesh Salecha

DOI: https://doi.org/10.48550/arXiv.2110.13563

2021-10-26

Abstract:The framework outlined in [<a class="link-https" data-arxiv-id="2010.13024" href="https://arxiv.org/abs/2010.13024">arXiv:2010.13024</a>] provides an approximation algorithm for computing Nash equilibria of normal form games. Since NASH is a well-known PPAD-complete problem, this framework has potential applications to other $PPAD$ problems. The correctness of this framework has been empirically validated on 4 well-studied 2x2 games: Prisoner's Dilemma, Stag Hunt, Battle, and Chicken. In this paper, we provide the asymptotic time-complexities for these methods and in particular, verify that for 2x2 games the worst-case complexity is linear in the number of actions an agent can choose from.

Computer Science and Game Theory,Computational Complexity
Theoretical Analyses of Evolutionary Algorithms on Time-Linkage OneMax with General Weights

Weijie Zheng,Xin Yao

DOI: https://doi.org/10.48550/arXiv.2305.07098

2023-05-12

Abstract:Evolutionary computation has shown its superiority in dynamic optimization, but for the (dynamic) time-linkage problems, some theoretical studies have revealed the possible weakness of evolutionary computation. Since the theoretically analyzed time-linkage problem only considers the influence of an extremely strong negative time-linkage effect, it remains unclear whether the weakness also appears in problems with more general time-linkage effects. Besides, understanding in depth the relationship between time-linkage effect and algorithmic features is important to build up our knowledge of what algorithmic features are good at what kinds of problems. In this paper, we analyze the general time-linkage effect and consider the time-linkage OneMax with general weights whose absolute values reflect the strength and whose sign reflects the positive or negative influence. We prove that except for some small and positive time-linkage effects (that is, for weights $0$ and $1$), randomized local search (RLS) and (1+1)EA cannot converge to the global optimum with a positive probability. More precisely, for the negative time-linkage effect (for negative weights), both algorithms cannot efficiently reach the global optimum and the probability of failing to converge to the global optimum is at least $1-o(1)$. For the not so small positive time-linkage effect (positive weights greater than $1$), such a probability is at most $c+o(1)$ where $c$ is a constant strictly less than $1$.

Neural and Evolutionary Computing
Critical Thresholds for Maximum Cardinality Matching on General Hypergraphs

Christopher Sumnicht,Jamison W. Weber,Dhanush R. Giriyan,Arunabha Sen

2024-10-02

Abstract:Significant work has been done on computing the ``average'' optimal solution value for various $\mathsf{NP}$-complete problems using the Erdös-Rényi model to establish \emph{critical thresholds}. Critical thresholds define narrow bounds for the optimal solution of a problem instance such that the probability that the solution value lies outside these bounds vanishes as the instance size approaches infinity. In this paper, we extend the Erdös-Rényi model to general hypergraphs on $n$ vertices and $M$ hyperedges. We consider the problem of determining critical thresholds for the largest cardinality matching, and we show that for $M=o(1.155^n)$ the size of the maximum cardinality matching is almost surely 1. On the other hand, if $M=\Theta(2^n)$ then the size of the maximum cardinality matching is $\Omega(n^{\frac12-\gamma})$ for an arbitrary $\gamma >0$. Lastly, we address the gap where $\Omega(1.155^n)=M=o(2^n)$ empirically through computer simulations.

Discrete Mathematics,Combinatorics
Linear-Time Approximation for Maximum Weight Matching

Ran Duan,Seth Pettie

DOI: https://doi.org/10.1145/2529989

2014-01-01

Abstract:The maximum cardinality and maximum weight matching problems can be solved in Õ(m√n) time, a bound that has resisted improvement despite decades of research. (Here m and n are the number of edges and vertices.) In this article, we demonstrate that this “m√n barrier” can be bypassed by approximation. For any ε 0, we give an algorithm that computes a (1 − ε)-approximate maximum weight matching in O(mε−1 log ε−1) time, that is, optimal linear time for any fixed ε. Our algorithm is dramatically simpler than the best exact maximum weight matching algorithms on general graphs and should be appealing in all applications that can tolerate a negligible relative error.
Shared-Memory Parallel Edmonds Blossom Algorithm for Maximum Cardinality Matching in General Graphs

Gregory Schwing,Daniel Grosu,Loren Schwiebert

DOI: https://doi.org/10.1109/ipdpsw63119.2024.00107

Abstract:The Edmonds Blossom algorithm is implemented here using depth-first search, which is intrinsically serial. By streamlining the code, our serial implementation is consistently three to five times faster than the previously fastest general graph matching code. By extracting parallelism across iterations of the algorithm, with coarse-grain locking, we are able to further reduce the run time on random regular graphs four-fold and obtain a two-fold reduction of run time on real-world graphs with similar topology. Solving very sparse graphs (average degree less than four) exhibiting community structure with eight threads led to a slow down of three-fold, but this slow down is replaced by marginal speed up once the average degree is greater than four. We conclude that our parallel coarse-grain locking implementation performs well when extracting parallelism from this augmenting-path-based algorithm and may work well for similar algorithms.
Dynamic Matching Algorithms in Practice

Monika Henzinger,Shahbaz Khan,Richard Paul,Christian Schulz

DOI: https://doi.org/10.48550/arXiv.2004.09099

2020-04-20

Abstract:In recent years, significant advances have been made in the design and analysis of fully dynamic maximal matching algorithms. However, these theoretical results have received very little attention from the practical perspective. Few of the algorithms are implemented and tested on real datasets, and their practical potential is far from understood. In this paper, we attempt to bridge the gap between theory and practice that is currently observed for the fully dynamic maximal matching problem. We engineer several algorithms and empirically study those algorithms on an extensive set of dynamic instances.

Data Structures and Algorithms
Scaling Algorithms for Weighted Matching in General Graphs.

Ran Duan,Seth Pettie,Hsin-Hao Su

DOI: https://doi.org/10.1145/3155301

2014-01-01

Abstract:We present a new scaling algorithm for maximum (or minimum) weight perfect matching on general, edge weighted graphs. Our algorithm runs in O ( m √ n log( nN )) time, O ( m √ n ) per scale, which matches the running time of the best cardinality matching algorithms on sparse graphs [16, 20, 36, 37]. Here, m , n , and N bound the number of edges, vertices, and magnitude, respectively, of any integer edge weight. Our result improves on a 25-year-old algorithm of Gabow and Tarjan, which runs in O ( m √ n log n α ( m , n ) log( nN )) time.
Towards Analyzing Crossover Operators in Evolutionary Search Via General Markov Chain Switching Theorem

Yang Yu,Chao Qian,Zhi-Hua Zhou

DOI: https://doi.org/10.48550/arxiv.1111.0907

2011-01-01

Abstract:Evolutionary algorithms (EAs), simulating the evolution process of naturalspecies, are used to solve optimization problems. Crossover (also calledrecombination), originated from simulating the chromosome exchange phenomena inzoogamy reproduction, is widely employed in EAs to generate offspringsolutions, of which the effectiveness has been examined empirically inapplications. However, due to the irregularity of crossover operators and thecomplicated interactions to mutation, crossover operators are hard to analyzeand thus have few theoretical results. Therefore, analyzing crossover not onlyhelps in understanding EAs, but also helps in developing novel techniques foranalyzing sophisticated metaheuristic algorithms. In this paper, we derive the General Markov Chain Switching Theorem (GMCST)to facilitate theoretical studies of crossover-enabled EAs. The theorem allowsus to analyze the running time of a sophisticated EA from an easy-to-analyzeEA. Using this tool, we analyze EAs with several crossover operators on theLeadingOnes and OneMax problems, which are noticeably two well studied problemsfor mutation-only EAs but with few results for crossover-enabled EAs. We firstderive the bounds of running time of the (2+2)-EA with crossover operators;then we study the running time gap between the mutation-only (2:2)-EA and the(2:2)-EA with crossover operators; finally, we develop strategies that applycrossover operators only when necessary, which improve from the mutation-onlyas well as the crossover-all-the-time (2:2)-EA. The theoretical results areverified by experiments.
A Faster Combinatorial Algorithm for Maximum Bipartite Matching

Julia Chuzhoy,Sanjeev Khanna

2023-12-20

Abstract:The maximum bipartite matching problem is among the most fundamental and well-studied problems in combinatorial optimization. A beautiful and celebrated combinatorial algorithm of Hopcroft and Karp (1973) shows that maximum bipartite matching can be solved in $O(m \sqrt{n})$ time on a graph with $n$ vertices and $m$ edges. For the case of very dense graphs, a fast matrix multiplication based approach gives a running time of $O(n^{2.371})$. These results represented the fastest known algorithms for the problem until 2013, when Madry introduced a new approach based on continuous techniques achieving much faster runtime in sparse graphs. This line of research has culminated in a spectacular recent breakthrough due to Chen et al. (2022) that gives an $m^{1+o(1)}$ time algorithm for maximum bipartite matching (and more generally, for min cost flows). This raises a natural question: are continuous techniques essential to obtaining fast algorithms for the bipartite matching problem? Our work makes progress on this question by presenting a new, purely combinatorial algorithm for bipartite matching, that runs in $\tilde{O}(m^{1/3}n^{5/3})$ time, and hence outperforms both Hopcroft-Karp and the fast matrix multiplication based algorithms on moderately dense graphs. Using a standard reduction, we also obtain an $\tilde{O}(m^{1/3}n^{5/3})$ time deterministic algorithm for maximum vertex-capacitated $s$-$t$ flow in directed graphs when all vertex capacities are identical.

Data Structures and Algorithms
Markov Chain Analysis of Evolutionary Algorithms on OneMax Function - from Coupon Collector's Problem to (1+1) EA

Yu-an Zhang,Xiaofeng Qin,Qinglian Ma,Minghao Zhao,Satoru Hiwa,Tomoyuki Hiroyasu,Hiroshi Furutani

DOI: https://doi.org/10.1016/j.tcs.2020.03.007

IF: 1.002

2020-01-01

Theoretical Computer Science

Abstract:The theoretical investigation of Evolutionary Algorithms (EAs) has increased our understanding of the computational mechanism of algorithms. OneMax is a test function most frequently and deeply studied in the field of EAs. In this work, a method is presented for describing the runtime properties of (1+1) EA on OneMax. This method is motivated by the work of Erdös and Rényi treating the coupon collector's problem. They showed that the success probability of the coupon collector's problem is given by a function of double exponential form, and that the number of uncollected coupons follows the Poisson distribution. Today, the double exponential function is called Gumbel function, which is one of three fundamental functions in extreme value statistics. We introduce an algorithm that is a variant of the (1+1) EA, First Order Evolutionary Algorithm (FO-EA). FO-EA takes into account only the effect of single-bit mutations in the (1+1) EA, which in general includes multiple-bit mutations. We modified the method of Erdös and Rényi to apply FO-EA. We apply the Gumbel distribution for calculating the success probability of the (1+1) EA on OneMax. This method turns out to give a sufficiently reliable estimation for success probabilities, even in the tail region.
A More Reliable Greedy Heuristic for Maximum Matchings in Sparse Random Graphs

Martin Dietzfelbinger,Hendrik Peilke,Michael Rink

DOI: https://doi.org/10.48550/arXiv.1203.4117

2012-03-19

Abstract:We propose a new greedy algorithm for the maximum cardinality matching problem. We give experimental evidence that this algorithm is likely to find a maximum matching in random graphs with constant expected degree c>0, independent of the value of c. This is contrary to the behavior of commonly used greedy matching heuristics which are known to have some range of c where they probably fail to compute a maximum matching.

Data Structures and Algorithms
Maximum Bipartite Matching in $n^{2+o(1)}$ Time via a Combinatorial Algorithm

Julia Chuzhoy,Sanjeev Khanna

2024-05-31

Abstract:Maximum bipartite matching (MBM) is a fundamental problem in combinatorial optimization with a long and rich history. A classic result of Hopcroft and Karp (1973) provides an $O(m \sqrt{n})$-time algorithm for the problem, where $n$ and $m$ are the number of vertices and edges in the input graph, respectively. For dense graphs, an approach based on fast matrix multiplication achieves a running time of $O(n^{2.371})$. For several decades, these results represented state-of-the-art algorithms, until, in 2013, Madry introduced a powerful new approach for solving MBM using continuous optimization techniques. This line of research led to several spectacular results, culminating in a breakthrough $m^{1+o(1)}$-time algorithm for min-cost flow, that implies an $m^{1+o(1)}$-time algorithm for MBM as well. These striking advances naturally raise the question of whether combinatorial algorithms can match the performance of the algorithms that are based on continuous techniques for MBM. A recent work of the authors (2024) made progress on this question by giving a combinatorial $\tilde{O}(m^{1/3}n^{5/3})$-time algorithm for MBM, thus outperforming both the Hopcroft-Karp algorithm and matrix multiplication based approaches, on sufficiently dense graphs. Still, a large gap remains between the running time of their algorithm and the almost linear-time achievable by algorithms based on continuous techniques. In this work, we take another step towards narrowing this gap, and present a randomized $n^{2+o(1)}$-time combinatorial algorithm for MBM. Thus in dense graphs, our algorithm essentially matches the performance of algorithms that are based on continuous methods. We also obtain a randomized $n^{2+o(1)}$-time combinatorial algorithm for maximum vertex-capacitated $s$-$t$ flow in directed graphs when all vertex capacities are identical, using a standard reduction from this problem to MBM.

Data Structures and Algorithms

Maximum Cardinality Matching by Evolutionary Algorithms

Convergence Analysis of General Evolutionary Algorithms

Analysis of Evolutionary Diversity Optimisation for the Maximum Matching Problem

Maximum Cardinality $f$-Matching in Time $O(n^{2/3}m)$

Gabow's Cardinality Matching Algorithm in General Graphs: Implementation and Experiments

The Weighted Matching Approach to Maximum Cardinality Matching

Scaling algorithms for approximate and exact maximum weight matching

Runtime Analysis of Competitive co-Evolutionary Algorithms for Maximin Optimisation of a Bilinear Function

Time Complexity Analysis of an Evolutionary Algorithm for approximating Nash Equilibriums

Theoretical Analyses of Evolutionary Algorithms on Time-Linkage OneMax with General Weights

Critical Thresholds for Maximum Cardinality Matching on General Hypergraphs

Linear-Time Approximation for Maximum Weight Matching

Shared-Memory Parallel Edmonds Blossom Algorithm for Maximum Cardinality Matching in General Graphs

Dynamic Matching Algorithms in Practice

Scaling Algorithms for Weighted Matching in General Graphs.

Towards Analyzing Crossover Operators in Evolutionary Search Via General Markov Chain Switching Theorem

A Faster Combinatorial Algorithm for Maximum Bipartite Matching

Markov Chain Analysis of Evolutionary Algorithms on OneMax Function - from Coupon Collector's Problem to (1+1) EA

A More Reliable Greedy Heuristic for Maximum Matchings in Sparse Random Graphs

Maximum Bipartite Matching in $n^{2+o(1)}$ Time via a Combinatorial Algorithm