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 94
- Downloads 0
Some Stationary Solutions of Schrodinger Map Equation
In this paper, we construct a type of plane wave solution of Landau-Lifshitz equation with the model |u| = 1. In addition, we discover the law which when the spin vector u is moving along one direction, the spin vector u...
Solution of Wind Speed Equation of Circulation Cyclone and Its Application
The wind speed equation of circular cyclone is a set of non-linear partial differential equations (PDE) with 4 unknown functions u (wind speed), ρ (density), p (pressure) and T (temperature) and is separated to 14 unknow...
SEIRS Model for Pediatrics with Lower Respiratory Tract Infection
The ability of the immune system to detect and eliminate most pathogens is essential for the survival of lower respiratory tract infection in 2016 by Olubadeji [1]. Lower respiratory tract infection (LRTI) constituted th...
Mixed Convection and Radiative Heat Transfer of MHD Casson Fluid Flow by a Permeable Stretching Sheet with Variable Thermal Conductivity and Lying in Porous Medium
This work investigates the mixed convection radiative heat transfer of electrically conducting Casson fluids. The fluid flows past a permeable stretching sheet lying in the porous medium. The heat transfer involves varia...
Some Fixed Point Theorems for Berinde-Type Contraction Mappings on Gp-Metric Spaces
In this paper, we de ne the concepts of (δ, 1 − δ)-weak contraction, (φ, 1 − δ)-weak contraction and Ciric-type almost contraction in the sense of Berinde in Gp-complete Gp-metric space. Furthermore, we prove the exist...