Algorithmic Meta-Theorems for Monotone Submodular Maximization

Masakazu Ishihata, Takanori Maehara, Tomas Rigaux

We consider a monotone submodular maximization problem whose constraint is described by a logic formula on a graph. Formally, we prove the following three `algorithmic metatheorems…