Testing Eulerianity and connectivity in directed sparse graphs

We consider the question of whether adaptivity can improve the complexity of property testing algorithms in the dense graphs model. It is known that there can be at most a quadratic gap between adaptive and non-adaptive testers in this model, but it was not known whether any gap indeed exists. In this work we reveal such a gap.Specifically, we focus on the well studied property of bipartiteness. Bogdanov and Trevisan (IEEE Symposium on Computational Complexity, 2004) proved a lower bound of Ω(1/ε 2) on the query complexity of non-adaptive testing algorithms for bipartiteness. This lower bound holds for graphs with maximum degree O(εn). Our main result is an adaptive testing algorithm for bipartiteness of graphs with maximum degree O(εn) whose query complexity is \(\tilde{O}(1/\epsilon^{3/2})\). A slightly modified version of our algorithm can be used to test the combined property of being bipartite and having maximum degree O(εn). Thus we demonstrate that adaptive testers are stronger than non-adaptive testers in the dense graphs model.We note that the upper bound we obtain is tight up-to polylogarithmic factors, in view of the Ω(1/ε 3/2) lower bound of Bogdanov and Trevisan for adaptive testers. In addition we show that \(\tilde{O}(1/\epsilon^{3/2})\) queries also suffice when (almost) all vertices have degree \(\Omega(\sqrt \epsilon \cdot n)\). In this case adaptivity is not necessary.KeywordsQuery ComplexityTesting AlgorithmAdaptive TesterDense GraphNeighbor QueryThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

We consider the problem of distribution-free testing of the class of monotone monomials and the class of monomials over n variables.0 While there are very efficient algorithms for testing a variety of functions classes when the underlying distribution is uniform, designing distribution-free algorithms (which must work under any arbitrary and unknown distribution), tends to be a more challenging task. When the underlying distribution is uniform, Parnas et al. (SIAM Journal on Discrete Math, 2002) give an algorithm for testing (monotone) monomials whose query complexity does not depends on n, and whose dependence on the distance parameter is (inverse) linear. In contrast, Glasner and Servedio (in Proceedings of RANDOM, 2007) prove that every distribution-free testing algorithm for monotone monomials as well as for general monomials must have query complexity Ω(n1/5) (for a constant distance parameter e). In this paper we present distribution-free testing algorithms for these classes where the query complexity of the algorithms is O(n1/2/e). We note that as opposed to previous results for distribution-free testing, our algorithms do not build on the algorithms that work under the uniform distribution. Rather, we define and exploit certain structural properties of monomials (and functions that differ from them in a nonnegligible manner), which were not used in previous work on property testing.

A faster algorithm to recognize undirected path graphs

This paper introduces four graph orientation problems named Maximize W -Light, Minimize W -Light, Maximize W -Heavy, and Minimize W -Heavy, where W can be any fixed non-negative integer. In each of these problems, the input is an undirected graph G and the objective is to assign a direction to each edge in G so that the number of vertices with outdegree at most W or at least W in the resulting directed graph is maximized or minimized. We derive a number of results on the computational complexity and polynomial-time approximability of these problems for different values of W and various special classes of graphs. In particular, we show that Maximize 0-Light and Minimize 1-Heavy are equivalent to Maximum Independent Set and Minimum Vertex Cover, respectively, so by allowing the value of W to vary, we obtain a new, natural generalization of the two latter problems.KeywordsPlanar GraphUndirected GraphVertex CoverMaximum CliqueChordal GraphThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

We study the problem of approximating the value of the matching polynomial on graphs with edge parameter γ, where γ takes arbitrary values in the complex plane. When γ is a positive real, Jerrum and Sinclair showed that the problem admits an FPRAS on general graphs. For general complex values of γ, Patel and Regts, building on methods developed by Barvinok, showed that the problem admits an FPTAS on graphs of maximum degree Δ as long as γ is not a negative real number less than or equal to −1/(4(Δ −1)). Our first main result completes the picture for the approximability of the matching polynomial on bounded degree graphs. We show that for all Δ ≥ 3 and all real γ less than −1/(4(Δ −1)), the problem of approximating the value of the matching polynomial on graphs of maximum degree Δ with edge parameter γ is #P-hard. We then explore whether the maximum degree parameter can be replaced by the connective constant. Sinclair et al. showed that for positive real γ, it is possible to approximate the value of the matching polynomial using a correlation decay algorithm on graphs with bounded connective constant (and potentially unbounded maximum degree). We first show that this result does not extend in general in the complex plane; in particular, the problem is #P-hard on graphs with bounded connective constant for a dense set of γ values on the negative real axis. Nevertheless, we show that the result does extend for any complex value γ that does not lie on the negative real axis. Our analysis accounts for complex values of γ using geodesic distances in the complex plane in the metric defined by an appropriate density function.

