arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1604.06997cs.DS
收藏

GREEDY二叉查找树在可分解序列上的改进分析

Better Analysis of GREEDY Binary Search Tree on Decomposable Sequences

Navin Goyal, Manoj Gupta

摘要:

在他们的开创性论文[Sleator and Tarjan,J. ACM,1985]中,作者证明了展开树是动态最优二叉搜索树(BST)。尽管经过了几十年的深入研究,这个问题仍然悬而未决。也许一个更基本的问题,这也吸引了很多关注,是如果存在任何动态最优BST算法。一个这样的候选者是GREEDY,其是简单且直观的BST算法[Lucas,Rutgers Tech. Report,1988; Munro,ESA,2000; Demaine,Harmon,Iacono,Kane and Patrascu,SODA,2009]。[Demaine等人,SODA,2009]展示了一个几何问题之间的新联系。由于动态最优性猜想在其最一般的形式仍然难以捉摸,尽管付出了很多努力,研究人员已经研究了这个问题的特殊序列。最近,[Chalermsook,Goswami,Kozma,Mehlhorn和Saranurak,FOCS,2015]研究了在这种情况下称为$k$ -{ \em可分解序列}的一类序列,其中$k$参数化序列的容易性。利用禁止子矩阵理论的工具,他们证明了GREEDY在这个序列上花费了$n2^{O(k^2)}$时间,并明确提出了改进这个界限的问题。本文证明了在$k$ -可分解序列上GREEDY需要$O(n \log{k})$时间.与前面的方法不同,我们的方法基于第一原理。我们的结果的主要成分之一是一个新的建设的下限证书的性能的任何算法。该证书是使用执行构建的GREEDY,更细致入微,可能更灵活,比以前的独立集证书的Demaine等人。这一结果,这是适用于所有序列,可能是独立的利益,并可能导致进一步的进展,在分析GREEDY $k$ -分解以及一般的序列。

英文摘要:

In their seminal paper [Sleator and Tarjan, J.ACM, 1985], the authors conjectured that the splay tree is dynamically optimal binary search tree (BST). In spite of decades of intensive research, the problem remains open. Perhaps a more basic question, which has also attracted much attention, is if there exists any dynamically optimal BST algorithm. One such candidate is GREEDY which is a simple and intuitive BST algorithm [Lucas, Rutgers Tech. Report, 1988; Munro, ESA, 2000; Demaine, Harmon, Iacono, Kane and Patrascu, SODA, 2009]. [Demaine et al., SODA, 2009] showed a novel connection between a geometric problem. Since dynamic optimality conjecture in its most general form remains elusive despite much effort, researchers have studied this problem on special sequences. Recently, [Chalermsook, Goswami, Kozma, Mehlhorn and Saranurak, FOCS, 2015] studied a type of sequences known as $k$-{\em decomposable sequences} in this context, where $k$ parametrizes easiness of the sequence. Using tools from forbidden submatrix theory, they showed that GREEDY takes $n2^{O(k^2)}$ time on this sequence and explicitly raised the question of improving this bound. In this paper, we show that GREEDY takes $O(n \log{k})$ time on $k$-decomposable sequences. In contrast to the previous approach, ours is based on first principles. One of the main ingredients of our result is a new construction of a lower bound certificate on the performance of any algorithm. This certificate is constructed using the execution of GREEDY, and is more nuanced and possibly more flexible than the previous independent set certificate of Demaine et al. This result, which is applicable to all sequences, may be of independent interest and may lead to further progress in analyzing GREEDY on $k$-decomposable as well as general sequences.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