Fast Almost-Uniform Sampling of Random $k$-SAT Solutions MB29RAAQMG
| URI | m2://res/MB29RAAQMG |
|---|---|
| Kind | preprint |
| Creators | Kun He, Zhidan Li, Kuan Yang |
| Date | 2026-10-07 |
| Subjects | arxiv cs.DS, arxiv cs.DM, arxiv math.PR |
| Scope | border |
Expressions
e1: version, preprint
| Date | 2026-10-07 |
|---|---|
| Ids | arXiv 2610.10474 |
Items in this resource
The mentions of the inventory that name this resource. Each name links to the card of its inventory row.
| Item | Kind | Where | Source |
|---|---|---|---|
| 3WH1N4KHGJ | statement | lemma 4.8 | arxiv |
| Efron--Stein inequality | statement | lemma 2.3 | arxiv |
| 4QPYJE2W5S | statement | lemma 5.1 | arxiv |
| 4X1PK1JW4J | statement | lemma 6.9 | arxiv |
| 61P3DSR72M | statement | lemma 6.7 | arxiv |
| 6MS0YRZZS7 | statement | lemma 6.6 | arxiv |
| 6V5VVN9E7T | statement | lemma 3.7 | arxiv |
| 7YD1CGBJ17 | statement | proposition 5.2 | arxiv |
| The insertion routine | definition | definition 4.11 | arxiv |
| Component-swap variance comparison | statement | lemma 6.4 | arxiv |
| 9ES8K3G0T5 | statement | lemma 3.4 | arxiv |
| ABTJ56A1A1 | statement | proposition 3.8 | arxiv |
| AKR5N1B5B6 | statement | theorem 4.1 | arxiv |
| ANTMQS7GJ3 | statement | lemma 3.2 | arxiv |
| B89BP8YG7N | statement | lemma 3.3 | arxiv |
| State space | definition | definition 4.5 | arxiv |
| C3MTW28K6R | statement | lemma 4.9 | arxiv |
| Koteck\'y--Preiss criterion | statement | theorem 2.1 | arxiv |
| Spectral gap of the core heat bath | statement | theorem 6.1 | arxiv |
| Transition rules | definition | definition 4.6 | arxiv |
| EH17DR340E | statement | corollary 5.3 | arxiv |
| Asymmetric \Lovasz local lemma | statement | theorem 2.2 | arxiv |
| The main sampler | definition | definition 7.3 | arxiv |
| GRJRNS1PJ9 | statement | lemma 3.9 | arxiv |
| GZ4YGGFG5H | statement | proposition 7.1 | arxiv |
| HN5SA80YXG | statement | lemma 3.1 | arxiv |
| J7H1605DHA | statement | proposition 3.6 | arxiv |
| JQRSKW0K5T | statement | lemma 4.2 | arxiv |
| JZ6DYX531T | statement | lemma 4.4 | arxiv |
| JZWYJ7YAKB | statement | theorem 1.1 | arxiv |
| MG0E6NAES3 | statement | proposition 4.10 | arxiv |
| PYVAHTAS42 | statement | lemma 6.10 | arxiv |
| Q3QFSCKNCX | statement | lemma 6.3 | arxiv |
| R4KRK7KKRK | statement | lemma 4.3 | arxiv |
| RKB61P20RK | statement | lemma 6.11 | arxiv |
| SY5T0AT54Z | statement | lemma 3.5 | arxiv |
| T185N5Y1WE | statement | lemma 7.2 | arxiv |
| TEA497QZMN | statement | lemma 6.12 | arxiv |
| X1ZFJYCMSM | statement | lemma 6.2 | arxiv |
| X321PYXS6J | statement | lemma 4.7 | arxiv |
| XH4J50JHV3 | statement | lemma 6.5 | arxiv |
| XMAC2A9G8H | statement | proposition 7.4 | arxiv |
| XP8VKWA2SR | statement | lemma 6.13 | arxiv |
| ZP0ZDRNM1S | statement | lemma 6.8 | arxiv |
Catalogue records
- arxiv: 2610.10474 (work)