首页    期刊浏览 2024年10月07日 星期一
登录注册

文章基本信息

  • 标题:Hierarchies Against Sublinear Advice
  • 本地全文:下载
  • 作者:Lance Fortnow ; Rahul Santhanam
  • 期刊名称:Electronic Colloquium on Computational Complexity
  • 印刷版ISSN:1433-8092
  • 出版年度:2014
  • 卷号:2014
  • 出版社:Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
  • 摘要:

    We strengthen the non-deterministic time hierarchy theorem of \cite{Cook72, Seiferas-Fischer-Meyer78, Zak83} to show that the lower bound holds against sublinear advice. More formally, we show that for any constants c and d such that 1 c d , there is a language in \NTIME ( n d ) which is not in \NTIME ( n c ) n 1 d . The best known earlier separation \cite{Fortnow-Santhanam-Trevisan04} could only handle o ( log ( n )) bits of advice in the lower bound.

  • 关键词:advice ; hierarchy theorem ; non-deterministic time
国家哲学社会科学文献中心版权所有