Explicit formulas for general position polynomials of complete multipartite graphs are given, with log-concavity and unimodality for balanced parts of size r≤4 and counterexamples for larger r and some coronas.
Producing shorter congruence closure proofs in a state-of-the-art SMT solver
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.CO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Explicit Formulas and Unimodality Phenomena for General Position Polynomials
Explicit formulas for general position polynomials of complete multipartite graphs are given, with log-concavity and unimodality for balanced parts of size r≤4 and counterexamples for larger r and some coronas.