Level of repair analysis and minimum cost homomorphisms of graphs

  • Authors:

  • Gregory Gutin;Arash Rafiey;Anders Yeo;Michael Tso

  • Affiliations:

  • Department of Computer Science, Royal Holloway University of London, Egham, Surrey, UK;Department of Computer Science, Royal Holloway University of London, Egham, Surrey, UK;Department of Computer Science, Royal Holloway University of London, Egham, Surrey, UK;School of Mathematics, University of Manchester, Manchester, UK

  • Venue:
  • Discrete Applied Mathematics
  • Year:
  • 2006

Quantified Score

Hi-index 0.05

Visualization

Abstract

Level of repair analysis (LORA) is a prescribed procedure for defense logistics support planning. For a complex engineering system containing perhaps thousands of assemblies, sub-assemblies, components, etc. organized into several levels of indenture and with a number of possible repair decisions, LORA seeks to determine an optimal provision of repair and maintenance facilities to minimize overall life-cycle costs. For a LORA problem with two levels of indenture with three possible repair decisions, which is of interest in UK and US military and which we call LORA-BR, Barros [The optimisation of repair decisions using life-cycle cost parameters. IMA J. Management Math. 9 (1998) 403-413] and Barros and Riley [A combinatorial approach to level of repair analysis, European J. Oper. Res. 129 (2001) 242-251] developed certain branch-and-bound heuristics. The surprising result of this paper is that LORA-BR is, in fact, polynomial-time solvable. To obtain this result, we formulate the general LORA problem as an optimization homomorphism problem on bipartite graphs, and reduce a generalization of LORA-BR, LORA-M, to the maximum weight independent set problem on a bipartite graph. We prove that the general LORA problem is NP-hard by using an important result on list homomorphisms of graphs. We introduce the minimum cost graph homomorphism problem, provide partial results and pose an open problem. Finally, we show that our result for LORA-BR can be applied to prove that an extension of the maximum weight independent set problem on bipartite graphs is polynomial time solvable.