Skip to content
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

add method to compute the length of a tree-decomposition #36705

Merged
merged 6 commits into from Dec 10, 2023

Conversation

dcoudert
Copy link
Contributor

Given a graph G and a tree-decomposition T of G, the length of the tree-decomposition T is the maximum diameter in G of its bags, where the diameter of a bag X_i is the largest distance in G between the vertices in X_i.

We add a method to compute the length of a given tree-decomposition of a graph.

📝 Checklist

  • The title is concise, informative, and self-explanatory.
  • The description explains in detail what this PR is about.
  • I have linked a relevant issue or discussion.
  • I have created tests covering the changes.
  • I have updated the documentation accordingly.

⌛ Dependencies

@dcoudert dcoudert self-assigned this Nov 11, 2023
@vbraun vbraun force-pushed the develop branch 4 times, most recently from 23f6715 to e349b00 Compare November 12, 2023 20:04
@dcoudert
Copy link
Contributor Author

The macro looks good in the documentation preview.

Copy link

Documentation preview for this PR (built with commit 7fcc517; changes) is ready! 🎉

Copy link
Collaborator

@kwankyu kwankyu left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks. LGTM.

@dcoudert
Copy link
Contributor Author

Thank you.

vbraun pushed a commit to vbraun/sage that referenced this pull request Dec 7, 2023
…ition

    
Given a graph `G` and a tree-decomposition `T` of `G`, the _length_ of
the tree-decomposition `T` is the maximum _diameter_ in `G` of its bags,
where the diameter of a bag `X_i` is the largest distance in `G` between
the vertices in `X_i`.

We add a method to compute the _length_ of a given tree-decomposition of
a graph.

### 📝 Checklist

<!-- Put an `x` in all the boxes that apply. -->
<!-- If your change requires a documentation PR, please link it
appropriately -->
<!-- If you're unsure about any of these, don't hesitate to ask. We're
here to help! -->
<!-- Feel free to remove irrelevant items. -->

- [x] The title is concise, informative, and self-explanatory.
- [x] The description explains in detail what this PR is about.
- [ ] I have linked a relevant issue or discussion.
- [x] I have created tests covering the changes.
- [x] I have updated the documentation accordingly.

### ⌛ Dependencies

<!-- List all open PRs that this PR logically depends on
- sagemath#12345: short description why this is a dependency
- sagemath#34567: ...
-->

<!-- If you're unsure about any of these, don't hesitate to ask. We're
here to help! -->
    
URL: sagemath#36705
Reported by: David Coudert
Reviewer(s): David Coudert, Kwankyu Lee
@vbraun vbraun merged commit d628002 into sagemath:develop Dec 10, 2023
20 checks passed
@mkoeppe mkoeppe added this to the sage-10.3 milestone Dec 10, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants