Cut-first branch-and-price-second for the capacitated arc-routing problem

This paper presents the first full-fledged branch-and-price (bap) algorithm for the capacitated arc-routing problem (CARP). Prior exact solution techniques either rely on cutting planes or the transformation of the CARP into a node-routing problem. The drawbacks are either models with inherent symmetry, dense underlying networks, or a formulation where edge flows in a potential solution do not allow the reconstruction of unique CARP tours. The proposed algorithm circumvents all these drawbacks by taking the beneficial ingredients from existing CARP methods and combining them in a new way. The first step is the solution of the one-index formulation of the CARP in order to produce strong cuts and an excellent lower bound. It is known that this bound is typically stronger than relaxations of a pure set-partitioning CARP model.rnSuch a set-partitioning master program results from a Dantzig-Wolfe decomposition. In the second phase, the master program is initialized with the strong cuts, CARP tours are iteratively generated by a pricing procedure, and branching is required to produce integer solutions. This is a cut-first bap-second algorithm and its main function is, in fact, the splitting of edge flows into unique CARP tours.

Efficient certification of feasibility and objective value of linear programs and its applications

The use of linear programming in various areas has increased with the significant improvement of specialized solvers. Linear programs are used as such to model practical problems, or as subroutines in algorithms such as formal proofs or branch-and-cut frameworks. In many situations a certified answer is needed, for example the guarantee that the linear program is feasible or infeasible, or a provably safe bound on its objective value. Most of the available solvers work with floating-point arithmetic and are thus subject to its shortcomings such as rounding errors or underflow, therefore they can deliver incorrect answers. While adequate for some applications, this is unacceptable for critical applications like flight controlling or nuclear plant management due to the potential catastrophic consequences. We propose a method that gives a certified answer whether a linear program is feasible or infeasible, or returns unknown'. The advantage of our method is that it is reasonably fast and rarely answers unknown'. It works by computing a safe solution that is in some way the best possible in the relative interior of the feasible set. To certify the relative interior, we employ exact arithmetic, whose use is nevertheless limited in general to critical places, allowing us to rnremain computationally efficient. Moreover, when certain conditions are fulfilled, our method is able to deliver a provable bound on the objective value of the linear program. We test our algorithm on typical benchmark sets and obtain higher rates of success compared to previous approaches for this problem, while keeping the running times acceptably small. The computed objective value bounds are in most of the cases very close to the known exact objective values. We prove the usability of the method we developed by additionally employing a variant of it in a different scenario, namely to improve the results of a Satisfiability Modulo Theories solver. Our method is used as a black box in the nodes of a branch-and-bound tree to implement conflict learning based on the certificate of infeasibility for linear programs consisting of subsets of linear constraints. The generated conflict clauses are in general small and give good rnprospects for reducing the search space. Compared to other methods we obtain significant improvements in the running time, especially on the large instances.

Bundle branch and atrioventricular block as complications of acute myocardial infarction in the thrombolytic era

OBJECTIVE: To analyze the incidence of intraventricular and atrioventricular conduction defects associated with acute myocardial infarction and the degree of in hospital mortality resulting from this condition during the era of thrombolytic therapy. METHODS: Observational study of a cohort of 929 consecutive patients with acute myocardial infarction. Multivariate analysis by logistic regression. Was used. RESULTS: Logistic regression showed a greater incidence of bundle branch block in male sex (odds ratio = 1.87, 95% CI = 1.02-3.42), age over 70 years (odds ratio = 2.31, 95% CI = 1.68-5.00), anterior localization of the infarction (odds ratio = 1.93, 95% CI = 1.03-3.65). There was a greater incidence of complete atrioventricular block in inferior infarcts (odds ratio = 2.59, 95% CI 1.30-5.18) and the presence of cardiogenic shock (odds ratio = 3.90, 95% CI = 1.43-10.65). Use of a thrombolytic agent was associated with a tendency toward a lower occurrence of bundle branch block (odds ratio = 0.68) and a greater occurrence of complete atrioventricular block (odds ratio = 1.44). The presence of bundle branch block (odds ratio = 2.45 95% , CI = 1.14-5.28) and of complete atrioventricular block (odds ratio = 13.59, 95% CI = 5.43-33.98) was associated with a high and independent probability of inhospital death. CONCLUSION: During the current era of thrombolytic therapy and in this population, intraventricular disturbances of electrical conduction and complete atrioventricular block were associated with a high and independent risk of inhospital death during acute myocardial infarction.

Influence of exercise on the activity and the distribution between free and bound forms of glycolytic and associated enzymes in tissues of horse mackerel

