Read-only copy. This public copy of trans-bench is read-only: it shows the published campaigns. Clone the repository to run benchmarks or to edit systems. github.com/Sirneij/trans-bench, branch verified-rerun-2026
Topology · cycle

Cycle Graph

A simple directed cycle of n nodes. TC is the complete graph on those nodes.

Evaluation
Linear · T ∘ E–iterations (left / right recursion)
Doubling · T ∘ T–iterations (double recursion)
1 / 1
iteration 1new pairs per iteration
Nodes · edges10 · 10
Closure |TC|100
Closure / edges10.0×
10

A small instance from the generator the benchmark runs with n from 100 upwards.

Definition

Symbol
C_n
Edges
\{(i,i+1) \mid i \in 1..n-1\} \cup \{(n,1)\}

Generator

engine.data_generator.DataGenerator.generate_cycle_graph
generate_db.py
    def generate_cycle_graph(self, n: int) -> Generator[tuple[int, int], None, None]:
        """Generate a cycle graph with n nodes."""
        # E = {(i, i + 1) for i in range(1, n)} | {(n, 1)}
        logging.info(f'Generating cycle graph for n={n}')
        for i in range(1, n):
            yield (i, i + 1)
        yield (n, 1)