paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Complexity of controlled bad sequences over finite sets of Nd

有限 N^d 集合上受控坏序列的复杂度
LICS Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science2020匹配度 0/10 · 该论文研究 N^d 有限集合上受控坏序列的长度界及其与 fast-growing 复杂度类的关系,属于逻辑、自动机与良序理论中的纯复杂度结果;与用户关注的静态分析、Agentic/LLM 程序分析、浮点程序分析、贝叶斯程序分析等方向没有直接交集。引用 8 inbox
A. R. Balasubramanian
crossref: 2026-09-12

AI 速览

一句话:给出 N^d 有限集合在 majoring 与 minoring 序下受控坏序列长度的上下界,并转化为 fast-growing 复杂度类界。

论文研究有限 N^d 集合在 majoring 序与 minoring 序下受控坏序列(controlled bad sequences)的长度。作者用 Cichon 层级中的函数来刻画这些序列长度的增长,从而给出上界与下界。随后,这些结果被转换为 fast-growing 复杂度类中的界。因此,论文在序结构、Cichon 层级与快速增长的复杂度类之间建立了对应,为相关序列长度的复杂度提供了精细的上下界刻画。

问题
研究有限 N^d 集合在 majoring 序和 minoring 序下受控坏序列的长度上界与下界。
方法
利用 Cichon 层级中的函数对这些序列的长度进行界定,并将结果转换到 fast-growing 复杂度类。
评估
通过数学证明给出上下界,并建立相应的 fast-growing 复杂度类界。
原文摘要(Abstract)

We provide upper and lower bounds for the length of controlled bad sequences over the majoring and the minoring orderings of finite sets of Nd. The results are obtained by bounding the length of such sequences by functions from the Cichon hierarchy. This allows us to translate these results to bounds over the fast-growing complexity classes.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot5531,
  title = {Complexity of controlled bad sequences over finite sets of Nd},
  author = {A. R. Balasubramanian},
  booktitle = {LICS},
  year = {2020},
  doi = {10.1145/3373718.3394753}
}