位置:立项数据库 > 立项详情页
理论计算机科学
  • 项目名称:理论计算机科学
  • 项目类别:优秀青年科学基金项目
  • 批准号:61222202
  • 申请代码:F020101
  • 项目来源:国家自然科学基金
  • 研究期限:2013-01-01-2015-12-31
  • 项目负责人:孙晓明
  • 依托单位:中国科学院计算技术研究所
  • 批准年度:2012
中文摘要:

申请人围绕通信复杂度、判定树复杂度、参数化复杂度等理论计算机科学中的关键基础问题开展研究,证明了LIS 问题数据只读一遍的最优复杂度,解决了Liben-Nowell 提出的未解问题,给出了第一个近似LIS 长度的复杂性下界;提出了低维空间中可变步长的新随机游动模型,证明了低维空间中局部搜索问题极限意义下最优的复杂度下界;提出了最近邻字符串问题新的固定参数算法和近似算法,大幅改进了这类问题的复杂度。相关研究工作已发表在FOCS,SODA,Recomb,SIAM J. COMP,IEEE Tran. Info. Theory,J. Cryptology等会议和期刊上,共发表SCI论文18篇,EI论文26篇,研究工作得到了国际同行的认可,在google scholar中总引用170余次,其中发表在FOCS 06上的论文被Algorithmica杂志列为05-06年量子计算方面最重要的进展之一。

结论摘要:

英文主题词decision tree complexity;streaming algorithms;space complexity;graph properties;computational complexity


成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 17
  • 64
  • 0
  • 0
  • 0
会议论文
相关项目
期刊论文 12 会议论文 4 著作 1
期刊论文 21 会议论文 6 获奖 1
期刊论文 19 会议论文 9 著作 2
孙晓明的项目