BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We consider Proof Complexity in light of the unusual binary encoding of certain combinatorial principles. We contrast this Proof Complexity with the normal unary encoding in several refutation systems, based on Resolution and Integer Linear Programming. Please consult the article for the full abstract.
Identifying defective items in larger sets is a main problem with many applications in real life situations. We consider the problem of localizing defective nodes in networks through an approach based on boolean network tomography (BNT), which is grounded on inferring informations from the boolean outcomes of end-to-end measurements paths. {\em Identifiability} conditions on the set of paths which guarantee discovering or counting unambiguously the defective nodes are of course very relevant. We investigate old and introduce new identifiability conditions contributing this problem both from a theoretical and applied perspective. (1) What is the precise tradeoff between number of nodes and number of paths such that at most k nodes can be identified unambiguously ? The answer is known only for k=1 and we answer the question for any k, setting a problem implicitly left open in previous works. (2) We study upper and lower bounds on the number of unambiguously identifiable nodes, introducing new identifiability conditions which strictly imply and are strictly implied by unambiguous identifiability; (3) We use these new conditions on one side to design algorithmic heuristics to count defective nodes in a fine-grained way, on the other side to prove the first complexity hardness results on the problem of identifying defective nodes in networks via BNT. (4) We introduce a random model where we study lower bounds on the number of unambiguously identifiable defective nodes and we use this model to estimate that number on real networks by a maximum likelihood estimate approach
We investigate the space complexity of refuting 3-CNFs in Resolution and algebraic systems. We prove that every Polynomial Calculus with Resolution refutation of a random 3-CNF ϕ in n variables requires, with high probability, Ω(n) distinct monomials to be kept simultaneously in memory. The same construction also proves that every Resolution refutation ϕ requires, with high probability, Ω(n) clauses each of width Ω(n) to be kept at the same time in memory. This gives a Ω(n2) lower bound for the total space needed in Resolution to refute ϕ. These results are best possible (up to a constant factor). The main technical innovation is a variant of Hall's Lemma. We show that in bipartite graphs G with bipartition (L,R) and left-degree at most 3, L can be covered by certain families of disjoint paths, called VW-matchings, provided that L expands in R by a factor of (2−ε), for ε<1/23.
We investigate the space complexity of refuting 3-CNFs in Resolution and algebraic systems. No lower bound for refuting any family of 3-CNFs was previously known for the total space in resolution or for the monomial space in algebraic systems. We prove that every Polynomial Calculus with Resolution refutation of a random 3-CNF ϕ in n variables requires, with high probability, Ω(n/logn) distinct monomials to be kept simultaneously in memory. The same construction also proves that every Resolution refutation ϕ requires, with high probability, Ω(n/logn) clauses each of width Ω(n/logn) to be kept at the same time in memory. This gives a Ω(n2/log2n) lower bound for the total space needed in Resolution to refute ϕ. The main technical innovation is a variant of Hall's theorem. We show that in bipartite graphs G with bipartition (L,R) and left-degree at most 3, L can be covered by certain families of disjoint paths, called (2,4)-matchings, provided that L expands in R by a factor of (2−ε), for ε<231.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.