5473 search results - page 26 / 1095 » On the graph isomorphism problem |
116
click to vote
TGC
2010
Springer
14 years 9 months ago
2010
Springer
We define an algebraic theory of hierarchical graphs, whose axioms characterise graph isomorphism: two terms are equated exactly when they represent the same graph. Our algebra can...
APAL
2008
14 years 12 months ago
2008
The characterization of second-order type isomorphisms is a purely syntactical problem that we propose to study under the enlightenment of game semantics. We study this question i...
DM
2002
14 years 11 months ago
2002
106
click to vote
JCT
2010
14 years 10 months ago
2010
Abstract. A graph is connected-homogeneous if any isomorphism between finite connected induced subgraphs extends to an automorphism of the graph. In this paper we classify the cou...
AIR
2006
14 years 12 months ago
2006
Abstract We describe an instance-based reasoning solution to a variety of spatial reasoning problems. The solution centers on identifying an isomorphic mapping between labelled gra...