Mars Xiang (@marsxiang_) on X

X (formerly Twitter) ·

1 min read Original article ↗

@marsxiang_

Mars Xiang

Poke

@marsxiang_

a 10-line algorithm is optimal for semi-streaming arxiv, lean, ai methodology and use below sepehr assadi, @mangooqwq, and i recently presented a proof that the greedy algorithm achieves the optimal approximation ratio for semi-streaming matching

6:47 PM · Jul 20, 2026

10.3K

Views