2. 您的位置
3. 首页
4. 会议论文
5. Computability of the critical function for unsatisfiable k-CNF formulas withfew occurrences per vari

Computability of the critical function for unsatisfiable k-CNF formulas withfew occurrences per vari

来源 :2014年南开数理逻辑研讨会 | 被引量 : 0次 | 上传用户：xfzou32

【摘 要】

：

　　For fixed positive integers k and s,a(k; s)-CNF-formula means that every clause has exactly k literals and each variable occurs at most s clauses in the for

【作 者】

：

许道云 

【机 构】

：

贵州大学

【出 处】

：

2014年南开数理逻辑研讨会

【发表日期】

：

2014年11期

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

　　For fixed positive integers k and s,a(k; s)-CNF-formula means that every clause has exactly k literals and each variable occurs at most s clauses in the formula.It is shown that for k ≥ 3 there is some integer s = f(k)such that(1)all formulas in(k; s)-CNF are satisfiable;(2)(k,s + 1)-SAT problem is already NP-complete.

其他文献

Upper bound of second Hankel determinant for certain subclasses of analytic functions

　　In this present investigation,we first give a survey of the work done so far in this area of Hankel determinant for univalent functions.Then the upper bound

会议

BMO及相关函数空间上的复合算子

　　本报告将介绍近年来在BMO及相关函数空间上的复合算子的研究情况(主要是复合算子的有界和紧性特征)，也将给出目前存在的一些问题。

会议

On growth,zeros and poles of meromorphic solutions for complex difference equations

　　In this paper,we study the order of growth,the exponent of convergence of zeros and poles of meromorphic solutions for the following complex difference equa

会议

Riemann-Hilbert方法及若干应用

　　Riemann-Hilbert方法是近期复分析和渐近分析的一个结合点。我们将简要介绍该方法及其数学背景，并讨论在数学物理中，尤其是在随机矩阵理论中的几个应用。

会议

Gradient Estimates for Nonlinear Diffusion Semigroups by Coupling Methods

　　Our purpose is to obtain gradient estimates for certain nonlinear partial differential equations by coupling methods.First we derive uniform gradient estima

会议

Estimation and Testing of Varying Coefficients in Quantile Regression

　　In this paper,we establish a novel connection between a commonly used null hypothesis and a rank-reducible varying coefficient model in quantile regression.

会议

Robust Orthogonality-Based Estimation and Jump-Preserving Fitting for Heteroscedastic Partially Line

　　In this talk we consider partially linear varying coefficient models.We provide the robust orthogonality-based estimator of the the parametric part as well

会议

HeteroscedasticityJump-preserving fittingOrthogonalityPartially linear varyin

QED constant

　　We will show the relationship between QED constant and other quasiconformal constants and get the sharp upper bound of QED constant by using boundary dilata

会议

On generalized orders and types of Laplace-Stieltjes transforms analytic in the right half-plane

　　In the paper,generalized orders and generalized types of Laplace-Stieltjes transforms defined in the right half-plane are given.Some interesting relationshi

会议

Heinz type inequalities for Poisson integrals

　　In 1958 E.Heinz obtained a lower bound for |(a)xF|2 + |(a)yF|2,where F is a one-to-one harmonic mapping of the unit disk onto itself keeping the origin fixe

会议