首页
学习
活动
专区
工具
TVP
发布

算法和应用

专栏作者
44
文章
26927
阅读量
9
订阅数
线性时间中的平面不相交路径
作者:Petr A. Golovach,Stavros G. Kolliopoulos,Giannos Stamoulis,Dimitrios M. Thilikos
罗大琦
2019-07-18
4000
改进的预算连接控制和预算边缘 - 顶点控制
作者:Ioannis Lamprou,Ioannis Sigalas,Vassilis Zissimopoulos
罗大琦
2019-07-18
4680
二进制决策图:从树压缩到采样
摘要:任何布尔函数都对应于完整的完整二进制决策树。该树又可以以最大的紧凑形式表示为直接非循环图(\ textsc {dag}),其中共同子树被分解和共享,仅保留每个唯一子树的一个副本。这产生了着名且广泛使用的结构,称为简化有序二元决策图(\ textsc {robdd})。我们建议重新审视经典压缩过程,以提供一种新的方法来枚举给定大小的\ textsc {robdd},而不考虑完全展开的树和压缩步​​骤。我们的方法还为\ textsc {robdd}的集合提供了一个无人值守的过程。作为副产品,我们为\ textsc {robdd}获取一个随机的统一且详尽的采样器,用于给定数量的变量和大小。为了提高效率,我们的算法依赖于预计算步骤。最后,我们提供了一些关键的想法,将方法扩展到其他压缩策略,与\ textsc {bdd} s的变体(即\ textsc {qbdd} s和\ textsc {zbdd} s)相关。
罗大琦
2019-07-18
8280
没有更多了
社区活动
腾讯技术创作狂欢月
“码”上创作 21 天,分 10000 元奖品池!
Python精品学习库
代码在线跑,知识轻松学
博客搬家 | 分享价值百万资源包
自行/邀约他人一键搬运博客,速成社区影响力并领取好礼
技术创作特训营·精选知识专栏
往期视频·千货材料·成员作品 最新动态
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档