Source author record

S. Cliff Liu

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Data Structures and Algorithms Computational Complexity

Catalog footprint

Research overview

3works

2topics

1close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Chain, Generalization of Covering Code, and Deterministic Algorithm for k-SAT

We present the current fastest deterministic algorithm for $k$ -SAT, improving the upper bound $(2-2/k)^{n + o(n)}$ dues to Moser and Scheder [STOC'11]. The algorithm combines a branching algorithm with the derandomized local search, whose analysis relies on a special sequence of clauses called chain, and a generalization of covering code based on linear programming. We also provide a more ingenious branching algorithm for $3$ -SAT to establish the upper bound $1.32793^n$ , improved from $1.3303^n$ .

preprint2020arXiv

Simple Concurrent Labeling Algorithms for Connected Components

We study a class of simple algorithms for concurrently computing the connected components of an $n$ -vertex, $m$ -edge graph. Our algorithms are easy to implement in either the COMBINING CRCW PRAM or the MPC computing model. For two related algorithms in this class, we obtain $Θ(\lg n)$ step and $Θ(m \lg n)$ work bounds. For two others, we obtain $O(\lg^2 n)$ step and $O(m \lg^2 n)$ work bounds, which are tight for one of them. All our algorithms are simpler than related algorithms in the literature. We also point out some gaps and errors in the analysis of previous algorithms. Our results show that even a basic problem like connected components still has secrets to reveal.

preprint2020arXiv

Simpler Partial Derandomization of PPSZ for $k$ -SAT

We give a simpler derandomization of the best known $k$ -SAT algorithm PPSZ [FOCS'97, JACM'05] for $k$ -SAT with \emph{sub-exponential} number of solutions. The existing derandomization uses a complicated construction of small sample space, while we only use \emph{hashing}. Our algorithm and theorem also have a nice byproduct: It outperforms the current fastest deterministic $k$ -SAT algorithm when the formula has \emph{moderately exponential} number of solutions.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

S. Cliff Liu

Research overview

Is this your work?

3 publications

Chain, Generalization of Covering Code, and Deterministic Algorithm for k-SAT

Simple Concurrent Labeling Algorithms for Connected Components

Simpler Partial Derandomization of PPSZ for $k$ -SAT

See the researcher in context

Building this map preview

S. Cliff Liu

Research overview

Is this your work?

3 publications

Chain, Generalization of Covering Code, and Deterministic Algorithm for k-SAT

Simple Concurrent Labeling Algorithms for Connected Components

Simpler Partial Derandomization of PPSZ for kkk-SAT

See the researcher in context

Building this map preview

Simpler Partial Derandomization of PPSZ for $k$ -SAT