首页> 外文会议>Italian Conference on Algorithms and Complexity(CIAC 2006); 20060529-31; Rome(IT) >Counting All Solutions of Minimum Weight Exact Satisfiability

【24h】

Counting All Solutions of Minimum Weight Exact Satisfiability

机译：计算所有最小重量精确满足的解决方案

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

We show that the number of all solutions of minimum weight exact satisfiability can be found in O(n~2 · ‖C‖+2~(0.40567·n)) time, for a CNF formula C containing n propositional variables equipped with arbitrary real-valued weights. In recent years merely the unweighted counterpart of this problem has been studied.

机译：我们表明，对于包含n个命题变量且配备有任意实数的CNF公式C，可以在O（n〜2·“ C” + 2〜（0.40567·n））时间内找到最小权重精确满足的所有解的数量。权重。近年来，仅研究了该问题的未加权对应项。

著录项

来源
《Italian Conference on Algorithms and Complexity(CIAC 2006); 20060529-31; Rome(IT) 》|2006年|P.50-59|共10页
会议地点 Rome(IT)
作者
Stefan Porschen;
展开▼
作者单位

Institut fuer Informatik, Universitaet zu Koeln, Pohligstr. 1 D-50969 Koeln, Germany;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术 ;
关键词
minimum weight exact satisfiability; minimum weight set partition; maximum weight independent set; counting problem;

机译：最小重量精确可满足性；最小重量集划分；最大重量独立集；计数问题;

相似文献

外文文献
中文文献
专利

1. NEW WORST-CASE UPPER BOUND FOR COUNTING EXACT SATISFIABILITY [J] . JUNPING ZHOU, WEIHUA SU, JIANAN WANG International Journal of Foundations of Computer Science . 2014 ,第6期

机译：新的最坏情况上限，用于计算精确的可满足性
2. On variable-weighted exact satisfiability problems [J] . Stefan Porschen Annals of Mathematics and Artificial Intelligence . 2007 ,第1期

机译：关于可变加权的精确可满足性问题
3. MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability [J] . Xing Z, Zhang WX Artificial intelligence . 2005 ,第1a2期

机译：MaxSolver ：（加权）最大可满足性的高效精确算法
4. Counting All Solutions of Minimum Weight Exact Satisfiability [C] . Stefan Porschen Italian Conference on Algorithms and Complexity . 2006

机译：计算最小重量的所有解决方案确切可满足性
5. Observational Constraints, Exact Plane Wave Solutions, and Exact Spherical Solutions in Einstein-Aether Theory [D] . Oost, Jacob. 2019

机译：在爱因斯坦 - 搁置理论中观测结构约束，精确的平面波解决方案和精确的球面解决方案
6. Optimization of minimum set of protein–DNA interactions: a quasi exact solution with minimum over-fitting [O] . N. A. Temiz, A. Trapp, O. A. Prokopyev, -1

机译：最小化蛋白质-DNA相互作用的最优化：具有最小过度拟合的准精确解决方案
7. Research Slightly double fuzzy continuous functions via $e$-open sets P. Periyasamy 1 , A. Vadivel 2 *, G. Saravanakumar 3 and V. Chandrasekar 4 Malaya Journal of Matematik : Special Issue, Issue 1, 2020, Pages:570-575 DOI: 10.26637/MJM0S20/0109 Full Article PDF PDF size (1,412.53 KB) Research An $O(n)$-time algorithm to compute minimum $k$-hop connected dominating set of interval graphs Sambhu Charan Barman 1 *, Madhumangal Pal 2 and Sukumar Mondal 3 Malaya Journal of Matematik : Special Issue, Issue 1, 2020, Pages:576-580 DOI: 10.26637/MJM0S20/0110 Full Article PDF PDF size (1,420.88 KB) Research Solution of fractional integro-differential equations by Bernstein polynomials J.A. Nanware 1 * Parameshwari M. Goud 2 * and T.L. Holambe 3 Malaya Journal of Matematik : Special Issue, Issue 1, 2020, Pages:581-586 DOI: 10.26637/MJM0S20/0111 Full Article PDF PDF size (1,489.44 KB) Research Bases and metric dimension of composition product of some graph families P.V. Shamsudheen 1 * and A.T. Shahida 2 Malaya Journal of Matematik : Special Issue, Issue 1, 2020, Pages:587-589 DOI: 10.26637/MJM0S20/0112 Full Article PDF PDF size (1,542.84 KB) Research New exact solutions for general Boussinesq equation Subin P. Joseph 1 * Malaya Journal of Matematik : Special Issue, Issue 1, 2020, Pages:590-593 DOI: 10.26637/MJM0S20/0113 Full Article PDF PDF size (1,373.03 KB) Research Mathematical model on MHD oscillatory flow through a porous medium under the influence of heat and mass transfer M. Chitra 1 * and V. Kavitha 2 Malaya Journal of Matematik : Special Issue, Issue 1, 2020, Pages:594-600 DOI: 10.26637/MJM0S20/0114 Full Article PDF PDF size (1,463.96 KB) Research Three dimensional exact solutions for Newtonian and non-Newtonian fluid flows [O] . Subin P. Joseph 2020

机译：通过$ e $ -pen套装p. periyasamy 1，A.Vadivel 2 *，G.Saravanakumar 3和V.Chandrasekar 4 Matematik杂志的研究：特刊，第1,2020页，页面：570- 575 DOI：10.26637 / MJM0S20 / 0109 全文PDF PDF尺寸（1,412.53 kB）研究$ O（n）$ - 时间算法计算最低$ k $ -hop连接的占间隔图形图Sambhu Charan Barman 1 *，Madhumangal Pal 2和Sukumar Mondal 3 Matematik杂志：特别发行，第1,2020页，页数：576-580 DOI：10.26637 / MJM0S20 / 0110 全文PDF PDF尺寸（1,420.88 kB）伯恩斯坦多项式J.A的分数积分微分方程的研究解决方案。 nanware 1 * parameshwari m. goud 2 *和t.l. Holambe 3马来亚Matematik：特别问题，第1,2020页，页数：581-586 DOI：10.26637 / MJM0S20 / 0111 全文PDF PDF大小（1,489.44 kB）一些图形家庭组合物产品的研究基础和公制维度P.V。 Shamsudheen 1 *和A.T. Shahida 2 Malaya Matematik：特别问题，第1,2020页，页数：587-589 DOI：10.26637 / MJM0S20 / 0112 全文PDF PDF尺寸（1,542.84 kB）研究新的Boussinesq方程式Subin P.Joseph 1 * Matematik杂志的新精确解决方案：特别问题，第1,2020页，第590-593 Doi：10.26637 / MJM0S20 / 0113 全文PDF PDF尺寸（1,373.03 kB）通过热量和传质的影响M.Chitra 1 *和V.Kavitha 2 Matematik杂志的多孔介质研究MHD振荡流量的数学模型，M.Chitra 1 *和V.Kavitha 2 Matematik：特别问题，第1,2020页，页面： 594-600 DOI：10.26637 / MJM0S20 / 0114 全文PDF PDF大小（1,463.96 kB）研究牛顿和非牛顿流体流动的三维精确解决方案

Counting All Solutions of Minimum Weight Exact Satisfiability

摘要

著录项

相似文献

相关主题

期刊订阅