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.
References
D. Angluin. On the complexity of minimum inference of regular sets. Inform. Control, 39:337–350, 1978.
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.
J. A. Aslam and R. L. Rivest. Inferring graphs from walks. In Proc. 3rd Workshop on Computational Learning Theory, pages 359–370, 1990.
M.R. Garey and D.S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman and Company, 1979.
E. M. Gold. Complexity of automaton identification from given data. Inform. Control, 37:302–320, 1978.
J. Haralambides, F. Makedon, and B. Monien. Badndwidth minimization: An approximation algorithm for caterpillars. Math. Systems Theory, 24:169–177, 1991.
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.
C. Papadimitriou and M. Yannakakis. Optimization, approximation and complexity classes. J. Comput. System Sci., 43(3):425–440, 1991.
C. H. Papadimitriou. Computational Complexity. Addison-Wesley Publishing Company, 1994.
V. Raghavan. Bounded degree graph inference from walks. J. Comput. System Sci., 49:108–132, 1994.
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.
Author information
Authors and Affiliations
Corresponding author
Editor information
Rights 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