3 papers
cs.DS2024
A Note On Deterministic Submodular Maximization With Bounded Curvature
Wenxin Li
We show that the recent breakthrough result of [Buchbinder and Feldman, FOCS'24] could further lead to a deterministic -approximate algorithm for maximizin…
math.LO2024
On propositional logic semirings
Wenxi Li, Zhongzhi Wang
Propositional logic serves as a fundamental cornerstone in mathematical logic. This paper delves into a semiring characterization of propositional logic, employing the Gröebner-Shi…
cs.IT2024
On Grobner-Shirshov bases for Markov semirings
Xiaohui Niu, Wenxi Li, Zhongzhi Wang
In order to investigate the relationship between Shannon information measure of random variables, scholars such as Yeung utilized information diagrams to explore the structured rep…