国际信息学奥林匹克竞赛 2014（IOI 2014）全体大会（General Assembly）
2014年7月13日至20日，台湾台北举行的会议纪要
委员会名单
IOI 主席（President of IOI）
- Richard Forster（英国）
执行主席（Chair of IOI）
- Greg Lee（台湾）
GA 大会主席（Chair of GA）
- Tei-Wei Kuo（台湾）
执行总监（Executive Director of IOI）
- Madhavan Mukund（印度）
国际委员会（IC）
主席
- Richard Forster（英国）
委员
- Bakhyt Matkarimov（哈萨克斯坦）
- Eslam Wageed（埃及）
- Krešimir Malnar（克罗地亚）
- Greg Lee（台湾）
- Mārtiņš Opmanis（拉脱维亚）
- Mohammad Ali Abam（伊朗）
- Peter Taylor（澳大利亚）
- Ricardo Anido（巴西）
- Valentina Dagienė（立陶宛）
- Vladimir Kiryukhin（俄罗斯）
国际科学委员会（ISC）
主席
- Fredrik Niemelä（瑞典）
ITWG 主席
- Martin Mareš（捷克）
委员
- Ali Sharifi Zarchi（伊朗）
- Artem Iglikov（哈萨克斯坦）
- Benjamin Burton（澳大利亚）
- Jakub Łącki（波兰）
- Pang-Feng Liu（台湾）
- Pavel Mavrin（俄罗斯）
1. 欢迎致辞
- Greg Lee欢迎GA成员出席IOI 2014。
- Tei-Wei Kuo教授作为IOI 2014大会主席向GA作了介绍。
2. 缺席说明
收到阿尔巴尼亚和科威特的缺席通知。
3. GA议程的提出与确认
GA会议议程已获批准。
4. 投票监票人的任命
按照IOI惯例，提议并批准由出席的历任IOI主席担任监票人。
5. 竞赛规程
- Pang-Feng Liu作为东道主SC主席被介绍给大会，他介绍了竞赛规程的新特性。
- 将支持C++11。
- 由于所有题目均采用完整反馈，参赛者在评测器上运行测试的接口已被禁用。
- 所有学生都将收到题目说明的印刷版，包括英文版及翻译成其首选语言的版本。学生可以使用其他国家制作的翻译，但需经过制作该翻译的国家批准此请求的流程。
- 已提供赛前练习，用于熟悉CMS和翻译系统。
- 整场竞赛期间均允许提出澄清请求。问题将通过提供给领队和副领队的平板电脑上的IOI应用程序转达，也可通过传真发送至IOI会议厅。竞赛期间将不使用CMS内置的澄清系统。
- 竞赛规程经全体一致通过。
6. IC和ISC候选人提名征集
- 本届IOI期间将填补以下职位：IOI主席、IC一个职位和ISC一个职位。
- 执行董事宣布，所有三个职位的提名截止时间为第二竞赛日前GA会议开始时。
7. 确认往届GA会议纪要（IOI 2013）
IOI 2013的GA会议纪要经GA全体一致确认通过。
8. IOI学术会议详情
GA获悉，信息学奥林匹克竞赛学术会议将与两个竞赛日同期举行，地点在领队和副领队住宿的酒店。所有投稿报告均安排在第一天。会议第二天为一场特邀报告。其后，David Ginat的投稿报告因其行程安排改至第二天。
9. 练习赛引发的问题
- 有报告称竞赛大厅内存在开放的无线网络。东道主SC澄清，竞赛计算机上的WiFi已被禁用，只能通过管理员权限启用。
- 有人指出，可以通过在打印件中间插入伪造的封面页，将打印件转送给其他参赛者。解决方案是使用一种未公开的不同标志来识别封面页。
- 有人请求为使用外接键盘的参赛者提供额外的桌面空间。东道主SC回应称，由于竞赛大厅的布局限制，此事无法实现。
10. 第一竞赛日题目展示
- 东道主SC主席Pang-Feng Liu展示了第一竞赛日选定的三道题目。
- 收到一项重大异议，针对题目《墙》（Wall），认为这是一道"简单题目"，必定曾在其他地方使用过。东道主SC表示，该题并不像看上去那么简单，且未发现其曾在任何其他竞赛中使用。
- GA以压倒性多数投票接受整套题目，无反对票，一票弃权。
11. 第一竞赛日报告
- 竞赛准时开始。
- 共有310名正式参赛者，以及来自东道主第二支队伍的4名额外成员。竞赛期间共有4075次提交，其中包括320次编译错误。
- 评测系统有2台物理服务器，每台机器上运行4个CMS服务器。共有40个工作进程用于评测提交，平均同时使用8至12个工作进程。
- 试卷出现了一些小问题：
- 一个国家的参赛者信封中没有正确的翻译。只有一名参赛者要求提供翻译的印刷版，并在12分钟内送达。
- 两个国家报告称CMS中的电子版翻译比印刷版更旧。所幸过时版本明显不完整且陈旧。
- 竞赛大厅的一个区域网络曾短暂中断，原因是一名参赛者不慎用脚碰到并重置了一台网络交换机。
- Pascal评测器报告了一些问题。学生机器上的示例评测器（而非服务器上的）存在一些漏洞，会报告比实际得分更乐观的结果。该问题在竞赛结束前已修复。据悉只有7名参赛者使用Pascal。
- 有投诉称成绩与分析环节开始较晚，且竞赛测试数据直到该环节很晚才提供。东道主SC承诺在第二竞赛日纠正此问题。
12. 第一竞赛日书面申诉摘要
第一竞赛日的申诉如下：
- 捷克共和国报告了第三起CMS中试卷电子版比印刷版更旧的情况。ISC和东道主SC认为无需采取任何行动。
- 斯洛文尼亚指出，倒计时时钟上有一个带引信的巨大炸弹图标，请求移除该图标，因为它使学生感到紧张。东道主SC承诺照办。
- GA接受了ISC对申诉的裁决。
13. 第二竞赛日题目展示
- 有人对题目《假期》（Holiday）提出重大异议，理由是其子任务2与IOI 2012所用练习题《旅行计划》（Tourist Plan）完全相同。异议还称同样的思路可用于解决子任务3。
- 东道主SC承认《旅行计划》是子任务2的超集，但不同意对子任务3的评估。东道主SC表示，这是题组中最难的题目，鉴于第一竞赛日满分人数众多，倾向于不舍弃该题。
- 就此问题进行了讨论。ISC提议删除子任务2，并将分数重新分配给其他题目。另一建议是保留该子任务但降低其分值。一些代表团认为应保留该子任务，因为它对解答后续子任务具有教学上的帮助。
- ISC组织的非正式投票显示，多数意见为保持题目说明不变。就以现有形式接受该题进行了正式投票。动议获通过：赞成54票，反对15票，弃权3票。
- 有人对《朋友》（Friends）的子任务5提出重大异议，因其标准解法基于二分图匹配，而该知识点在IOI大纲中被标记为"明确排除"。
- 就该子任务和大纲进行了长时间讨论。
- ISC主张，下一个子任务的解法无需二分图匹配，因此存在不需要二分图匹配的完全正确解法。但ISC承认，ISC和东道主SC目前尚无任何不使用二分图匹配的子任务5独立解法。
- ISC试图澄清IOI大纲中"明确排除"一词的含义。与会者一致认为，按现有表述其意图并不清晰，大纲将更新以澄清该术语。
- 就是否删除子任务5并将分数重新分配给其他子任务进行了非正式投票，投票结果反对该提议。
- 讨论结束后，就不作任何修改保留该题进行了正式投票。赞成51票，反对15票，弃权5票。
- 关于是否删除《朋友》子任务5的非正式投票存在一些混乱。就删除子任务5并将分数重新分配给其他子任务的提案进行了正式投票。该提案被GA否决：赞成删除子任务22票，反对删除子任务43票，弃权8票。
- 题目《缆车》（Gondola）仅收到次要异议，该题经GA投票接受：赞成69票，反对0票，弃权4票。
- 在三道题目均逐一接受后，整套题目经GA接受。
14. 第二竞赛日报告
- 竞赛准时开始，进行顺利。
- 竞赛期间发现《缆车》子任务3的测试数据较弱。有人提议使用更强的测试数据重新评测提交，但最终决定不这样做。
15. 第二竞赛日书面申诉摘要
第二竞赛日的申诉如下：
- 加拿大投诉《朋友》的示例评测器和实际评测器未将内部变量声明为static。这对加拿大造成了轻微影响，但没有其他相关投诉。
- 《朋友》的一次最后时刻提交未被评测。日志显示该提交未进入评测系统。无论如何，事后证明该提交得分为0。
- 《假期》子任务2的两个测试用例不符合题目说明中给出的约束条件。ISC和东道主SC提议在剔除这两个测试用例后重新评测所有提交。GA投票接受该提议（赞成50票，反对1票，弃权11票）。 就一名参赛者应获得的分数进行了长时间讨论：该参赛者此前在子任务2上错失了23分，重新评测后将获得这些额外分数。获得这23分的那次提交未能正确解决子任务1。然而，同一参赛者另有一次独立提交在子任务1上获得7分。GA同意ISC和东道主SC的意见，即该参赛者本可以轻易地将两次提交合并为一次同时解决两个子任务的提交，并建议在重新评测后授予该参赛者30分。 投票后宣布，此次重新评测使一个原本无奖牌的分数超过了铜牌分数线。这也意味着，目前并列于铜牌最后名次的三名学生将全部失去铜牌，因为规定获得奖牌的学生不得超过50%。
16. 主席报告
主席报告的重点是向GA成员介绍国际委员会（IC）的工作性质。
- IC议程的主要事项之一是审查未来东道主的筹备工作，目的是在问题出现之前发现问题，并提醒东道主注意需要解决的事项。
- 此外，IC还评估新国家的申请，并邀请符合条件的国家作为观察员。
- IC处理的另一事项是审查规章，并不时提出可能需要的修改，以反映IOI在发展过程中的变化。
17. 执行董事报告
- 执行董事职责的一个重要方面是协调IOI组织各部门——IC、ISC、东道主——之间的沟通，并接收和回应IOI社区以外关于参赛、规章及其他事项的咨询。
- 执行董事和主席一直在协助现任东道主澄清与本届IOI有关的咨询。
- 已收到多个希望以观察员身份参赛的新国家的请求。在与这些国家协调获取必要详情后，已与IC进行了讨论。今年，两个新国家——多米尼加共和国和菲律宾——获批观察员身份。
- 还收到了一些潜在未来东道主的咨询。执行董事负责协调整理正式申办材料供IC讨论，并在未来东道主选定后跟进正式函件往来。
18. IC和ISC候选人介绍
- 以下候选人在截止日期前提交了提名：
- 主席：Krassimir Manev（保加利亚）
- IC（一个职位）：Ben Burton（澳大利亚）
- ISC（一个职位）：Michal Forišek（斯洛伐克）、Fredrik Niemelä（瑞典）、Richard Peng（加拿大）
- 所有候选人均有机会向GA做自我介绍。主席候选人有5分钟的介绍时间，IC和ISC候选人各有2分钟。所有候选人在提名表上提供的信息均已分发给GA。
19. ISC和ITWG报告
ITWG主席Martin Mareš因健康原因未能出席IOI 2014。ISC主席Fredrik Niemelä报告了ISC和ITWG两方面的工作。
- ISC评估了IOI 2015东道主提出的于2015年将Java引入为正式语言的提案。
- 这将为科学委员会增加一些工作。需要额外提供一套标准解法，评测器也需要扩展以支持新语言。对领队而言，将多出一份接口说明需要翻译。
- 在技术层面，反对Java的理由是其效率较低且更难沙箱化。然而，ISC用Java编写了IOI 2013题目的解法，发现Java的速度与可接受的C++解法中较慢者相当。此外，沙箱运行正常，且Java已在其他竞赛中使用。
- 最终技术评估认为，Java不算太慢，可以在不设置单独时间限制的情况下纳入。Java往往使用更多内存，因此命题时不应设置非常紧的内存限制。
- 因此，ISC的结论是Java应作为正式语言纳入IOI，与Pascal、C和C++具有同等地位。这意味着所有题目都应能用这四种语言中的任何一种在规定限制内完全解决。
- 就此话题进行了一些讨论：
- 东道主SC和ISC应保证每道题目都存在Java的完全正确解法。
- 有意见认为对Java的兴趣正在减弱。也有人担心引入Java会给本已繁重的东道主SC和ISC工作再添负担。ISC指出，其在IOI 2013后开展的问卷调查显示，将Java纳入IOI的意愿不容忽视。
- 一些国家指出Java的计时并不确定，垃圾回收等外部因素可能影响运行时间。
- 关于允许使用哪些Java库以及这是否公平，提出了若干意见和问题。ISC回应称，Pascal与C++用户之间已存在此类问题。不过，命题时应注意复杂库的可用性。
- 与会者同意将该提案付诸投票。总体上，GA批准了在IOI 2015纳入Java的决定：赞成44票，反对10票，弃权11票。
- ISC提议加强ITWG，该工作组目前仅有一名成员，即ITWG主席。需要更强大的ITWG以便：
- 改善对IOI所遇技术问题的组织记忆；
- 为东道主制定技术检查清单；
- 维护和开发通用软件——特别是题目包格式及配套的验证基础设施；
- 建立一个收录IOI题目的在线评测系统。
- 提案为将ITWG扩展为与ISC平行的国际技术委员会（ITC），其结构与ISC相同，包含从IOI n−1届至IOI n+2届的东道主代表，以及由ISC任命的至多3名独立成员。
- ITC提案已与IC讨论。正式设立ITC需要对规章进行不小的修改。
- 为加快进程，ISC请求GA允许设立为期一年的临时ITC，以协助IOI 2015。ISC将汇报其经验。经过一两年的试验，预计可形成ITC的稳定架构。
- GA投票批准为IOI 2015试验性设立ITC（赞成63票，反对1票，弃权6票）。
- IOI 2013问卷调查的结果将在网上公布。
- 俄罗斯就题目档案提出问题，指出各东道主公布的材料存在差异。一些东道主公布题目说明和测试输入/输出，但不公布评测器或解法。应就公布内容制定指导原则。 ISC原则上同意，但尚未就此进行详细讨论。
- 波兰建议建立一个训练网站，特别是针对非标准题目。 ISC回应称此事已在规划中，但尚未着手进行。
20. 上一年度财务报告
IOI司库Eljakim Schrijvers提交了上一年度财务报告。
- 与往年一样，分配给ISC和ITWG的预算未被使用，因为ISC和ITWG成员能够自行承担费用。按照往年惯例，这笔款项在账目中列为已支出，并以ISC和ITWG成员所属母机构赞助的形式在财务报告中予以抵销。
- 原计划于2013–2014年举办的IOI研讨会未举行。
- IOI 2014学术会议特邀报告人的差旅资助将计入2015年账目，因为该支出发生在本次报告的财务年度结束之后。
- 其他所有支出均符合预算。
- 财务报告由Ries Kock领导的GA审计小委员会完成审计，审计员确认账目准确无误，并对司库的工作给予肯定。
21. 下一年度预算及IOI 2015注册费
Eljakim Schrijvers提交了下一年度预算。
- 考虑到接任主席和执行董事职位的新人选所在地，两者的差旅预算有所增加。
- 通讯预算增至3,000欧元。
- 批准了2,000欧元的预算，用于使现场直播更加专业。这笔款项将主要用于设计更好的记分板。
- IOI研讨会预算予以结转。来自马其顿的Mile Jovanov承诺组织一次研讨会。
- IOI 2015注册费维持200欧元不变。
- 预算和注册费经GA批准：赞成64票，反对0票，弃权0票。
22. 规章变更
Richard Forster介绍了规章的修改。
- 多项修改已在IOI 2013期间获原则性批准：
- 规章中所有关于赞助人委员会（Board of Patrons）的提法将被删除。关于特邀嘉宾的规定也将作相应改写。
- 将增加一项条款，要求东道主向ISC和执行董事办公室提供所有参赛者的最终成绩，以及关于题目和子任务得分的所有支持数据。
- 司库职位将在规章中得到确认，明确该职位的职责，并对规章中现有的各项财务相关条款作适当修改。
- 目前仅针对有n个（n>1）职位的选举所描述的赞成投票程序，将扩展适用于GA对具有n个选项的事项的所有投票。
- 奖牌分配算法将正式纳入规章。 与这些事项有关的正式规章修改已于IOI 2014开始时提交GA，并获全体一致批准。
提出了一项涉及A3.13的新规章修改。现行规章中A3.13的第三项规定：
ISC成员（包括增补成员）在看过题目后不得与参赛者接触。他们有义务对IOI题目说明及所有相关材料保密，直至其在IOI上公布；
与会者认为，关于不得与参赛者接触的规定不切实际，也无法执行。为此，提议将该条款改为以下版本：
ISC成员（包括增补成员）在看过题目后，不得培训（潜在）参赛者，亦不得从事任何导致题目、涵盖及未涵盖知识点泄露的行为。他们有义务对IOI题目说明及所有相关材料保密，直至其在IOI上公布；
该修改经GA批准（赞成65票，反对0票，弃权0票）。
23. 主席选举
Krassimir Manev以无对手候选方式当选IOI主席。
24. IC成员选举
Ben Burton以无对手候选方式当选IC成员。
25. ISC成员选举
- ISC选举前，Ali Sharifi Zarchi宣布将辞去其经选举产生的ISC职位（任期尚余一年），以便在伊朗承办IOI 2017的工作中发挥更积极的作用。他将以IOI 2017东道主代表的身份继续留在ISC。 由于有3名候选人竞选ISC，有人提议得票第二的候选人可被任命一年，以完成Ali Sharifi Zarchi的剩余任期。三名ISC候选人均同意该提议。
- ISC职位选举结果如下：
- 51个代表团赞成Michal Forišek
- 22个代表团赞成Fredrik Niemelä
- 50个代表团赞成Richard Peng
- Michal Forišek当选ISC成员，任期3年。
- Richard Peng当选ISC成员，任期1年，以填补Ali Sharifi Zarchi空出的职位。
- GA正式投票批准并接受选举结果（赞成65票，反对0票，弃权0票）。
26. 闭幕式上国家象征的正确使用
GA被提醒告知其学生，在颁奖典礼期间不要携带旗帜和大型吉祥物上台。
27. 成绩与奖牌确认
- 使用奖牌分配算法确定奖牌归属。
- 正式参赛者人数为311人，来自81个国家。一名参赛者仅在第二竞赛日到场参赛。
- 9名参赛者并列第24名。根据规章应颁发至少25.9枚金牌，因此所有并列第24名的参赛者均获金牌，金牌总数达到32枚。
- 应颁发至少51.2枚银牌。第82名有3人并列，因此第33至82名共颁发52枚银牌。
- 奖牌总数不得超过155.5枚。第154名有3人并列，若颁发将使奖牌总数达到156枚。因此，铜牌分数线定于第153名，共颁发69枚铜牌。
28. 关于IOI正式异地参赛的提案
Richard Forster报告了IC就允许IOI正式异地参赛提案的讨论情况。
- ISC已从技术角度审查该问题，结论是只要有足够的提前通知以便任命观察员等，异地参赛是可行的。
- IC讨论了该问题，并建议不开放此类正式异地参赛。主要论点如下：
- IC认为，保持IOI面对面的性质十分重要；
- 一旦开了此类先例，将很难划定界限，可能会有越来越多的国家以不同理由寻求此类选择；
- 难以保证异地与现场参赛者之间竞赛的公平性，特别是难以考虑时差和适应不同文化等外部因素。
- GA就此问题进行了长时间讨论。 多名成员认为，IOI社区应作出更协调一致的努力，以应对因不可控因素导致某队无法参赛的情况。 另一方面，有人指出，IOI整体、尤其是IC，无力改变政治和外交现实。荷兰强烈建议IOI的努力应尽可能保持低调，避免将问题升级至政府层面而制造更多麻烦。
- 辩论结束后，GA通过了以下提案： "GA指示IC制定规则，为与东道主国家无外交关系的国家参加即将到来的IOI提供可能。" 赞成62票，反对0票，弃权1票。
29. 未来东道主公布
IC宣布，日本将在东京举办IOI 2018。
30. GA成员提案
未收到任何提案。
31. 其他事项
- Mile Jovanov自愿于2015年2月至5月间在马其顿组织一次IOI研讨会。主题将于2014年9月前确定。
- 参加IOI 2014的伊斯兰国家向东道主颁发感谢状，感谢其为遵守斋月封斋的人员所作的出色安排。