Validating a PTAS for Triangle-Free 2-Matching via a Simple Decomposition Theorem

Yusuke Kobayashi,Takashi Noguchi

2024-10-23

Abstract:A triangle-free (simple) 2-matching is an edge set that has at most $2$ edges incident to each vertex and contains no cycle of length $3$. For the problem of finding a maximum cardinality triangle-free 2-matching in a given graph, a complicated exact algorithm was proposed by Hartvigsen. Recently, a simple PTAS using local search was presented by Bosch-Calvo, Grandoni, and Ameli, but its validity proof is not easy. In this paper, we show a natural and simple decomposition theorem for triangle-free 2-matchings, which leads to a simpler validity proof of the PTAS for the problem.

Data Structures and Algorithms

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about how to simplify and verify the effectiveness of an approximation algorithm (PTAS) for solving the maximum - cardinality triangle - free 2 - matching problem. Specifically:

1. **Problem Background**:
- In a given graph \(G=(V, E)\), a triangle - free 2 - matching refers to a set of edges in which each vertex is associated with at most two edges and does not contain a cycle of length 3 (i.e., a triangle).
- Hartvigsen proposed an exact algorithm to solve the maximum triangle - free 2 - matching problem, but the algorithm and its analysis are very complex.

2. **Existing Methods**:
- Bosch - Calvo, Grandoni, and Ameli recently proposed a simple PTAS based on local search to solve this problem. However, the proof of its effectiveness is rather complex and requires a large amount of case analysis.

3. **Paper Contributions**:
- This paper simplifies the proof of the effectiveness of PTAS by introducing a natural and simple decomposition theorem. This decomposition theorem states that for any two triangle - free 2 - matchings \(A_1\) and \(A_2\), their symmetric difference \(A_1\triangle A_2\) can be decomposed into several alternating paths, such that each alternating path combined with the original 2 - matching is still a triangle - free 2 - matching.

4. **Main Results**:
- **Theorem 1 (Decomposition Theorem)**: Let \(G\) be a simple graph, and \(A_1\) and \(A_2\) be triangle - free 2 - matchings in \(G\). Then there exists a way to decompose \(A_1\triangle A_2\) into alternating paths, such that \(A_i\triangle P\) (\(i = 1, 2\)) is still a triangle - free 2 - matching.
- By using this theorem, the effectiveness of PTAS can be proved more concisely, and this method is applicable to a wider range of problem variants.

In summary, the main objective of this paper is to simplify and verify the effectiveness of PTAS for solving the maximum triangle - free 2 - matching problem by providing a simple decomposition theorem. This not only makes the proof more intuitive but also provides new ideas for further research.