2 papers
cs.CC2020
Space Hardness of Solving Structured Linear Systems
Xuangui Huang
We show that if the probabilistic logarithmic-space solver or the deterministic nearly logarithmic-space solver for undirected Laplacian matrices can be extended to solve slightly…
cs.LO2017
Slicewise definability in first-order logic with bounded quantifier rank
Yijia Chen, Joerg Flum, Xuangui Huang
For every let denote the class of sentences of first-order logic FO of quantifier rank at most . If a graph property can be defined in $\textrm{…