the proceedings contain 180 papers. the topics discussed include: dynamic algorithms for graph coloring;incremental DFS algorithms: a theoretical and experimental study;decremental transitive closure and shortest path...
ISBN:
(纸本)9781611975031
the proceedings contain 180 papers. the topics discussed include: dynamic algorithms for graph coloring;incremental DFS algorithms: a theoretical and experimental study;decremental transitive closure and shortest paths for planar digraphs and beyond;polycubes with small perimeter defect;the classical complexity of boson sampling;race detection and reachability in nearly series-parallel DAGs;the complexity of independent set reconfiguration on bipartite graphs;metric violation distance: hardness and approximation;a submodular measure and approximate Gomory-Hu theorem for packing odd trails;and minor-matching hypertree width.
We initiate the study of the communication complexity of fair division with indivisible goods. We focus on some of the most well-studied fairness notions (envy-freeness, proportionality, and approximations thereof) an...
详细信息
ISBN:
(纸本)9781611975482
We initiate the study of the communication complexity of fair division with indivisible goods. We focus on some of the most well-studied fairness notions (envy-freeness, proportionality, and approximations thereof) and valuation classes (submodular, subadditive and unrestricted). Within these parameters, our results completely resolve whether the communication complexity of computing a fair allocation (or determining that none exist) is polynomial or exponential (in the number of goods), for every combination of fairness notion, valuation class, and number of players, for both deterministic and randomized protocols.
作者:
Kempa, DominikUniv Helsinki
Helsinki Inst Informat Technol HIIT Dept Comp Sci Helsinki Finland Univ Warwick
Dept Comp Sci Coventry England Univ Warwick
Ctr Discrete Math & its Applicat DIMAP Coventry England
We propose algorithmsthat, given the input string of length n over integer alphabet of size sigma, construct the Burrows{Wheeler transform (BWT), the permuted longest-common-prefix (PLCP) array, and the LZ77 parsing ...
详细信息
ISBN:
(纸本)9781611975482
We propose algorithmsthat, given the input string of length n over integer alphabet of size sigma, construct the Burrows{Wheeler transform (BWT), the permuted longest-common-prefix (PLCP) array, and the LZ77 parsing in O(n= log(sigma) n + r polylog n) time and working space, where r is the number of runs in the BWT of the input. these are the essential components of many compressed indexes such as compressed suffix tree, FM-index, and grammar and LZ77-based indexes, but also find numerous applications in sequence analysis and data compression. the value of r is a common measure of repetitiveness that is significantly smaller than n if the string is highly repetitive. Since just accessing every symbol of the string requires Omega(n/ log(sigma) n) time, the presented algorithms are time and space optimal for inputs satisfying the assumption n=r is an element of(polylog n) on the repetitiveness. For such inputs our result improves upon the currently fastest general algorithms of Belazzougui (STOC 2014) and Munro et al. (SODA 2017) which run in O(n) time and use O(n= log(sigma) n) working space. We also show how to use our techniques to obtain optimal solutions on highly repetitive data for other fundamental string processing problems such as: Lyndon factorization, construction of run-length compressed suffix arrays, and some classical \textbook" problems such as computing the longest substring occurring at least some fixed number of times.
the discrete Fourier Transform (DFT) is a fundamental computational primitive, and the fastest known algorithm for computing the DFT is the FFT (Fast Fourier Transform) algorithm. One remarkable feature of FFT is the ...
详细信息
ISBN:
(纸本)9781611975482
the discrete Fourier Transform (DFT) is a fundamental computational primitive, and the fastest known algorithm for computing the DFT is the FFT (Fast Fourier Transform) algorithm. One remarkable feature of FFT is the fact that its runtime depends only on the size N of the input vector, but not on the dimensionality of the input domain: FFT runs in time O(N logN) irrespective of whether the DFT in question is on Z(N) or Z(d)(n) for some d > 1, where N = n(d). the state of the art for Sparse FFT, i.e. the problem of computing the DFT of a signal that has at most k nonzeros in Fourier domain, is very different: all current techniques for sublinear time computation of Sparse FFT incur an exponential dependence on the dimension d in the runtime. In this paper we give the first algorithm that computes the DFT of a k-sparse signal in time poly(k;logN) in any dimension d, avoiding the curse of dimensionality inherent in all previously known techniques. Our main tool is a new class of filters that we refer to as adaptive aliasing filters: these filters allow isolating frequencies of a k-Fourier sparse signal using O(k) samples in time domain and O(k logN) runtime per frequency, in any dimension d. We also investigate natural average case models of the input signal: worst case support in Fourier domain with randomized values and random locations in Fourier domain with worst case signal values. Our techniques lead to an (O) over tilde (k(2)) time algorithm for the former and an (O) over tilde (kappa) time algorithm for the latter.
the proceedings contain 181 papers. the topics discussed include: a framework for similarity search with space-time tradeoffs using locality-sensitive filtering;LSH forest: practical algorithms made theoretical;faster...
ISBN:
(纸本)9781611974782
the proceedings contain 181 papers. the topics discussed include: a framework for similarity search with space-time tradeoffs using locality-sensitive filtering;LSH forest: practical algorithms made theoretical;faster approximation schemes for the two-dimensional knapsack problem;split packing: an algorithm for packing circles with optimal worst-case density;local search for max-sum diversification;maximum scatter tsp in doubling metrics;exploring an infinite space with finite memory scouts;parameter-free locality sensitive hashing for spherical range reporting;distance sensitive bloom filters without false negatives;optimal approximate polytope membership;and massively-parallel similarity join, edge-isoperimetry, and distance correlations on the hypercube.
A polycube is a face-connected set of cubical cells on Z(3). To-date, no formulae enumerating polycubes by volume (number of cubes) or perimeter (number of empty cubes neighboring the polycube) are known. We present a...
详细信息
ISBN:
(纸本)9781611975031
A polycube is a face-connected set of cubical cells on Z(3). To-date, no formulae enumerating polycubes by volume (number of cubes) or perimeter (number of empty cubes neighboring the polycube) are known. We present a few formulae enumerating polycubes with a fixed deviation from the maximum possible perimeter.
We show that there is a polynomial-time algorithm with approximation guarantee 3/2 + epsilon for the s-t-path TSP, for any fixed epsilon > 0. It is well known that Wolsey's analysis of Christofides' algorit...
详细信息
ISBN:
(纸本)9781611975031
We show that there is a polynomial-time algorithm with approximation guarantee 3/2 + epsilon for the s-t-path TSP, for any fixed epsilon > 0. It is well known that Wolsey's analysis of Christofides' algorithm also works for the s-t-path TSP with its natural LP relaxation except for the narrow cuts ( in which the LP solution has value less than two). A fixed optimum tour has either a single edge in a narrow cut ( then call the edge and the cut lonely) or at least three ( then call the cut busy). Our algorithm "guesses" ( by dynamic programming) lonely cuts and edges. then we partition the instance into smaller instances and strengthen the LP, requiring value at least three for busy cuts. By setting up a k-stage recursive dynamic program, we can compute a spanning tree (V, S) and an LP solution y such that (1/2 + O(2(-k)))y is in the T-join polyhedron, where T is the set of vertices whose degree in S has the wrong parity.
In this paper we study the well-known family of Random Utility Models, developed over 50 years ago to codify rational user behavior in choosing one item from a finite set of options. In this setting each user draws i....
详细信息
ISBN:
(纸本)9781611975031
In this paper we study the well-known family of Random Utility Models, developed over 50 years ago to codify rational user behavior in choosing one item from a finite set of options. In this setting each user draws i.i.d. from some distribution a utility function mapping each item in the universe to a real-valued utility. the user is then offered a subset of the items, and selects the one of maximum utility. A MAX-DIST oracle for this choice model takes any subset of items and returns the probability (over the distribution of utility functions) that each will be selected. A discrete choice algorithm, given access to a MAX-DIST oracle, must return a function that approximates the oracle. We show three primary results. First, we show that any algorithm exactly reproducing the oracle must make exponentially many queries. Second, we show an equivalent representation of the distribution over utility functions, based on permutations, and show that if this distribution has support size k, then it is possible to approximate the oracle using O(nk) queries. Finally, we consider settings in which the subset of items is always small. We give an algorithm that makes less than n((1 - epsilon/2)K) queries, each to sets of size at most (1 - epsilon/2) K, in order to approximate the MAX-DIST oracle on every set of size vertical bar T vertical bar <= K with statistical error at most epsilon. In contrast, we show that any algorithm that queries for subsets of size 2(O)(root log n) must make maximal statistical error on some large sets.
We study the problem of testing conditional independence for discrete distributions. Specifically, given samples from a discrete random variable (X, Y, Z) on domain [Lambda(1)] x [Lambda(2)] x [n], we want to distingu...
详细信息
ISBN:
(纸本)9781450355599
We study the problem of testing conditional independence for discrete distributions. Specifically, given samples from a discrete random variable (X, Y, Z) on domain [Lambda(1)] x [Lambda(2)] x [n], we want to distinguish, with probability at least 2/3, between the case that X and Y are conditionally independent given Z from the case that (X, Y, Z) is epsilon-far, in l(1)-distance, from every distribution that has this property. Conditional independence is a concept of central importance in probability and statistics with a range of applications in various scientific domains. As such, the statistical task of testing conditional independence has been extensively studied in various forms within the statistics and econometrics communities for nearly a century. Perhaps surprisingly, this problem has not been previously considered in the framework of distribution property testing and in particular no tester with sublinear sample complexity is known, even for the important special case that the domains of X and Y are binary. the main algorithmic result of this work is the first conditional independence tester with sublinear sample complexity for discrete distributions over [Lambda(1)] x [Lambda(2)] x [n]. To complement our upper bounds, we prove information-theoretic lower bounds establishing that the sample complexity of our algorithm is optimal, up to constant factors, for a number of settings. Specifically, for the prototypical setting when Lambda(1), Lambda(2) = 0(1), we show that the sample complexity of testing conditional independence (upper bound and matching lower bound) is theta (max (n(1/2)/epsilon(2), min(n(7/8)/epsilon, n(6/7)/epsilon(8/7)))) To obtain our tester, we employ a variety of tools, including (1) a suitable weighted adaptation of the "flattening" technique, and (2) the design and analysis of an optimal (unbiased) estimator for the following statistical problem of independent interest: Given a degree-d polynomial Q : R-n -> R and sample access to a d
the proceedings contain 146 papers. the topics discussed include: locality-sensitive hashing without false negatives;new directions in nearest neighbor searching with applications to lattice sieving;phase transitions ...
ISBN:
(纸本)9781510819672
the proceedings contain 146 papers. the topics discussed include: locality-sensitive hashing without false negatives;new directions in nearest neighbor searching with applications to lattice sieving;phase transitions in group testing;tight bounds for the distribution-free testing of monotone conjunctions;designing networks with good equilibria under uncertainty;characterization of strongly stable matchings;learning and efficiency in games with dynamic population;on dynamic approximate shortest paths for planar graphs with worst case costs;error amplification for pairwise spanner lower bounds;on notions of distortion and an almost minimum spanning tree with constant average distortion;approximately efficient double auctions with strong budget balance;and interpolating between truthful and non-truthful mechanisms for combinatorial auctions.
暂无评论