• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Discrete Applied Mathematics >Linear delay enumeration and monadic second-order logic
【24h】

Linear delay enumeration and monadic second-order logic

机译：线性延迟枚举和二阶二阶逻辑

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The results of a query expressed by a monadic second-order formula on a tree, on a graph or on a relational structure of tree-width at most k, can be enumerated with a delay between two outputs proportional to the size of the next output. This is possible by using a preprocessing that takes time O(n . log(n)), where n is the number of vertices or elements. One can also output directly the i-th element with respect to a fixed ordering, however, in more than linear time in its size. These results extend to graphs of bounded clique-width. We also consider the enumeration of finite parts of recognizable sets of terms specified by parameters such as size, height or Strahler number.
机译：一棵树，一张图或最多k个树宽的关系结构上由一阶二阶公式表示的查询结果可以用两个输出之间的延迟来枚举，该延迟与下一个输出的大小成比例。这可以通过使用花费时间O（n。log（n））的预处理来实现，其中n是顶点或元素的数量。一个人也可以按照固定的顺序直接输出第i个元素，但其大小不只是线性时间。这些结果扩展到有界集团图。我们还考虑了由大小，高度或Strahler数等参数指定的可识别术语集的有限部分的枚举。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号