Dingding Dong

activity

20192026

most citedEnumerating k-SAT functions

1 citations · 1 across the 8 of their papers we have counts for

collaborators

Showing 2024Show all

3 papers · 1 filter

math.CO2024

On monochromatic solutions to linear equations over the integers

Dingding Dong, Nitya Mani, Huy Tuan Pham +1

We study the number of monochromatic solutions to linear equations in a $2$ -coloring of ${1, \dots, n}$ . We show that any nontrivial linear equation has a constant fraction of sol…

cs.DS2024

Random local access for sampling k-SAT solutions

Dingding Dong, Nitya Mani

We present a sublinear time algorithm that gives random local access to the uniform distribution over satisfying assignments to an arbitrary k-SAT formula $Φ$ , at exponential claus…

math.CO2024

Uncommon linear systems of two equations

Dingding Dong, Anqi Li, Yufei Zhao

A system of linear equations $L$ is common over $F_{p}$ if, as $n \to \infty$ , any 2-coloring of $F_{p}^{n}$ gives asymptotically at least as many monochromatic solutions…