首页> 外文会议>STACS 2007; Lecture Notes in Computer Science; 4393 >Planar Graphs: Logical Complexity and Parallel Isomorphism Tests
【24h】

Planar Graphs: Logical Complexity and Parallel Isomorphism Tests

机译:平面图:逻辑复杂度和并行同构测试

获取原文
获取原文并翻译 | 示例

摘要

We prove that every triconnected planar graph on n vertices is definable by a first order sentence that uses at most 15 variables and has quantifier depth at most 11 log_2 n + 45. As a consequence, a canonic form of such graphs is computable in AC~1 by the 14-dimensional Weisfeiler-Lehman algorithm. This gives us another AC~1 algorithm for the planar graph isomorphism.
机译:我们证明,在n个顶点上的每个三连通平面图都可以由使用最多15个变量并且量化器深度最多为11 log_2 n + 45的一阶句子来定义。因此,此类图的规范形式可以在AC〜中计算出来。由14维Weisfeiler-Lehman算法得出。这为平面图同构提供了另一种AC〜1算法。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号