Simple approximation algorithms for Polyamorous Scheduling

Yuriy Biktairov,Leszek Gąsieniec,Wanchote Po Jiamjitrak,Namrata,Benjamin Smith,Sebastian Wild

2024-11-10

Abstract:In Polyamorous Scheduling, we are given an edge-weighted graph and must find a periodic schedule of matchings in this graph which minimizes the maximal weighted waiting time between consecutive occurrences of the same edge. This NP-hard problem generalises Bamboo Garden Trimming and is motivated by the need to find schedules of pairwise meetings in a complex social group. We present two different analyses of an approximation algorithm based on the Reduce-Fastest heuristic, from which we obtain first a 6-approximation and then a 5.24-approximation for Polyamorous Scheduling. We also strengthen the extant proof that there is no polynomial-time $(1+\delta)$-approximation algorithm for the Optimisation Polyamorous Scheduling problem for any $\delta < \frac1{12}$ unless P = NP to the bipartite case. The decision version of Polyamorous Scheduling has a notion of density, similar to that of Pinwheel Scheduling, where problems with density below the threshold are guaranteed to admit a schedule (cf. the recently proven 5/6 conjecture, Kawamura, STOC 2024). We establish the existence of a similar threshold for Polyamorous Scheduling and give the first non-trivial bounds on the poly density threshold.

Data Structures and Algorithms,Computational Complexity

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about minimizing the maximum weighted waiting time in Polyamorous Scheduling. Specifically, given a graph with weighted edges, the goal is to find a periodic matching scheduling scheme to minimize the maximum weighted waiting time for consecutive appearances of the same edge. This problem is NP - hard and generalizes the Bamboo Garden Trimming problem. The following is the specific description of this problem:

### Problem Background

**Polyamorous Scheduling** is a type of periodic scheduling problem involving pairwise relationships among a group of individuals. Each relationship has a weight, representing its demand, importance, or emotional weight. The goal is to design a periodic pairwise meeting scheduling scheme to minimize the weighted waiting time between these meetings, and each individual can meet at most one person per day.

### Specific Problems

1. **Optimisation Polyamorous Scheduling, OPS**:
- Given an undirected graph \((P, R)\), where \(P\) is a set of people and \(R\) is the set of relationships among them.
- Each relationship \(e\in R\) has a demand growth rate \(g(e)\).
- The goal is to find an effective scheduling scheme \(S:\mathbb{N}_0\rightarrow 2^R\) such that the maximum weighted waiting time of each relationship in the scheduling scheme is minimized.
- Formally, the goal is to minimize \(h(S)=\max_{e\in R}g(e)\cdot r_S(e)\), where \(r_S(e)\) is the maximum interval time of relationship \(e\) in scheduling \(S\).

2. **Decision Polyamorous Scheduling, DPS**:
- Each relationship \(e\in R\) has a maximum allowed interval time \(f(e)\).
- The goal is to find a scheduling scheme \(S:\mathbb{N}_0\rightarrow 2^R\) such that the actual interval time of each relationship \(e\) does not exceed \(f(e)\), or prove that no such scheduling scheme exists.

### Main Contributions of the Paper

1. **Approximation Algorithms**:
- Proposed two analysis methods based on the "Reduce - Fastest" heuristic, obtaining 6 - approximation and 5.24 - approximation OPS algorithms respectively.

2. **Complexity Results**:
- Strengthened the existing inapproximability results and proved that for the OPS problem in the bipartite graph case, under the assumption that \(P\neq NP\), there is no polynomial - time \((1 + \delta)\)- approximation algorithm for any \(\delta<\frac{1}{12}\).

3. **Density Threshold**:
- Introduced the concept of "poly density" and gave the first non - trivial density threshold bound, similar to the density threshold in Pinwheel scheduling.

Through these contributions, the paper provides a new theoretical basis and practical approximation algorithms for the polyamorous scheduling problem, which is helpful for understanding and solving complex periodic scheduling problems.