Optimal Assembly Addition Chains

• Optimal assembly addition chains are combinatorial structures that generalize integer addition chains to non-numeric settings by minimizing assembly steps.
• They leverage binary and two-piece decompositions to establish structural bounds and guide efficient algorithm design across various domains.
• Despite NP-completeness in exact computation, heuristic methods like m-ary approaches and tree searches yield tight approximations in practice.

An optimal assembly addition chain is a combinatorial structure that generalizes the classical notion of addition chains from the set of positive integers ℕ to arbitrary algebraic or combinatorial spaces, with the goal of minimizing the number of “assembly” steps required to build a target object from a prescribed set of elementary building blocks. This generalization retains the core recursive property of addition chains but extends it to non-numeric settings, providing a formalism that incorporates objects such as strings, graphs, and polyominoes. The theory closely parallels classical bounds and methods in integer addition chains and reveals deep connections with algebraic complexity, combinatorial optimization, and efficient algorithm design (Cronin et al., 19 Dec 2025).

1. Foundational Concepts: Multi-Magma and Assembly Addition Chains

Let $S$ be a set of objects and $BB \subset S$ a specified finite set of elementary “building blocks.” An assembly multi-magma is defined as a triple $(S, \odot, BB)$, where $\odot: 2^S \times 2^S \to 2^S$ is a binary operation on subsets of $S$ that models object assembly.

Given $O \in S \setminus BB$, an assembly addition chain (AAC) for $O$ is a sequence $(O_1, O_2, \ldots, O_r = O)$ such that:

• $O_1 \in BB \odot BB$,
• For each $i>1$, $BB \subset S$0 for some $BB \subset S$1 in $BB \subset S$2.

The assembly index $BB \subset S$3 is defined as the minimal possible length $BB \subset S$4 of any such chain for $BB \subset S$5. If $BB \subset S$6, then $BB \subset S$7 is called an optimal assembly addition chain (OAAC) for $BB \subset S$8 (Cronin et al., 19 Dec 2025).

The size function $BB \subset S$9 assigns $(S, \odot, BB)$0 for $(S, \odot, BB)$1, and $(S, \odot, BB)$2 when $(S, \odot, BB)$3 is constructed from $(S, \odot, BB)$4 assembly steps. In an assembly space, the operation $(S, \odot, BB)$5 is required to satisfy $(S, \odot, BB)$6 for $(S, \odot, BB)$7.

2. Classical Addition Chains and the Integer Setting

For $(S, \odot, BB)$8 and $(S, \odot, BB)$9, standard addition chains are sequences $\odot: 2^S \times 2^S \to 2^S$0 where each $\odot: 2^S \times 2^S \to 2^S$1 for $\odot: 2^S \times 2^S \to 2^S$2. The minimal chain length is $\odot: 2^S \times 2^S \to 2^S$3. Classical results include:

• Lower bound: $\odot: 2^S \times 2^S \to 2^S$4
• Trivial upper bound (binary method): $\odot: 2^S \times 2^S \to 2^S$5, with $\odot: 2^S \times 2^S \to 2^S$6 the binary weight
• Schönhage’s lower bound: $\odot: 2^S \times 2^S \to 2^S$7
• For almost all $\odot: 2^S \times 2^S \to 2^S$8, $\odot: 2^S \times 2^S \to 2^S$9 (Koninck et al., 9 Apr 2025).

In the generalized setting, it is proved that

$S$0

with equality when $S$1, reflecting the fact that the combinatorial structure imposes no greater complexity than the brute numeric total (Cronin et al., 19 Dec 2025).

3. Structural Bounds in Assembly Spaces

Upper and lower bounds for $S$2 in general assembly spaces (with $S$3) follow the integer case but adapt to structural features:

• Coarse universal bounds: $S$4.
• Binary-decomposable objects (BD(S)): If $S$5 has binary expansion $S$6 and there exist appropriate decompositions in $S$7, then

$S$8

where $S$9 is the number of objects of size $O \in S \setminus BB$0 (Cronin et al., 19 Dec 2025).

• Two-piece-decomposable objects (2PD(S)): If $O \in S \setminus BB$1 can be constructed by pairwise assembly, then

$O \in S \setminus BB$2

These structural theorems are specialized in concrete combinatorial domains.

4. Algorithmic Construction and Computational Complexity

Determining $O \in S \setminus BB$3 exactly is NP-complete, matching the intractability of finding minimal integer addition chains (Cronin et al., 19 Dec 2025). However, class-specific heuristics and greedy/m-ary-type methods enable tight approximations:

