Abstract
We establish strong connections between the non-emptiness of intersection problem for two and three DFA’s over a binary alphabet and the triangle finding and 3sum problems. In particular, we introduce efficient reductions from triangle finding to non-emptiness of intersection for two DFA’s over a binary alphabet and from 3sum to non-emptiness of intersection for three DFA’s over a binary alphabet. Additionally, in our main result, we show that for every \(\alpha \ge 2\), non-emptiness of intersection for three DFA’s over a unary alphabet can be solved in \(O(n^{\frac{\alpha }{2}})\) time if and only if triangle finding can be solved in \(O(n^{\alpha })\) time.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
Additional hardness results were shown in [3].
- 3.
Each path corresponds with an ordered pair of vertices where the underlying vertices are adjacent in G.
- 4.
This follows because \(m = O(n^2)\) for all graphs with n vertices and m edges.
- 5.
This intuition was communicated to the second author from Michael Blondin.
- 6.
The segment may be empty.
- 7.
Zero is permitted to have either sign.
- 8.
The authors would especially like the thank Joseph Swernofsky for advice and feedback that helped in obtaining this result as well as Ronald Fagin for some early feedback and encouragement.
- 9.
Such integers exist because for every n, there exist powers of 2, 3, and 5 in [n, 5n].
References
Abboud, A., Williams, V.V.: Popular conjectures imply strong lower bounds for dynamic problems. In: 2014 IEEE 55th Annual Symposium on Foundations of Computer Science (FOCS), pp. 434–443. IEEE (2014)
Backurs, A., Indyk, P.: Edit distance cannot be computed in strongly subquadratic time (unless SETH is false). In: Proceedings of the Forty-Seventh Annual ACM Symposium on Theory of Computing, STOC 2015, New York, NY, USA, pp. 51–58. ACM (2015)
Fernau, H., Krebs, A.: Problems on finite automata and the exponential time hypothesis. In: Han, Y.-S., Salomaa, K. (eds.) CIAA 2016. LNCS, vol. 9705, pp. 89–100. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-40946-7_8
Gajentaan, A., Overmars, M.H.: On a class of \(O(n^2)\) problems in computational geometry. Comput. Geom. 5(3), 165–185 (1995)
Huang, X., Pan, V.Y.: Fast rectangular matrix multiplication and applications. J. Complex. 14(2), 257–299 (1998)
Karakostas, G., Lipton, R.J., Viglas, A.: On the complexity of intersecting finite state automata and NL versus NP. Theor. Comput. Sci. 302(1), 257–274 (2003)
Kasai, T., Iwata, S.: Gradually intractable problems and nondeterministic log-space lower bounds. Math. Syst. Theor. 18(1), 153–170 (1985)
Kozen, D.: Lower bounds for natural proof systems. FOCS 77, 254–266 (1977)
Lange, K.-J., Rossmanith, P.: The emptiness problem for intersections of regular languages. In: Havel, I.M., Koubek, V. (eds.) MFCS 1992. LNCS, vol. 629, pp. 346–354. Springer, Heidelberg (1992). https://doi.org/10.1007/3-540-55808-X_33
Rabin, M.O., Scott, D.: Finite automata and their decision problems. IBM J. Res. Dev. 3, 114–125 (1959)
Schneider, S.: Fine-grained connections between exponential and polynomial time. Ph.D. thesis, University of California, San Diego (2017)
Stockmeyer, L.J., Meyer, A.R.: Word problems requiring exponential time: preliminary report. In: Proceedings of the 5th Annual ACM Symposium on Theory of Computing, 30 April – 2 May 1973, Austin, Texas, USA, pp. 1–9 (1973)
Todd Wareham, H.: The parameterized complexity of intersection and composition operations on sets of finite-state automata. In: Yu, S., Păun, A. (eds.) CIAA 2000. LNCS, vol. 2088, pp. 302–310. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-44674-5_26
Wehar, M.: Hardness results for intersection non-emptiness. In: Esparza, J., Fraigniaud, P., Husfeldt, T., Koutsoupias, E. (eds.) ICALP 2014. LNCS, vol. 8573, pp. 354–362. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-43951-7_30
Wehar, M.: On the complexity of intersection non-emptiness problems. Ph.D. thesis, University at Buffalo (2016)
Williams, R.: A new algorithm for optimal 2-constraint satisfaction and its implications. Theor. Comput. Sci. 348(2), 357–365 (2005). Automata, Languages and Programming: Algorithms and Complexity (ICALP-A 2004)
Williams, V.V.: Multiplying matrices faster than coppersmith-winograd. In: Proceedings of the Forty-fourth Annual ACM Symposium on Theory of Computing, STOC 2012, pp. 887–898. ACM, New York (2012)
Williams, V.V.: Hardness of easy problems: basing hardness on popular conjectures such as the strong exponential time hypothesis (invited talk). In: Husfeldt, T., Kanj, I. (eds.) 10th International Symposium on Parameterized and Exact Computation (IPEC 2015), Volume 43 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 17–29. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl (2015)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
de Oliveira Oliveira, M., Wehar, M. (2018). Intersection Non-emptiness and Hardness Within Polynomial Time. In: Hoshi, M., Seki, S. (eds) Developments in Language Theory. DLT 2018. Lecture Notes in Computer Science(), vol 11088. Springer, Cham. https://doi.org/10.1007/978-3-319-98654-8_23
Download citation
DOI: https://doi.org/10.1007/978-3-319-98654-8_23
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-98653-1
Online ISBN: 978-3-319-98654-8
eBook Packages: Computer ScienceComputer Science (R0)