首页> 外文OA文献 >Solving random satisfiable 3CNF formulas in expected polynomial time

【2h】

Solving random satisfiable 3CNF formulas in expected polynomial time

机译：在期望多项式时间内求解随机可满足的3CNF公式

页面导航

著录项
相似文献
相关主题

著录项

作者
Michael Krivelevich; Dan Vilenchik;
展开▼
作者单位

展开▼
年度 2006
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A spectral technique for random satisfiable 3CNF formulas [J] . Flaxman A Random structures & algorithms . 2008 ,第4期

机译：随机可满足3CNF公式的频谱技术
2. Solving NP-hard semirandom graph problems in polynomial expected time [J] . Coja-Oghlan A Journal of Algorithms . 2007 ,第1期

机译：在多项式期望时间内求解NP硬半随机图问题
3. Exponentially hard problems are sometimes polynomial, a large deviation analysis of search algorithms for the random satisfiability problem, and its application to stop-and-restart resolutions - art. no. 037101 [J] . Cocco S., Monasson R. Physical review, E. Statistical physics, plasmas, fluids, and related interdisciplinary topics . 2002 ,第3aPta2b期

机译：指数难度的问题有时是多项式，针对随机可满足性问题的搜索算法的大偏差分析及其在停止和重新启动分辨率中的应用-艺术。没有。 037101
4. Solving random satisfiable 3CNF formulas in expected polynomial time [C] . Michael Krivelevich, Dan Vilenchik, PMichael Krivelevich Proceedings of the Seventeenth annual ACM-SIAM symposium on Discrete algorithm . 2006

机译：在预期多项式时间内求解随机可满足的3CNF公式
5. Solving quantified first order formulas in Satisfiability Modulo Theories. [D] . Ge, Yeting. 2010

机译：在可满足性模理论中求解量化的一阶公式。
6. Representation of ... formula ...-Bernstein polynomials in terms of ... formula ...-Jacobi polynomials [O] . F Soleyman, I Area, M Masjed-Jamei, -1

机译：... ... ...-Bernstein多项式的表示形式... ... ... -Jacobi多项式
7. Witnesses for non-satisfiability of dense random 3CNF formulas [O] . Uriel Feige, Jeong Han Kim, Eran Ofek 2006

机译：稠密随机3CNF公式不满足的见证
8. Relative Size of Certain Polynomial Time Solvable Subclasses of Satisfiability [R] . Franco, J. 1997

机译：某些多项式时间可解的子类可满足性的相对大小

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号