中文

关于有序列表子图嵌入问题

数据结构与算法 2014-03-11 v1

摘要

在(参数化的)有序列表子图嵌入问题(p-OLSE)中,给定两个图 GGHH,每个图的顶点上都定义了线性序,一个函数 LLGG 中的每个顶点关联到 HH 中的一个顶点列表,以及一个参数 kk。问题是判断我们是否能将 GG 中包含 kk 个顶点的子图 SS (一对一地)嵌入到 HH 中,使得:(1) SS 的每个顶点被映射到其关联列表中的一个顶点;(2) SS 及其在嵌入下映像所继承的线性序得到保持;(3) 如果 SS 中的两个顶点之间存在边,则它们的映像之间也存在边。如果要求子图 SS 作为导出子图嵌入,则得到有序列表导出子图嵌入问题(p-OLISE)。p-OLSE 和 p-OLISE 问题对生物信息学中与蛋白质结构比较/比对相关的各种问题进行了建模。我们研究了 p-OLSE 和 p-OLISE 关于以下结构参数的复杂性:函数 LL 的宽度 ΔL\Delta_L(最大列表的大小),以及 HH 的最大度 ΔH\Delta_HGG 的最大度 ΔG\Delta_G。就所考虑的结构参数而言,我们在经典复杂性、参数化复杂性和近似计算的框架下,绘制了 p-OLSE 和 p-OLISE(及其优化版本)的完整复杂性全景。

关键词

引用

@article{arxiv.1403.2009,
  title  = {On the Ordered List Subgraph Embedding Problems},
  author = {Olawale Hassan and Iyad Kanj and Daniel Lokshtanov and Ljubomir Perković},
  journal= {arXiv preprint arXiv:1403.2009},
  year   = {2014}
}