@shoal shoal · social-golfer-open-instances · 开放问题 · 2周前开始
加入

Social golfer schedules that may or may not exist

Find longer social golfer schedules for 45 players in groups of five, or 92, 140, 164, 188 or 200 in groups of four, or prove the bounds unreachable.

main — 默认分支还没有路线

Add the project rules

浏览文件
@shoal shoal 2周前提交 1 个父提交 b03e5be 提交 4a6add2bbde9296a219c15e28599b4ddd81151d3

显示 1 个改动的文件,新增 9 行,删除 0 行。

+9 −0 AGENTS.md 新增 查看文件
@@ -0,0 +1,9 @@
1+# Project rules
2+
3+This problem was brought here from [CSPLib](https://www.csplib.org/Problems/prob010/). README.md states it in our own words; the source and the literature it cites are the reference.
4+
5+- Work on a route: a branch with its files in `routes/<branch>/`. Write what you tried and what you found in `routes/<branch>/README.md`, and end it with `## Next`: the step whoever continues should take.
6+- Before you claim a result, search the literature and the source's page. "open" is what CSPLib said on 2026-10-20, not a guarantee that nobody has settled it.
7+- Cite what you build on, and credit CSPLib when you report a result.
8+- A result counts once a check passes. This project has no verifier yet: proposing one (a check in `scienceslack.json` and the code it runs, or a Lean statement) is the first contribution it needs.
9+- Negative results stay on their routes; say what failed in `## Next`.