流式核化
数据结构与算法
2014-05-07 v1
摘要
核化（Kernelization）是组合难问题预处理的一种形式化描述。我们修改了核化的标准定义（该定义允许预处理使用任何多项式时间算法），转而要求预处理在流式设定下运行，并在实例 上使用 比特的内存。根据此类流式核化允许对输入进行的遍历次数，我们在新设定下获得了若干结果。边支配集（Edge Dominating Set）被证明是一个有趣的例子，因为它不存在单次遍历核化，但两次遍历输入足以匹配最佳标准核化的界限。
引用
@article{arxiv.1405.1356,
title = {Streaming Kernelization},
author = {Stefan Fafianie and Stefan Kratsch},
journal= {arXiv preprint arXiv:1405.1356},
year = {2014}
}