Abstract:Maximization of submodular functions under various constraints is a fundamental problem that has been studied extensively. A powerful technique that has emerged and has been shown to be extremely effective for such problems is the following. First, a continues relaxation of the problem is obtained by relaxing the (discrete) set of feasible solutions to a convex body, and extending the discrete submodular function $f$ to a continuous function $F$ known as the multilinear extension. Then, two algorithmic steps are implemented. The first step approximately solves the relaxation by finding a fractional solution within the convex body that approximately maximizes $F$; and the second step rounds this fractional solution to a feasible integral solution. While this ``fractionally solve and then round'' approach has been a key technique for resolving many questions in the field, the main drawback of algorithms based on it is that evaluating the multilinear extension may require a number of value oracle queries to $f$ that is exponential in the size of $f$'s ground set. The only known way to tackle this issue is to approximate the value of $F$ via sampling, which makes all algorithms based on this approach inherently randomized and quite slow. In this work, we introduce a new tool, that we refer to as the extended multilinear extension, designed to derandomize submodular maximization algorithms that are based on the successful ``solve fractionally and then round'' approach. We demonstrate the effectiveness of this new tool on the fundamental problem of maximizing a submodular function subject to a matroid constraint, and show that it allows for a deterministic implementation of both the fractionally solving step and the rounding step of the above approach. As a bonus, we also get a randomized algorithm for the problem with an improved query complexity.

A modular extension for a computer algebra system

Unbalanced Exponent Modular Reduction over Binary Field and Its Implementation

Modular quantum signal processing in many variables

Abstract Modular Systems and Solvers

A scalable module system

Modular model building

A field-theory motivated approach to symbolic computer algebra

Extending the Extension: Deterministic Algorithm for Non-monotone Submodular Maximization

An Extendable Essay on the Sage Computer Algebra System and an Editor for Creating Extendable Essays

Massively Parallel Modular Methods in Commutative Algebra and Algebraic Geometry

Theoretical foundations of the “ x 2 mod N ” generator

sympy2c: from symbolic expressions to fast C/C++ functions and ODE solvers in Python

Computer algebra in Julia

Research on Modular Design Methods Based on Extension Theory

Methods, algorithms and programs of computer algebra in problems of registration and analysis of random point structures

Improvement/Extension of Modular Systems as Combinatorial Reengineering (Survey)

The extension of Elementary Numerical Operator Theory: Simply Generic, Right-Stochastically Non-Gaussian, Sub-Canonically H-Positive Definite Monoids

Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields

A Universal Machine for Biform Theory Graphs

Modularity in biological evolution and evolutionary computation

New Features in the Second Version of the Cadabra Computer Algebra System