申请人围绕通信复杂度、判定树复杂度、参数化复杂度等理论计算机科学中的关键基础问题开展研究,证明了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