Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Hiu Tsun Ng

dblp:377/0565 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
2since 2021 · last 2025
0009-0007-2272-165XORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 2 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
2 papers
Computational complexity · 94% Mathematical optimization · 6%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Computational complexity
proof complexity
1.622025
How Random CSPs Fool Hierarchies: II · STOC 2025
How Random CSPs Fool Hierarchies · STOC 2024
Computational complexity
constraint satisfaction
1.022025
How Random CSPs Fool Hierarchies · STOC 2024
How Random CSPs Fool Hierarchies: II · STOC 2025
Computational complexity › constraint satisfaction
random constraint satisfaction
0.812024
How Random CSPs Fool Hierarchies · STOC 2024
Mathematical optimization
semidefinite programming
0.212024
How Random CSPs Fool Hierarchies · STOC 2024

Methods — techniques the papers use, named apart from their topics

lower bound · 0.8SDP relaxation · 0.8LP relaxation · 0.8
YearPublicationVenuePosition
2025 How Random CSPs Fool Hierarchies: II
Siu On Chan, Hiu Tsun Ng
STOC2
2024 How Random CSPs Fool Hierarchies
abstract
Relaxations for the constraint satisfaction problem (CSP) include bounded width, linear program (LP), semidefinite program (SDP), affine integer program (AIP), and the combined LP+AIP of Brakensiek, Guruswami, Wrochna, and Živný (SICOMP 2020). Tightening relaxations systematically leads to hierarchies and stronger algorithms. For the LP+AIP hierarchy, a constant level lower bound for approximate graph coloring was given by Ciardo and Živný (STOC 2023). We prove the first linear (and hence optimal) level lower bound for LP+AIP and its stronger variant, SDP+AIP. For each hierarchy, our bound holds for random instances of a broad class of CSPs that we call 𝜏-wise neutral. We extend to other hierarchies the LP lower bound techniques in Benabbas, Georgiou, Magen and Tulsiani (ToC 2012) and Kothari, Mori, O’Donnell, and Witmer (STOC 2017), and simplify the SDP solution construction in the latter.
Siu On Chan, Hiu Tsun Ng, Sijin Peng
STOC2