同构意义下函数有向图的多项式延迟生成
Polynomial-delay generation of functional digraphs up to isomorphism
AI总结:
本文提出基于反向搜索的算法,以$O(n^2)$延迟和线性空间在同构意义下生成函数有向图,先处理连通情形再推广到任意情形。
摘要:
我们描述了一种在同构意义下生成函数有向图的程序;这类有向图具有均匀出度1,也称为映射模式、有限自函数或有限离散时间动力系统。该程序基于一种用于生成连通函数有向图的反向搜索算法,随后将其作为子程序用于生成任意函数有向图。两种算法输出解的延迟均为$O(n^2)$,并且相对于顶点数$n$仅需线性空间。
英文摘要:
We describe a procedure for the generation of functional digraphs up to isomorphism; these are digraphs with uniform outdegree 1, also called mapping patterns, finite endofunctions, or finite discrete-time dynamical systems. This procedure is based on a reverse search algorithm for the generation of connected functional digraphs, which is then applied as a subroutine for the generation of arbitrary ones. Both algorithms output solutions with $O(n^2)$ delay and require linear space with respect to the number $n$ of vertices.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。