TY - GEN

T1 - Testing properties of constraint-graphs

AU - Halevy, Shirley

AU - Lachish, Oded

AU - Newman, Ilan

AU - Tsur, Dekel

PY - 2007

Y1 - 2007

N2 - We study a model of graph related formulae that we call the Constraint-Graph model. A constraint-graph is a labeled multi-graph (a graph where loops and parallel edges are allowed), where each edge e is labeled by a distinct Boolean variable and every vertex is associated with a Boolean function over the variables that label its adjacent edges. A Boolean assignment to the variables satisfies the constraint graph if it satisfies every vertex function. We associate with a constraint-graph G the property that consists of all assignments satisfying G, denoted SAT(G). We show that the above model is quite general. That is, for every property of strings P there exists a property of constraint-graphs PG such that P is testable using q queries if and only if PG is thus testable. In addition, we present a large family of constraint-graphs for which SAT(G) is testable with constant number of queries. As an implication of this, we infer the testability of some edge coloring problems (e.g. the property of two coloring of the edges in which every node is adjacent to at least one vertex of each color). Another implication is that every property of Boolean strings that can be represented by a Read-twice CNF formula is testable. We note that this is the best possible in terms of the number of occurrences of every variable in a formula.

AB - We study a model of graph related formulae that we call the Constraint-Graph model. A constraint-graph is a labeled multi-graph (a graph where loops and parallel edges are allowed), where each edge e is labeled by a distinct Boolean variable and every vertex is associated with a Boolean function over the variables that label its adjacent edges. A Boolean assignment to the variables satisfies the constraint graph if it satisfies every vertex function. We associate with a constraint-graph G the property that consists of all assignments satisfying G, denoted SAT(G). We show that the above model is quite general. That is, for every property of strings P there exists a property of constraint-graphs PG such that P is testable using q queries if and only if PG is thus testable. In addition, we present a large family of constraint-graphs for which SAT(G) is testable with constant number of queries. As an implication of this, we infer the testability of some edge coloring problems (e.g. the property of two coloring of the edges in which every node is adjacent to at least one vertex of each color). Another implication is that every property of Boolean strings that can be represented by a Read-twice CNF formula is testable. We note that this is the best possible in terms of the number of occurrences of every variable in a formula.

UR - http://www.scopus.com/inward/record.url?scp=34748854448&partnerID=8YFLogxK

U2 - 10.1109/CCC.2007.31

DO - 10.1109/CCC.2007.31

M3 - Conference contribution

AN - SCOPUS:34748854448

SN - 0769527809

SN - 9780769527802

T3 - Proceedings of the Annual IEEE Conference on Computational Complexity

SP - 264

EP - 277

BT - Proceedings - Twenty-Second Annual IEEE Conference on Computational Complexity, CCC 2007

T2 - 22nd Annual IEEE Conference on Computational Complexity, CCC 2007

Y2 - 13 June 2007 through 16 June 2007

ER -