The effects of short-term burst (5 min at 1.8 m/s) swimming and long-term cruiser (60 min at 1.2 m/s) swimming on maximal enzyme activities and enzyme distribution between free and bound states were assessed for nine glycolytic and associated enzymes in tissues of horse mackerel, Trachurus mediterraneus ponticus. The effects of exercise were greatest in white muscle. The activities of phosphofructokinase (PFK), pyruvate kinase (PK), fructose-1,6-bisphosphatase (FBPase), and phosphoglucomutase (PGM) all decreased to 47, 37, 37 and 67%, respectively, during 60-min exercise and all enzymes except phosphoglucoisomerase (PGI) and PGM showed a change in the extent of binding to subcellular particulate fractions during exercise. In red muscle, exercise affected the activities of PGI, FBPase, PFK, and lactate dehydrogenase (LDH) and altered percent binding of only PK and LDH. In liver, exercise increased the PK activity 2.3-fold and reduced PGI 1.7-fold only after 5 min of exercise but altered the percent binding of seven enzymes. Fewer effects were seen in brain, with changes in the activities of aldolase and PGM and in percent binding of hexokinase, PFK and PK. Changes in enzyme activities and in binding interactions with subcellular particulate matter appear to support the altered demands of tissue energy metabolism during exercise.

The constrained compartmentalized knapsack problem: mathematical models and solution methods

The constrained compartmentalized knapsack problem can be seen as an extension of the constrained knapsack problem. However, the items are grouped into different classes so that the overall knapsack has to be divided into compartments, and each compartment is loaded with items from the same class. Moreover, building a compartment incurs a fixed cost and a fixed loss of the capacity in the original knapsack, and the compartments are lower and upper bounded. The objective is to maximize the total value of the items loaded in the overall knapsack minus the cost of the compartments. This problem has been formulated as an integer non-linear program, and in this paper, we reformulate the non-linear model as an integer linear master problem with a large number of variables. Some heuristics based on the solution of the restricted master problem are investigated. A new and more compact integer linear model is also presented, which can be solved by a branch-and-bound commercial solver that found most of the optimal solutions for the constrained compartmentalized knapsack problem. On the other hand, heuristics provide good solutions with low computational effort. (C) 2011 Elsevier BM. All rights reserved.

Scattering and bound states of spinless particles in a mixed vector-scalar smooth step potential

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Scattering and bound states of spin-0 particles in a nonminimal vector double-step potential

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

A branch-and-price approach to p-median location problems

This paper describes a branch-and-price algorithm for the p-median location problem. The objective is to locate p facilities (medians) such as the sum of the distances from each demand point to its nearest facility is minimized. The traditional column generation process is compared with a stabilized approach that combines the column generation and Lagrangean/surrogate relaxation. The Lagrangean/surrogate multiplier modifies; the reduced cost criterion, providing the selection of new productive columns at the search tree. Computational experiments are conducted considering especially difficult instances to the traditional column generation and also with some large-scale instances. (C) 2004 Elsevier Ltd. All rights reserved.

Insights into metal ion binding in phospholipases A(2): ultra high-resolution crystal structures of an acidic phospholipase A(2) in the Ca2+ free and bound states

The electrophile Ca2+ is an essential multifunctional co-factor in the phospholipase A(2) mediated hydrolysis of phospholipids. Crystal structures of an acidic phospholipase A(2) from the venom of Bothrops jararacussu have been determined both in the Ca2+ free and bound states at 0.97 and 1.60 angstrom resolutions, respectively. In the Ca2+ bound state, the Ca2+ ion is penta-coordinated by a distorted pyramidal cage of oxygen and nitrogen atoms that is significantly different to that observed in structures of other Group I/II phospholipases A(2). In the absence of Ca2+, a water molecule occupies the position of the Ca2+ ion and the side chain of Asp49 and the calcium-binding loop adopts a different conformation. (c) 2005 Elsevier SAS. All rights reserved.

Soluble and bound peroxidases from papaya fruit

Soluble and bound peroxidases were isolated from the pulp of ripening papaya fruit. During papaya ripening, soluble and bound peroxidase activities increased 2.5- and 4.2-fold, respectively. Soluble peroxidase was purified 59-fold by ammonium sulphate precipitation and chromatography on Sephadex G-25, DEAE-cellulose and Sephadex G-100. Bound peroxidase was purified 140-fold by ammonium sulphate precipitation and chromatography on Sephadex G-100 and DEAE-cellulose. Polyacrylamide gel electrophoresis of the purified preparations revealed that both enzymes were highly purified by the procedures adopted. The soluble and bound forms had a Mr of 41 000 and 54 000, respectively. Soluble and bound peroxidases showed optimum activity at pH 6.0 and 5.5, respectively, and were inhibited by p-chloromercuribenzoate, iodoacetamide, N-ethylmaleimide, potassium cyanide and Fe2+. Soluble peroxidase was activated by ammonium sulphate and this activation was prevented by cyanide. © 1990.

Scattering and bound states of fermions in a mixed vector-scalar smooth step potential

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Scattering and bound states of fermions in the modified Hulthen potential

In the present work the scattering of a fermion in the modified Hulthen potential is considered with a general vector and scalar and we solved the Dirac equation in the one-dimensional space. The transmission and reflection coefficients are reported. The bound-state solution is also given. The study shows the asymptotic behavior of the wave function in bound-state and scattering states solutions.

A matheuristic for the selection of beam directions and dose distribution in radiotherapy planning

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)