Given a graph G, and terminal vertices s and t, the Tracking Paths problem asks to compute a set of minimum number of vertices to be marked as trackers, such that the sequence of trackers encountered in each s-t path is unique. Tracking Paths is NP-hard in both directed and undirected graphs in general. In this paper we give a collection of polynomial time algorithms for some restricted versions of Tracking Paths. We prove that Tracking Paths is polynomial time solvable for undirected chordal graphs and tournament graphs. We also show that Tracking Paths is NP-hard in graphs with bounded maximum degree Delta ge 6, and give a 2(Delta +1)-approximate algorithm for this case. Further, we give a polynomial time algorithm which, given an undirected graph G, a tracking set Tsubseteq V(G), and a sequence of trackers pi , returns the unique s-t path in G that corresponds to pi , if one exists. Finally we analyze the version of tracking s-t paths where paths are tracked using edges instead of vertices, and we give a polynomial time algorithm for the same.

We propose a general model for testing graph properties, which extends and simplifies the bounded degree model of Goldreich and Ron [Property Testing in Bounded Degree Graphs, Proc. 31st Annual ACM Symposium on the Theory of Computing, 1997, pp. 406–415.] In this model, we present a family of algorithms that test whether the diameter of a graph is bounded by a given parameterD, or is ϵ‐far from any graph with diameter at most β(D). The function β(D) ranges betweenD+4 and 4D+2, depending on the algorithm. All our algorithms run in time polynomial in 1/ϵ. © 2002 Wiley Periodicals, Inc. Random Struct. Alg. 20: 165–183, 2002

Consider property testing on bounded degree graphs and let $\\varepsilon>0$\ndenote the proximity parameter. A remarkable theorem of Newman-Sohler (SICOMP\n2013) asserts that all properties of planar graphs (more generally hyperfinite)\nare testable with query complexity only depending on $\\varepsilon$. Recent\nadvances in testing minor-freeness have proven that all additive and monotone\nproperties of planar graphs can be tested in $poly(\\varepsilon^{-1})$ queries.\nSome properties falling outside this class, such as Hamiltonicity, also have a\nsimilar complexity for planar graphs. Motivated by these results, we ask: can\nall properties of planar graphs can be tested in $poly(\\varepsilon^{-1})$\nqueries? Is there a uniform query complexity upper bound for all planar\nproperties, and what is the "hardest" such property to test? We discover a\nsurprisingly clean and optimal answer. Any property of bounded degree planar\ngraphs can be tested in $\\exp(O(\\varepsilon^{-2}))$ queries. Moreover, there is\na matching lower bound, up to constant factors in the exponent. The natural\nproperty of testing isomorphism to a fixed graph needs\n$\\exp(\\Omega(\\varepsilon^{-2}))$ queries, thereby showing that (up to\npolynomial dependencies) isomorphism to an explicit fixed graph is the hardest\nproperty of planar graphs. The upper bound is a straightforward adapation of\nthe Newman-Sohler analysis that tracks dependencies on $\\varepsilon$ carefully.\nThe main technical contribution is the lower bound construction, which is\nachieved by a special family of planar graphs that are all mutually far from\neach other. We can also apply our techniques to get analogous results for\nbounded treewidth graphs. We prove that all properties of bounded treewidth\ngraphs can be tested in $\\exp(O(\\varepsilon^{-1}\\log \\varepsilon^{-1}))$\nqueries. Moreover, testing isomorphism to a fixed forest requires\n$\\exp(\\Omega(\\varepsilon^{-1}))$ queries.\n

We consider the fine-grained complexity of sparse graph problems that currently have O(mn) time algorithms, where m is the number of edges and n is the number of vertices in the input graph. This class includes several important path problems on both directed and undirected graphs, including APSP, MWC (Minimum Weight Cycle), Radius, Eccentricities, BC (Betweenness Centrality), etc. We introduce the notion of a sparse reduction which preserves the sparsity of graphs, and we present near linear-time sparse reductions between various pairs of graph problems in the O(mn) class. There are many sub-cubic reductions between graph problems in the O(mn) class, but surprisingly few of these preserve sparsity. In the directed case, our results give a partial order on a large collection of problems in the O(mn) class (along with some equivalences), and many of our reductions are very nontrivial. In the undirected case we give two nontrivial sparse reductions: from MWC to APSP, and from unweighted ANSC (all nodes shortest cycles) to unweighted APSP. We develop a new ‘bit-sampling’ method for these sparse reductions on undirected graphs, which also gives rise to improved or simpler algorithms for cycle finding problems in undirected graphs. We formulate the the notion of MWC hardness, which is based on the assumption that a minimum weight cycle in a directed graph cannot be computed in time polynomially smaller than mn. Our sparse reductions for directed path problems in the O(mn) class establish that several problems in this class, including 2-SiSP (second simple shortest path), s-t Replacement Paths, Radius, Eccentricities and BC are MWC hard. Our sparse reductions give MWC hardness a status for the O(mn) class similar to 3SUM hardness for the quadratic class, since they show sub-mn hardness for a large collection of fundamental and well-studied graph problems that have maintained an O(mn) time bound for over half a century. We also identify Eccentricities and BC as key problems in the O(mn) class which are simultaneously MWC-hard, SETH-hard and k-DSH-hard, where SETH is the Strong Exponential Time Hypothesis, and k-DSH is the hypothesis that a dominating set of size k cannot be computed in time polynomially smaller than nk. Our framework using sparse reductions is very relevant to real-world graphs, which tend to be sparse and for which the O(mn) time algorithms are the ones typically used in practice, and not the O(n3) time algorithms.

