Greedy is optimal for single-pass semi-streaming matching

论文给出了单遍半流式最大匹配的紧下界：无论算法是否随机化，只要受该模型的空间约束，就不能突破 1/2 近似，因此逐边接受可行边的朴素贪心法已经达到理论最优。证明不是直接分析算法，而是补齐作者 blueprint 框架中的最优组合构造；结果还同步解决了带抢占在线匹配的最优竞争比问题。它的价值在于关闭一个存在二十多年的模型边界问题，但结论严格限于单遍半流式设定，并不否定多遍或更大空间下的改进。