## Abstract

This paper is motivated by the fact that many systems need to be maintained continually while the underlying costs change over time. The challenge is to continually maintain near-optimal solutions to an underlying optimization problem, without creating too much churn in the solution itself. We model this as a multistage combinatorial optimization problem where the input is a sequence of cost functions (one for each time step); while we can change the solution from step to step, we incur an additional cost for every such change. We first study the multistage matroid maintenance problem, where we need to maintain a base of a matroid in each time step under changing cost functions and acquisition costs for adding new elements. The online version generalizes online paging. E.g., given a graph, we need to maintain a spanning tree T_{t} at each step: we pay c_{t} (T_{t}) for the cost of the tree at time t, and also |T_{t} \T_{t-1}| for the number of edges changed at this step. Our main result is a polynomial time O(logm logr)-approximation to the online problem, where m is the number of elements/edges and r is the rank of the matroid. This improves on results of Buchbinder et al. [7] who addressed the fractional version of this problem under uniform acquisition costs, and Buchbinder, Chen and Naor [8] who studied the fractional version of a more general problem. We also give an O(logm) approximation for the offline version of the problem. These bounds hold when the acquisition costs are non-uniform, in which case both these results are the best possible unless P=NP. We also study the perfect matching version of the problem, where we maintain a perfect matching at each step under changing cost functions and costs for adding new elements. Surprisingly, the hardness drastically increases: for any constant ε > 0, there is no O(n ^{1-ε})-approximation to the multistage matching maintenance problem, even in the offline case.

Original language | English (US) |
---|---|

Title of host publication | Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Proceedings |

Publisher | Springer Verlag |

Pages | 563-575 |

Number of pages | 13 |

Edition | PART 1 |

ISBN (Print) | 9783662439470 |

DOIs | |

State | Published - 2014 |

Event | 41st International Colloquium on Automata, Languages, and Programming, ICALP 2014 - Copenhagen, Denmark Duration: Jul 8 2014 → Jul 11 2014 |

### Publication series

Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|

Number | PART 1 |

Volume | 8572 LNCS |

ISSN (Print) | 0302-9743 |

ISSN (Electronic) | 1611-3349 |

### Other

Other | 41st International Colloquium on Automata, Languages, and Programming, ICALP 2014 |
---|---|

Country/Territory | Denmark |

City | Copenhagen |

Period | 7/8/14 → 7/11/14 |

## ASJC Scopus subject areas

- Theoretical Computer Science
- General Computer Science