activity
20092026
most citedThe one-dimensional Euclidean domain: Finitely many obstructions are not enough

6 citations · 25 across the 31 of their papers we have counts for

collaborators

39 papers

cs.DS2026

Optimal Convergence of Iterative Methods for Datalogo

Simon Frisk, Sungjin Im, Paraschos Koutris +4

has been introduced as an extension to Datalog that increases expressiveness, yet retains simple least fixpoint semantics and admits optimization technique…

cs.DS2026

Matroid Contention Resolution with Concentration

Stephen Arndt, Benjamin Moseley, Kirk Pruhs +1

Contention resolution schemes (CRS) are a fundamental and widely applied tool for rounding fractional solutions subject to combinatorial constraints. However, the known analyses of…

cs.GT2026

No, Cake Cutting Really is a Piece of Cake

Stephen Arndt, Benjamin Moseley, Sungjin Im +1

We design and analyze a deterministic cake cutting algorithm that achieves proportional fairness using a linear number of cuts. The best previous upper bound on the number of cuts…

cs.DS2026

An Randomized Lower Bound for Cutting a Cake into Proportionally Fair Pieces

Stephen Arndt, Kirk Pruhs, Trung Tran

We consider the classic cake cutting problem in the Robertson-Webb model, with the objective of proportional fairness. We show that any randomized algorithm must use …

cs.DS2026

Approximation Algorithms for Matroid-Intersection Coloring with Applications to Rota's Basis Conjecture

Stephen Arndt, Benjamin Moseley, Kirk Pruhs +2

We study algorithmic matroid intersection coloring. Given matroids on a common ground set of elements, the goal is to partition into the fewest number of color clas…

cs.DS2026

Minimizing Completion Times of Stochastic Jobs on Parallel Machines is Hard

Benjamin Moseley, Kirk Pruhs, Marc Uetz +1

This paper considers the scheduling of stochastic jobs on parallel identical machines to minimize the expected total weighted completion time. While this is a classical problem wit…