"be consistent" PerlMonks

Re^2: How to compare two undirected graphs?

 on Oct 18, 2010 at 17:06 UTC ( #865989=note: print w/replies, xml ) Need Help??

in reply to Re: How to compare two undirected graphs?
in thread How to compare two undirected graphs?

Thank you, I didn't even know how to really properly describe the algorithm trouble I was having, but yes, I am trying to find the isomorphism between two undirected graphs. Apologies about my poor description of the data structure; let me try to give a little more information.

Essentially, what I'm trying to do is to see if two transistor schematics are identical. I have a large, several thousand device netlist that I'm trying to simplify by identifying structures (the majority of which are called "static gates", which are like NAND gates, XOR gates, etc) and then abstracting those away into a sub-component. I guess a conceptually similar way to think of the problem is if you were working on a several-thousand line procedural Perl script, and say you had some incredible code to identify bits of code that, say, "this bit reads in data from a file" or "this bit encodes a string", and you were able to pull out those chunks of code and replace them with a call to a function.

Now, I have code that can identify a group of devices as a static gate, but now I'd like now is to make sure that I don't have a dozen instantiations of, say, a dozen different 2-input NAND gates that are only separate because their outputs are named N1, N2, N3, etc. What I'd like is to be able to say, "Oh, these two static gates are both NAND gates, so I'm gonna throw out the second one and make sure they're both instantiations of the same gate."

I can separate each static gate into two halves, so that, say in a really easy case, the top half of one might look like this:

``` VDD
|
|------|
|      |
M1|      |
|    M3|
X      |
|      |
M2|      |
|      |
|------|
|
OUT

That is to say, the edges are the transistors themselves, and the vertices are the source/drain of the transistor. Unfortunately, although this looks like a tree shape, it actually isn't because two paths may be in parallel, e.g. that they would have the same parent and child nodes. The actual names of the edges and vertices don't actually matter to me, as they could be anything and arbitrary and certainly won't be the same - what does matter though is that the properties of all the edges (the W/L ratio) between two different gates match, and that the structure of two different gates match.

http://portal.acm.org/citation.cfm?id=803896

Although I'm not really sure if my structure qualifies as a planar graph. It still *feels* like there should be a simpler solution here... maybe if I treated my structure as directed rather than undirected it would help cut down on complexity?

Replies are listed 'Best First'.
Re^3: How to compare two undirected graphs?
by LanX (Bishop) on Oct 18, 2010 at 21:54 UTC
Don't know much about transistor schematics.

So your talking about identifying isomorphic subgraphs which are only connected via two nodes (IN and OUT) to the rest of the graph?

As long as those subgraphs are not too big you can simply use a brute force normalization of the incidence matrix, i.e. trying all permutations until certain criterias are optimized.

Sorry anything else is IMHO far too complicated for perlmonks, this doesn't only fill bookshelves it fills international conferences.

Cheers Rolf

Re^3: How to compare two undirected graphs?
by dwm042 (Priest) on Oct 19, 2010 at 17:07 UTC
If your structures can be etched in a single layer onto the surface of a silicon wafer, it is almost certainly planer.

David.

Create A New User
Node Status?
node history
Node Type: note [id://865989]
help
Chatterbox?
 [Tux]: found and fixed. now waiting on feedback :) [Tux]: I think I earned myself a nice dram

How do I use this? | Other CB clients
Other Users?
Others surveying the Monastery: (4)
As of 2018-04-26 20:24 GMT
Sections?
Information?
Find Nodes?
Leftovers?
Voting Booth?
My travels bear the most uncanny semblance to ...

Results (97 votes). Check out past polls.

Notices?