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. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Chengyue He

dblp:341/5572 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
2since 2021 · last 2025
—ORCID · unresolved

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
1 paper
Combinatorics and discrete mathematics · 67% Algorithmic game theory and mechanism design · 33%

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

TopicWeightPapersLastEvidence papers
Combinatorics and discrete mathematics
hypergraph
0.912025
Scarf's Algorithm on Arborescence Hypergraphs · ICALP 2025
Combinatorics and discrete mathematics
polytope theory
0.912025
Scarf's Algorithm on Arborescence Hypergraphs · ICALP 2025
Algorithmic game theory and mechanism design › matching
stable matching
0.912025
Scarf's Algorithm on Arborescence Hypergraphs · ICALP 2025
YearPublicationVenuePosition
2025 Scarf's Algorithm on Arborescence Hypergraphs
abstract
Scarf’s algorithm - a pivoting procedure that finds a dominating extreme point in a down-monotone polytope - can be used to show the existence of a fractional stable matching in hypergraphs. The problem of finding a fractional stable matching in hypergraphs, however, is PPAD-complete. In this work, we study the behavior of Scarf’s algorithm on arborescence hypergraphs, the family of hypergraphs in which hyperedges correspond to the paths of an arborescence. For arborescence hypergraphs, we prove that Scarf’s algorithm can be implemented to find an integral stable matching in polynomial time. En route to our result, we uncover novel structural properties of bases and pivots for the more general family of network hypergraphs. Our work provides the first proof of polynomial-time convergence of Scarf’s algorithm on hypergraphic stable matching problems, giving hope to the possibility of polynomial-time convergence of Scarf’s algorithm for other families of polytopes.
Karthekeyan Chandrasekaran, Yuri Faenza, Chengyue He, Jay Sethuraman
ICALP3
2024 Two-Stage Stochastic Stable Matching
Yuri Faenza, Ayoub Foussoul, Chengyue He
IPCO3