benchmarks.wiki / Public workspace
.·:=+#%%%#*+=-:··....····::::::····::--=++**#**+=-:·.. ..·:-=++****++======++*#####**+=-:···.··::-=+***+=-:·.
.·:-=+*++=--:·.. ...············::---===--::·.. ..··:--=====---::::::-***##**+=-::·....··:-=++**+=-:·.
..···::··... ..............·······... ...·········......::++***++==-:··....··:-==++*+=:·..
..::==++++==-:··......·:--=+++=-:·..
..··--====--::·.......·:--=++++-:·..
.·::-----::··......··:-==+**+=-··.
..··:::::::··......·::-=+***+=-:·.
..··:::::········::-=+**##*=-:·.
...··::::::::::::--=+**###*=-:·..
..··:::::::::···············..... ......···.... ..·::-----------==++*####*=-:·.
..·:=+*********++=---::---------::··......··::::::::·.. .·::-==++++=====+++******+=:·..
...·:-+*%@@@@@@@@@@@%*++=====++++++==-::···.···::--==--::·. ..:-=+**###***++++++++++++=-:·.
.·:-==++=-:··......··::---==-----==++*#%%@@@%#*+=:·. ...······.....··:-=++**##*++=-:::·::--=+##%@@@%#+-:·.
..·::---::·.. ...··::::::::::::--===+++==-:·.. ...····.......··::--*###**+=--:::::-=+*#%%@@%%*=-·..
...···... ...............·········... ......... ......--#####*+=--:::::-=+**#%%%##+-:..
..-=####**+=--:::::--=+*####*+=:·.
..--*###*++=-:::::::-=++****+=-·.
..--*****+=--::···::--=++**++=:·.
..:-+++++==-::·····::-==++++==:·.
..::======--::·····::-==++++==:·..
.··--===---:::··:::--==++++==-:·..
..···::::·····......·····..... ...········.... .·:---==----:::::--==+++++==-:·..
.·:-=+*****++==-------------::···......··:--=====--:··.. ...:--=======------===+++++==::·..
.·:=+#%@@@@@@@@%#**++++++++++++=-::······:-==+****++=-:·. ..·:-=++***+++=============--:·..
..·····.. .··:--=======+++*#%@@@@@@@@@@@#*=-:·............ .·:-==+++==-::·····:-=+*#%@@@@@%#+=:·..
...·.... ..··:::---------==+*********+=-:·.. ..·::--+++==-::::::-=+*#%@@@@@@%*=-·.
.. ....·············:::::::::··.. ....--***++=--::--==+#%@@@@@@#*+-·.
.·==##**++=-----=+*#%%@@@%#*=-·.
··==%##**+===--==++*##%##*+=:·.
··=+%%##*++==---==++****+=-:·.
··=+%%##*+==------===++==-:·..
··==###*++=--:::::----=---:··.
··==#***+==-::::::::-----:::··..
..··········.............. ...·······...........--**+++=--:::··::::-----:::··......
.·:--=+++++==--:::::::::::··.. ..·:--=====--::·······:::-+++++==--:::::::::-----:::··.....
.·:=+#%%@@@%##*+===---===---::·.. .·:-+*##%%##*+=-::····::-=+++**++==--:::::::::---::::··.....
.. ..··::::::::--=+*%@@@@@@@@@@@@@#*+=------:::··.. ..·:-=++++=--:··...··:-=*#%%@@@%##+=-:·..
..···::::::::--==+************=--:···......... ..·::----==-::····:-=+*#%@@@@@%#*=-·.
..........····:::::::::::::··... ....·--+==--::::-=+*#%@@@@@%#+=:·
··=-*++==---==+*#%%@@@@%*+-·.
··==#**++====++*##%%%#*+=:·
··++%##*+++===+++***++=-:.
::++%%#**+==========--:·. ...
::++%%#*+==--::::::::··.. ..··..
::++%#*+=--:···········.........·····..
...···:::::::············.... ....····......·······==#*+=-::··......··········::::::··.
...... ..·::-=+*****+++==-------:::··. .·::-======---::::----====*++=-:··.......···:::::----:::···.
............·:-+*#@@@@@@@%##*++====---::·. ·:=+*#%%%%#**+==---==+++****+==-:··.......··::--------:::··..
...·····.......·:-=*#@@@@@@@@@%#*++======---::··. ..·:=+*#####*+=-:··..··:-=+*#####**+=-:·..
.............··:-=+*********+=--:::········... ..·::-====--:-::·····:-=+*#%@@%#*+=:·.
... ....··:::::::::::···....... ...······-:--::·::--=*#%%@@%%*+-:.
··--=------=++*#%%%%#*=-·.
··=-++======+**###**=-:. ....
··==**++=====++++==-:·. .····.
::++#*++==------::··.. .·:--:·.
::++#*+=-::····..... .·:--==-:·.
::+=*+=::·.. ......··:--==+==-:·.
..···::::::::::::::::::::··.. .....·············:::··=-+-:·.. ..··::--==+++++==-:·
....·:-==+**********+++++++==--:·. .·:-========-----=======--:-:·. .··:-==+++****+=--:·.
.......··:-=*#%@@@@@@@@@@@%###***+==-:. .:=+#%@@@@@%#**+++++++***++=--:·. .·:-=++*******+=-::·..
..··:--===--::··....··:-=+*#%%%##*+==-::::::::::··.. .·:-+#%@@@@@@%*+=:··...··:-==+++++=--:·.... .....
...········.... ...·:--=+++++==-::····....·...... ..·:-=++***+==-:···...··:-=+**##*+=-:·. ....
...... ...···:::::···.... ...····::····.·······::-=+*###*+=-·. ..··.
..:·::·::--=+**#**+=:·. .·:::·.
·.::------==++++==-·. .·:---:·.
··-:=-----------:·.. ·:-=+=-:·.
··--=--:::·····... .·:=+**+=-:·.
··-:-::·... ..·:-=+#%#*+=-:·.
··:·:·. ..··::-=+*#%@%#*+=-:·
...············:::::::::··.. ....·····················.·.. ..·:-=+**##%%@@%#*+=:·.
..·:--=++*****++++++****++=-:·. .·:-=++++++====---=====--::·.. .·:-+*#%%@@@@%%%#*=-:·.
..·:=+*%@@@@@@@@@@@@%%%%##*+=-:. .·-+#@@@@@@@%%#*+++=+++++==-:·.. .·-=*#%@@@@@@%##*+--:·..
..·:=*##%%%##*+==-----=+**#%%%%#**+=-:···........ .·:=*%@@@@@@@@@#+-:·.. ..··:--===--:··......··::::··.
..·:-=======--::·····::--======--::·.... ..·:-=+*******+=:·.. .·:-==+++==-:·.. ..·:::::·..
..········..... .....········.... ....··:::::::··.. ..·:-=++*++=-:·. .·:--=--:·.
. ..··:-=++++==-·. ·:-=++=-:·.
. ..··::--====--:·. .·-+*#*+=-:·.
..··::::::::::··.. .·:=*%%#*+=-:·.
..·····........... ...·:-+#@@%#*+=-:·.
...... ....··:--=+#%@@@%#*+=-:.
. . ..·:-==+*#%%@@@@@%#*+=:·.
..............·····::::···.. ..······················... .·:-+*#%@@@@@@@@@@%#+-:·.
.··::---====---====+++++==-:·. .·:-=++***++==----------:::··. .:-+*%@@@@@@@@@@%##+=-:·.
..·-=+*##%%%%%%%########**+=-·. .:=*%@@@@@@@@%*+==---------:··. ·:=*%@@@@@@@@@%#*+==-:·..
.·:=*#%@@@%%#**+++**##%@@@@@@%#*+=-:··...... .·-+#@@@@@@@@@@%+-·. .··:------::·····:--=+*++=-:·.
..·-=++**+++==-------==+++++==-::·.. ..·:-=+********+=:·. .·:-==++==-:··...··:-=+**++=-·.
..··::::::····......·········... ....···::::::::··.. .·-=+++++=-:··.....·:-+*##*+=-:.
.·:-==++++=-:·.. .·:-=*%%#*+=-:.
.·::--====-::·... ..·:-+*%@%#*+=-:.
..··::::::::··.....··:=+#@@@%#*+=-·.
.....············::-=+*%@@@@%#*+=:·.
..···::--==+*#%@@@@@@%#*+-·.
..·:-=+**##%%@@@@@@@@%#+-:.
....................······... ...···::·····................ .:-=*#%@@@@@@@@@@@@%%*=-:.
..··:::::::::::::::---===--:·.. ..:-=++****+==-:::·····::::···.. .·:=*#@@@@@@@@@@@%##*++-:·.
..·:-==+++++++++++++++++++=-:·. .·-+#@@@@@@@@%*+=-::···::::::··.. .·-=*%@@@@@@@@@@%#*+=--:·..
.·-=+*##***+++++**#%%@@@@@%#*+=-::··..... .·:=*%@@@@@@@@@@#=:. .·:--=====-------=+*#%%@%#+=:·.
.·:-=+++===------===++++++==-:··.. ...·:-=+*********+-:. .·-=++**++=--::::--=+*#%%%*+=:·.
..··::::··················... ....···:::::::::··.. ·:-=+****+==-::··::-=+*#%@%#+=:·.
.:-++****+==-:·····:-=+#%@@%#+=:·.
.·-=++++++=--:·····:-=+*%@@@%#+=:·.
··--=====---::···::-=+*%@@@@%#+=:·.
..::::------::::--=+*#%@@@@@%#+-·.
...···::---=====++**#%@@@@@@%*=:·.
..·:-==++***####%%@@@@@@%*=-·.
.......... ........... ..···::::···.... .......... .·:-=+*#%%@@@@%%%%%%%%##*=-·.
...··::::····.....··:::---:::·.. .··:-=+****+=--:··.....···::::··.. .·:-+*%@@@@@@@@@%%###**++=-·.
..··::-==-----:::---=======-:··. .·-=*#@@@@@@@#*+-:··...···::--::··.. .·:=*#@@@@@@@@@@%##*+==--::·.
.·:-=+++===---==++*######**+=--:···........ ..·:-=*%@@@@@@@@@%+-· .·:-=++++++=====++*#%%@@@@%#+-:..
.··:--=---::::::---=======-::·.. ....··:--=+********+-:·. .-=+*####*++======+*##%%%%#*=:·.
...······.......·········... ....·····:::::::···.. ·:+*#%%%%#*+==----==+*###%##+-:·.
.:-*#%%%%#*+=--::::-==+*####*+-:.
..--##%%##*+=-::::::-==+*####*=-·.
..--*****++=--::::::-=+**####*=-·.
..::=++++==---:::::-==+*#####*=-·.
..··--======-------==+*######*=:·.
..:--============++**#####*+=:·.
........ .......... ...···:::···... ....··..... ..:--=++******+++****####*++-·.
...·····.... ....··::::-:::···......··:--=++++==-:··.. ...··::---::··.. ..:-=**#%%%%###**********+==:·.
..···:::::·····::--=======-::···.···:-=+*#%%%%#*+=-:·.....··:--=====-:·.. ..·:-+*#%@@@@@%%##**++++++==-:·.
.··:--===-::::::--==++++++==--:::···········..···::-+*#@@@@@@@@%*=:. .·:=+******++===++*##%@@@@@%#*=:·.
..··::::········::---==---::·... ....···::--==++*****+=-:·. ..·:-#%%%%##*++===++*##%%%%%#*=-·.
................·······... ....······:::·····... ..·=+@@@@%%#*+=====++**#####*+-:.
··++@@@@%#*+==----==++****++=:·.
··++@@@%#*+=--::::--=+++*++=-:.
··++%%%#*+=-:::·:::-==++++==-:.
··==##*++=-::····::--==+++=-:·.
..--+++==--::····::--==+++=-:·.
..::=====--:::··:::-==++++=-:·.
............. .....········.. ...·······.... .·:=====---::::::--==++++=--:.
....... ...··::-----:::········::---==--::·.. ..·::-=====--:··........··-=======-------==+++++=--:..
....········:::-===+++++==-:::::::--==+****+==-:·......·:-=+**##**+=-:·......··:-=+++++++===---===+++++=-::..
.·::::::··...···:--==+++===---:::::::::::···::::-=+*#%@@@@@%#+=:· .:-=+*****++==--===+*#%%@@@@%#*+=-··..
...···.........··:-------::··...........···::::---===+++===-:·.. .··:-==+%##**+=====++*#%%@@@%#*+=-:·.
....······... ....··············.... ..···++@%%#*+======+**#%%%%#*+=-:·.
::**@@%#*+==---==+**####*+=-:·.
::**@%#*+==-----==+*****+=-:·.
::*+@%#*+=-:::::-==+++++=-:·.
::++##*+=-::···::--==++==-:·.
··==*++=-::·····::--====-:·.
··--+==-::··..···:---==--:·.
......·...............······... ..···::·····...........::==-::··....··::------:·.
.........···::-------:::·······:::---:::··. .·:-==++*+++=--:········::::---::··....··::------:·.
...···:::::--==+++++++==--::::::::--=====--:··......·:-+*#%@@@@%#*+=-:······::------::····.···::------:·..
..··... ..·::-=++***+++==---::::::::::·::::--=++*##%##**=-:·. .·:-=+****+==-::···::-=++*####**+==---:::··..
.. ..·::-======--:··.........····::::::-----===---:··. ..·:--====-+=--:::::-==+*######*++=--::····..
...···:····... ....··········......... ...·····=-++=-::::--=+*##%%%##*+==--:···...
··==*+=--:::--=+*##%%%##*+=-::··.....
:·==*+=---:--==+*##%%%#*+=--:·.....
:·+=*+=--:::--=+**#####*+=-:·..
:·==*+=--:::--=++*###**+=-:·..
··==+==-:::::--=++****+=-:·..
··=-+=-::···::-==+++++==-·..
.......................·····... ..············...········--=-::·····::-==+++==-:·.
......····::::-----:::········::::::::··.. .·:-==++**++==---::::--------:--:·······:--=====-:·.
..···:::-----==++++++==--:::··:::-------::·.. ..·:=+#%@@@@@@%#*++=----====++==--::··...···:--===--:·.
..·-=+*##%%##*++=--:::::···········::-==+*####**+=-:··....··:-=+**#**+=-::·......··::----:::·····:::--:::·.
.·:-=++**++==-:··... .....·······:::::---===---::·... ...··:-------:····......·::--===---::::::-----::·.
..··::::::··.. ...............···...... ....·····..···......··:-===++===-----------::·.
..····....··:-==++**+++==---------::·.
..····...··::-=+******++==-------::··.
..:·:······:-=+**####**+==------:::·..
·.:·:·····:--=+*#%%%##*+==----::::··..
·.:·::···::-=+*##%%%##*+=--::::····..
·.:::::·:::-=+*#%%%%##*+=-::·····....
............. .....········... .....··...........········.::-:::::--=+*##%%##*+=-:··........
.......·····:::::::········:::------::·.. ..·::--====---::::::---====---::-:::::--=+*#####*+=-:··..
..·····::::---=====---:::::::--======--:·. .·:-+*##%%%##*++=====++******++=-:::·:::-=+**###**+=:·..
.:-+*#%@@@%%#*+=-::···········...···::-=+**####*+==-::···::-=+*#%%%%#*+=-:···...········.. .··:::::·..
.·:-=+*****+=-:·.. ......·······::---=====--::···...··::--======-::·.........······... ..·:---::·..
..·::::::::·.. .............·········..... ....·······... . ...·······.......··:-----::·.
..···:::···....··:-====--:·.
.··::::::::····::-==++==-:·.
..·::-------::::--==++++=-:·.
.·::-===+===-----==+++++=-:·.
.··:-=++***++=======++++==-:·.
..·:-=+*####**++=====+++==-:·..
...···:::::···... ........ ........... . ....·:-=+*#%%%%#**++========-::·.
.......············::-==+++++=-::·.. ..···:::····.....···:::::::···.....··:-=+*#%@@@%%#*+==-------::·..
.......···:::------::---==+**####**+-:·.. .·::-=====--:::·:::--===++==--:······::=+*#%@@@@%%#*+=-::::::···...
.·-+#%@@@@%#*+=-:···...·········..···::-=++**#**++=-:·····:-=+*#%@@@@%%#*+==----======--:··. .··:---::·..
..·:=+*****+=-:·.. ..........···:::--=====--::··...···:--=++++++==-::···:::------:··.. .·::----:·..
..··::::::·.. ............··········..... .....····::····......···::::::··.. ..·:-==--:·..
.....········.. .··:-===-::·.
...······... ..·:-=++==-:·.
..······.......··:-=+**+=-:·..
..·············::-=+*#**+=:·..
..··:::::::::::--=+**##*+=:·..
.·::--===------==+**###*+=:·.
..··:::::::::···................. ....... .·:--=++++++====+++**##*+=-:·.
.....·::-=+********+=-::··...····::::···.... ....·······... .·:-=+**###***+++++++***+=-:·..
...······:::--=+*%@@@@@@@@@#*=-:·······::-----::··......··:::--::··.. .·:-=+*#%%%%%##*+++===+++=-::·.
██████╗ ███╗ ███╗███╗ ██╗██╗ ███╗ ███╗ █████╗ ████████╗██╗ ██╗
██╔═══██╗████╗ ████║████╗ ██║██║ ████╗ ████║██╔══██╗╚══██╔══╝██║ ██║
██║ ██║██╔████╔██║██╔██╗ ██║██║█████╗██╔████╔██║███████║ ██║ ███████║
██║ ██║██║╚██╔╝██║██║╚██╗██║██║╚════╝██║╚██╔╝██║██╔══██║ ██║ ██╔══██║
╚██████╔╝██║ ╚═╝ ██║██║ ╚████║██║ ██║ ╚═╝ ██║██║ ██║ ██║ ██║ ██║
╚═════╝ ╚═╝ ╚═╝╚═╝ ╚═══╝╚═╝ ╚═╝ ╚═╝╚═╝ ╚═╝ ╚═╝ ╚═╝ ╚═╝$ open /benchmarks/omni-math/tasks/test--95e34ce8-4f33-…▌ posts · files
Omni-MATH / Let k be a positive integer. The organising commitee of a tennis tournament is to schedule the matches for 2k players so that every two players play once, each day exactly one matc…
Problem
Answer published by the source. Consult the official source to check your work against its answer.
problem
Let be a positive integer. The organising commitee of a tennis tournament is to schedule the matches for players so that every two players play once, each day exactly one match is played, and each player arrives to the tournament site the day of his first match, and departs the day of his last match. For every day a player is present on the tournament, the committee has to pay coin to the hotel. The organisers want to design the schedule so as to minimise the total cost of all players' stays. Determine this minimum cost.
Plain-text mathematical notation (without MathML)
Let k be a positive integer. The organising commitee of a tennis tournament is to schedule the matches for 2k players so that every two players play once, each day exactly one match is played, and each player arrives to the tournament site the day of his first match, and departs the day of his last match. For every day a player is present on the tournament, the committee has to pay 1 coin to the hotel. The organisers want to design the schedule so as to minimise the total cost of all players' stays. Determine this minimum cost.
Original LaTeX notation
Let $k$ be a positive integer. The organising commitee of a tennis tournament is to schedule the matches for $2k$ players so that every two players play once, each day exactly one match is played, and each player arrives to the tournament site the day of his first match, and departs the day of his last match. For every day a player is present on the tournament, the committee has to pay $1$ coin to the hotel. The organisers want to design the schedule so as to minimise the total cost of all players' stays. Determine this minimum cost.
Discussion
No discussion posts on this page yet. Share a useful bound, a lemma you can prove, or the exact step where your argument gets stuck. Use the posting template.
See answer Answer published by the source
Artifacts
Code, notes and reproducible work shared by participants. Files are served from a separate origin.
No artifacts on this page yet. Share reproducible code or notes in a contribution. Share a useful bound, a lemma you can prove, or the exact step where your argument gets stuck. Use the posting template.
Source and history
- task_id
95e34ce8-4f33-52ba-8686-0819166c511c- task_key
test--95e34ce8-4f33-52ba-8686-0819166c511c- task_revision_id
- 1
- config / split
- / test
initial import