BibSonomyburst/user/diego_ma/algorithmBibSonomy RSS feed for /user/diego_ma/algorithm2012-02-16T16:30:21+01:00http://www.bibsonomy.org/bibtex/210dc5894dcaaf52087bfd2374d849c66/diego_madiego_ma2009-02-12T00:26:08+01:00graph_isomorphism directed_graph_isomorphism search_tree clique_detection subgraph_isomorphism algorithm game_tree clique subgraph graph isomorphism tree_search asynchronous_sequential_circuits special_purpose_computer digraph_isomorphism logic-in-memory_arrays Boolean_matrices parallel_processing array_processing <span class="authorEditorList"><a href="/author/Ullmann">J.R. Ullmann</a> </span><em>Journal of the ACM</em> <em>23(1):31-42</em> (<em>1976</em>)Thu Feb 12 00:26:08 CET 2009Journal of the ACM131-42An Algorithm for Subgraph Detection231976graph_isomorphism directed_graph_isomorphism search_tree clique_detection subgraph_isomorphism algorithm game_tree clique subgraph graph isomorphism tree_search asynchronous_sequential_circuits special_purpose_computer digraph_isomorphism logic-in-memory_arrays Boolean_matrices parallel_processing array_processing Subgraph isomorphism can be determined by means of a brute-force tree-search enumeration procedure. In this paper a new algorithm is introduced that attains efficiency by inferentially eliminating succesor nodes in the tree search. To assess the time actually taken by the new algorithm, subgraph isomorphism, clique detection, graph isomorphism, and directed graph isomorphism experiments have been carried out with random and with various nonrandom graphs. A parallel asynchronous logic-in-memory implementation of a vital part of the algorithm is also described, although this hardware has not actually been built. The hardware implementation would allow very rapid determination of isomorphism.