Chang-Ye Tu

Symmetric rendezvous on unlabelled complete graphs below the Anderson–Weber constant: certified manuscripts, exact-rational certificates, Lean 4 formalization, and independent audit layer

This record contains two companion manuscripts on symmetric rendezvous on unlabelled complete graphs, together with their complete reproducibility supplement Paper I (upper bound) constructs a legal symmetric strategy with lim E[T_n]/(n−1) = 0.82887837309423433534… < c_AW = 0.828...

Symmetric rendezvous on unlabelled complete graphs below the Anderson–Weber constant: certified manuscripts, exact-rational certificates, Lean 4 formalization, and independent audit layer

This record contains two companion manuscripts on symmetric rendezvous on unlabelled complete graphs, together with their complete reproducibility supplement Paper I (upper bound) constructs a legal symmetric strategy with lim E[T_n]/(n−1) = 0.82887837309423433534… < c_AW = 0.828...