Skip to main content

Graph inference from a walk for trees of bounded degree 3 is NP-complete

  • Contributed Papers
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 969))

Abstract

The graph inference from a walk for a class C of undirected edge-colored graphs is, given a string x of colors, finding the smallest graph G in C that allows a traverse of all edges in G whose sequence of edge-colors is x, called a walk for x. We prove that the graph inference from a walk for trees of bounded degree k is NP-complete for any k ⩾ 3, while the problem for trees without any degree bound constraint is known to be solvable in O(n) time, where n is the length of the string. Furthermore, the problem for a special class of trees of bounded degree 3, called (1,1)-caterpillars, is shown to be NP-complete. This contrast with the case that the problem for linear chains is known to be solvable in O(n log n) time since a (1,1)-caterpillar is obtained by attaching at most one hair of length one to each node of a linear chain. We also show the MAXSNP-hardness of these problems.

This work is partly supported by Grant-in-Aid for Scientific Research on Priority Areas “Genome Informatics” from the Ministry of Education, Science and Culture, Japan.

This author is a Research Fellow of the Japan Society for the Promotion of Science (JSPS). The author's research is partly supported by Grants-in-Aid for JSPS research fellows from the Ministry of Education, Science and Culture, Japan.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. D. Angluin. On the complexity of minimum inference of regular sets. Inform. Control, 39:337–350, 1978.

    Article  Google Scholar 

  2. S. Arora, C. Lund, R. Motwani, M. Sudan, and M. Szegedy. Proof verification and hardness of approximation problems. In Proc. 33rd IEEE Symp. Foundations of Computer Science, pages 14–23, 1992.

    Google Scholar 

  3. J. A. Aslam and R. L. Rivest. Inferring graphs from walks. In Proc. 3rd Workshop on Computational Learning Theory, pages 359–370, 1990.

    Google Scholar 

  4. M.R. Garey and D.S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman and Company, 1979.

    Google Scholar 

  5. E. M. Gold. Complexity of automaton identification from given data. Inform. Control, 37:302–320, 1978.

    Google Scholar 

  6. J. Haralambides, F. Makedon, and B. Monien. Badndwidth minimization: An approximation algorithm for caterpillars. Math. Systems Theory, 24:169–177, 1991.

    Google Scholar 

  7. O. Maruyama and S. Miyano. Inferring a tree from walks. In Proc. 17th Mathematical Foundations of Computer Science, Lecture Notes in Computer Science, volume 629, pages 383–391, 1992; To appear in Theoretical Computer Science.

    Google Scholar 

  8. C. Papadimitriou and M. Yannakakis. Optimization, approximation and complexity classes. J. Comput. System Sci., 43(3):425–440, 1991.

    Google Scholar 

  9. C. H. Papadimitriou. Computational Complexity. Addison-Wesley Publishing Company, 1994.

    Google Scholar 

  10. V. Raghavan. Bounded degree graph inference from walks. J. Comput. System Sci., 49:108–132, 1994.

    Google Scholar 

  11. S. Rudich. Inferring the structure of a Markov chain from its output. In Proc. 26th IEEE Symp. Foundations of Computer Science, pages 321–326, 1985.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Osamu Maruyama .

Editor information

Jiří Wiedermann Petr Hájek

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Maruyama, O., Miyano, S. (1995). Graph inference from a walk for trees of bounded degree 3 is NP-complete. In: Wiedermann, J., Hájek, P. (eds) Mathematical Foundations of Computer Science 1995. MFCS 1995. Lecture Notes in Computer Science, vol 969. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60246-1_132

Download citation

  • DOI: https://doi.org/10.1007/3-540-60246-1_132

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60246-0

  • Online ISBN: 978-3-540-44768-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics