Skip to content

Conversation

@plby
Copy link
Contributor

@plby plby commented Jan 25, 2026

These two sequences (which are nearly identical) are the function $f(p)$ in the problem.

@teorth
Copy link
Owner

teorth commented Jan 26, 2026

Can't merge directly due to conflicts between the statistics files, so I am adding the data in a separate commit.

@teorth teorth closed this Jan 26, 2026
@plby
Copy link
Contributor Author

plby commented Jan 26, 2026

The merging issues seems to be a common problem. Is there anything I can do on my end? I'll try disabling the thing that generates the statistics files and such, I guess?

@teorth
Copy link
Owner

teorth commented Jan 26, 2026

I'm not sure why it is only your PR's that are generating this issue, but I think you might be able to propose edits directly on the website of the repository (starting at https://github.com/teorth/erdosproblems/blob/main/data/problems.yaml and selecting the edit button) without going through git directly.

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants