Vertex connecitivity incomplete (pun intended)

i like this post (click again to cancel)
1
i dont like this post (click again to cancel)

I am no graph theory expert, but the textbook I am learning from, and the Wikipedia article "Connecitivy (graph theory)" (which doesn't use my book as a reference, i.e., there are at least 2 books saying this) both say the vertex connectivity of a complete graph on n vertices is n-1. But, if you try to do graphs.CompleteGraph(whatever).vertex_connectivity(), it says

"There can be no vertex cut in a complete graph."

I looked at the code, and the fix is simple: Take

if g.is_clique():
    raise ValueError("There can be no vertex cut in a complete graph.")

and make it

if g.is_clique():
    return g.order()-1

But, I don't know how this fixing stuff works.

Second question, why does it return answers in the form 1.0 when the only possible values of this are integers?

Thirdly, there are a couple typos in the commenting of the code:

In a grid, the vertex connectivity is equal to the minimum degree, in which case one of the two sets it of cardinality 1::

should be "two sets IS of"

For directed graphs, the strong connexity is tested through the dedicated function::

I believe should be "strong vertex connectivity". Maybe connexity is okay but I am guessing it's a typo.

Fourthly, can we make "graph theory" a tag?

asked Oct 09 '11

G-Sage gravatar image G-Sage
281 1 9 24

updated Oct 09 '11

parzan gravatar image parzan
848 3 12 30
1

I retagged according to your last sentence - if you don't like it you can change it back. Currently there are "graph", "graphs" and "graph_theory" tags - perhaps they should all be merged.

parzan (Oct 09 '11)

@ parzan I'm a moron. Yea, thanks for doing that. They probably shouldn't be merged. If I think graph, there's the calculus meaning and the graph theory meaning. If my problem has to do with graph theory, I'd probably use graph theory. If I'm talking about the graph of some function, I'd probably use graph.

G-Sage (Oct 09 '11)

Oops, I am a moron for thinking that "graph" is only the combinatorist's graph :)

parzan (Oct 09 '11)

Maybe neither of us are morons :) Just little mistakes.

G-Sage (Oct 09 '11)
i like this answer (click again to cancel)
2
i dont like this answer (click again to cancel) G-Sage has selected this answer as correct

Helloooooooo !!!

My mistake, as usual :-)

So, to answer your points :

1) The connectivity of a clique on n vertices is n-1. Yes, you are right, all the textbooks say so, this is the convention, and I just thought that "it makes no sense to look for a vertex cut in a clique" when I coded this method. I'll fix that in a patch.

2) The answer returns 1.0 instead of the expected 1. The reason is that this method also handles weighted cut, but you are right when you say that it feels odd to get a non-integer value. This is actually fixed by patch 11367 which is waiting for a reiew right now. If you want to give it a review, it will finally be merged into Sage : I can write many patches but I can not review my own patches myself :-)

3) I will fix the typ in the same patch, Thanks !

4) Well, this is actually testing for strongconnectivity but I did not find it very hard, as this is what you expect to compute when you try to compute the connectivity of a directed graph. One can cast it to an undirected graph otherwise... Do you think it is a bad idea ?

Nathann

link

posted Oct 09 '11

Nathann gravatar image Nathann
315 1 10

For your number 4, perhaps it's my lack of expertise. After your reply, I do recall the notion of strong connectivity, so the word "vertex" that I put above does not belong. But, there is a typo still, I think, because it says "connexity" instead of "connectivity". Any way, thanks for making this function in the first place and thanks for continuing to work on it. It makes things really simple when I'm working on stuff and a large portion of what I want is built in.

G-Sage (Oct 09 '11)

@Nathann How do I review a patch?

G-Sage (Oct 09 '11)

I just updated the patch at this address : http://trac.sagemath.org/sage_trac/ticket/11910. I hope it fixes all the points you addressed ! The other patch I mentionned, 11367, just got reviewed by a colleague today, so only 11910 is left to check. Reviewing a patch is (at first) not trivial, so there is a manual for that just there : http://www.sagemath.org/doc/developer/. If you have any question, you can scream for help on the sage-devel google group or on our IRC channel http://www.sagemath.org/help-irc.html

Nathann (Oct 12 '11)

Your answer

Please start posting your answer anonymously - your answer will be saved within the current session and published after you log in or create a new account. Please try to give a substantial answer, for discussions, please use comments and please do remember to vote (after you log in)!
[hide preview]

Question tools

1 follower

Tags:

Stats:

Asked: Oct 09 '11

Seen: 87 times

Last updated: Oct 09 '11

powered by ASKBOT version 0.7.22
Copyright Sage, 2010. Some rights reserved under creative commons license.