Symmetries: From Proofs To Algorithms And Back

TL;DR

This paper explores the concept of symmetry in algorithms and objective functions, demonstrating how exploiting symmetry can improve bounds, online adversary strategies, parallel algorithms, and data summarization techniques.

Contribution

It introduces new algorithms that leverage input symmetry to enhance bounds, online adversary strategies, parallel processing, and data summarization.

Findings

Symmetry can be used to derive bounds on solutions.

New algorithms exploit symmetry for improved performance.

Symmetry-based methods apply to various algorithmic problems.

Abstract

We call an objective function or algorithm symmetric with respect to an input if after swapping two parts of the input in any algorithm, the solution of the algorithm and the output remain the same. More formally, for a permutation $\pi$ of an indexed input, and another permutation $\pi'$ of the same input, such that swapping two items converts $\pi$ to $\pi'$, $f(\pi)=f(\pi')$, where $f$ is the objective function. After reviewing samples of the algorithms that exploit symmetry, we give several new ones, for finding lower-bounds, beating adversaries in online algorithms, designing parallel algorithms and data summarization. We show how to use the symmetry between the sampled points to get a lower/upper bound on the solution. This mostly depends on the equivalence class of the parts of the input that when swapped, do not change the solution or its cost.