How to solve the cake-cutting problem in sublinear time

In this paper, we show algorithms for solving the cake-cutting problem in sublinear-time. More specifically, we preassign (simple) fair portions to o(n) players in o(n)-time, and minimize the damage to the rest of the players. All currently known algorithms require Omega(n)-time, even when assigning a portion to just one player, and it is nontrivial to revise these algorithms to run in $o(n)$-time since many of the remaining players, who have not been asked any queries, may not be satisfied with the remaining cake. To challenge this problem, we begin by providing a framework for solving the cake-cutting problem in sublinear-time. Generally speaking, solving a problem in sublinear-time requires the use of approximations. However, in our framework, we introduce the concept of "eps n-victims," which means that eps n players (victims) may not get fair portions, where 0< eps =< 1 is an arbitrary constant. In our framework, an algorithm consists of the following two parts: In the first (Preassigning) part, it distributes fair portions to r < n players in o(n)-time. In the second (Completion) part, it distributes fair portions to the remaining n-r players except for the eps n victims in poly}(n)-time. There are two variations on the r players in the first part. Specifically, whether they can or cannot be designated. We will then present algorithms in this framework. In particular, an O(r/eps)-time algorithm for r =< eps n/127 undesignated players with eps n-victims, and an O~(r^2/eps)-time algorithm for r =< eps e^{{sqrt{ln{n}}}/{7}} designated players and eps =< 1/e with eps n-victims are presented.

[1]  Yuichi Yoshida,et al.  Constant-Time Approximation Algorithms for the Knapsack Problem , 2012, TAMC.

[2]  Dana Ron,et al.  Property testing and its connection to learning and approximation , 1998, JACM.

[3]  GoldreichOded,et al.  Property testing and its connection to learning and approximation , 1998 .

[4]  Kirk Pruhs,et al.  Balanced Allocations of Cake , 2006, 2006 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS'06).

[5]  Dana Ron,et al.  A Quasi-Polynomial Time Partition Oracle for Graphs with an Excluded Minor , 2013, ICALP.

[6]  Dana Ron,et al.  Property Testing in Bounded Degree Graphs , 2002, STOC '97.

[7]  Shimon Even,et al.  A note on cake cutting , 1984, Discret. Appl. Math..

[8]  Shin-ichi Tanigawa,et al.  Constant-Time Algorithms for Sparsity Matroids , 2011, ICALP.

[9]  Yuichi Yoshida A characterization of locally testable affine-invariant properties via decomposition theorems , 2014, STOC.

[10]  Dana Ron,et al.  A Quasi-Polynomial Time Partition Oracle for Graphs with an Excluded Minor , 2013, ICALP.

[11]  Christian Sohler,et al.  Every property of hyperfinite graphs is testable , 2011, STOC '11.

[12]  Oded Goldreich,et al.  Property Testing - Current Research and Surveys , 2010, Property Testing.

[13]  Jack M. Robertson,et al.  Cake-cutting algorithms - be fair if you can , 1998 .

[14]  Krzysztof Onak,et al.  Local Graph Partitions for Approximation and Testing , 2009, 2009 50th Annual IEEE Symposium on Foundations of Computer Science.

[15]  Oded Schramm,et al.  Every minor-closed property of sparse graphs is testable , 2008, Electron. Colloquium Comput. Complex..