Freshman ICPC 2024

Host by CSIE Academic 47th

Judge

https://academic-judge.csie.ntu.edu.tw/

Problem content

Problem ID

• 2024[A-P]：正式賽題目
• test[A-Z]：測試用題目

branch 的命名請用年份加題號，例如 2024A、2024O。題目資料夾的命名請單用題號，例如 A、O。

What you need to do

git branch <PROBLEM_ID>
git checkout <PROBLEM_ID>
# do something
git add <something>
git commit 		# Commit on branch PROBLEM_ID
git push origin <PROBLEM_ID>

File Hierarchy

<PROBLEM_ID>
├── problem.json
├── subtasks.json
├── solutions.json
├── gen/
│   ├── Makefile
│   ├── manual/
│   │   ├── sample1.in
│   │   ├── sample2.in
│   │   └── ......
│   ├── gen.cpp
│   ├── data
│   └── ......
├── solution
│   ├── sol.cpp
│   ├── another_ac_sol.cpp (optional)
│   ├── wa_corner_case.cpp (optional)
│   ├── tle_infinite_loop.cpp (optional)
│   └── ......
├── scripts -> ../tps_scripts
├── statement
│   ├── description.md
│   ├── input.md
│   ├── output.md
│   ├── hints.md (optional)
│   └── ......
├── checker/ (optional)
└── validator/
    ├── Makefile
    └── val.cpp

反正就是 tps 格式，你可以直接複製 template 這個資料夾以獲得不需要 checker的題目格式，如果需要使用 checker，請複製 template_with_checker 這個資料夾。

以下簡單說明題目資料夾中每個東西的功用：

• problem.json: 大多數都不用動，只要改裡面的 code（改成 <PROBLEM ID>）跟 title（顯示在題目敘述的題目名稱）就好，如有需要的話可以改 time_limit（單位是秒）和 memory_limit（單位是 MiB）。
• subtasks.json：不用動。
• solutions.json：用來描述 solution/ 裡每個 solution 的預期 verdict，不用改也沒關係。
• gen/：用來放生測資相關的東西
  • Makefile：用來編譯出任何生成器，並以 .exe 為副檔名。
  • manual：用來放手生的測資。
  • gen.cpp：生成器的 code（也可以是別的檔名或有很多檔案），不一定要用 C++ 寫。
  • data：用來敘述該怎麼生成你的測資們，詳細的說：
    • gen 123 123 123 代表執行 gen.exe 123 123 123
    • QAQ qqqq 123 456 代表執行 QAQ.exe qqqq 123 456
    • 也就是說，工具會在第一個字串加上 .exe 後，把後面的東西當成 argument 貼在後面執行
    • 特別的是，以 manual 開頭的指令代表著直接複製在 manual 資料夾內手生的測資
    • 例如：manual sample1.in 代表這筆測資輸入是直接複製 manual/sample1.in。
• solution：用來存放任何解
  • sol.cpp：標準程式碼，如果你換了檔名，記得去 solutions.json 裡面改一下。
    • 注意到由於我懶得把它改成可以跑 C，所以 .c 是不能跑的，但請盡量讓純 C 可以不太麻煩地過。
  • 這個資料夾內可以放其他解、假解、驗題者的解……等等。
• statement：用來放題目敘述的地方，每個檔案分別對到 TIOJ 題敘的每個框框，Markdown 格式，支援 LaTeX。
• checker：放 checker 的地方，checker.cpp 是 checker 本人。（沒有 checker 就不需要有這個資料夾）
• validator：用來放測資檢查器.
  • Makefile：用來編譯出任何檢查器，並以 .exe 為副檔名。
  • val.cpp：檢查器的 code，不一定要用 C++ 寫，但如果你換了檔名，記得去 subtasks.json 裡面改一下。

一些可以參考的教學：

• 程式解題社 20240304 社課
• TPS document
• Briefly about testlib.h
• Polygon 使用指北（有一些 testlib 的使用教學）

如果你覺得以上的東西很麻煩，你可以：

• 把所有測資 input 檔案放進 manual，然後寫進 data 裡面。
• 把標程放在 sol.cpp。
• 強烈建議要有 validator，但如果你真的暫時不想寫，可以去 subtasks.json 裡把 global_validators 改成空的。

出題工具

如果你照著建議的格式出題，那可以在 Linux 環境下使用酷酷的工具幫助你測試：

如果你還沒安裝 TPS，可以打

bash -c "$(curl -fsSL https://raw.githubusercontent.com/ioi-2017/tps/master/online-installer/install.sh)"

如果有缺少的 package，反正就缺什麼裝什麼。

在你的 problem directory 裡面下：

tps gen

就會有測資被生出來。

在你的 problem directory 裡面下：

tps invoke ${path-to-code}

