Skip to content

feat(ErdosProblems): 184#2287

Open
danielchin wants to merge 3 commits intogoogle-deepmind:mainfrom
danielchin:erdos-184
Open

feat(ErdosProblems): 184#2287
danielchin wants to merge 3 commits intogoogle-deepmind:mainfrom
danielchin:erdos-184

Conversation

@danielchin
Copy link
Contributor

Closes: #410

Formalizes Erdos Problem 184: https://www.erdosproblems.com/184

Assisted by Gemini/Antigravity

@github-actions github-actions bot added the erdos-problems Erdős Problems label Feb 14, 2026
Copy link
Collaborator

@mo271 mo271 left a comment

Choose a reason for hiding this comment

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

Thanks!

@danielchin
Copy link
Contributor Author

I actually rewrote this quite a bit so it matches the big O notation more closely and the rest of the statements more closely.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

erdos-problems Erdős Problems

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Erdős Problem 184: decompose graph in linear number of cycles and edges

2 participants