您知道什么层次结构和/或层次结构定理？
我目前正在撰写有关TCS层次定理的调查。在搜索相关论文时，我注意到层次结构不仅在TCS和数学中，而且在从神学和社会学到生物学和化学的众多科学中都是一个基本原理。看到大量信息，我希望我可以寻求这个社区的帮助。当然，我不希望您为我做书目搜索，而是要两种信息： 您的工作，同事或您熟悉的其他人的工作所产生的层次结构和层次结构定理并不那么广为人知。例如，这可能是您感兴趣的模糊计算模型的层次定理，或者是特定类的层次，例如与博弈论相关。 您认为绝对有必要将等级和等级定理包含在此类调查中。这可能已经为我所熟知，但是查看您认为更重要的层次结构以及为什么这样做将很有用。可能是“我认为非常重要，因为没有它，我们将无法进行此类研究”或“虽然不为人所知，但在基于逻辑的TCS中，我们经常使用此层次结构，我认为它是一个重要的工具。” 。是的，我的确相信逻辑方面的人有很多层次要提及，但是请记住，我们在谈论问题的层次。PHPHPH 我将在此处保留更新列表： d Ť一世中号ËDTIMEDTIME层次结构 ñŤ一世中号ËNTIMENTIME层次结构 小号PA CËSPACESPACE层次结构 算术（也称为Kleene）层次结构 超算术层次结构 分析层次 乔姆斯基阶层 Grzegorczyk层次结构及其相关：Wainer层次结构（快速增长），Hardy层次结构 （缓慢增长）和Veblen层次结构 里奇的等级制度 Axt的层次结构（如Axt63中所定义） 循环层次结构（在MR67中定义） A C A C CñCNCNC（，）层次结构 A CACACA CCACCACC 深度层次结构，如Sipser83中所定义 多项式层次结构（）和较不完善的Meyer-Stockmeyer层次结构（量词之间没有区别）PHPHPH 指数体系（）Ë大号è中号ËñŤ甲- [R ÿELEMENTARYELEMENTARY ñPNPNP中间等级（Ladner定理） 不太坚固的（Arthur-Merlin）一个MAMAM 该（非确定性的固定参数）的层次结构和相关的交替W¯¯层次（ -hierarchy）和 -hierarchy（W与参数依赖深度）A W W ∗w ^WW一个w ^AWAWw ^∗W∗W^{*} 计数层次 傅立叶层次 布尔层次结构（在），也等于查询层次结构（在）ñ PñPNPNPNPNPNP 属性测试的层次结构，如GoldreichKNR09中所示 无星星的常规语言的点深度层次 dBPd(P)BPd(P)BP_{d}(P)：可通过多项式大小的分支程序解决的类，加上输入的每一位最多测试d次的附加条件，形成了不同值的层次结构ddd …