Ban‐Linial猜想与Halin Snarks | Synapse