-
Notifications
You must be signed in to change notification settings - Fork 47
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Implement DigraphIsKing and Digraph2Kings #521
base: main
Are you sure you want to change the base?
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This looks good, a few minor quibbles but other than those I'll be happy to merge.
<Oper Name="Digraph2Kings" Arg="D"/> | ||
<Returns>A list.</Returns> | ||
<Description> | ||
If <A>D</A> is a tournament then this operation returns a list of the |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
If <A>D</A> is a tournament then this operation returns a list of the | |
If <A>D</A> is a tournament, then this operation returns a list of the |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The documentation should probably say what happens when D
isn't a tournament, is an error thrown, or false
returned or an empty list?
<Description> | ||
If <A>D</A> is a tournament and <A>v</A> is a vertex in the tournament, | ||
then this operation returns <K>true</K> if every other vertex of <A>D</A> | ||
is reachable from <A>v</A> by a path of length at most <A>k</A>. Else, |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
is reachable from <A>v</A> by a path of length at most <A>k</A>. Else, | |
is reachable from <A>v</A> by a path of length at most <A>k</A>. Otherwise, |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The documentation doesn't correspond to the method implemented at present, it gives an error if D
is not a tournament. Please update the documentation to reflect this.
is reachable from <A>v</A> by a path of length at most <A>k</A>. Else, | ||
<K>false</K> is returned. <P/> | ||
|
||
If <K>true</K> is returned, then the vertex, <A>v</A>, is a k-king. <P/> |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
If <K>true</K> is returned, then the vertex, <A>v</A>, is a k-king. <P/> | |
If <K>true</K> is returned, then the vertex, <A>v</A>, is a <A>k</A>-king. <P/> |
2-kings in the tournament. If the tournament contains a source, then the | ||
source is the only 2-king (see <Ref Attr="DigraphSources"/>). The number | ||
of 2-kings in a tournament without a source is at least three. A tournament | ||
cannot have exactly two 2-kings. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
You could also please provide a cross reference in this manual entry to DigraphIsKing
, so that a reader who doesn't know what a 2-king is can easily access that information 🙂
Stale pull request message |
No description provided.