-
as seen on Game Development
- Search for 'Game Development'
Essentially, this is a variation of Comparing Two Tree Structures, however I do not have "trees", but rather another type of graph.
I need to know what kind of Graph I have in order to figure out if there's a Graph Isomorphism Special Case...
As you can see, they are:
Not Directed
Not A Tree
Cyclic
Max…
>>> More
-
as seen on Stack Overflow
- Search for 'Stack Overflow'
Hello
I was wondering if anyone knows about a solution to the following problem:
Given a graph g as query and a set of graphs B with connection rules R. The connection rules describe how two graphs out of B can be linked together. Linking points are marked vertexes. Find all combination of graphs…
>>> More
-
as seen on Stack Overflow
- Search for 'Stack Overflow'
This a NP Complete problem. More info can be found here
http://en.wikipedia.org/wiki/Subgraph_isomorphism_problem
The most widely used algorithm is the one proposed by Ullman. Can someone please explain the algorithm to me. I read a paper by him and couldn't understand much.
Also what other algorithms…
>>> More
-
as seen on Stack Overflow
- Search for 'Stack Overflow'
Hi.
Could you please explain me what is the basic connection between the fundamentals of logical programming and the phenomenum of syntatic similarity between type systems and conventional logic?
>>> More
-
as seen on Stack Overflow
- Search for 'Stack Overflow'
I came upon the Curry-Howard Isomorphism relatively late in my programming life, and perhaps this contributes to my being utterly fascinated by it. It implies that for every programming concept there exists a precise analogue in formal logic, and vice versa. Here's an "obvious" list of such analogies…
>>> More