<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">AJOR</journal-id><journal-title-group><journal-title>American Journal of Operations Research</journal-title></journal-title-group><issn pub-type="epub">2160-8830</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/ajor.2013.31004</article-id><article-id pub-id-type="publisher-id">AJOR-27516</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  Constraint Optimal Selection Techniques (COSTs) for Linear Programming
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>oh</surname><given-names>Saito</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>H.</surname><given-names>W. Corley</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Jay</surname><given-names>M. Rosenberger</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib></contrib-group><aff id="aff1"><addr-line>IMSE Department, The University of Texas at Arlington, Arlington, USA</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>goh.saito@mavs.uta.edu(OS)</email>;</corresp></author-notes><pub-date pub-type="epub"><day>29</day><month>01</month><year>2013</year></pub-date><volume>03</volume><issue>01</issue><fpage>53</fpage><lpage>64</lpage><history><date date-type="received"><day>June</day>	<month>28,</month>	<year>2012</year></date><date date-type="rev-recd"><day>July</day>	<month>30,</month>	<year>2012</year>	</date><date date-type="accepted"><day>August</day>	<month>15,</month>	<year>2012</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
   We describe a new active-set, cutting-plane Constraint Optimal Selection Technique (COST) for solving general linear programming problems. We describe strategies to bound the initial problem and simultaneously add multiple constraints. We give an interpretation of the new COST’s selection rule, which considers both the depth of constraints as well as their angles from the objective function. We provide computational comparisons of the COST with existing linear programming algorithms, including other COSTs in the literature, for some large-scale problems. Finally, we discuss conclusions and future research.  
    
 
