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 · star

Star Graph

All nodes point to a single hub node. TC is sparse.

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

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

Definition

Symbol
S_n
Edges
\{(i, 1) \mid i \in 2..n\}

Generator

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