Abstract
We study the maximization of a nonnegative $k$-submodular function, not assumed monotone, in which each of $n$ elements receives one of $k\ge2$ labels or stays unselected and the selected elements must satisfy a constraint. For a compact convex down-closed region $P\subseteq[0,1]^n$ of fractional selection vectors, the diagonal level $ζ(P)=\max\{t\in[0,1]:t(1,\ldots,1)\in P\}$ is the largest selection probability that can be given to all elements at once; it equals $r/n$ for a uniform matroid of rank $r$, and $ζ(P)=1$ means that the constraint is vacuous. We give approximation coefficients that increase continuously with $ζ$. They come from one inequality for the multilinear extension of the objective: the algorithm computes an action without querying the objective, and objective feedback gives a comparator-independent update direction. For $k\ge3$, feasibility of the action reduces to three polynomial inequalities in one variable; for $k=2$ the profile is closed form. At $ζ=0$ the coefficients are $0.4456\ldots$ for $k=2$ and $0.4541\ldots$ for every $k\ge3$. For every finite $k\ge3$ they reach $1/2$ above an explicit level, which is $0.4026\ldots$ for $k=3,4,5$, and at $ζ=1$ they reach $1/2$ for $k=2$, $(\sqrt{17}-3)/2$ for $k=3,4$, and $k/(2k-1)$ for $k\ge5$. Online linear optimization gives $O(\sqrt T)$ approximate regret, with gradient feedback or with value queries made after each action. The coefficients carry over to matroids, with expected and high-probability guarantees, and to any fixed number of knapsacks: the zero-level coefficients hold on every instance, and the larger ones when items are small or when prefix enumeration keeps the diagonal level on one branch. For one budget the enumeration exponent is $O(1/\varepsilon)$.