首页> 外文会议>International workshop on graph-theoretic concepts in computer science >A Slice Theoretic Approach for Embedding Problems on Digraphs
【24h】

A Slice Theoretic Approach for Embedding Problems on Digraphs

机译:在图上嵌入问题的切片理论方法

获取原文

摘要

We say that a digraph H can be covered by k paths if there exist k directed paths p_1,p_2,…,p_k such that H = U_(i=1)~kp_i. In this work we devise parameterized algorithms for embedding problems on digraphs in the setting in which the host digraph G has directed pathwidth w and the pattern digraph H can be covered by k paths. More precisely, we show that the subgraph isomorphism, subgraph homeomorphism, and two other related embedding problems can each be solved in time 2~(O(k·w log k·w))·|H|~(O(k·w))·|G|~(O(k·w)) . We note in particular that for con. stant values of w and k, our algorithm runs in polynomial time with respect to the size of the pattern digraph H. Therefore for the classes of digraphs considered in this work our results yield an exponential speedup with respect to the best general algorithm for the subgraph isomorphism problem which runs in time O~*(2~(|H|)· |G|~(tw(H))) (where tw(H) is the undirected treewidth of H), and an exponential speedup with respect to the best general algorithm for the subgraph homeomorphism problem which runs in time |G|~(O(|H|)).
机译:我们说,如果存在k个有向的路径p_1,p_2,…,p_k,使得H = U_(i = 1)〜kp_i,则有向子H可以被k个路径覆盖。在这项工作中,我们设计了参数化算法,用于在主机图G指示有向宽度w且图案图H可以被k条路径覆盖的情况下将问题嵌入图上的问题。更确切地说,我们证明子图同构,子图同胚和其他两个相关的嵌入问题都可以在2〜(O(k·w log k·w))·| H |〜(O(k·w) ))|| G |〜(O(k·w))。我们特别注意那一点。如果将w和k的值固定不变,我们的算法就相对于图案有向图H的大小在多项式时间内运行。因此,对于本工作中考虑的有向图类别,我们的结果相对于子图的最佳通用算法而言,产生了指数级加速时间为O〜*(2〜(| H |)·| G |〜(tw(H)))的同构问题(其中tw(H)是H的无向树宽),并且相对于运行| G |〜(O(| H |))的子图同胚问题的最佳通用算法。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号