就可以在測資已經生好的前提下，對位於 path-to-code 這個路徑的程式碼進行測試。

格式檢查與自動上傳

只要題目 push 到這個 repo，所有有修改的題目資料夾就會被自動檢查格式並嘗試上傳到 judge，基本上只要按照上述的格式就沒問題。檢查和上傳成功與否會回報在 discord 系統頻道，同時附上執行紀錄。比較需要注意的是，如果你有自己編譯任何東西的執行檔，並且它沒有副檔名，請記得不要把它 push 上來。

通過格式檢查的題目會被自動上傳到 judge，每個題目在 contest_config.json 裡會有自己的設定，例如：

"template": {
    "auto-upload": true,
    "id": 1,
    "type": "test"
}

template 對應題目資料夾的名字。auto-upload 代表是否要自動上傳，取消的話不會上傳也不會檢查格式。type 有：

• test：純測試用題目。
• practice：測機用題目。
• contest：比賽題目。 id 代表在 judge 上的題目編號，這裡可以看到上傳到 judge 後你的題目應該要出現在哪一題。這個檔案應該已經寫好了，不需要自己去改。

如果你發現 discord bot 有收到你的 commit，但過很久之後 judge 上的題目都沒有更新，bot 也不講話，那可能代表：

• 跑一次 tps gen 要花太多時間（目前設的時限是 10 分鐘，超過應該不太正常）。
• tps gen 中有 fail。
• 自動上傳的 server 因為不明原因死了。

強制上傳

手動檢查題目資料夾格式並嘗試上傳到 judge。在 Discord 的系統頻道打

!force-update ${commit or branch} ${problem ID}

生題本工具

要生題本可以直接跑 statement/stategen.py，需要安裝 python typer 套件、pandoc、和 xelatex 。另一種選項是用 statement/stategen.sh，需要安裝 docker。

Python Script (stategen.py)

在要生題本的題目 tps gen 後在 repo 根目錄使用

python3 statement/stategen.py single ${problem id}

會在 ${problem id}/statement/ 裡生成一些 ${problem id} 這個題目的題本用的檔案：

• stategen.description.tex：將 description.md 直接轉成 tex。
• stategen.input.tex：將 input.md 直接轉成 tex。
• stategen.output.tex：將 output.md 直接轉成 tex。
• stategen.hints.tex（如果有 hints.md 的話）：將 hints.md 直接轉成 tex。
• stategen.info.tex：define 一些指令，包含一些題目資訊，有
  • \InfoProblemTitle
  • \InfoProblemTL
  • \InfoProblemML
  • \InfoProblemIndex：用 stategen.py single 的時候都是 A，用下面的 stategen.py contest 的話會照 contest_config.json 裡的順序，如果有題目沒資料夾的話它不會佔一個題號，所以有缺題時題號是錯的是正常的。
• stategen.samples.tex：每筆範測會有一行 \ProblemSample{../tests/XXX.in}{../tests/XXX.out}，所有 samples 裡的測資會被視為範測。
• statement.tex：實際上被編譯的檔案，預設會是 /statement/default_problem_statement.tex。這個檔案的所有部分都會直接 input 上述檔案，如果有部分需要寫死（例如 Markdown 轉 LaTeX 會轉爛）就直接在 statement.tex 寫死。不要直接改 stategen.*.tex 的內容。

然後 /statement/statement.tex 會被自動編譯，同一個資料夾裡也有一些 script 生出來的檔案：

• stategen.problem_list.tex：在一個 ProblemList environment 裡面，每個題目會有一行 \ProblemListEntry{${problem index}}{${problem title}}{${TL}}{${ML}}。
• stategen.problems.tex：每個題目會有一行 \Problem{${problem id}}。
• stategen.contest_info.tex：裡面會 define \ContestTitle 這個指令，contest title 與題目所屬的 contest（設定裡的 type）在 contest_config.json 裡設定。

大部分的格式設定都寫在 statement/statement.tex 裡，要改格式就是直接改這裡的。

其他可以用的指令：

• python3 statement/stategen.py all ${contest name}：生成所有 ${contest name} 這個 contest 裡的題目需要的題本檔案，然後直接去編譯 statement/statement.tex 就可以獲得這個比賽的題本。config 裡有但沒資料夾的題目會自動跳過，記得要先 tps gen 過所有題目。
• python3 statement/stategen.py clean-single ${problem id}：把 stategen.*.tex 刪掉
• python3 statement/stategen.py clean-all ${contest name}：把 stategen.*.tex 刪掉

Docker

不想裝套件的話可以用 Docker container，把上面任意一行的 python3 statement/stategen.py 換成 ./statement/stategen.sh 就可以了。第一次下載 texlive docker image 的話需要下載約 2.27 GB 的檔案。

Credit

• 這份文件抄自過去的新生盃 ICPC repo，感謝過去的負責人。