• m-ary methods: For $O \in S \setminus BB$4-ary assembly, the m-ary method provides a construction of length at most $O \in S \setminus BB$5, where $O \in S \setminus BB$6 is the base-$O \in S \setminus BB$7 digit weight (Elias et al., 2016).
• Factor methods and tree search: Factorization-based (for integer-like $O \in S \setminus BB$8) and tree-expansion algorithms yield exact chains for moderate-sized objects but have exponential complexity.
• Stamp chains and additive 2-bases: In the integer case, stamp chains—structures that satisfy both addition chain and additive basis properties—admit efficient O($O \in S \setminus BB$9)-multiplication assembly for computing all $O$0, $O$1 in “zero-cost” composite domains (Kohonen et al., 2013).

For strings, graphs, and polyominoes, these strategies are adapted by exploiting the space’s decomposition properties.

5. Representative Examples and Explicit Constructions

The theory encompasses a range of combinatorial objects:

• j-Strings: All strings over an alphabet of size $O$2 ($O$3: all strings, $O$4: $O$5 letters). Every string of length $O$6 is binary-decomposable, and $O$7. Bounds are thus given by the binary weight $O$8 and the structure of the j-ary tree (Cronin et al., 19 Dec 2025).
• Colored Connected Graphs: The assembly is over gluing monochromatic edges; Kotzig’s theorem ensures any connected graph is two-piece-decomposable. For a graph with $O$9 edges and $(O_1, O_2, \ldots, O_r = O)$0 colors,

$(O_1, O_2, \ldots, O_r = O)$1

• Colored Polyominoes: Using the skeleton graph reduction, polyomino assembling inherits the two-piece decomposability; the explicit bound involves both the number of unit squares and coloring parameters.

For each of these, the universal lower bound $(O_1, O_2, \ldots, O_r = O)$2 applies.

6. Connections with Classical and Generalized Addition Chains

The assembly addition chain formalism subsumes classical addition chain phenomena, including:

• Generalized g-addition chains: For integers and $(O_1, O_2, \ldots, O_r = O)$3-ary operations, the minimum length $(O_1, O_2, \ldots, O_r = O)$4 satisfies $(O_1, O_2, \ldots, O_r = O)$5, with typical “gap” proportional to $(O_1, O_2, \ldots, O_r = O)$6 (Elias et al., 2016).
• Scholz–Brauer–Schönhage bounds: The universal lower and upper bounds in assembly spaces are direct analogues of these foundational results: $(O_1, O_2, \ldots, O_r = O)$7, where $(O_1, O_2, \ldots, O_r = O)$8 is the binary digit weight (Cronin et al., 19 Dec 2025).
• Carry-based inequalities for $(O_1, O_2, \ldots, O_r = O)$9 (Scholz conjecture): Recent progress constructs OAACs for objects parameterized by $O_1 \in BB \odot BB$0 by controlling carry propagations within the assembly steps, yielding sharper upper bounds than the classical “worst-case” (Agama, 2021).

7. Implications, Extensions, and Open Problems

The extension to arbitrary assembly spaces has multiple consequences:

• The optimality criteria and associated bounds provide generic design principles for constructing explicit OAACs in applied settings (e.g., DNA assembly, combinatorial enumeration, algorithmic group theory).
• The analysis of structural decomposability (binary/2-piece) predicts when substantial reductions in chain length are possible compared to naive assembly.
• Universal lower bounds enforce fundamental complexity-theoretic barriers independent of object symmetries.

Open problems include:

• Tightening the gaps between upper and lower bounds in the generalized setting, especially for complex combinatorial objects.
• Full characterization of OAACs for spaces with rich internal symmetries or restricted glue operations.
• The computational complexity of near-optimal heuristic algorithms in combinatorially rich spaces (Cronin et al., 19 Dec 2025).

A plausible implication is that assembly addition chains—by encoding both algebraic and combinatorial structure—could inform the design of efficient algorithms in domains as diverse as symbolic computation, structural chemistry, and network topology generation.

---

References:

• "Assembly Addition Chains" (Cronin et al., 19 Dec 2025)
• "On the minimal length of addition chains" (Koninck et al., 9 Apr 2025)
• "On Generalized Addition Chains" (Elias et al., 2016)
• "Addition Chains Meet Postage Stamps: Reducing the Number of Multiplications" (Kohonen et al., 2013)
• "On addition chains and progress on the Scholz conjecture" (Agama, 2021)