EDBT 2026 Demo / reviewers in the wild / expert
Zhaoxing Qi
dblp:380/6649
· DBLP profile ↗
3ranked-venue papers
3as first author
3since 2021 · last 2026
0009-0000-8118-8823ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3 · 3 first-author · 3 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Strongly and transitive chordal graphs and their applications in complexity analysis of triangular decomposition
Zhaoxing Qi, Chenqi Mou |
J. Symb. Comput. | 1 |
| 2025 | Choosing Variable Orderings Based on Elimination Tree for Sparse Triangular Decomposition
Zhaoxing Qi, Linpeng Wang |
CASC | 1 |
| 2024 | Complexity Analysis of Triangular Decomposition over F_2 with Strongly Chordal GraphsabstractIn this paper, we first introduce a new vertex order of graphs called the substrong elimination ordering based on maximal cliques of the graphs and prove that such an ordering can fully characterize strongly chordal graphs. By using this ordering we propose a new strategy for selecting polynomials for computation in algorithms for triangular decomposition over <?TeX $\mathbb {F}_2$?> Math 1 . Then we show that when this ordering is used as the variable order for triangular decomposition of a polynomial set whose associated graph is strongly chordal, the variables of any polynomial occurring in the decomposition are contained in certain maximal cliques, which gives a uniform description of the structural changes in the decomposition when combined with a bounded treewidth. Consequently, we prove that for any input set of ℓ polynomials in n variables with a strongly chordal associated graph of treewidth m, the complexity for triangular decomposition over <?TeX $\mathbb {F}_2$?> Math 2 with the proposed selection strategy is <?TeX $O \left(4^m \ell n \left(\frac{m\ell }{n-1} \right)^{n-1} \right)$?> Math 3 , smaller than the original O(ℓn) when m ≪ n. Zhaoxing Qi, Chenqi Mou |
ISSAC | 1 |