Researcher profile

Bruce Shepherd

Bruce Shepherd contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 17 - UnverifiedVerification L1Unclaimed author
4works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

4 published item(s)

preprint2021arXiv

Maximum Weight Disjoint Paths in Outerplanar Graphs via Single-Tree Cut Approximators

Since 1997 there has been a steady stream of advances for the maximum disjoint paths problem. Achieving tractable results has usually required focusing on relaxations such as: (i) to allow some bounded edge congestion in solutions, (ii) to only consider the unit weight (cardinality) setting, (iii) to only require fractional routability of the selected demands (the all-or-nothing flow setting). For the general form (no congestion, general weights, integral routing) of edge-disjoint paths ({\sc edp}) even the case of unit capacity trees which are stars generalizes the maximum matching problem for which Edmonds provided an exact algorithm. For general capacitated trees, Garg, Vazirani, Yannakakis showed the problem is APX-Hard and Chekuri, Mydlarz, Shepherd provided a $4$-approximation. This is essentially the only setting where a constant approximation is known for the general form of \textsc{edp}. We extend their result by giving a constant-factor approximation algorithm for general-form \textsc{edp} in outerplanar graphs. A key component for the algorithm is to find a {\em single-tree} $O(1)$ cut approximator for outerplanar graphs. Previously $O(1)$ cut approximators were only known via distributions on trees and these were based implicitly on the results of Gupta, Newman, Rabinovich and Sinclair for distance tree embeddings combined with results of Anderson and Feige.

preprint2020arXiv

A Parameterized Family of Meta-Submodular Functions

Submodular function maximization has found a wealth of new applications in machine learning models during the past years. The related supermodular maximization models (submodular minimization) also offer an abundance of applications, but they appeared to be highly intractable even under simple cardinality constraints. Hence, while there are well-developed tools for maximizing a submodular function subject to a matroid constraint, there is much less work on the corresponding supermodular maximization problems. We give a broad parameterized family of monotone functions which includes submodular functions and a class of supermodular functions containing diversity functions. Functions in this parameterized family are called \emph{$γ$-meta-submodular}. We develop local search algorithms with approximation factors that depend only on the parameter $γ$. We show that the $γ$-meta-submodular families include well-known classes of functions such as meta-submodular functions ($γ=0$), metric diversity functions and proportionally submodular functions (both with $γ=1$), diversity functions based on negative-type distances or Jensen-Shannon divergence (both with $γ=2$), and $σ$-semi metric diversity functions ($γ= σ$).

preprint2020arXiv

Beyond Submodular Maximization via One-Sided Smoothness

The multilinear framework has achieved the breakthrough $1-1/e$ approximation for maximizing a monotone submodular function subject to a matroid constraint. This framework has a continuous optimization part and a rounding part. We extend both parts to a wider array of problems. In particular, we make a conceptual contribution by identifying a family of parameterized functions. As a running example we focus on solving diversity problems $\max f(S)=\frac{1}{2}\sum_{i,j\in A}A_{ij}:S\in\mathcal{M}$, where $\mathcal{M}$ is a matroid. These diversity functions have $A_{ij}\geq 0$ as a measure of dissimilarity of $i,j$, and $A$ has $0$-diagonal. The multilinear framework cannot be directly applied to the multilinear extension of such functions. We introduce a new parameter for functions $F\in{\bf C}^2$ which measures the approximability of the associated problem $\max\{F(x):x\in P\}$, for solvable downwards-closed polytopes $P$. A function $F$ is called one-sided $σ$-smooth if $\frac{1}{2}u^T\nabla^2 F(x) u\leqσ\cdot\frac{||u||_1}{||x||_1}u^T\nabla F(x)$ for all $u,x\geq 0$, $x\neq 0$. We give an $Ω(1/σ)$-approximation for the maximization problem of monotone, normalized one-sided $σ$-smooth $F$ with an additional property: non-positive third order partial derivatives. Using the multilinear framework and new matroid rounding techniques for quadratic objectives, we give an $Ω(1/σ^{3/2})$-approximation for maximizing a $σ$-semi-metric diversity function subject to matroid constraint. This improves upon the previous best bound of $Ω(1/σ^2)$ and we give evidence that it may be tight. For general one-sided smooth functions, we show the continuous process gives an $Ω(1/3^{2σ})$-approximation, independent of $n$. In this setting, by discretizing, we present a poly-time algorithm for multilinear one-sided $σ$-smooth functions.

preprint2020arXiv

The Empirical Core of the Multicommodity Flow Game Without Side Payments

Policy makers focus on stable strategies as the ones adopted by rational players. If there are many such solutions an important question is how to select amongst them. We study this question for the Multicommodity Flow Coalition Game, used to model cooperation between autonomous systems (AS) in the Internet. In short, strategies are flows in a capacitated network. The payoff to a node is the total flow which it terminates. Markakis-Saberi show this game is balanced and hence has a non-empty core by Scarf's Theorem. In the transferable utility (TU) version this gives a polynomial-time algorithm to find core elements, but for ASs side payments are not natural. Finding core elements in NTU games tends to be computationally more difficult. For this game, the only previous result gives a procedure to find a core element when the supply graph is a path. We extend their work with an algorithm, Incorporate, which produces many different core elements. We use our algorithm to evaluate specific instances by generating many core vectors. We call these the Empirical Core for a game. We find that sampled core vectors are more consistent with respect to social welfare (SW) than for fairness (minimum payout). For SW they tend to do as well as the optimal linear program value $LP_{sw}$. In contrast, there is a larger range in fairness for the empirical core; the fairness values tend to be worse than the optimal fairness LP value $LP_{fair}$. We study this discrepancy in the setting of general graphs with single-sink demands. In this setting we give an algorithm which produces core vectors that simultaneously maximize SW and fairness. This leads to the following bicriteria result for general games. Given any core-producing algorithm and any $λ\in (0,1)$, one can produce an approximate core vector with fairness (resp. social welfare) at least $λLP_{fair}$ (resp $(1-λ) LP_{sw}$).