Simplifying the weft hierarchy
Theor. Comput. Sci.（2006）
摘要
We give simple, self-contained proofs of the basic hardness results for the classes W[ t] of the weft hierarchy. We extend these proofs to higher levels of the hierarchy and illuminate the distinctions among its classes. The anti-monotone collapse at W[1,s\mathit{1,s}] and the normalization of weft- t formulas arise as by-products of the proofs.
更多查看译文
关键词
higher level,weft hierarchy,classes w,basic hardness result,weft-t formula,anti-monotone collapse,self-contained proof
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要