Summary
Several problems are shown to be log space complete, when restricted to bandwidth f(n), for the subclass of NP defined by nondeterministic polynomial time bounded Turing machines with a simultaneous f(n) space restriction, denoted by NTISP(poly, f(n)). These problems are NOT-ALL-EQUAL 3SAT, MONOCHROMATIC TRIANGLE, CUBIC SUBGRAPH, DOMINATING SET, ONE-IN-THREE 3SAT and MONOTONE 3SAT. The problems DOMATIC NUMBER, PARTITION INTO FORESTS and DISJOINT CONNECTING PATHS restricted to bandwidth f(n) are shown to be log space hard for NTISP(poly, f(n)). Their membership in the class NTISP(poly, f(n)) is currently open. As one application of these results, we note that the first six of the problems mentioned are examples of NSPACE(log n) complete problems when restricted to bandwidth log n.
Similar content being viewed by others
References
Chung, M.J., Evangelist, W.M., Sudborough, I.H.: Some Additional Examples of Bandwidth Constrained NP-Complete Problems. Proceedings 15th Conference on Information Sciences and Systems. Baltimore, Md: Johns Hopkins University Press 1981
Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. San Francisco: Freeman 1979
Garey, M.R., Graham, R.L., Johnson, D.S., Knuth, D.E.: Complexity Results for Bandwidth Minimization. SIAM J. Appl. Math. 34, 477–495 (1978)
Garey, M.R., Johnson, D.S., Stockmeyer, L.J.: Some Simplified NP-Complete Graph Problems. Theor. Comput. Sci. 1, 237–267 (1976)
Garey, M.R., Johnson, D.S., Tarjan, R.E.: The Planar Hamiltonian Circuit Problem is NP-Complete. SIAM J. Computing 5, 704–714 (1976)
Gurari, E.M., Sudborough, I.H.: Improved Dynamic Programming Algorithms for Bandwidth Minimization and the Min-Cut Linear Arrangement Problem. J. Algorithms 5, 531–546 (1984)
Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation. Reading, Mass: Addison-Wesley 1979
Jones, N.D.: Space Bounded Reducibility Among Combinatorial Problems. J. Comput. Syst. Sci. 11, 62–85 (1975)
Monien, B., Sudborough, I.H.: Bandwidth Constrained NP-Complete Problems. Proc. ACM Theory of Computing Symp. pp. 207–217 1981 (To appear in Theor. Comput. Sci.)
Monien, B., Sudborough, I.H.: On eliminating nondeterminism from Turing machines that use less than logarithm worktape space. Theor. Comput. Sci. 21, 237–253 (1982)
Papadimitriou, C.H.: The NP-Completeness of the Bandwidth Minimization Problem. Computing 16, 237–267 (1976)
Rosenberg, A., Sudborough, I.H.: Bandwidth and Pebbling. Computing 31, 115–139 (1983)
Savitch, W.J.: Relationships between Nondeterministic and Deterministic Tape Complexities. J. Comput. Syst. Sci. 4, 177–192 (1970)
Schaefer, T.J.: The Complexity of Satisfiability Problems. Proc. 10th Annual ACM Theory of Computing Symp., Assoc. for Computing Mach., New York, pp. 216–226 (1978)
Sudborough, I.H.: Bandwidth constraints on problems complete for polynomial time. Theor. Comput. Sci. 26, 25–52 (1983)
Winklmann, K.: On Identifying Causes of Intractability. Technical Report, Computer Science Dept., Washington State University. Washington: Pullman 1983
Author information
Authors and Affiliations
Additional information
All of the authors were partially supported by NSF grants MCS 79-08919 and MCS 81-09280
Rights and permissions
About this article
Cite this article
Chung, M.J., Evangelist, W.M. & Sudborough, I.H. Complete problems for space bounded subclasses of NP. Acta Informatica 22, 379–395 (1985). https://doi.org/10.1007/BF00288774
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00288774