Ask Your Question
1

Graph minors in programming

asked 2011-05-13 12:01:03 +0100

G-Sage gravatar image

updated 2011-10-11 09:38:29 +0100

Hello

In a program I am writing, I need to know whether or not one graph is a minor of another, True or False. The function g.minor(h) returns the parts of g that are the minor h, if it exists, something like this:

{0: [2], 1: [1], 2: [0], 3: [3, 6], 4: [4], 5: [5]}

UPDATE: I think I can handle this but I'm sure it's not the best way, so any help is still appreciated. By doing L = g.minor(h) and then testing if len(flatten(L.values())) > 0, I will get True if h is a minor of g (or so it seems).

If no such minor exists, it throws an error. To be specific, it says "Traceback", then several lines of stuff I don't get at all, and then "ValueError: This graph has no minor isomorphic to H !". I don't know how to deal with either of these situations really. Can you help me out? Again, I just want True in the first case and False in the second case for programming purposes, as in graph theory knowing if a graph has another graph as a minor is very important in many instances.

I am using Version 4.6 (since I am a Windows user), in case that matters.

Thanks for any help!

edit retag flag offensive close merge delete
add a comment

1 Answer

Sort by ยป oldest newest most voted
4

answered 2011-05-13 12:25:07 +0100

DSM gravatar image

The "Traceback" bits are showing you the code near where the uncaught exception was raised. Typing "Graph.minor??" will show you the whole code.

In Python, you can catch an exception by using a try/except pair. So one way to write a function that does what you want is: 

def has_minor(G, H):
    try:
        m = G.minor(H)
        return True
    except ValueError: 
        return False


sage: has_minor(graphs.CompleteGraph(4), graphs.DurerGraph())
False
sage: has_minor(graphs.DurerGraph(), graphs.CompleteGraph(4))
True

The above calls the minor function, and tries to put that result into m. If that function succeeds, then it found a minor, and so we return True. On the other hand, if the .minor(H) call didn't succeed, then it jumps to the "except ValueError:" branch and returns False instead. The tutorial on exceptions is pretty good in explaining how the control flow works.

This isn't necessarily the most efficient way, but it should get the job done.

edit flag offensive delete link more

Comments

This worked and is very simple! This is very helpful. Thanks.

G-Sage gravatar imageG-Sage ( 2011-05-13 12:58:08 +0100 )edit
add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

subscribe to rss feed

Stats

Asked: 2011-05-13 12:01:03 +0100

Seen: 949 times

Last updated: May 13 '11

Related questions

Graph minor code (too slow in certain situations) Sage 4.6

Cython command 'gcc' failed with exit status 1

A programing question

Different errors

float numbers error?

Computing Variational Derivatives

any way to turn off error msg when I catch the errors?

Bug in Graph.girth in 4.7.2 ?

Call C/C++ Code

Trouble getting notebook to work

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
about | faq | help | privacy policy | terms of service
Powered by Askbot version 0.7.59