1 research outputs found
Fully-Dynamic Submodular Cover with Bounded Recourse
In submodular covering problems, we are given a monotone, nonnegative
submodular function and wish to find the
min-cost set such that . This captures SetCover when
is a coverage function. We introduce a general framework for solving such
problems in a fully-dynamic setting where the function changes over time,
and only a bounded number of updates to the solution (recourse) is allowed. For
concreteness, suppose a nonnegative monotone submodular function is added
or removed from an active set at each time . If
is the sum of all active functions, we wish to
maintain a competitive solution to SubmodularCover for as this active
set changes, and with low recourse.
We give an algorithm that maintains an -competitive
solution, where are the largest/smallest marginals of
. The algorithm guarantees a total recourse of , where are the
largest/smallest costs of elements in . This competitive ratio is best
possible even in the offline setting, and the recourse bound is optimal up to
the logarithmic factor. For monotone submodular functions that also have
positive mixed third derivatives, we show an optimal recourse bound of
. This structured class includes set-coverage
functions, so our algorithm matches the known -competitiveness and
recourse guarantees for fully-dynamic SetCover. Our work simultaneously
simplifies and unifies previous results, as well as generalizes to a
significantly larger class of covering problems. Our key technique is a new
potential function inspired by Tsallis entropy. We also extensively use the
idea of Mutual Coverage, which generalizes the classic notion of mutual
information