On Convexity of Right-Closed Integral Sets
Journal Title: Journal of Advances in Mathematics and Computer Science - Year 2017, Vol 20, Issue 1
Abstract
Let N denote the set of non-negative integers. A set of non-negative, n-dimensional integral vectors, M⊂ Nn, is said to be right-closed, if ((x ∈M) ∧ (y ≥ x) ∧ (y ∈ Nn)) ⇒ (y ∈M). In this paper, we present a polynomial time algorithm for testing the convexity of a right-closed set of integral vectors, when the dimension n is xed. Right-closed set of integral vectors are in nitely large, by de nition. We compute the convex-hull of an appropriately-de ned nite subset of this in nite-set of vectors. We then check if a stylized Linear Program has a non-zero optimal value for a special collection of facets of this convex-hull. This result is to be viewed against the backdrop of the fact that checking the convexity of a real-valued, geometric set can only be accomplished in an approximate sense; and, the fact that most algorithms involving sets of real-valued vectors do not apply directly to their integral counterparts. This observation plays an important role in the ecient synthesis of Supervisory Policies that avoid Livelocks in Discrete-Event/Discrete-State Systems.
Authors and Affiliations
E. Salimi, R. S. Sreenivas
Keywords
Related Articles
- EP ID EP321907
- DOI 10.9734/BJMCS/2017/30348
- Views 96
- Downloads 0
Magnetic Field in Reentry Flows in 2D: Eleven Species
In this work, a study involving magnetic field actuation over reentry flows in thermochemical non-equilibrium is performed. The Euler and Navier-Stokes equations, on a finite volume and structured contexts, are studied....
On a Discrete Time Semi-Markov Risk Model with Dividends and Stochastic Premiums
A discrete semi-Markov risk model with dividends and stochastic premiums is investigated. We derive recursive equations for the expected penalty function by using the technique of probability generating function. Finally...
A Note on the Fuglede and Fuglede-Putnam’s Theorems
In this paper, we investigate the extension of Fuglede and Fuglede-Putnam’s Theorems to two bounded linear operators.
The Technology Acceptance Model (TAM) and its Application to the Utilization of Mobile Learning Technologies
Researchers have argued that inclusion of technologies in the teaching-learning places must be preceded by the user accepting the technology. Without this effort, the technologies remain abandoned or heavily underutilize...
Velocity Profiles of Unsteady Blood Flow through an Inclined Circular Tube with Magnetic Field
The present paper is devoted to study the flow of incompressible viscous, electrically conducting fluid (blood) in a rigid inclined circular tube with magnetic field. The blood is considered to be Newtonian fluid and the...