• 基于符号OBDD的子图同构约束求解算法

    基于符号OBDD的子图同构约束求解算法

    论文摘要针对求解子图同构问题计算复杂性较高的问题,提出了一种基于符号OBDD的子图同构约束求解算法(OBDD-SI)。该算法对子图同构进行CSP建模,采用OBDD对该模型进行隐...