Abstract
We consider the problem of decomposing an integer matrix into a positively weighted sum of binary matrices that have the consecutive-ones property. This problem is well-known and of practical relevance. It has an important application in cancer radiation therapy treatment planning: the sequencing of multileaf collimators to deliver a given radiation intensity matrix, representing (a component of) the treatment plan.
Two criteria characterise the efficacy of a decomposition: the beam-on time (length of time the radiation source is switched on during the treatment), and the cardinality (the number of machine set-ups required to deliver the planned treatment).
Minimising the former is known to be easy. However finding a decomposition of minimal cardinality is NP-hard. Progress so far has largely been restricted to heuristic algorithms, mostly using linear programming, integer programming and combinatorial enumerative methods as the solving technologies. We present a novel model, with corresponding constraint programming and integer programming formulations. We compare these computationally with previous formulations, and we show that constraint programming performs very well by comparison.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ahuja, R.K., Hamacher, H.W.: Linear time network flow algorithm to minimize beam-on-time for unconstrained multileaf collimator problems in cancer radiation therapy. Networks 45(1), 36–41 (2004)
Baatar, D.: Matrix decomposition with time and cardinality objectives: Theory, Algorithms and Application to Multileaf collimator sequencing. PhD thesis, University of Kaiserslautern, Germany (2005)
Baatar, D., Hamacher, H.W., Ehrgott, M., Woeginger, G.J.: Decomposition of integer matrices and multileaf collimator sequencing. Discrete Applied Mathematics 152(1-3), 6–34 (2005)
Bansal, N., Coppersmith, D., Schieber, B.: Minimizing setup and beam-on times in radiation therapy. In: DÃaz, J., Jansen, K., Rolim, J.D.P., Zwick, U. (eds.) APPROX 2006 and RANDOM 2006. LNCS, vol. 4110, pp. 27–38. Springer, Heidelberg (2006)
Becket, R., de la Banda, M.G., Marriott, K., Somogyi, Z., Stuckey, P.J., Wallace, M.: Adding constraint solving to mercury. In: Van Hentenryck, P. (ed.) PADL 2006. LNCS, vol. 3819, pp. 118–133. Springer, Heidelberg (2005)
Chen, D.Z., Hu, X.S., Wang, C., Wu, X.R.: Mountain reduction, block matching, and applications in intensity-modulated radiation therapy. In: Proc. 21st Annual Symposium on Computational Geometry, pp. 35–44 (2005)
Dirkx, M.: Static and dynamic intensity modulation in radiotherapy using a multileaf collimator. PhD thesis, Daniel de Hoed Cancer Centre, University Hospital Rotterdam, The Netherlands (2000)
Engel, K.: A new algorithm for optimal multileaf collimator leaf segmentation. Discrete Applied Mathematics 152(1-3), 35–51 (2005)
Hamacher, H.W., Kuefer, K.-H.: Inverse radiation therapy planning: A multiple objective optimisation approach. Berichte des ITWMÂ 12 (1999)
Kalinowski, T.: Optimal multileaf collimator field segmentation. PhD thesis, University of Rostock, Germany (2005)
Langer, M., Thai, V., Papiez, L.: Improved leaf sequencing reduces segments of monitor units needed to deliver IMRT using MLC. Medical Physics 28, 2450–2458 (2001)
Maher, M.J.: Analysis of a global contiguity constraint. In: Proc. 4th Workshop on Rule-based Constraint Reasoning and Programming, RCoRP’02 (2002)
Romeijn, H.E., Ahuja, R.K., Dempsey, J.F., Kumar, A., Li, J.G.: A novel linear programming approach to fluence map optimization for intensity modulated radiation therapy planning. Phys. Med. Biol. 48, 3521–3542 (2003)
Shen, K., Schimpf, J.: Eplex: Harnessing mathematical programming solvers for constraint logic programming. In: van Beek, P. (ed.) CP 2005. LNCS, vol. 3709, pp. 622–636. Springer, Heidelberg (2005)
Tepper, J.E., Mackie, T.R.: Radiation therapy treatment optimization. In: Seminars in Radiation Oncology, vol. 9 of 1, pp. 1–117 (1999)
Wallace, M.G., Novello, S., Schimpf, J.: ECLiPSe: A platform for constraint logic programming. ICL Systems Journal 12(1), 159–200 (1997)
Webb, S.: Intensity modulated radiation therapy. Institute of Physics Publishing, Bristol (2001)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Baatar, D., Boland, N., Brand, S., Stuckey, P.J. (2007). Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices: CP and IP Approaches. In: Van Hentenryck, P., Wolsey, L. (eds) Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems. CPAIOR 2007. Lecture Notes in Computer Science, vol 4510. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72397-4_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-72397-4_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72396-7
Online ISBN: 978-3-540-72397-4
eBook Packages: Computer ScienceComputer Science (R0)