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.
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.
Given a symmetric crossing super modular set function p on V and a partition P of V, we solve the problem of finding a graph with ground set V having edges only between the classes of P such that for every subset X of...
详细信息
ISBN:
(纸本)9780898717013
Given a symmetric crossing super modular set function p on V and a partition P of V, we solve the problem of finding a graph with ground set V having edges only between the classes of P such that for every subset X of V the cut of the graph defined by X contains at least p(X) edges. the objective is to minimize the number of edges of the graph this problem is a common generalization of the global edge-connectivity augmentation of a graph with partition constraints, which was solved by Bang-Jensen, Gabow, Jordan and Szigeti [1] and the problem of covering a. symmetric crossing supermodular set function solved by Benezur and Frank [3] Our problem can be considered as an abstract form of the problem of global edge-connectivity augmentation of a hypergraph by a multipartite graph;which was earlier solved by the authors [5]
作者:
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 single-source unsplittable flow (SSUF) problem asks to send flow from a common source to different terminals with unrelated demands, each terminal being served through a single path. One of the most heavily studie...
ISBN:
(纸本)9781611977912
the single-source unsplittable flow (SSUF) problem asks to send flow from a common source to different terminals with unrelated demands, each terminal being served through a single path. One of the most heavily studied SSUF objectives is to minimize the violation of some given arc capacities. A seminal result of Dinitz, Garg, and Goemans showed that, whenever a fractional flow exists respecting the capacities, then there is an unsplittable one violating the capacities by at most the maximum demand. Goemans conjectured a very natural cost version of the same result, where the unsplittable flow is required to be no more expensive than the fractional one. this intriguing conjecture remains open. More so, there are arguably no non-trivial graph classes for which it is known to hold. We show that a slight weakening of it (with at most twice as large violations) holds for planar graphs. Our result is based on a connection to a highly structured discrepancy problem, whose repeated resolution allows us to successively reduce the number of paths used for each terminal, until we obtain an unsplittable flow. Moreover, our techniques also extend to simultaneous upper and lower bounds on the flow values. this also affirmatively answers a conjecture of Morell and Skutella for planar SSUF.
the proceedings contain 134 papers. the topics discussed include: delaunay graphs of point sets in the plane with respect to axis-parallel rectangles;maintaining deforming surface meshes;two-phase greedy algorithms fo...
ISBN:
(纸本)9780898716474
the proceedings contain 134 papers. the topics discussed include: delaunay graphs of point sets in the plane with respect to axis-parallel rectangles;maintaining deforming surface meshes;two-phase greedy algorithms for some classes of combinatorial linear programs;yet another algorithm for dense max cut: go greedy;computing large matchings fast;distributed broadcast in unknown radio networks;the power of memory in randomized broadcasting;competitive queue management for latency sensitive packets;a nearly linear time algorithm for the half integral disjoint paths packing;nondecreasing paths in a weighted graph or: how to optimally read a train schedule;graph balancing: a special case of scheduling unrelated parallel machines;on the connectivity of dynamic random geometric graphs;balls and bins with structure: balanced allocations on hypergraphs;improved algorithms for orienteering and related problems;and deterministic random walks on regular trees.
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 Frechet distance is a similarity measure between two curves A and B that takes into account the location and ordering of the points along the two curves: Informally, it is the minimum length of a leash required to...
详细信息
ISBN:
(纸本)9781611973105;9781611972511
the Frechet distance is a similarity measure between two curves A and B that takes into account the location and ordering of the points along the two curves: Informally, it is the minimum length of a leash required to connect a dog, walking along A, and its owner, walking along B, as they walk without backtracking along their respective curves from one endpoint to the other. the discrete Frechet distance replaces the dog and its owner by a pair of frogs that can only reside on n and m specific stones on the curves A and B, respectively. these frogs hop from one stone to the next without backtracking, and the discrete Frechet distance is the minimum length of a "leash" that connects the frogs and allows them to execute such a sequence of hops. It can be computed in quadratic time by a straightforward dynamic programming algorithm. We present the first subquadratic algorithm for computing the discrete Frechet distance between two sequences of points in the plane. Assuming m <= n, the algorithm runs in O(mn log log n/log n) time, in the standard RAM model, using O(n) storage. Our approach uses the geometry of the problem in a subtle way to encode legal positions of the frogs as states of a finite automaton.
the proceedings contain 70 papers. the topics discussed include: selecting the median;algorithms for graphic polymatroids and parametric s-sets;design of practical and provably good random number generators;a combinat...
ISBN:
(纸本)0898713498
the proceedings contain 70 papers. the topics discussed include: selecting the median;algorithms for graphic polymatroids and parametric s-sets;design of practical and provably good random number generators;a combinatorial algorithm for minimizing symmetric submodular functions;on the entropy of DNA: algorithms and measurements based on memory and rapid convergence;improved algorithms for protein motif recognition;from valid inequalities to heuristics: a unified view of primal-dual approximation algorithms in covering problems;doing two-level logic minimization 100 times faster;on the statistical dependencies of coalesced hashing and their implications for both full and limited independence;efficient parallel computations for singular band matrices;chaining multiple-alignment fragments in sub-quadratic time;finding optimal edge-rankings of trees;dihedral bounds for mesh generation in high dimensions;approximating discrete collections via local improvements;randomized rounding without solving the linear program;finding subsets maximizing minimum structures;average-case analysis of off-line and on-line knapsack problems;Voronoi diagrams of lines in 3-space under polyhedral convex distance functions;and path optimization and near-greedy analysis for graph partitioning: an empirical study.
Two simple undirected graphs are cospectral if their respective adjacency matrices have the same multiset of eigenvalues. Cospectrality yields an equivalence relation on the family of graphs which is provably weaker t...
详细信息
ISBN:
(纸本)9781611977554
Two simple undirected graphs are cospectral if their respective adjacency matrices have the same multiset of eigenvalues. Cospectrality yields an equivalence relation on the family of graphs which is provably weaker than isomorphism. In this paper, we study cospectrality in relation to another well-studied relaxation of isomorphism, namely k-dimensional Weisfeiler-Leman ( k-WL) indistinguishability. Cospectrality with respect to standard graph matrices such as the adjacency or the Laplacian matrix yields a strictly finer equivalence relation than 2-WL indistinguishability. We show that individualising one vertex plus running 1-WL already subsumes cospectrality with respect to all such graph matrices. Building on this result, we resolve an open problem of Furer (2010) about spectral invariants and strengthen a result of Godsil (1981) about commute distances. Looking beyond 2-WL, we devise a hierarchy of graph matrices generalising the adjacency matrix such that k-WL indistinguishability after a fixed number of iterations can be captured as a spectral condition on these matrices. Precisely, we provide a spectral characterisation of k-WL indistinguishability after d iterations, for k;d is an element of N. Our results can be viewed as characterisations of homomorphism indistinguishability over certain graph classes in terms of matrix equations. the study of homomorphism indistinguishability is an emerging field, to which we contribute by extending the algebraic framework of Mancinska and Roberson (2020) and Grohe et al. (2022).
暂无评论