Dingding Dong

activity

20192026

most citedEnumerating k-SAT functions

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

collaborators

Showing math.COShow all

6 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…

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…

math.CO2022

Nearly all $k$ -SAT functions are unate

József Balogh, Dingding Dong, Bernard Lidický +2

We prove that $1 - o (1)$ fraction of all $k$ -SAT functions on $n$ Boolean variables are unate (i.e., monotone after first negating some variables), for any fixed positive integer $k$ …

math.CO2022

On the number of error correcting codes

Dingding Dong, Nitya Mani, Yufei Zhao

We show that for a fixed $q$ , the number of $q$ -ary $t$ -error correcting codes of length $n$ is at most $2^{(1 + o (1)) H_{q} (n, t)}$ for all $t \leq (1 - q^{-1})n - C_q\sqrt{n \log n}…

math.CO2021★ 1 cited

Enumerating k-SAT functions

Dingding Dong, Nitya Mani, Yufei Zhao

How many $k$ -SAT functions on $n$ boolean variables are there? What does a typical such function look like? Bollobás, Brightwell, and Leader conjectured that, for each fixed $k \ge…

math.CO2019

On Induced Subgraphs of the Hamming Graph