Search

In this paper, a compressed membership problem for finite automata, both deterministic (DFAs) and non-deterministic (NFAs), with compressed transition labels is studied. The compression is represented by straight-line programs (SLPs), i.e. context-free grammars generating exactly one string. A novel technique of dealing with SLPs is employed: the SLPs are recompressed, so that substrings of the input word are encoded in SLPs labelling the transitions of the NFA (DFA) in the same way, as in the SLP representing the input text. To this end, the SLPs are locally decompressed and then recompressed in a uniform way. Furthermore, in order to reflect the recompression in the NFA, we need to modify it only a little, in particular its size stays polynomial in the input size. Using this technique it is shown that the compressed membership for NFA with compressed labels is in NP, thus confirming the conjecture of Plandowski and Rytter (Jewels Are Forever, pp. 262-272, Springer, Berlin, ) and extending the partial result of Lohrey and Mathissen (in CSR, LNCS, vol. 6651, pp. 275-288, Springer, Berlin, ); as this problem is known to be NP-hard (in Plandowski and Rytter, Jewels Are Forever, pp. 262-272, Springer, Berlin, ), we settle its exact computational complexity. Moreover, the same technique applied to the compressed membership for DFA with compressed labels yields that this problem is in P, and this problem is known to be P-hard (in Markey and Schnoebelen, Inf. Process. Lett. 90(1):3-6, ; Beaudry et al., SIAM J. Comput. 26(1):138-152, ). [ABSTRACT FROM AUTHOR]

This paper continues the STACS contribution by Diekert, Ushakov, and the author as well as the IJAC publication by the same authors. We extend the results published there in two ways. First, we show that the data structure of power circuits can be generalized to work with arbitrary bases q≥2. This results in a data structure that can hold huge integers, arising by iteratively forming powers of q. We show that the properties of power circuits known for q=2 translate to the general case. This generalization is non-trivial and additional techniques are required to preserve the time bounds of arithmetic operations that were shown for the case q=2. The extended power circuit model permits us to conduct operations in the Baumslag-Solitar group BS(1, q) as efficiently as in BS(1,2). This allows us to solve the word problem in the generalization H(1, q) of Higman's group in polynomial time. The group H(1, q) is an amalgamated product of four copies of the Baumslag-Solitar group BS(1, q) rather than BS(1,2) in the original group H= H(1,2). As a second result, we allow arbitrary numbers f≥4 of copies of BS(1, q), leading to an even more generalized notion of Higman groups H(1, q). We prove that the word problem of the latter can still be solved within the ${\mathcal {O}}(n^{6})$ time bound that was shown for H(1,2). [ABSTRACT FROM AUTHOR]