BriefGPT.xyz
Ask
alpha
关键词
counting problems
搜索结果 - 6
MM
利用树宽度进行认识逻辑程序的数量推理
本篇论文介绍了一种利用图形方法和动态规划结合已有的搜索求解器来解决定量推理问题的新系统,可以有效地处理 Answer Set Programming 方法中 epistemic logic programs 的复杂问题。
PDF
3 years ago
信念传播神经网络
介绍了一种参数化的运算符 BPNN,它可以操作因子图和广义 BP。通过训练 BPNN,可以比原始的 BP 更好地完成一些复杂的计数问题,并且可以更快地收敛于 Ising 模型。
PDF
4 years ago
MM
利用数据库管理系统和树宽进行计数
本文提出了一种基于数据库管理系统的通用框架来解决具有小分解树宽度的问数问题,利用动态规划在分解树上进行计算,并将 DP 算法实现到了一个 DBMS (PostgreSQL) 中。这是我们的实验室采用 DBMS 进行处理 TDs 算法的第一次
→
PDF
4 years ago
利用独立集预言机进行边缘估计
本研究探讨了使用独立集合查询进行图边估计的问题,并提出了两种算法来估计 n 个顶点的图中边的数量。
PDF
7 years ago
关于数计数量与优化的不等式及推广
研究一类满足一定条件的多线性齐次实多项式,利用 Gurvits 的永久不等式等理论方法解决计数和优化问题,并将研究成果应用到 Schrijver 不等式和 Nikolov 与 Singh 等近期成果的推广和多项式时间算法的设计中。
PDF
7 years ago
平面计数问题的复杂性
在平面图情况下,我们证明了与各种满足性、图形和组合问题相关的计数问题的 #P 难度。另外,当局限于计划实例时,我们证明了具有不明确解决方案性的满足性问题的 NP 完全性和与唯一满足性问题相关的随机多项式可简化的 DP 完全性。假设 P≠NP
→
PDF
26 years ago
Prev
Next