</p></abstract><kwd-group><kwd>Linear Programming; Large-Scale Linear Programming; Cutting Planes; Active-Set Methods; Constraint Selection; COSTs</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><sec id="s1_1"><title>1.1. The General Linear Programming Problem</title><p>Linear programming is a tool for optimizing numerous real-world problems such as the allocation problem. Consider a general linear program (LP) as the following problem <img src="4-1040137\ad0f3248-26c3-497b-9d6e-3215ae3785f0.jpg" /></p><disp-formula id="scirp.27516-formula89433"><label>(1)</label><graphic position="anchor" xlink:href="4-1040137\fc00cc0e-8928-4f91-bcc5-8edd4d3cc5fd.jpg"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.27516-formula89434"><label>(2)</label><graphic position="anchor" xlink:href="4-1040137\a9f647ea-b591-4e11-97b2-0d37af22f562.jpg"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.27516-formula89435"><label>(3)</label><graphic position="anchor" xlink:href="4-1040137\db460e47-35be-40f3-9c49-b01de9e9c368.jpg"  xlink:type="simple"/></disp-formula><p>where <img src="4-1040137\804fd779-cfa3-49f7-b233-b7e48bb89464.jpg" /> represents the objective function for <img src="4-1040137\859cff97-328b-4c80-b119-0c1045a996e6.jpg" /> variables</p><p><img src="4-1040137\8046b344-ea30-4ab2-afa7-443be56f174b.jpg" />and the expression (2) describes <img src="4-1040137\43b49e18-3cc8-4848-a676-b6642aa21170.jpg" /> rows of constraints for <img src="4-1040137\1db4f455-e5aa-4e2a-b3ae-5108d7817c85.jpg" /> variables</p><p><img src="4-1040137\0029c9dc-0816-4aaf-8252-23d00af8c309.jpg" />.</p><p>Furthermore, the vector 0 in (3) is a column vector of zeros of appropriate dimension according to context. The dual of <img src="4-1040137\5af8685f-4faa-4818-b52b-6526aa21e3bf.jpg" /> is considered the standard minimization LP problem. We focus here on the maximization case.</p><p>A COST RAD [<xref ref-type="bibr" rid="scirp.27516-ref1">1</xref>] utilizing multi-bound and multi-cut techniques was developed by Saito et al. [<xref ref-type="bibr" rid="scirp.27516-ref2">2</xref>] for nonnegative linear programs (NNLPs). In NNLPs, <img src="4-1040137\c0f1a036-31ab-4ef7-8962-adf5e3abb165.jpg" />and <img src="4-1040137\afbc7818-bf05-445a-ab68-404bd33650fa.jpg" /> and<img src="4-1040137\f4073f4b-ae8c-439a-82b3-6a04b994ac5b.jpg" />. However in LPs, the components of <img src="4-1040137\937cf5f3-655a-4134-bdba-0cc8c688a0c2.jpg" /> and <img src="4-1040137\8bd66525-f568-4ed1-b43b-2a13ee54d123.jpg" /> are not restricted to be nonnegative numbers.</p><p>Though simplex pivoting algorithms and polynomial interior-point barrier-function methods represent the two principal solution approaches to solve problem <img src="4-1040137\debad1a9-566e-405f-b92f-6154d2637910.jpg" /> [<xref ref-type="bibr" rid="scirp.27516-ref3">3</xref>], there is no single best algorithm. For either method, we can always formulate an instance of <img src="4-1040137\24157488-a0c6-4912-a2c4-500915a33ac8.jpg" /> for which the method performs poorly [<xref ref-type="bibr" rid="scirp.27516-ref4">4</xref>]. However, simplex methods remain the dominant approach because they have advantages over interior-point methods, such as efficient post-optimality analysis of pivoting algorithms, application of cutting-plane methods, and delayed column generation. Current simplex algorithms are often inadequate, though, for solving a large-scale LPs because of their insufficient computational speeds. In particular, emerging technologies require computer solutions in nearly real time for problems involving millions of constraints or variables. Hence faster techniques are needed. The COST of this paper represents a viable such approach.</p></sec><sec id="s1_2"><title>1.2. Background and Literature Review</title><p>An active-set framework for solving LPs will be analogous to that of Saito et al. [<xref ref-type="bibr" rid="scirp.27516-ref2">2</xref>] for NNLPs. We begin with a relaxation of<img src="4-1040137\08392157-2572-42c7-8880-b62308ad4e39.jpg" />, with a single artificial bounding constraint such as <img src="4-1040137\9d6f4732-2fec-4343-9937-c8759cb805c4.jpg" /> or <img src="4-1040137\16c9b192-21e7-4c3a-8a7c-73d9fd7df8a6.jpg" /> for sufficiently large <img src="4-1040137\8a570f19-4c25-4c45-a57c-62fcc252a9f8.jpg" /> so as not to reduce the feasible region of<img src="4-1040137\b9989148-5b64-4324-84ff-bb464010c90f.jpg" />.</p><p>A series of relaxations <img src="4-1040137\9e6433ab-6b11-40ca-898f-34e55839e9c2.jpg" /> of <img src="4-1040137\4e157333-9873-4255-a666-d57f42363c41.jpg" /> is formed by adding one or more violating constraints from set (2). The constraints that have been added are called &#160;operative constraints, while constraints that still remain in (2) are called &#160;inoperative constraints. Eventually a solution <img src="4-1040137\64922eaf-1df1-4062-bc0b-cb26474734c0.jpg" /> of <img src="4-1040137\78ea8460-1423-4abc-86ae-bbb35a023b01.jpg" /> is obtained when none of the inoperative constraints are violated; i.e., for no inoperative constraint <img src="4-1040137\3fc01e44-0843-44c3-ba8d-afc6beabd7d3.jpg" /> is<img src="4-1040137\ce704442-9dd3-4bb4-95f8-0c64f0d4eb88.jpg" />. In the LP COSTs of this paper we explore 1) the ordering of a set of inoperable constraints for possibly adding them to the current operable constraints and 2) the actual selection of a group of such constraints to be added at an iteration.</p><p>Active-set approaches have been studied in the past, including those by Stone [<xref ref-type="bibr" rid="scirp.27516-ref5">5</xref>], Thompson et al. [<xref ref-type="bibr" rid="scirp.27516-ref6">6</xref>], Adler et al. [<xref ref-type="bibr" rid="scirp.27516-ref7">7</xref>], Zeleny [<xref ref-type="bibr" rid="scirp.27516-ref8">8</xref>], Myers and Shih [<xref ref-type="bibr" rid="scirp.27516-ref9">9</xref>], and Curet [<xref ref-type="bibr" rid="scirp.27516-ref10">10</xref>], with the term “constraint selection technique” used in Myers and Shih [<xref ref-type="bibr" rid="scirp.27516-ref9">9</xref>]. Adler et al. [<xref ref-type="bibr" rid="scirp.27516-ref7">7</xref>] added constraints randomly, without any selection criteria. Zeleny [<xref ref-type="bibr" rid="scirp.27516-ref8">8</xref>] added a constraint that was most violated by the problem <img src="4-1040137\69636253-19c2-4f4d-b14f-9bf99065fbc5.jpg" /> to form<img src="4-1040137\48de197b-a1cd-4fd3-93d6-ee5b182b698c.jpg" />. These methods are called SUB and VIOL here, respectively, as in Saito et al. [<xref ref-type="bibr" rid="scirp.27516-ref2">2</xref>]. Also, VIOL, which is a standard pricing method for delayed column generation in terms of the dual [<xref ref-type="bibr" rid="scirp.27516-ref11">11</xref>], is identical to the Priority Constraint Method of Thompson et al. [<xref ref-type="bibr" rid="scirp.27516-ref6">6</xref>]. In all of these approaches, constraints were added one at a time.</p><p>More recent work on constraint selection has focused on choosing the violated inoperative constraints considered most likely to be binding at optimality for the original problem <img src="4-1040137\87f7e1b4-98b7-40b0-9047-cc06f49de04b.jpg" /> according to a particular constraint selection criterion. In the cosine criterion, the angle between normal vector <img src="4-1040137\e1f35bd2-9e88-4cc4-87b4-6efad49e32e7.jpg" /> of (2) and normal vector <img src="4-1040137\5839f935-db72-43d6-b641-44187069505a.jpg" /> of (1) as measured by the cosine,</p><p><img src="4-1040137\fbb85613-0bbf-42ae-81ad-3c368ec39075.jpg" />is considered. Naylor and Sell ([<xref ref-type="bibr" rid="scirp.27516-ref12">12</xref>], pp. 273-274), for example, suggest that a constraint with a larger cosine value may be more likely to be binding at optimality. Pan [13,14] applied the cosine criterion to pivot rules of the simplex algorithm as the “most-obtuse-angle” rule. The cosine criterion has also been utilized to obtain an initial basis for the simplex algorithm by Trigos et al. [<xref ref-type="bibr" rid="scirp.27516-ref15">15</xref>] and Junior et al. [<xref ref-type="bibr" rid="scirp.27516-ref16">16</xref>]. Corley et al. [1,17] chose for <img src="4-1040137\02acaad6-1cc9-4c4c-87f4-690af9892481.jpg" /> a single inoperative constraint <img src="4-1040137\83d3b1b9-4504-47bd-937c-6180b0cbbbe7.jpg" /> of <img src="4-1040137\22c1c01a-8e87-40b0-9d5c-5c0cd4dbc203.jpg" /> violating <img src="4-1040137\cfe6eb7f-0ab3-4e25-a55a-34c7b0b598eb.jpg" /> and having the largest<img src="4-1040137\5c56a28f-5e8e-4bad-9bcd-a921263da679.jpg" />.</p><p>In Saito et al. [<xref ref-type="bibr" rid="scirp.27516-ref2">2</xref>] the COST RAD was developed for NNLPs. It was based on the following two geometric factors. Factor I is the angle that the a constraint’s normal vector <img src="4-1040137\a22ac396-380e-4315-88f4-788b7a223780.jpg" /> formed with the normal vector <img src="4-1040137\8b2f06ce-d907-454e-b615-45ef015f2819.jpg" /> of the objective function. Factor II is the depth of the cut that constraint <img src="4-1040137\c8857a02-ccec-4b70-9b62-c014205f5a1e.jpg" /> removes as a violated inoperative constraint of<img src="4-1040137\0e5d18a5-a10b-489c-ab5c-5051e7f35781.jpg" />. From these two factors the constraint selection metric</p><disp-formula id="scirp.27516-formula89436"><label>(4)</label><graphic position="anchor" xlink:href="4-1040137\9289a8a7-444b-461e-ade5-97ec65948884.jpg"  xlink:type="simple"/></disp-formula><p>was developed. This constraint selection metric was utilized in conjunction with a multi-bound and multi-cut technique [<xref ref-type="bibr" rid="scirp.27516-ref2">2</xref>] in which multiple constraints were effectively selected from a RAD-ordered set of inoperative violating constraints for forming each<img src="4-1040137\fb856602-b42f-49ee-b532-39963b733805.jpg" />. In this paper we rename the COST RAD of [<xref ref-type="bibr" rid="scirp.27516-ref2">2</xref>] for NNLPs as NRAD.</p></sec><sec id="s1_3"><title>1.3. Contribution</title><p>Although NRAD performs extremely well for NNLPs, we show here that its superiority over traditional algorithms is less dramatic for the general LP (1)-(3). Hence, the contribution of this paper includes using the principles of NRAD to develop a new COST for the general LP, which we refer to as GRAD. Even though GRAD and NRAD share similar principles, GRAD is a significant modification of NRAD. Indeed, GRAD solves general LPs seven times faster on the average than NRAD in our computational experiments.</p><p>The remainder of this paper is organized as follows. GRAD with multi-cuts is developed in Section 2, and an interpretation is given. In Section 3, we present computational results where GRAD is compared to the CPLEX simplex methods, CPLEX barrier method, and the activeset approaches SUB, VIOL, and NRAD. In Section 4 we offer conclusions and discuss future research.</p></sec></sec><sec id="s2"><title>2. The COST GRAD</title><sec id="s2_1"><title>2.1. NNLP vs LP</title><p>An active-set framework for solving general LPs will be analogous to that for NNLPs. However, GRAD is not an immediate extension of NRAD since LPs do not have some of the useful properties of NNLP problems. For example, the origin <img src="4-1040137\c31a356d-41ce-4d68-bd89-47ca5657a904.jpg" /> is no longer guaranteed to be feasible for LP problems. Moreover, the optimal solution <img src="4-1040137\8e87ffd2-0fb3-4c02-8271-c1be9806147b.jpg" /> may not lie in the same orthant as the normal <img src="4-1040137\6a5584f5-8c42-4fd0-8e92-7e069e1e8523.jpg" /> to a constraint. We must thus modify NRAD for NNLP to GRAD for LP in order to emulate the underlying reasoning of NRAD based on Factors I and II efficiently.</p></sec><sec id="s2_2"><title>2.2. Constraint Selection Criterion</title><p>Boundedness of NNLP could be assured by adding multiple constraints from (2) until no column of <img src="4-1040137\b34c6134-94c4-4a64-affc-ac6d777472ab.jpg" /> is a zero vector. However, this is not the case for LP. Therefore an initial bounded problem <img src="4-1040137\d3b94757-5dfc-4421-bcbc-50109cdcbbfa.jpg" /> is formed by adding a bounding constraint such as<img src="4-1040137\f7abcd65-3aab-4cae-be3a-dd558103ef8d.jpg" />, along with some constraints from (2), as described in Section 2.3. <img src="4-1040137\59caf3ed-e9c0-4f05-b52e-85523a9772ee.jpg" />is then solved to obtain an initial solution<img src="4-1040137\7e63f0d2-020e-4640-ba03-6697ab5733a8.jpg" />. <img src="4-1040137\a533362e-d642-4f81-ba71-0146078d1c0e.jpg" />is generated by adding one or more inoperative constraints of <img src="4-1040137\1e78de55-9095-4466-b38e-e5b61c38a9a0.jpg" /> that maximize the constraint selection metric for LP among all inoperative constraints of <img src="4-1040137\a10f3781-5c02-44a8-9e9d-71368584a6e7.jpg" /> violating<img src="4-1040137\74dcb923-1104-4f57-a292-d57d856828c5.jpg" />. Define this constraint selection metric as</p><disp-formula id="scirp.27516-formula89437"><label>(5)</label><graphic position="anchor" xlink:href="4-1040137\a10d6c2b-f6b6-42f4-a660-beb6e65f9a5d.jpg"  xlink:type="simple"/></disp-formula><p>where</p><disp-formula id="scirp.27516-formula89438"><label>(6)</label><graphic position="anchor" xlink:href="4-1040137\e7539555-5313-489f-897a-72670da4c296.jpg"  xlink:type="simple"/></disp-formula><p>and <img src="4-1040137\cd4a0d00-9dcc-49be-b8a5-f366bf1f62f5.jpg" /> is a small positive constant. Thus GRAD seeks <img src="4-1040137\d373e583-71ad-45e2-a9ad-19bf4ad2cc5a.jpg" /> such that</p><p><img src="4-1040137\921ed7f7-0967-4529-94a3-f6ac07118808.jpg" /></p><p>The first term in (5) is a quantity that invokes Factor I and Factor II analogous to NRAD, while the second term is a quantity that invokes Factor II. In (6), values of <img src="4-1040137\adc37d4f-447f-48c5-b4ce-c5458bc38a9d.jpg" /> are shifted by <img src="4-1040137\3aa7f32c-fc84-4236-af41-99e3bdccc070.jpg" /> if the minimum value is nonpositive. Hence <img src="4-1040137\01e3f06a-2ec6-4871-8ed0-851be2b677d6.jpg" /> is always positive, and each term in (5) contributes additively to the criterion. GRAD (5) becomes the same as NRAD (4) when <img src="4-1040137\1efe8475-8e33-45ed-ae47-23196ea0de31.jpg" /> and<img src="4-1040137\1125f9ac-1086-4159-8725-d2f4ad8ca6c0.jpg" />. Therefore it could be utilized to effectively solve NNLPs as well. Although equality constraints are not considered here, it should be noted that equality constraints could be included in<img src="4-1040137\4deb9dde-810b-4c17-b97e-4444603ef1f0.jpg" />.</p></sec><sec id="s2_3"><title>2.3. Multi-Bound and Multi-Cut for LP</title><p>The boundedness of the initial problem <img src="4-1040137\a812d5d5-e118-4879-9f99-f36a94552b5e.jpg" /> for NNLP is obtained by adding multiple constraints from (2) ordered by decreasing value of NRAD until no column of <img src="4-1040137\52a2ad65-5edf-4ee8-ab37-b91ff5c284a2.jpg" /> is a zero vector. Although this approach does not guarantee boundedness for LP, a generalization was found to be effective here.</p><p>For the COST GRAD, an initial bounded problem <img src="4-1040137\6422d2e0-8e54-4ee6-90a7-d73dfe8fad9c.jpg" /> is formed by adding an artificial bounding constraint such as<img src="4-1040137\e5f541cb-736d-45ca-970f-58cbe84bd42a.jpg" />, as well as multiple constraints from (2) ordered by decreasing value of GRAD, until each column of <img src="4-1040137\c9cc6fee-52e1-4ce0-b3d0-d39c73aedfff.jpg" /> has at least one positive and at least one negative coefficient (Step 1). After an optimal solution to the initial bounded problem is obtained by the primal simplex method (Step 2), subsequent iterations are solved by the dual simplex method (Step 3). Moreover, after the solution of <img src="4-1040137\41bcc2b6-fbd7-4b40-b50f-5111edececb2.jpg" /> and each subsequent<img src="4-1040137\55fedcb8-b0cf-4927-92e7-831fdb1904ce.jpg" />, constraints are again added in groups. <img src="4-1040137\5c0b6c92-f734-4e74-953f-5e360e0ca54e.jpg" />is formed by selecting inoperative constraints in decreasing order of GRAD until both a positive coefficient and a negative coefficient are included for each variable <img src="4-1040137\8ec5ea14-4c2b-46c6-9f8e-e78b7a965f5e.jpg" /> (Step 3, lines 7-27). The following pseudocode describes the COST GRAD with the new multi-cut technique.</p><p>Step 1—Identify constraints to form the initial problem<img src="4-1040137\91daa523-e3eb-4b38-9f96-15e6950fb0cf.jpg" />.</p><p>1: for <img src="4-1040137\49fd8537-08e0-412b-b0a2-4472c3e9260b.jpg" /> do 2:&#160; if <img src="4-1040137\941366ea-f483-4d81-b9e4-3324e81fa57c.jpg" /> then 3:&#160;&#160;&#160; <img src="4-1040137\a5d102fb-d1bc-4079-a6d7-6421d50b67f5.jpg" /></p><p>4:&#160; end if 5:&#160; if <img src="4-1040137\f32f69f5-c9d7-4af0-a350-b435aa337128.jpg" /> then 6:&#160;&#160;&#160; <img src="4-1040137\dc9fd5f5-7423-4364-8415-731c625d2e8d.jpg" /></p><p>7:&#160; end if 8: end for 9:<img src="4-1040137\57a5aefa-e83e-412c-90b2-e1a4c0b32c50.jpg" />, <img src="4-1040137\72160b55-7aa8-4ede-b073-ccd9b68b80ed.jpg" />, <img src="4-1040137\fff383db-6688-47c1-b3b6-00c1f82352e2.jpg" />,</p><p><img src="4-1040137\abb106f3-c1d8-4a7e-8f3a-5c2186ba6f36.jpg" /></p><p>10: while <img src="4-1040137\323df13a-71a1-469d-8f8a-d6785ffbc745.jpg" /> and <img src="4-1040137\9f49aa8a-b544-4544-bd0c-2afa60a2bc8b.jpg" /> and <img src="4-1040137\3a2195ad-a52d-40fe-930b-d53799f72522.jpg" /> do 11:&#160; Let <img src="4-1040137\47441d1f-91d0-407b-b433-ae17e6eb44e2.jpg" /></p><p>12: <img src="4-1040137\574f4d83-21f9-4ba8-83be-69ed0cddcc06.jpg" /></p><p>13:&#160; if <img src="4-1040137\a13d272a-e643-48d9-a68a-02ba191cab47.jpg" /> and <img src="4-1040137\dbb53739-1e8c-4ecc-9014-45e0b6fd6946.jpg" /> then 14:&#160;&#160;&#160; <img src="4-1040137\74b4afe9-fb88-441a-a549-1f2cb88ef209.jpg" /></p><p>15:&#160;&#160; &#160;if <img src="4-1040137\8c1e55ff-89b6-4376-8645-cf51fef5cfb0.jpg" /> then 16:&#160;&#160;&#160;&#160;&#160; <img src="4-1040137\a0839b3e-f6ef-4d25-90dd-a4d28c691c79.jpg" />//case if there are no more constraints with <img src="4-1040137\de116685-bb78-4b27-b100-b376d91d3bad.jpg" /></p><p>17:&#160;&#160;&#160; else 18:&#160;&#160;&#160;&#160;&#160; <img src="4-1040137\441f2514-3825-4645-bac5-42c521d546b3.jpg" /></p><p>19:&#160;&#160;&#160; end if 20:&#160; end if 21:&#160; if <img src="4-1040137\bafdd4a4-ac66-44f7-9900-a9b7f16a9f3d.jpg" /> and <img src="4-1040137\f3b22b89-da6e-4d4d-ab03-4cf936791561.jpg" /> then 22:&#160;&#160;&#160; <img src="4-1040137\1fd0ee3d-df04-4728-b0fe-c223633551d7.jpg" /></p><p>23:&#160;&#160;&#160; if <img src="4-1040137\ab43cd15-a193-4387-b222-6f41315e64d6.jpg" /> then 24:&#160;&#160;&#160;&#160;&#160; <img src="4-1040137\4bbd7a54-bcf2-46c2-9c1f-305f7a35cadc.jpg" />// case if there are no more constraints with <img src="4-1040137\8f2d00e0-994e-4c9b-a167-6621463fd013.jpg" /></p><p>25:&#160;&#160;&#160; else 26:&#160;&#160;&#160;&#160;&#160; <img src="4-1040137\0b851208-7a41-4106-b07e-76c659ea86ea.jpg" /></p><p>27:&#160;&#160;&#160; end if 28:&#160; end if 29:&#160; <img src="4-1040137\01a4b041-64f5-42fe-b3f3-0f4b7bcd953e.jpg" />, <img src="4-1040137\e251bfb7-2562-4ce5-860e-7d73f005ac7f.jpg" /></p><p>30: end while Step 2—Using the primal simplex method, obtain an optimal solution <img src="4-1040137\bb719bd7-3753-4546-bb0a-36ff236fb23d.jpg" /> for the initial bounded problem <img src="4-1040137\b2c9a28c-51d9-46a7-aebd-525721e091ed.jpg" /></p><disp-formula id="scirp.27516-formula89439"><label>(7)</label><graphic position="anchor" xlink:href="4-1040137\13efaef4-a609-4c03-b3d5-8c110d2fa826.jpg"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.27516-formula89440"><label>(8)</label><graphic position="anchor" xlink:href="4-1040137\378fd297-57a8-41de-8a0a-e6e6a577b597.jpg"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.27516-formula89441"><label>(9)</label><graphic position="anchor" xlink:href="4-1040137\763b4359-f6c9-4a58-8823-5f541c4f4f76.jpg"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.27516-formula89442"><label>(10)</label><graphic position="anchor" xlink:href="4-1040137\0d1bc202-c0d1-4168-9b2d-b06c2d607f5e.jpg"  xlink:type="simple"/></disp-formula><p>Step 3—Perform the following iterations until an optimal solution to problem <img src="4-1040137\0b809e66-ffd2-47a0-bc08-e18e63ad7232.jpg" /> is found.</p><p>1: <img src="4-1040137\347eaf9d-eb01-419f-a536-1f4b8c52384b.jpg" />false 2: while <img src="4-1040137\95f29032-0939-40ce-a0ab-0439e9c499b1.jpg" />false do 3: &#160;if <img src="4-1040137\f1de0dd5-909d-4e5c-85c5-0ad7f26c0436.jpg" /> then 4:&#160;&#160;&#160; <img src="4-1040137\110eb408-a48c-43a4-b6c0-f83ff683d6ab.jpg" />//<img src="4-1040137\511b41ab-db5d-4818-9ad0-fdd91856d7e2.jpg" /> is an optimal solution to<img src="4-1040137\30893d7f-908e-41df-bed8-9e64b58db36f.jpg" />.</p><p>5:&#160; else 6:&#160;&#160;&#160; <img src="4-1040137\7588cab9-ee3b-40f6-850f-46267d0a3d96.jpg" />, <img src="4-1040137\8d589d5a-c60d-435f-8268-1b6da621f167.jpg" />, <img src="4-1040137\46aa9431-9b39-4961-87b6-74cb07caba05.jpg" /></p><p>7:&#160;&#160; &#160;while <img src="4-1040137\0929ffae-ba36-4e7a-8d00-f3047c5d96c9.jpg" /> and <img src="4-1040137\f758929d-c6a7-4b9e-b3fa-48cc92b99edd.jpg" /> and <img src="4-1040137\2a50ebfc-0803-4f1e-b0b8-2a5b8b1e2110.jpg" /> do 8:&#160;&#160;&#160;&#160;&#160; Let <img src="4-1040137\96ec0fa7-156b-42ec-b1aa-5c85d926b73d.jpg" /></p><p>9:&#160;&#160;&#160;&#160; <img src="4-1040137\a664a396-9e9c-46bb-a3a7-769083b345e6.jpg" /></p><p>10:&#160;&#160;&#160; if <img src="4-1040137\5ff8e64c-468c-43f1-a0e0-b552b1243132.jpg" /> and <img src="4-1040137\03dae874-450d-4d8a-bfb7-af5b5bdcf258.jpg" /> then</p><p>11:&#160; &#160;&#160;&#160;&#160;<img src="4-1040137\517f88a2-eb10-4369-bd49-b23e328e8116.jpg" />&#160;</p><p>12:&#160; &#160;&#160;&#160;&#160;if <img src="4-1040137\3cf01bac-b6f7-4e4a-b6b7-3fb8dde3cf6e.jpg" /> then 13:&#160;&#160; &#160;&#160;&#160;&#160;&#160;<img src="4-1040137\74e0f53e-562f-4098-b223-c455b338219f.jpg" />//case if there are no more constraints with <img src="4-1040137\bdb30232-ab80-4708-960b-b54844d782cd.jpg" /></p><p>14:&#160; &#160;&#160;&#160;&#160;else 15:&#160;&#160; &#160;&#160;&#160;&#160;<img src="4-1040137\cad02af7-4f06-4860-a9ec-27ef0bcede20.jpg" /></p><p>16:&#160;&#160; &#160;&#160;&#160;end if 17:&#160;&#160;&#160; end if 18:&#160;&#160;&#160; if <img src="4-1040137\799cc77f-8c20-4a4d-a93d-8d5778c2b256.jpg" /> and <img src="4-1040137\a91dc690-7a3f-45fd-b552-b6ac021dc4a3.jpg" /> then 19:&#160;&#160; &#160;&#160;&#160;<img src="4-1040137\898d46bd-4f38-4b2e-ad12-fb8f398edd65.jpg" /></p><p>20:&#160; &#160;&#160;&#160;&#160;if <img src="4-1040137\f8c97bf4-4569-4b5a-b928-91933182cf38.jpg" /> then 21: &#160;&#160;&#160;&#160;&#160;&#160;&#160;<img src="4-1040137\dce25b0f-bc02-46a1-aa69-d519d2b06ff1.jpg" />&#160; case if there are no more constraints with <img src="4-1040137\17078a67-ceef-4f84-8756-2c15c07f14cf.jpg" /></p><p>22: &#160;&#160;&#160;&#160;&#160;&#160;else 23:&#160; &#160;&#160;&#160;&#160;&#160;&#160;<img src="4-1040137\4e38de0b-886d-401c-aec4-31ae09483dd3.jpg" /></p><p>24: &#160;&#160;&#160;&#160;&#160;&#160;end if 25: &#160;&#160;&#160;&#160;end if 26: &#160;&#160;&#160;&#160;<img src="4-1040137\95799290-4335-4635-991d-5ad21b46338b.jpg" />, <img src="4-1040137\72a04f6e-dcc2-44d2-950c-0cd1d3d7f14c.jpg" /></p><p>27:&#160; &#160;&#160;end while 28:&#160; &#160;&#160;<img src="4-1040137\fff9fdc0-bb0d-45c2-ab31-f25ff671fde0.jpg" /></p><p>29:&#160;&#160;&#160; Solve <img src="4-1040137\d38e6a21-8b73-4a89-a2e9-f7a6dd4b7b2c.jpg" /> defined by (7)-(10) using the dual simplex method to obtain<img src="4-1040137\23ceb6db-7b05-4cdf-9916-9be75686b5a7.jpg" />.</p><p>30:&#160; end if 31: end while</p></sec><sec id="s2_4"><title>2.4. Interpretation of GRAD</title><p>The interpretation of NRAD in Saito et al. [<xref ref-type="bibr" rid="scirp.27516-ref2">2</xref>] utilized the fact that an NNLP always results in a positive value for<img src="4-1040137\315847a6-0b06-4398-82b2-020eebbe19c5.jpg" />. However for LP of (1)-(3), the intersection of<img src="4-1040137\8e9b058d-0ff8-44d4-941a-76fcb33cd4d5.jpg" />, drawn from the origin, and <img src="4-1040137\fab05d99-1c37-4ef1-b7da-66eeffdc56fc.jpg" /> may not necessarily lie in the feasible region. Moreover, the <img src="4-1040137\6be65bbc-787d-4729-afdc-eef8f51ed0e7.jpg" /> of NNLP are all positive. The GRAD constraint selection metric of (5) thus must be modified from <img src="4-1040137\850cab46-7c99-4807-a8bc-020029f66b5c.jpg" /> in (4) to account for these facts.</p><p>For LP, the basic idea for determining whether a constraint from (2) is likely to be binding at optimality is described as follows. Given an objective function</p><p><img src="4-1040137\49a3a287-89c3-49db-b30c-1b2df5c8cdf9.jpg" /></p><p>observe that <img src="4-1040137\b42a887c-7bfa-429b-8ac2-eb08be434afe.jpg" /> is maximized when <img src="4-1040137\875f788c-9e49-42d6-948e-5940bae3b38e.jpg" /> and <img src="4-1040137\d8158ef4-962b-49e2-a813-d3baefa4ae18.jpg" /> are large. Hence, a larger value of <img src="4-1040137\c12e73ea-92a7-48fb-bae6-7ade6aba88e9.jpg" /> is more likely to yield a larger value of<img src="4-1040137\fe193e24-b4ad-4682-a16a-80c09f0b6e74.jpg" />. This relationship implies that the left-hand side of the constraint is likely to be larger for larger values of</p><p><img src="4-1040137\6c55379e-297b-4a65-97f0-eed0ae5328ac.jpg" /></p><p>For <img src="4-1040137\3f9e79b2-52c4-4a10-bdf2-9587a95ea26f.jpg" /> with<img src="4-1040137\c942eabf-cb33-478b-8ab2-e15fae5182f6.jpg" />, it is hard to predict the value of <img src="4-1040137\c4dd2232-992e-435b-8dc6-75e2dc0ae8a7.jpg" /> in a solution. Consequently, we assume that the <img src="4-1040137\4f4a473b-79b3-43a0-baaa-d6f5dc2062dc.jpg" /> in which <img src="4-1040137\17868ce6-065a-45b6-8c52-6f0a32219eff.jpg" /> are all equally likely and have the nominal value 1. The left-hand side is now</p><p><img src="4-1040137\a4f70b21-e9aa-4622-a7d2-442871d2f89a.jpg" /></p><p>As for the right-hand side of the constraint, a small <img src="4-1040137\bcd23752-52b3-4610-8ec2-8530c01056f1.jpg" /> makes a constraint more likely to be binding. We thus divide the left-hand side by <img src="4-1040137\34b55161-e466-4b3c-be41-99556e18f76b.jpg" /> to measure the <img src="4-1040137\5e29aba0-15ad-4cbc-92ec-19a0022eb404.jpg" /> constraint’s likelihood of being binding at optimality, resulting in</p><p><img src="4-1040137\b731fc0e-031b-437e-a465-e4aa74ed41f7.jpg" />which is essentially GRAD.</p><p>GRAD can also be derived from NRAD. Note that the term</p><p><img src="4-1040137\0c7aae72-b073-4019-9274-a8d35dfd74cc.jpg" /></p><p>in (5) is simply RAD for an NNLP. For LP we add a term involving the <img src="4-1040137\df828bd0-615a-4567-b10e-1245cab85ca0.jpg" /> for which the <img src="4-1040137\e1112522-6577-4247-9d8d-406875fc0201.jpg" /> are negative. Consider (11) below.</p><disp-formula id="scirp.27516-formula89443"><label>(11)</label><graphic position="anchor" xlink:href="4-1040137\2485fef2-846d-4fac-85da-222ae98ff058.jpg"  xlink:type="simple"/></disp-formula><p>The second term in (11) makes sense from the point of view that the expression (11) results in a higher value when <img src="4-1040137\517a2e84-6223-448d-aaf5-1cdd48231d95.jpg" /> and <img src="4-1040137\539e6acc-bd99-4278-836d-8a2c7329e0b1.jpg" /> are both negative, and <img src="4-1040137\44edc356-7dee-4a17-be76-c16c4c19f440.jpg" /> is large. However, it is found in Section 3.3.1 that the constraint selection metric performed better when the second term was</p><p><img src="4-1040137\c4112990-9ed3-4061-97cb-ee329ba2f186.jpg" />as shown in (5).</p></sec></sec><sec id="s3"><title>3. Computational Experiments</title><p>The COST GRAD (5) was compared with the CPLEX primal simplex method, the CPLEX dual simplex method, the polynomial interior-point CPLEX barrier method, as well as the previously defined constraint selection techniques SUB, VIOL, and NRAD (4). GRAD, NRAD, SUB, and VIOL utilized the CPLEX dual simplex solver to solve each new relaxed problem<img src="4-1040137\f2d3f223-ad3c-499c-85fc-ee053b1188d4.jpg" />.</p><sec id="s3_1"><title>3.1. Problem Instances</title><p>A set of 105 randomly generated LP was constructed. The LP problems were generated with 1000 variables <img src="4-1040137\3f9de985-f2d9-4d80-9793-2c434b445104.jpg" />and 200,000 constraints <img src="4-1040137\6aab1604-df16-4a67-a907-0022783e921c.jpg" /> having various densities ranging from 0.005 to 1. Randomly generated real numbers between 1 and 5, or between −1 and −5 were assigned to elements of<img src="4-1040137\4792e2d6-ca11-4c98-9898-74a1c6c255da.jpg" />. To assure that the randomly generated LP had a feasible solution, a feasible solution <img src="4-1040137\4571d5af-0232-4f63-a76e-ce27eb1b5509.jpg" /> (not all elements of <img src="4-1040137\a38d34dc-67ea-46a1-8b08-600bea863ceb.jpg" /> were nonzero) was randomly generated to derive random<img src="4-1040137\60a9a277-0a93-4fce-ae6b-908689c99751.jpg" />, where<img src="4-1040137\53af97a9-c716-4e82-af5c-2f56996a6f5a.jpg" />. Then a feasible solution <img src="4-1040137\77495ff4-0f85-44c8-a2d9-7c71f53f2eff.jpg" /> (having the same number of nonzero elements as<img src="4-1040137\525dd837-8514-45d4-97dc-809d7277e0a9.jpg" />) was randomly generated to derive random<img src="4-1040137\94974543-e371-4dd7-b4fe-94fe07d64f1e.jpg" />, where<img src="4-1040137\6eb4aa4b-3766-4de3-9b7c-cecbd5875cf9.jpg" />. The ratio of the number of positive and negative elements of <img src="4-1040137\9a90b22f-2971-4fa9-adfc-23c4de4bb02e.jpg" /> was one. The number of nonzero <img src="4-1040137\bab87550-651e-4000-9246-e4140854e602.jpg" /> in each constraint was binomially distributed<img src="4-1040137\b8d58471-eb66-468a-a800-9d41f00cf352.jpg" />. Additionally, we required each constraint to have at least two nonzero <img src="4-1040137\587c4bc6-076e-42ee-8fa3-90d651e0a146.jpg" /> so that a constraint would not become a simple upper or lower bound on a variable. At each of the 21 densities, 5 random LP were generated. <xref ref-type="table" rid="table1">Table 1</xref> summarizes the generated LP.</p><p><xref ref-type="table" rid="table1">Table 1</xref>. Randomly generated general LP problem set [<xref ref-type="bibr" rid="scirp.27516-ref18">18</xref>].</p><p><img src="4-1040137\dd373bd0-3326-4797-985a-5d3d94dbf9d9.jpg" /></p></sec><sec id="s3_2"><title>3.2. CPLEX Preprocessing</title><p>As in Saito et al. [<xref ref-type="bibr" rid="scirp.27516-ref2">2</xref>], the CPLEX preprocessing parameters PREIND (preprocessing presolve indicator) and PREDUAL (preprocessing dual) had to be chosen appropriately. The default parameter settings of <img src="4-1040137\66f96de8-3157-40bf-bc78-bdf7ba3ddea2.jpg" /> (ON) and <img src="4-1040137\2abe1293-0cfb-467e-a939-2beaa1fe0988.jpg" /> (AUTO) were used for CPU times of the CPLEX primal simplex method, the CPLEX dual simplex method, and the CPLEX barrier method. No CPLEX preprocessing was implemented [used PREIND = 0 (OFF) and PREDUAL = −1 (OFF)] by the CPLEX primal simplex and dual simplex solvers as part of GRAD, NRAD, SUB, and VIOL.</p></sec><sec id="s3_3"><title>3.3. Computational Results</title><p>Comparisons of computational methods were performed with the IBM CPLEX 12.1 callable library on an Intel Core 2 Duo E8600 3.33 GHz workstation with a Linux 64-bit operating system and 8 GB of RAM. Computational test results of Tables 2 through 5 were obtained by calling CPLEX commands from an application written in the programming language C. In these tables, each CPU time presented is an average computation time of solving five instances of randomly generated LP.</p><p>Computational results for the CPLEX primal simplex, dual simplex, and barrier solvers for the general LP set are presented in <xref ref-type="table" rid="table2">Table 2</xref>. CPU times for the COST GRAD with multi-cut, as well as the COST NRAD with multi-bound and multi-cut are shown for comparison. The CPU times for GRAD were faster than the CPLEX primal simplex, the CPLEX dual simplex, and the CPLEX barrier linear programming solvers at densities between 0.02 and 1. Between densities 0.005 and 0.01, CPLEX barrier was up to 4.0 times faster than GRAD. On average, GRAD was 7.0 times faster than NRAD applied to these non-NNLP problems and 14.6 times faster than the fastest CPLEX solver, which was the dual simplex.</p><sec id="s3_3_1"><title>3.3.1. Influences of the COST GRAD and Multi-Cut</title><p>In constructing a constraint selection metric for LP, a</p><p><xref ref-type="table" rid="table2">Table 2</xref>.Comparison of computation times of CPLEX and COST RAD methods on LP problem set.</p><disp-formula id="scirp.27516-formula89444"><graphic  xlink:href="4-1040137\545d16b8-9fb2-459a-9615-64175e21a99f.jpg"  xlink:type="simple"/></disp-formula><p><sup>†</sup>Average of 5 instances of LP at each density.</p><p>natural strategy might be to have the metric give priority to those constraints with either “as large positive <img src="4-1040137\867bfd2c-4f61-43d9-ac5a-8daaa0ddc73b.jpg" /> and large positive <img src="4-1040137\1a01b2c6-5a19-4622-b545-7c7de00d1362.jpg" /> with small <img src="4-1040137\ad736bab-c091-4928-93b8-621c741dcdb2.jpg" /> as possible,” or “as small negative <img src="4-1040137\1f12779b-d4db-4214-87c6-6861f2cf71ec.jpg" /> and small negative <img src="4-1040137\b4176855-bc2b-4998-9418-fb234a01d1f8.jpg" /> with large <img src="4-1040137\c408ad60-33b6-4738-a55e-09f670316b96.jpg" /> as possible.” However, when running LP problems utilizing NRAD (4), the constraint selection metric is</p><disp-formula id="scirp.27516-formula89445"><label>(12)</label><graphic position="anchor" xlink:href="4-1040137\e5caa2e5-af5a-4099-ace4-feb42f86396e.jpg"  xlink:type="simple"/></disp-formula><p>if the terms for <img src="4-1040137\5766e94c-5694-4e9f-9e04-e218f0fdb76e.jpg" /> and <img src="4-1040137\d0cc76df-9b4b-4a5e-9ec6-e6554c7bb5bc.jpg" /> are explicitly written out. The first term follows the above general strategyexcept when <img src="4-1040137\e78d26bc-be4f-4a48-9340-c5af9edfd527.jpg" /> becomes negative. The second term should be subtracted, instead of added, from the first term in order for the constraint selection metric to take a higher value when giving priority to “as small negative <img src="4-1040137\2dce20a9-368a-4a85-be61-6f229f960cf1.jpg" /> and small negative <img src="4-1040137\0174875b-2c09-4568-b639-596844b52279.jpg" /> with large <img src="4-1040137\4f3309c6-d3c5-496f-931c-1fd28b03194d.jpg" /> as possible.” The <img src="4-1040137\d8850c1c-a269-4ee1-81b6-d104d8ab35b5.jpg" /> in the second term should also be positive for the metric to work additively.</p><p>To examine the effect of changing the form of NRAD (12) to GRAD, several intermediate variations are tested and presented in <xref ref-type="table" rid="table3">Table 3</xref>. The results utilizing SUB are also shown in the table for comparison. The first variation <xref ref-type="table" rid="table3">Table 3</xref>. Comparison of computation times to illustrate the effects of muti-cut, NRAD and GRAD on LP problem set.</p><disp-formula id="scirp.27516-formula89446"><graphic  xlink:href="4-1040137\4ca92f4d-3290-4b68-8596-56086b00f217.jpg"  xlink:type="simple"/></disp-formula><p><sup>†</sup>Used CPLEX preprocessing parameters of presolve = off and predual = off. <sup>‡</sup>Average of 5 instances of LP at each density.</p><disp-formula id="scirp.27516-formula89447"><label>(13)</label><graphic position="anchor" xlink:href="4-1040137\a7dba747-61ad-46ef-97cb-0479cfc99f25.jpg"  xlink:type="simple"/></disp-formula><p>is a version only considering the <img src="4-1040137\1416ca76-5311-4d73-b061-6a3fb3616add.jpg" /> term of (12). The test problems of <xref ref-type="table" rid="table1">Table 1</xref> did not have any constraints with <img src="4-1040137\406e69b1-d157-47d8-8520-cacc7152d59c.jpg" /> therefore the case was not specially handled. The second version,</p><disp-formula id="scirp.27516-formula89448"><label>(14)</label><graphic position="anchor" xlink:href="4-1040137\e3e3f316-bdbe-415a-b76a-6d38d6a4ef1d.jpg"  xlink:type="simple"/></disp-formula><p>is (13) with<img src="4-1040137\2fcece13-b313-4f8c-a15a-8e145aad3bf6.jpg" />, which was defined in (6). Variation 3,</p><p><img src="4-1040137\cb047b9e-bdb3-4b93-ac60-060105588f82.jpg" /></p><p>subtracts a term from (14) to give (11) above. For calculation of <img src="4-1040137\653aa035-9a42-4f3c-955b-b63cd3528b46.jpg" /> was used for all results presented.</p><p>Results for SUB and NRAD from <xref ref-type="table" rid="table3">Table 3</xref> show that the multi-cut method for LP reduced CPU times by 56% to 57% over the multi-cut method for NNLP to support the importance of having both positive and negative <img src="4-1040137\802c4d1f-35e8-4c48-a743-259a9dbb4bc5.jpg" /> for every variable <img src="4-1040137\010ac47f-9366-4ca4-9772-7782dbbf9758.jpg" /> in forming a set of cuts for each iteration of an active-set method for LP. The rest of the comparisons are made with those methods utilizing the multi-cut method for LP.</p><p>For densities between 0.005 and 0.09, SUB, NRAD, and variation 1 (13) of NRAD performed about the same. Introducing the use of <img src="4-1040137\59291ef4-2d8a-4ce0-b114-beebc58e7b1b.jpg" /> in (14), (5), and (11) significantly improved the CPU times over (13). Between (11) and (14), (14) which only considered the <img src="4-1040137\1ffa460a-ec21-454f-bc32-c1261cd4d0bb.jpg" /> term was faster. Going from (14) to GRAD, utilizing the term <img src="4-1040137\410e0692-70cd-4c11-8056-adcc35de9442.jpg" /> improved the CPU time slightly more, 5.7% on average.</p><p>The COST GRAD with multiple cuts for LP was also tested on NNLP problem Set 1 from Saito et al. [<xref ref-type="bibr" rid="scirp.27516-ref2">2</xref>], as shown in <xref ref-type="table" rid="table4">Table 4</xref>. The results confirm that the methods perform equally for NNLP. Although the constraint selection metric becomes exactly the same between the two methods when running NNLP, a slight increase in CPU times for the COST GRAD occurs because of the time it takes for the algorithm to determine whether the problem is an NNLP (pseudocode in Section 2.3, Step 1, lines 1 through 8). In the case of solving NNLP with the GRAD, this check allows the multi-cut procedure to stop searching for negative <img src="4-1040137\750ac941-15fa-48ef-87fc-b4d508343b0e.jpg" /> if there are no constraints with negative <img src="4-1040137\d614fa50-3947-49fc-adc0-1d98d780c562.jpg" /> in the inoperative set.</p></sec><sec id="s3_3_2"><title>3.3.2. Number of Constraints Added</title><p>In <xref ref-type="table" rid="table5">Table 5</xref>, CPU times and the number of constraints added during computation of the test problems by GRAD (both single-cut and multi-cut versions) are compared with the constraint selection methods SUB and VIOL of</p><p><xref ref-type="table" rid="table4">Table 4</xref>. Comparison of computation times of NRAD and GRAD on NNLP Set 1 from Saito et al. [<xref ref-type="bibr" rid="scirp.27516-ref2">2</xref>].</p><disp-formula id="scirp.27516-formula89449"><graphic  xlink:href="4-1040137\8f4fd02e-99f6-473a-b8c5-35dff5be84e8.jpg"  xlink:type="simple"/></disp-formula><p><sup>†</sup>Average of 5 instances of LP at each density. Used CPLEX preprocessing parameters of Presolve = off and Predual = off.</p><p>Adler et al. [<xref ref-type="bibr" rid="scirp.27516-ref7">7</xref>] and Zeleny [<xref ref-type="bibr" rid="scirp.27516-ref8">8</xref>], respectively. “Number of Constraints Added” reflects the number of constraints added in the <img src="4-1040137\51376f62-8012-4b8b-919c-cef4a618da48.jpg" /> set, but not the artificial bounding constraint<img src="4-1040137\610ed36c-edc8-424a-a0af-45a396557dd9.jpg" />. To implement SUB and VIOL as in previous work, a single bounding constraint <img src="4-1040137\e43d61d7-a6a5-46fa-9a79-b06a460a53c0.jpg" /> was used.</p><p>Although the single-cut SUB performed comparably with the CPLEX dual simplex with the default preprocessing parameter settings in solving NNLP, SUB is much slower when solving LP. However, as shown above in <xref ref-type="table" rid="table3">Table 3</xref>, the CPU times for SUB greatly improves to 173.0 seconds from 4515.6 seconds on average, faster than 604.2 seconds for the CPLEX dual simplex, once the multi-cut procedure is incorporated.</p><p>For the NNLP Set 1 in Saito et al. [<xref ref-type="bibr" rid="scirp.27516-ref2">2</xref>], the 25.1</p><p><xref ref-type="table" rid="table5">Table 5</xref>. Comparison of computation times of COST GRAD and non-COST methods, SUB and VIOL on LP problem set.</p><p><sup><img src="4-1040137\fda2a0ae-155d-4a22-a963-ee1ead0e1fcb.jpg" />†</sup>Average of 5 instances of LP at each density; <sup>‡</sup>One constraint was added per iteration <img src="4-1040137\4b0855b1-5457-4b71-9a65-5507da7aa52f.jpg" /> [<xref ref-type="bibr" rid="scirp.27516-ref7">7</xref>]. <img src="4-1040137\cd4a2935-7d50-4060-a202-b59d97e9463a.jpg" />was used as the bounding constraint; <sup>‖</sup>Multi-cut technique for LP was applied with <img src="4-1040137\391c0894-d2c1-4651-8e38-4844e7a7938a.jpg" /> as the bounding constraint; <sup>&#167;</sup>One constraint was added per iteration <img src="4-1040137\4287cae2-e336-4569-92d7-5859fe720471.jpg" /> [<xref ref-type="bibr" rid="scirp.27516-ref8">8</xref>]. <img src="4-1040137\66bb6189-a683-4bc3-a84f-f74ffb5d4227.jpg" />was used as the bounding constraint; <sup>&#182;</sup>One constraint was added per iteration r. <img src="4-1040137\4e83c492-460f-4f1f-87c5-f86e7f0a16b2.jpg" />was used as the bounding constraint.</p><p>seconds of the single-cut version of NRAD was faster than 118.5 second for VIOL on average, whereas for the general LP set, the 615.7 seconds of the single-cut version of GRAD was slower than 525.1 seconds for VIOL on average. However the COST GRAD, which incorporates multi-cut, outperformed VIOL with multi-cut. The respective times were compared at 41.3 seconds vs 82.9 seconds on average.</p><p>In general, a method that makes use of posterior information such as VIOL adds fewer constraints and thus adds a higher percentage of binding constraints at optimality. But this comes at a cost of extra computation time required to rank the set of inoperative constraints at every iteration <img src="4-1040137\1fb3b9f3-3c5c-42ae-830c-b1e3656d85b2.jpg" /> The data in <xref ref-type="table" rid="table5">Table 5</xref> confirmed that singlecut VIOL added the fewest number of constraints (2012 on average). The advantage of not re-sorting the constraints at every <img src="4-1040137\424ca7e6-bd51-4e75-ba62-cddf9b8cf1c0.jpg" /> for a prior method, i.e. GRAD, became apparent when multi-cut is applied. In multi-cut VIOL, violating inoperative constraints had to be resorted in descending order of violation at every iteration <img src="4-1040137\355ffe9c-cb5a-43f7-bbbe-8e61ead79631.jpg" /></p><p>Comparing the CPU times with and without the multiple cuts, the reduction in CPU times was greater for GRAD than in NRAD. For NRAD, the reduction was about six-fold (from 25.1 to 3.9 seconds) on average. The CPU times for GRAD reduced about 14-fold (from 615.7 seconds to 41.3 seconds).</p></sec></sec></sec><sec id="s4"><title>4. Conclusions</title><p>A COST GRAD with multi-cut for general LP was developed here. An interpretation of GRAD was given, and the new technique was tested on a set of large-scale randomly generated LP with<img src="4-1040137\a7c3699d-688b-4384-a7f1-c78dddc022e1.jpg" />. For densities between 0.02 and 1, GRAD outperformed the CPLEX primal simplex, dual simplex, and barrier solvers for LP (maximization) with long-and-narrow <img src="4-1040137\28dd50b7-8552-4a9b-adad-0a11a23b7860.jpg" /> matrices. Moreover, GRAD for LP still maintains the attractive features of the dual simplex method such as a basis, shadow prices, reduced costs, and sensitivity analysis [<xref ref-type="bibr" rid="scirp.27516-ref5">5</xref>]. As with the case for NRAD, GRAD also retains the postoptimality advantages of pivoting algorithms useful for integer programming. As a practical matter, the CPLEX presolve routines, which as noted in Saito et al. [<xref ref-type="bibr" rid="scirp.27516-ref2">2</xref>] account for most of the speed of the CPLEX solvers, are proprietary. However, this paper places GRAD in the public domain. Further research may improve GRAD towards the efficiency that NRAD demonstrated with NNLP. Incorporating new techniques may also be of interest. In particular, incorporating a method to better approximate the feasible region for general LP, as well as simultaneously addressing both the primal and dual problems, could conceivably improve COST GRAD by adding both constraints and variables.</p><p>Another area of exploration is the utilization of local posterior information [<xref ref-type="bibr" rid="scirp.27516-ref1">1</xref>] obtained from each <img src="4-1040137\fc0d2bd5-ae89-4202-9596-3278a3a919ad.jpg" /> in addition to the global GRAD information for constraints obtained prior to the active-set iterations. It is conceivable that the rationale behind NRAD and GRAD could also lead to better integer programming cutting planes. Finally, it should be noted that any COST such as GRAD is a polynomial algorithm if the CPLEX barrier solver is used to solve each new subproblem with added constraints instead of the primal simplex or the dual simplex. Such a COST, however, performs extremely poorly in practice.</p></sec><sec id="s5"><title>5. Acknowledgements</title><p>We gratefully acknowledge the Texas Advanced Research Program for supporting this material under Grant No. 003656-0197-2003.</p></sec><sec id="s6"><title>REFERENCES</title></sec><sec id="s7"><title>NOTES</title></sec></body><back><ref-list><title>References</title><ref id="scirp.27516-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">H. W. Corley and J. M. Rosenberger, “System, Method and Apparatus for Allocating Resources by Constraint Selection,” US Patent No. 8082549, 2011. 
http://patft1.uspto.gov/netacgi/nph-Parser?patentnumber=8082549</mixed-citation></ref><ref id="scirp.27516-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">G. Saito, H. W. Corley, J. M. Rosenberger and T.-K. Sung, “Constraint Optimal Selection Techniques (COSTs) for Nonnegative Linear Programming Problems,” Technical Report, The University of Texas, Arlington, 2012. 
http://www.uta.edu/cosmos/TechReports/COSMOS-04-02.pdf</mixed-citation></ref><ref id="scirp.27516-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">M. J. Todd, “The Many Facets of Linear Programming,” Mathematical Programming, Vol. 91, No. 3, 2002, pp. 417-436.</mixed-citation></ref><ref id="scirp.27516-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">J. M. Rosenberger, E. L. Johnson and G. L. Nemhauser, “Rerouting Aircraft for Aircraft Recovery,” Transportation Science, Vol. 37, No. 4, 2003, pp. 408-421.</mixed-citation></ref><ref id="scirp.27516-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">J. J. Stone, “The Cross-Section Method: An Algorithm for Linear Programming,” Rand Corporation Memorandum P-1490, 1958.</mixed-citation></ref><ref id="scirp.27516-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">G. L. Thompson, F. M. Tonge and S. Zionts, “Techniques for Removing Nonbinding Constraints and Extraneous Variables from Linear Programming Problems,” Management Science, Vol. 12, No. 7, 1966, pp. 588-608.</mixed-citation></ref><ref id="scirp.27516-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">I. Adler, R. Karp and R. Shamir, “A Family of Simplex Variants Solving an m × d Linear Program in Expected Number of Pivots Steps Depending on d Only,” Mathematics of Operations Research, Vol. 11, No. 4, 1986, pp. 570-590.</mixed-citation></ref><ref id="scirp.27516-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">M. Zeleny, “An External Reconstruction Approach (ERA) to Linear Programming,” Computers &amp; Operations Research, Vol. 13, No. 1, 1986, pp. 95-100.</mixed-citation></ref><ref id="scirp.27516-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">D. C. Myers and W. Shih, “A Constraint Selection Technique for a Class of Linear Programs,” Operations Research Letters, Vol. 7, No. 4, 1988, pp. 191-195.</mixed-citation></ref><ref id="scirp.27516-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">N. D. Curet, “A Primal-Dual Simplex Method for Linear Programs,” Operations Research Letters, Vol. 13, No. 4, 1993, pp. 223-237.</mixed-citation></ref><ref id="scirp.27516-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">M. S. Bazaraa, J. J. Jarvis and H. D. Sherali, “Linear Programming and Network Flows,” 3rd Edition, John Wiley, New York, 2005.</mixed-citation></ref><ref id="scirp.27516-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">A. W. Naylor and G. R. Sell, “Linear Operator Theory in Engineering and Science,” Springer-Verlag, New York, 1982. doi:10.1007/978-1-4612-5773-8</mixed-citation></ref><ref id="scirp.27516-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">P.-Q. Pan, “Practical Finite Pivoting Rules for the Simplex Method,” Operations-Research-Spektrum, Vol. 12, No. 4, 1990, pp. 219-225.</mixed-citation></ref><ref id="scirp.27516-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">P.-Q. Pan, “A Simplex-Like Method with Bisection for Linear Programming,” Optimization, Vol. 22, No. 5, 1991, pp. 717-743.</mixed-citation></ref><ref id="scirp.27516-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">F. Trigos, J. Frausto-Solis and R. R. Rivera-Lopez, “A Simplex-Cosine Method for Solving Hard Linear Problems,” Advances in Simulation, System Theory and Systems Engineering, Vol. 70X, 2002, pp. 27-32. 
http://lsog.tol.itesm.mx/publications.html</mixed-citation></ref><ref id="scirp.27516-ref16"><label>16</label><mixed-citation publication-type="other" xlink:type="simple">H. Vieira Jr. and M. P. E. Lins, “An Improved Initial Basis for the Simplex Algorithm,” Computers &amp; Operations Research, Vol. 32, No. 8, 2005, pp. 1983-1993.</mixed-citation></ref><ref id="scirp.27516-ref17"><label>17</label><mixed-citation publication-type="other" xlink:type="simple">H. W. Corley, J. M. Rosenberger, W.-C. Yeh and T.-K. Sung, “The Cosine Simplex Algorithm,” The International Journal of Advanced Manufacturing Technology, Vol. 27, No. 9, 2006, pp. 1047-1050.</mixed-citation></ref><ref id="scirp.27516-ref18"><label>18</label><mixed-citation publication-type="other" xlink:type="simple">IMSE Library, The University of Texas, Arlington. 
http://imselib.uta.edu</mixed-citation></ref></ref-list></back></article>