Sublinear Time Hypergraph Sparsification via Cut and Edge Sampling Queries

We consider the problem of testing graph cluster structure: given access to a graph G = (V, E), can we quickly determine whether the graph can be partitioned into a few clusters with good inner conductance, or is far from any such graph? This is a generalization of the well-studied problem of testing graph expansion, where one wants to distinguish between the graph having good expansion (i.e. being a good single cluster) and the graph having a sparse cut (i.e. being a union of at least two clusters). A recent work of Czumaj, Peng, and Sohler (STOC'15) gave an ingenious sublinear time algorithm for testing k-clusterability in time O(n^1/2 poly(k)). Their algorithm implicitly embeds a random sample of vertices of the graph into Euclidean space, and then clusters the samples based on estimates of Euclidean distances between the points. This yields a very efficient testing algorithm, but only works if the cluster structure is very strong: it is necessary to assume that the gap between conductances of accepted and rejected graphs is at least logarithmic in the size of the graph G. In this paper we show how one can leverage more refined geometric information, namely angles as opposed to distances, to obtain a sublinear time tester that works even when the gap is a sufficiently large constant. Our tester is based on the singular value decomposition of a natural matrix derived from random walk transition probabilities from a small sample of seed nodes. We complement our algorithm with a matching lower bound on the query complexity of testing clusterability. Our lower bound is based on a novel property testing problem, which we analyze using Fourier analytic tools. As a byproduct of our techniques, we also achieve new lower bounds for the problem of approximating MAX-CUT value in sublinear time.

We study vertex cut and flow sparsifiers that were recently introduced by Moitra (2009), and Leighton and Moitra (2010). We improve and generalize their results. We give a new polynomial-time algorithm for constructing O(log k/ log log k) cut and flow sparsifiers, matching the best known existential upper bound on the quality of a sparsifier, and improving the previous algorithmic upper bound of O(log2 k/ log log k). We show that flow sparsifiers can be obtained from linear operators approximating minimum metric extensions. We introduce the notion of (linear) metric extension operators, prove that they exist, and give an exact polynomialtime algorithm for finding optimal operators. We then establish a direct connection between flow and cut sparsifiers and Lipschitz extendability of maps in Banach spaces, a notion studied in functional analysis since 1930s. Using this connection, we obtain a lower bound of $$\Omega \left( {\sqrt {\log k/\log \log k} } \right)$$ for flow sparsifiers and a lower bound of $$\Omega \left( {\sqrt {\log k} /\log \log k} \right)$$ for cut sparsifiers. We show that if a certain open question posed by Ball in 1992 has a positive answer, then there exist $$\tilde O\left( {\sqrt {\log k} } \right)$$ cut sparsifiers. On the other hand, any lower bound on cut sparsifiers better than $$\tilde \Omega \left( {\sqrt {\log k} } \right)$$ would imply a negative answer to this question.

The Dial-a-Ride problem may contain various constraints for pickup-delivery requests, such as time windows and ride time constraints. For a tour, given as a sequence of pickup and delivery stops, there exist polynomial time algorithms to find a schedule respecting these constraints, provided that there exists one. However, if no feasible schedule exists, the natural question is to find a schedule minimising constraint violations. We model a generic fixed-sequence scheduling problem, allowing lateness and ride time violations with linear penalty functions and prove its APX-hardness. We also present an approach leading to a polynomial time algorithm if only the time window constraints can be violated (by late visits). Then, we show that the problem can be solved in polynomial time if all the ride time constraints are bounded by a constant. Lastly, we give a polynomial time algorithm for the instances where all the pickups precede all the deliveries in the sequence of stops.

We consider the classic scheduling problem of minimizing the total weighted flow-time on a single machine (min-WPFT), when preemption is allowed. In this problem, we are given a set of $n$ jobs, each job having a release time $r_j$, a processing time $p_j$, and a weight $w_j$. The flow-time of a job is defined as the amount of time the job spends in the system before it completes; that is, $F_j = C_j - r_j$, where $C_j$ is the completion time of job. The objective is to minimize the total weighted flow-time of jobs. This NP-hard problem has been studied quite extensively for decades. In a recent breakthrough, Batra, Garg, and Kumar presented a {\em pseudo-polynomial} time algorithm that has an $O(1)$ approximation ratio. The design of a truly polynomial time algorithm, however, remained an open problem. In this paper, we show a transformation from pseudo-polynomial time algorithms to polynomial time algorithms in the context of min-WPFT. Our result combined with the result of Batra, Garg, and Kumar settles the long standing conjecture that there is a polynomial time algorithm with $O(1)$-approximation for min-WPFT.

Chudnovsky-type algorithms for the multiplication in finite extensions of finite fields are well-known for having a good bilinear complexity, both asymptotically and at finite distance. More precisely, for every degree n of the extension, the existence of a family of algorithms with linear bilinear complexity in n has been proved using the original method applied to an explicit recursive tower of function fields. However, there is currently no method to build these algorithms in polynomial time. Nevertheless, one can construct in polynomial time a Chudnovsky-type algorithm over the projective line for the multiplication in any extension degree, with a quasi-linear bilinear complexity. In this paper, we prove that we can obtain algorithms both constructible in polynomial time and having a linear bilinear complexity by mixing up these two strategies.

A faster FPTAS for knapsack problem with cardinality constraint

The closest string and substring problems find applications in PCR primer design, genetic probe design, motif finding, and antisense drug design. For their importance, the two problems have been extensively studied recently in computational biology. Unfortunately both problems are NP-complete. Researchers have developed both fixed-parameter algorithms and approximation algorithms for the two problems. In terms of fixed-parameter, when the radius d is the parameter, the best-known fixed-parameter algorithm for closest string has time complexity O(ndd+1), which is still superpolynomial even if d = O(log n). In this paper we provide an O(n|Σ|O(d)) algorithm where Σ is the alphabet. This gives a polynomial time algorithm when d = O(log n) and Σ has constant size. Using the same technique, we additionally provide a more efficient subexponential time algorithm for the closest substring problem. In terms of approximation, both closest string and closest substring problems admit polynomial time approximation schemes (PTAS). The best known time complexity of the PTAS is O(nO(Ɛ-2 log 1/Ɛ)). In this paper we present a PTAS with time complexity O(nO(Ɛ-2)). At last, we prove that a restricted version of the closest substring has the same parameterized complexity as closest substring, answering an open question in the literature.

How to Choose Between Exponentially Many Strategies In “Solving Zero-Sum Games Using Best-Response Oracles with Applications to Search Games,” L. Hellerstein, T. Lidbetter, and D. Pirutinsky consider zero-sum games between a minimizer and a maximizer, where the number of pure strategies of the minimizer is exponential in the number of pure strategies of the maximizer. Such games are frequent in the search-games literature. Solving them with standard algorithms typically takes exponential time. The authors show how to compute (approximate) solutions in polynomial time, provided that there is a polynomial time (approximate) algorithm solving the best-response problem: given a mixed (randomized) strategy of the maximizer, what is a best response of the minimizer? The paper presents both a learning approach using weight updates and an approach of solely theoretical interest based on the ellipsoid algorithm. The learning approach performs well experimentally compared with approaches in the literature. The results are applied to obtain new algorithms for solving specific search games.

It is known that embedding a graph G into a surface of minimum genus γmin(G) is NP-hard, whereas embedding a graph G into a surface of maximum genus γm(G) can be done in polynomial time. However, the complexity of embedding a graph G into a surface of genus between γmin(G) and γm(G) is still unknown. In this paper, it is proved that for any function f(n)=O(n)∈, 0 ≤e<1, the problem of embedding a graph G of n vertices into a surface of genus at most γmin(G)+f(n) remains NP-hard, while there is a linear time algorithm that approximates the minimum genus embedding either within a constant ratio or within a difference O(n). A polynomial time algorithm is also presented for embedding a graph G into a surface of genus γm(G)−1.

We study the integer maximum flow problem on wireless sensor networks with energy constraint. In this problem, sensor nodes gather data and then relay them to a base station, before they run out of battery power. Packets are considered as integral units and not splittable. The problem is to find the maximum data flow in the sensor network subject to the energy constraint of the sensors. We show that this integral version of the problem is strongly NP-complete and in fact APX-hard. It follows that the problem is unlikely to have a polynomial time approximation scheme. Even when restricted to graphs with concrete geometrically defined connectivity and transmission costs, the problem is still strongly NP-complete. We provide some interesting polynomial time algorithms that give good approximations for the general case nonetheless. For networks of bounded treewidth greater than two, we show that the problem is weakly NP-complete and provide pseudo-polynomial time algorithms. For a special case of graphs with treewidth two, we give a polynomial time algorithm.

We present the first polynomial time algorithm to learn nontrivial classes of languages of infinite trees. Specifically, our algorithm uses membership and equivalence queries to learn classes of omega-tree languages derived from weak regular omega-word languages in polynomial time. The method is a general polynomial time reduction of learning a class of derived omega-tree languages to learning the underlying class of omega-word languages, for any class of omega-word languages recognized by a deterministic Büchi acceptor. Our reduction, combined with the polynomial time learning algorithm of Maler and Pnueli [Maler and Pneuli, Inform. Comput., 1995] for the class of weak regular omega-word languages yields the main result. We also show that subset queries that return counterexamples can be implemented in polynomial time using subset queries that return no counterexamples for deterministic or non-deterministic finite word acceptors, and deterministic or non-deterministic Büchi omega-word acceptors. A previous claim of an algorithm to learn regular omega-trees due to Jayasrirani, Begam and Thomas [Jayasrirani et al., ICGI, 2008] is unfortunately incorrect, as shown in [Angluin, YALEU/DCS/TR-1528, 2016].

We introduce a new approach to spectral sparsification that approximates the quadratic form of the pseudoinverse of a graph Laplacian restricted to a subspace. We show that sparsifiers with a near-linear number of edges in the dimension of the subspace exist. Our setting generalizes that of Schur complement sparsifiers. Our approach produces sparsifiers by sampling a uniformly random spanning tree of the input graph and using that tree to guide an edge elimination procedure that contracts, deletes, and reweights edges. In the context of Schur complement sparsifiers, our approach has two benefits over prior work. First, it produces a sparsifier in almost-linear time with no runtime dependence on the desired error. We directly exploit this to compute approximate effective resistances for a small set of vertex pairs in faster time than prior work (Durfee-Kyng-Peebles-Rao-Sachdeva '17). Secondly, it yields sparsifiers that are reweighted minors of the input graph. As a result, we give a near-optimal answer to a variant of the Steiner point removal problem. A key ingredient of our algorithm is a subroutine of independent interest: a near-linear time algorithm that, given a chosen set of vertices, builds a data structure from which we can query a multiplicative approximation to the decrease in the effective resistance between two vertices after identifying all vertices in the chosen set to a single vertex with inverse polynomial additional additive error in near-constant time.

A graph G = {V, E}, with a finite number of vertices V and a finite number of edges E, has a property of a possibly infinite number of paths where a path is a sequence of vertices one walks along edges from one vertex to another. In this paper, we describe a graph as a function in the Enterprise-Participant (EP) data model and outline that a graph G, i.e., the function representing G, is Probably Approximately Correct (PAC) learnable, i.e., there is a learning algorithm in polynomial time that constructs edge representations in an EP database as a program P from a set of sampled paths and EP’s built-in reduction rules enables the reasoning of global transitive relations of the graph: there is a path from A to C if there are two paths A to B and B to C. Such a reasoning is also called a prediction, where predicting that A to C is not a path is an error when A to C is actually a path and an edge along the path A to B or B to C was not fed to the algorithm as part of a sample path. We generalize this learnability to a class of bounded functions. It is a reminder that data can be better represented in an EP database than in a graph before being embedded in distributional semantic learning models.

As a contention‐free channel access protocol, Time Division Multiple Access (TDMA) is widely applied in Energy Harvesting Wireless Sensor Networks (EH‐WSNs) due to ease of implementation. TDMA scheduling in EH‐WSNs faces the problem of low channel utilization since time slots assigned to some nodes may not be used by them due to shortage of energy or data. It is important to design TDMA scheduling schemes that enhance channel utilization. In this paper, the Fixed Frame Size Scheme (FFSS) and the Adaptive Frame Size Scheme (AFSS) are proposed to improve channel utilization of EH‐WSNs. The FFSS aims at the optimal TDMA slot assignment for the TDMA scheduling with fixed frame size, and the AFSS considers the TDMA with variable frame size and targets both the optimal frame size and the optimal slot assignment. The optimization problems maximizing channel utilization are formulated for the FFSS and the AFSS, respectively, which take the upcoming energy and data into account. The optimization problems are transformed into assignment‐like problems and solved by the Hungarian‐based algorithm in polynomial time. Simulation results indicate that the proposed FFSS and AFSS can considerably improve channel utilization in the EH‐WSNs compared with the existing TDMA scheduling schemes.

We propose a rate-distortion optimal algorithm for sinusoidal modeling of audio and speech. The algorithm determines, for a pre-specified target bit-rate, the optimal (variable-length) time segmentation, the optimal distribution of sinusoidal components over the segments and the optimal (scalar) quantizers for quantizing the sinusoid parameters. The optimization is done by jointly optimizing the segment lengths, number of sinusoids and quantizers using high-resolution quantization theory and dynamic programming techniques, which makes it possible to solve the algorithm in polynomial time. A particular advantage of the proposed method is that, given a target bit-rate, it solves the problem of finding the optimal balance between total number of sinusoids and number of bits per sinusoid.