Graph coloring with rejection

We show that every non-adaptive property testing algorithm making a constant number of queries, over a fixed alphabet, can be converted to a sample-based (as per [Gold Reich and Ron, 2015]) testing algorithm whose average number of queries is a fixed, smaller than 1, power of n. Since the query distribution of the sample-based algorithm is not dependent at all on the property, or the original algorithm, this has many implications in scenarios where there are many properties that need to be tested for concurrently, such as testing (relatively large) unions of properties, or converting a Merlin-Arthur Proximity proof (as per [Gur and Rothblum, 2013]) to a proper testing algorithm. The proof method involves preparing the original testing algorithm for a combinatorial analysis. For the analysis we develop a structural lemma for hyper graphs that may be of independent interest. When analyzing a hyper graph that was extracted from a 2-sided test, it allows for finding generalized sunflowers that provide for a large-deviation type analysis. For 1-sided tests the bounds can be improved further by applying Janson's inequality directly over our structures.

International audience

There has been a recent surge of interest in studying dynamical processes, including evolutionary optimization, on scale-free topologies. While various scaling parameters and assortativities have been observed in natural scale-free interaction networks, most previous studies of dynamics on scale-free graphs have employed a graph-generating algorithm that yields a topology with an uncorrelated degree distribution and a fixed scaling parameter. In this paper, we advance the understanding of selective pressure in scale-free networks by systematically investigating takeover times under local uniform selection in scale-free topologies with varying scaling exponents, assortativities, average degrees, and numbers of vertices. We demonstrate why the so-called characteristic path length of a graph is a nonlinear function of both scaling and assortativity. Neither the eigenvalues of the adjacency matrix nor the effective population size was sufficient to account for the variance in takeover times over the parameter space that was explored. Rather, we show that 97% of the variance of logarithmically transformed average takeover times, on all scale-free graphs tested, could be accounted for by a planar function of: 1) the average inverse degree (which captures the effects of scaling) and 2) the logarithm of the population size. Additionally, we show that at low scaling exponents, increasingly <i xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">positive</i> assortativities increased the variability between experiments on different random graph instances, while increasingly <i xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">negative</i> assortativities increased the variability between takeover times from different initial conditions on the same graph instances. We explore the mechanisms behind our sometimes counterintuitive findings, and discuss potential implications for evolutionary computation and other relevant disciplines.

We present a new method for upper bounding the second eigenvalue of theLaplacian of graphs. Our approach uses multi-commodity flows to deform the geometry of the graph; we embed the resulting metric into Euclidean space to recover a bound on the Rayleigh quotient. Using this, we show that every n-vertex graph of genus g and maximum degree d satisfies lambda2(G) = O((g+1)3d/n).This recovers the O(d/n) bound of Spielman and Teng for planar graphs, and compares to Kelner's bound of O((g+1)poly(d)/n), but our proof does not make use of conformal mappings or circle packings. We are thus able to extend this to resolve positively a conjecture of Spielman and Teng, by proving that lambda2(G) = O(dh6log h/n) whenever G is Kh-minor free. This shows, in particular, that spectral partitioning can be used to recover O(radicn)-sized separators in bounded degree graphs that exclude a fixed minor. We extend this further by obtaining nearly optimal bounds on lambda2 for graphs which exclude small-depth minors in the sense of Plotkin, Rao, and Smith. Consequently, we show that spectral algorithms find small separators in a general class of geometric graphs. Moreover, while the standard sweep'' algorithm applied to the second eigenvector may fail to find good quotient cuts in graphs of unbounded degree, our approach produces a vector that works for arbitrary graphs. This yields an alternate proof of the result of Alon, Seymour, and Thomas that every excluded-minor family of graphs has O(radicn)-node balanced separators.

We consider monotonicity testing of functions f:[n]d→ {0,1}, in the property testing framework of Rubinfeld and Sudan [23] and Goldreich, Goldwasser and Ron [14]. Specifically, we consider the framework of distribution-free property testing, where the distance between functions is measured with respect to a fixed but unknown distribution D on the domain and the testing algorithms have an oracle access to random sampling from the domain according to this distribution D. We show that, though in the uniform distribution case, testing of boolean functions defined over the boolean hypercube can be done using query complexity that is polynomial in $\frac{1}{\epsilon}$ and in the dimension d, in the distribution-free setting such testing requires a number of queries that is exponential in d. Therefore, in the high-dimensional case (in oppose to the low-dimensional case), the gap between the query complexity for the uniform and the distribution-free settings is exponential.