Property testing and its connection to learning and approximation
Journal of the ACM (JACM)
Griebach normal form transformation revisited
Information and Computation
Journal of the ACM (JACM)
The Tree-to-Tree Correction Problem
Journal of the ACM (JACM)
On the Robustness of Functional Equations
SIAM Journal on Computing
Robust Characterizations of Polynomials withApplications to Program Testing
SIAM Journal on Computing
Regular Languages are Testable with a Constant Number of Queries
SIAM Journal on Computing
Testing Membership in Languages that Have Small Width Branching Programs
SIAM Journal on Computing
Edit Distance with Move Operations
CPM '02 Proceedings of the 13th Annual Symposium on Combinatorial Pattern Matching
A sublinear algorithm for weakly approximating edit distance
Proceedings of the thirty-fifth annual ACM symposium on Theory of computing
Testing that distributions are close
FOCS '00 Proceedings of the 41st Annual Symposium on Foundations of Computer Science
Word problems requiring exponential time(Preliminary Report)
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
On the Resemblance and Containment of Documents
SEQUENCES '97 Proceedings of the Compression and Complexity of Sequences 1997
ω-Regular languages are testable with a constant number of queries
Theoretical Computer Science
Tolerant property testing and distance approximation
Journal of Computer and System Sciences
The string edit distance matching problem with moves
ACM Transactions on Algorithms (TALG)
Property Testing of Regular Tree Languages
Algorithmica
The equivalence problem for regular expressions with squaring requires exponential space
SWAT '72 Proceedings of the 13th Annual Symposium on Switching and Automata Theory (swat 1972)
Tree acceptors and some of their applications
Journal of Computer and System Sciences
Hi-index | 0.00 |
Inspired by property testing, for every $\varepsilon0$ we relax the classical satisfiability $U\models F$ between a finite structure $U$ of a class $\mathbf{K}$ and a formula $F$, to a notion of $\varepsilon$-satisfiability $U\models_{\varepsilon}F$, and relax the classical equivalence $F_1\equiv F_2$ between two formulas $F_1$ and $F_2$ to $\varepsilon$-equivalence $F_1\equiv_{\varepsilon}F_2$. We consider strings and trees with the norm of the edit distance with moves, and show that, unlike their exact counterparts, these approximate notions can be efficiently decided. We use a statistical embedding of words (resp., trees) into $\ell_1$, which generalizes the original Parikh mapping, obtained by sampling $O(f(\varepsilon))$ finite samples of the words (resp., trees). We give a tester for equality and membership in any regular language, in time independent of the size of the structure. Using our geometrical embedding, we can also test the equivalence between two regular properties over words, defined by regular expressions or monadic second-order formulas. Our equivalence tester has polynomial time complexity in the size of the automaton (or regular expression), for any fixed $\varepsilon$, whereas the exact version of the equivalence problem is PSPACE-complete. We also prove versions of some of these results for trees, but with worse time complexity. Last, we extend the geometric embedding, and hence the testing algorithms, to infinite regular languages and to context-free languages. For context-free languages, the equivalence tester has an exponential time complexity for any fixed $\varepsilon$, whereas the exact version is not even decidable.