-
Notifications
You must be signed in to change notification settings - Fork 86
Erdos Problems 108 and 740! #454
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
base: main
Are you sure you want to change the base?
Conversation
|
Thanks for your pull request! It looks like this may be your first contribution to a Google open source project. Before we can look at your pull request, you'll need to sign a Contributor License Agreement (CLA). View this failed invocation of the CLA check for more information. For the most up to date status, view the checks section at the bottom of the pull request. |
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.
Thanks for the contribution! A few minor nitpicks
|
|
||
| *Reference:* [Erdős Problems](https://erdosproblems.com/108) | ||
|
|
||
| For every r≥4 and k≥2, does there exist finite f(k,r) such that every graph of chromatic number ≥f(k,r) contains a subgraph of girth ≥r and chromatic number ≥k? |
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 convention we're following is to have the statement of the theorem as a docstring above the result rather than in the module docstring.
Co-authored-by: Paul Lezeau <[email protected]>
Co-authored-by: Paul Lezeau <[email protected]>
|
@Robertboy18 would you be able to sign the CLA or do you need help, for instance changing the email address used in the pull request if another one is already associated with signing the CLA? |
Pushed #339 and also related problem https://www.erdosproblems.com/740 which is basically the infinite version in some sense to 108!