Exhaustive Search for Minimal Factorizations of Zero-Sum Sequences in Cyclic Groups

This Rust program, distributed as cyclic-group-zerosum-factor, carries out exhaustive computational experiments on zero-sum sequences in cyclic groups of even order .

For selected generators , it investigates whether a sequence of the form

admits a factorization into four non-empty minimal zero-sum sequences. Candidate factorizations are enumerated through products of weak integer compositions, with batches of candidates distributed to worker threads.

The Zenodo archive includes the Rust source, Cargo metadata, and a README with the mathematical formulation, implementation notes, and experimental results. The command cargo run --release -- <n> selects the group order . This is a standalone program, separate from the zero-sum-sequences Python package.

The license recorded for the deposited software is CC BY 4.0.