Learn More
This paper presents a randomized scheduler for finding concurrency bugs. Like current stress-testing methods, it repeatedly runs a given test program with supplied inputs. However, it improves on stress-testing by finding buggy schedules more effectively and by quantifying the probability of missing concurrency bugs. Key to its design is the(More)
Owing to several applications in large scale learning and vision problems, fast submodular function minimization (SFM) has become a critical problem. Theoretically, unconstrained SFM can be performed in polynomial time [10, 11]. However, these algorithms are typically not practical. In 1976, Wolfe [21] proposed an algorithm to find the minimum Euclidean(More)
What we'd like: f 2 NP f / 2 P/poly such that. What we'd like: f 2 NP f / 2 P/poly such that. Explicit circuit lower bounds known for very few circuit classes. What we'd like: f 2 NP f / 2 P/poly such that. Explicit circuit lower bounds known for very few circuit classes. Even for low depth circuits of AND, OR, NOT and mod-m gates, a lower bound eluded us(More)
We give the first representation-independent hardness result for agnostically learning halfspaces with respect to the Gaussian distribution. We reduce from the problem of learning sparse parities with noise with respect to the uniform distribution on the hypercube (sparse LPN), a notoriously hard problem in theoretical computer science and show that any(More)
The problem of finding large cliques in random graphs and its " planted" variant, where one wants to recover a clique of size ω log (n) added to an Erd˝ os-Rényi graph G ∼ G(n, 1 2), have been intensely studied. Nevertheless, existing polynomial time algorithms can only recover planted cliques of size ω = Ω(√ n). By contrast, information theoretically, one(More)
Let <i>P</i>:{0,1}<sup><i>k</i></sup> &#226;†’ {0,1} be a nontrivial <i>k</i>-ary predicate. Consider a random instance of the constraint satisfaction problem (<i>P</i>) on <i>n</i> variables with &#206;” <i>n</i> constraints, each being <i>P</i> applied to <i>k</i> randomly chosen literals. Provided the constraint density satisfies &#206;” &#226;‰« 1, such(More)
We show that all non-negative submodular functions have high noise-stability. As a consequence, we obtain a polynomial-time learning algorithm for this class with respect to any product distribution on {−1, 1} n (for any constant accuracy parameter). Our algorithm also succeeds in the agnostic setting. Previous work on learning submodular functions required(More)
We prove that for every &#949;&#62;0 and predicate P:{0,1}<sup>k</sup>-&#62; {0,1} that supports a pairwise independent distribution, there exists an instance I of the Max P constraint satisfaction problem on n variables such that no assignment can satisfy more than a ~(|P<sup>-1</sup>(1)|)/(2<sup>k</sup>)+&#949; fraction of I's constraints but the degree(More)
We study the complexity of approximate representation and learning of submodular functions over the uniform distribution on the Boolean hypercube {0, 1} n. Our main result is the following structural theorem: any submodular function is-close in 2 to a real-valued decision tree (DT) of depth O(1// 2). This immediately implies that any submodular function(More)