#### Filter Results:

- Full text PDF available (4)

#### Publication Year

2008

2017

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- XueLin Xu, Zongsheng Gao, Ke Xu
- Inf. Process. Lett.
- 2011

- Zongsheng Gao, Jun Liu, Ke Xu
- Science China Information Sciences
- 2016

Consider a random k-conjunctive normal form F k (n, rn) with n variables and rn clauses. We prove that if the probability that the formula F k (n, rn) is satisfiable tends to 0 as n→∞, then r ⩾ 2.83, 8.09, 18.91, 40.81, and 84.87, for k = 3, 4, 5, 6, and 7, respectively. SAT 问题是第一个被证明的 NP 完全问题, 是理论计算机科学研究的核心问题之一。 自从上世纪九十年代初发现 NP 完全问题存在相变现象以来, 随机 k-SAT… (More)

- Hongyi Li, Zongsheng Gao, Di Zhao
- Applied Mathematics and Computation
- 2014

Let A and B be bounded linear operators on a Hilbert space satisfying A ≥ B ≥ 0. The well-known Furuta inequality is given as follows: Let r ≥ 0 and p > 0; then A r 2 A min{1,p} A r 2 ≥ (A r 2 B p A r 2) min{1,p}+r p+r. In order to give a self-contained proof of it, Furuta (1989) proved that if 1 ≥ r ≥ 0, p > p 0 > 0 and 2p 0 + r ≥ p > p 0 , then (A r 2 B p… (More)

- Minfeng Chen, Zongsheng Gao, Yunfei Du
- Journal of inequalities and applications
- 2017

In this paper, we investigate the admissible entire solutions of finite order of the differential-difference equations [Formula: see text] and [Formula: see text], where [Formula: see text], [Formula: see text] are two non-zero polynomials, [Formula: see text] is a polynomial and [Formula: see text]. In addition, we investigate the non-existence of entire… (More)

- Guangyan Zhou, Zongsheng Gao, Jun Liu
- J. Comb. Optim.
- 2015

- Xiyong Zhang, Hua Guo, Zongsheng Gao
- Graphs and Combinatorics
- 2011

- Jun Liu, Zongsheng Gao, Ke Xu
- Electr. J. Comb.
- 2012

Consider a random instance I of k-SAT with n variables and m clauses. Suppose that θ, c > 0 are any fixed real numbers. Let k = k(n) ≥ 1 2 + θ log 2 n. We prove that lim n→∞ P r(I is satifiable) = 1 m ≤ 1 − c √ n 2 k n ln 2 0 m ≥ 1 + c √ n 2 k n ln 2.

- Guangyan Zhou, Zongsheng Gao
- Int. J. Found. Comput. Sci.
- 2013

- ‹
- 1
- ›