对数空间的遍历不变特征
Traversal-invariant characterizations of logarithmic space
摘要：
我们给出了一个新的连续复杂性理论的L和NL计算查询有限结构的遍历不变性的表征。我们将其总结为（N）L = FO +（广度优先）不变性。
英文摘要：
We give a novel descriptive-complexity theoretic characterization of L and NL computable queries over finite structures using traversal invariance. We summarize this as (N)L = FO + (breadth-first) traversal-invariance.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
