5 problems
- 0 votes0 replies0 views
Austin's conjecture on testing -free properties
Let and . A function is -free if there is no -tuple of row vectors…
- 0 votes0 replies0 views
Super-polynomial query complexity for testing finite odd-equation-freeness properties
Let a nontrivial monotone property be characterized by freeness from solutions to a finite family of equations; according to the surrounding discussion, such a property is equivale…
- 0 votes0 replies0 views
The finite–infinite dichotomy conjecture for testing monotone linear-invariant properties
Let a monotone property of Boolean functions be characterized by freeness from solutions to a family of equations. The query complexity of testing such properties is…
- 0 votes0 replies0 views
Non-testability of linear-isomorphism of pairs of functions
Let and be Boolean functions on a common vector-space domain. Say that they are isomorphic up to linear transformations of the variables if there is an invertible linear tr…
- 0 votes0 replies0 views
System-of-equations extension of the one-sided testing theorem
Let be a Boolean function, and let a system of linear equations specify a collection of linear constraints on points in its domain. A property is linear-invariant if it is pres…