Problem detail · source-aware
VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
A problem from Fajtlowicz's Graffiti program, studied by Erdős and Staton, on the Havel-Hakimi residue of common-divisor graphs. The paper resolves the problem and extends it, determining the residue's first-order scale and its nontrivial constant from the degree sequence.
The source statement is reproduced for indexing with attribution. Mathematical correctness requires domain-expert or mechanical review. VibeMath has not independently audited statement fidelity, correctness, priority, or novelty.
The study deliberately retained Graffiti's conjecture-example-proof workflow through the TxGraffiti / Theo-Conjecture line: the systems supported registry construction, conjecture generation, exact stress testing, proof search and proof auditing, with the surviving conjecture selected by discrepancy tracking against a quarter-million-graph registry.
Provider: unknown · Prompt public: unknown · Independence: unknown
No verification note supplied.
Correctness: unknown · statement fidelity: unaudited · peer review: none
VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
Source-reported tools: argument.
Independent: unknown · difference confidence: 0
VibeMath has not independently audited the mathematical statement, proof, or novelty claim.