Abstract:We consider the problem of finding a maximum size triangle-free $2$-matching in a graph $G$. A $2$-matching is any subset of the edges such that each vertex is incident to at most two edges from the subset. We present a fast combinatorial algorithm for the problem. Our algorithm and its analysis are dramatically simpler than the very complicated result by Hartvigsen from 1984. In the design of this algorithm we use several new concepts. It has been proven before that for any triangle-free $2$-matching $M$ which is not maximum the graph contains an $M$-augmenting path, whose application to $M$ results in a bigger triangle-free $2$-matching. It was not known how to efficiently find such a path. A new observation is that the search for an augmenting path $P$ can be restricted to so-called {\em amenable} paths that go through any triangle $t$ contained in $P \cup M$ a limited number of times. To find an augmenting path that is amenable and hence whose application does not create any triangle we forbid some edges to be followed by certain others. This operation can be thought of as using gadgets, in which some pairs of edges get disconnected. To be able to disconnect two edges we employ {\em half-edges}. A {\em half-edge} of edge $e$ is, informally speaking, a half of $e$ containing exactly one of its endpoints. This is another novel application of half-edges which were previously used for TSP and other matching problems. Additionally, gadgets are not fixed during any augmentation phase, but are dynamically changing according to the currently discovered state of reachability by amenable paths.

Maximal independent sets in graphs with given matching number

Maximal and maximum induced matchings in connected graphs

On the Maximum Number of Maximum Independent Sets of Bipartite Graphs

Maximizing the number of maximal independent sets of a fixed size

Piercing independent sets in graphs without large induced matching

The maximum number of cliques in graphs with given fractional matching number and minimum degree

Structure of a Maximal Total Independent Set

Graphs with each edge in at most one maximum matching

The maximum number of maximum generalized 4‐independent sets in trees

Uniquely Restricted Matchings in Interval Graphs

The minimum number of maximal independent sets in twin-free graphs

Connected matching in graphs with independence number two

An Extension of the Win Theorem: Counting the Number of Maximum Independent Sets

Polynomial-Delay Enumeration of Large Maximal Common Independent Sets in Two Matroids and Beyond

The minimum number of maximal independent sets in graphs with given order and independence number

Triangle-free $2$-matchings

Extremal Problems for a Matching and Any Other Graph

On the maximum number of connected induced subgraphs of a graph

Reconfiguration of Minimum Independent Dominating Sets in Graphs

Maximal Independent Sets in Planar Triangulations

On some hard and some tractable cases of the maximum acyclic matching problem