Status of an open problem about semilinear sets

See the paper below.

"On the open problem of Ginsburg concerning semilinear sets and related problems" by Ibarra and Seki, TCS 501, pp.11-19, 2013

link: http://dl.acm.org/citation.cfm?id=2527409

Hope it can help.


Recently, a criterion for the special case of deciding whether an integral polyhedron $A\cdot \vec{x} \ge \vec{b}$ is stratified has been developed here (Theorem 4.5):

Leroux, J., Penelle, V., & Sutre, G. (2014). The Context-Freeness Problem Is coNP-Complete for Flat Counter Systems. In Automated Technology for Verification and Analysis (pp. 248-263). Springer International Publishing.


Look at this paper, it may help:

Every semilinear set is a finite union of disjoint linear sets by: Ryuichi Ito

link: http://www.sciencedirect.com/science/article/pii/S0022000069800140