国际信息学奥林匹克竞赛 2015（IOI 2015）全体大会（General Assembly）

2015年7月26日至8月2日，哈萨克斯坦阿拉木图举行的会议纪要

委员会名单

IOI 主席（President of IOI）

• Krassimir Manev（保加利亚）

执行主席（Chair of IOI）

• Bakhyt Matkarimov（哈萨克斯坦）

GA 大会主席（Chair of GA）

• Gulnar Zagitova（哈萨克斯坦）

执行总监（Executive Director of IOI）

• Margot Phillipps（新西兰）

财长（Treasurer of IOI）

• Eljakim Schrijvers（荷兰）

国际委员会（IC）

主席

• Krassimir Manev（保加利亚）

委员

1. Bakhyt Matkarimov（哈萨克斯坦）
2. Benjamin Burton（澳大利亚）
3. Eslam Wageed（埃及）
4. Greg Lee（台湾）
5. Mārtiņš Opmanis（拉脱维亚）
6. Mohammad Ali Abam（伊朗）
7. Ricardo Anido（巴西）
8. Seiichi Tani（日本）
9. Valentina Dagienė（立陶宛）
10. Vladimir Kiryukhin（俄罗斯）

国际科学委员会（ISC）

主席

• Michal Forišek（斯洛伐克）

委员

1. Hamid Zarrabi-Zadeh（伊朗）
2. Jakub Łącki（波兰）
3. Martin Mareš（捷克）
4. Pang-Feng Liu（台湾）
5. Pavel Mavrin（俄罗斯）
6. Richard Peng（美国）

国际技术工作组（ITWG）

主席

• Martin Mareš（捷克）

委员

1. Bernard Blackham（澳大利亚）
2. Fredrik Niemelä（瑞典）
3. Kian Mirjalali（伊朗）
4. Ling-Jyh Chen（台湾）
5. Sergei Masiagin（俄罗斯）
6. Stefano Maggiolo（意大利）

1. 欢迎致辞

• Bakhyt Matkarimov欢迎GA成员出席IOI 2015。
• Krassimir Manev欢迎各位成员，并介绍了IC和年内研讨会的工作。
• Greg Lee介绍了Acer提出的5年赞助方案。
• Gulnar Zagitova 作为 IOI 2015 大会主席向 GA 作了介绍。

2. 缺席说明

未收到任何缺席通知。

3. GA议程的提出与确认

GA会议议程已获批准。

有人建议使用电子投票系统，大会投票决定进行试验（赞成77票，反对0票，弃权0票）。

4. 投票监票人的任命

按照IOI惯例，提议并批准由出席的历任IOI主办国总监担任监票人。（Arturo Cepeda、Krzystof Diks、Zide Du、Ries Kock、Troy Vasiga）

5. 竞赛规程

规程由Michal Forišek介绍。

规则已在网站上公布，印刷版放置于信格中。 主要变更：因引入Java，主要修改为允许所有语言使用线程。每个线程的执行时间将累加，以此作为题目的总时间。 次要变更：澄清了关于反馈的措辞——完整反馈（子任务的临时得分）。

竞赛规程经全体一致通过。

Martin Mareš补充说明，若学生希望使用自己的键盘或鼠标，应带至练习赛供审批。

6. IC和ISC候选人提名征集

本届IOI期间将填补以下职位：IC两个职位和ISC一个职位。所有三个职位的提名截止时间为第二竞赛日前的GA会议结束时。

7. 确认往届GA会议纪要（IOI 2014）

IOI 2014的GA会议纪要经GA确认通过。（赞成76票，反对1票）

8. 学术会议

GA获悉，Valentina Dagiene通报，信息学奥林匹克竞赛学术会议将与两个竞赛日同期举行，地点在领队和副领队住宿的酒店。期刊额外副本可联系Valentina获取。有意参与编辑工作者亦请与其联系。Wolfgang Pohl（德国）就GA早前提出的改变会议方向的请求寻求澄清。Valentina澄清称，第二天将更多侧重于研讨会而非正式报告。

9. 电子投票

对电子投票系统进行了试验，虽然速度很快，但引发了对匿名性的关切。Krassimir Manev总结认为此事需要进一步研究。

10. 练习赛引发的问题

Bakhyt Matkarimov确认竞赛期间将提供饮用水，并允许携带药品、铅笔及适量食物。禁止携带存储设备、手电筒、任何连接至笔记本电脑的物品、包袋及移动设备。有疑问的物品应向志愿者出示确认。

Martin Mareš：一些小问题已修复或正在修复，例如：C++文档不完整，将由cppreference替代；右alt键映射将通过桌面上的两个图标启用/禁用；错误信息显示为白色；部分浏览器显示过期文件名；公告需同时在CMS发布及口头通知；若出现较长评测时间将予以公告；关于测试用例数量的部分反馈有误。 所有提交均将被评测，并选取最高分。

GA提出的澄清请求和问题均获解释或保证解决，包括：

• 虽然练习题的测试数据可以公开，但明天的竞赛优先级更高；
• 将提供鼠标垫；
• 每分钟提交次数计数包含编译失败的提交；
• 问题可通过CMS或纸质方式提交；
• 从Firefox运行的Evince缺少菜单栏，将予以检查；
• 任务接口中有一个函数与标准库中的函数同名，竞赛中不会出现此情况；
• 编辑器应能在明天打印，但从Code Blocks使用时，学生应先导出为pdf；
• 将提供示例评测器的链接；
• 记分板将正常运行。

11. 第一竞赛日题目展示

展示了第一竞赛日选定的三道题目（《箱子》Boxes、《天平》Scales、《队伍》Teams），并说明了翻译网络的使用方法。 未收到重大异议，共有8项次要异议。对《天平》的评分公式作了说明。

GA以压倒性多数投票接受整套题目，无反对票，一票弃权。

12. 第一竞赛日报告（Michal Forišek主持）

无正式申诉。

竞赛准时开始，但一台CMS服务器配置有误，导致约十二分之一的参赛者在5分钟内无法访问服务器。由于发生在竞赛初期，且参赛者有纸质材料，因此未被视为问题。

9:40发现一起作弊事件，一名参赛者滥用评测器库。评测器已重新配置，但在此过程中CMS约有20分钟存在漏洞。漏洞修复后，评测在约10分钟内追上了进度。

《队伍》中有2名学生受错误测试数据影响，部分测试用例被删除并重新评测。一名学生受影响约3分钟，另一名约13分钟。

多台计算机死机，12:33出现断电问题导致网络中断。学生仍可在计算机上工作，但需等待约20分钟才能获得评测结果。平均每道题等待时间增至约5分钟，但在最后8分钟已恢复至1分钟。最后2.5小时内最长等待时间为25分钟。一名学生因重启发生在断电期间，获额外5分钟补偿。志愿者将记录第二竞赛日的此类问题。（报告人：Richard Peng，ISC）

竞赛期间发布的公告已作展示（例如：开始时关于《箱子》的"同一区间内可给出多个纪念品"说明，以及13:40关于《队伍》中错误测试文件将导致重新评测的公告）。

参赛者问题：技术性问题通常通过在参赛者计算机上演示操作来解答，大多数题目相关问题以"题目说明中已有说明"或"无效问题"作答，规则问题则尽量准确作答。通过电子邮件翻译问题的方式运作良好。 排名表共327名参赛者——3人未到场，1人因误会出现在名单中。正式参赛人数为323人，第二竞赛日将予以更新。

作弊事件：IC已作出取消资格的决定，两日均记0分——该学生将留在排名表中，排第323位。

有人要求提供显示提交评测耗时的图表。竞赛前半段等待时间尚可接受，后半段接近18分钟。应告知学生，由于采用完整反馈，期望2至3分钟的等待时间并不现实。与其他采用完整反馈的IOI相比，第一竞赛日的表现优于大多数，在无法像Google那样将服务器数量扩大100倍的情况下，一定程度的延迟是可以预期的。测试用例数量的缩减也只能在合理范围内进行。

其他问题：鼠标垫和食物的处理似乎结果不一致。第二竞赛日学生将使用同一台计算机（照片开启、键盘分配等），但有人对此提出质疑，认为这可能导致不公平，且更换计算机反而不太容易引发某些形式的作弊。第二竞赛日前将重新安装软件。

翻译环节：需要为第二个翻译夜晚开放打印机，因为第一竞赛日存在打印瓶颈。一旦计算机从网络断开，便无法重新添加。解决方案：设置打印服务器，仅将奥林匹克网络用于翻译，其余一切使用酒店Wi-Fi。

所有翻译内容将予以公开。

还提醒称，异地参赛提案将于周六进行投票，当天晚些时候将分发包含更多选项详情的文件。

13. 第二竞赛日题目展示

（本次会议提名已截止）

因断电，第二竞赛日选定的三道题目（《排序》Sorting、《马匹》Horses和《城镇》Towns）分批展示。

无重大异议，虽有若干次要异议，但均不被认为重要。题组以全票通过。

14. 第二竞赛日报告（Wolfgang Pohl主持）

Michal Forišek展示了第一竞赛日后受到请求的延迟图表，涵盖第一和第二竞赛日。第二竞赛日等待时间不足1分钟。

第一竞赛日的重新评测可能影响了4名参赛者，无申诉。第二竞赛日无申诉。

语言使用统计：Java 4人，C 3人，Pascal 4人，C++ 311人。

参赛者问题：《马匹》中有人提问取模运算在最大值操作之前还是之后进行，答案在题目说明中。有人询问《排序》中子任务3的N=1情况，此问题私下作了解答。其余所有问题均独立存在，答复均为"在题目说明中"或"无评论"。

未影响成绩的问题：

• 9:20发现记分板在覆盖而非累加，此漏洞及另一漏洞在20分钟内修复。
• 所有软硬件问题均立即修复。一名学生导致CodeBlocks死机，被告知应停止某操作（使用Watch窗口改用调试打印），但其重复了该操作，故未获额外时间。
• 编译器崩溃1分钟，受影响的学生在1分钟内重新提交。
• 一名学生无法解压文件，问题已修复。

竞赛期间发布的公告：9:00关于表头文字不清晰，9:13更新了《城镇》的评测器，9:30发现有2份评测器副本，9:46提供了正确的样例输出。

正式参赛者人数：322人。 所需奖牌数量：金牌≥26.83枚，银牌≥53.66枚，奖牌总数≤161枚。 实际奖牌数量：金牌27枚，银牌55枚（因并列），铜牌79枚。 分界线在第27名、第81与82名并列处、第161名之后。一名参赛者以满分独占第一。

成绩经全体一致确认通过。

15. 规章变更介绍

Ben Burton概述了次要修改及重要修改，重要修改包括：实时记分板的存在使匿名成绩的规定已过时；要求东道主提供官方解答；"隔离"的定义明确为"任何看过题目的人在竞赛开始前不得向他人透露"；竞赛中的大规模问题由ISC解决，但可被GA三分之二多数推翻；若金牌有大面积并列，则应颁发相同数量的银牌。Ben请求GA在周六会议前阅读相关邮件。

16. 候选人介绍（Wolfgang Pohl主持）

以下候选人在截止日期前提交了提名：

• ISC：Richard Peng（美国）
• IC：Joan Alemany Flos（西班牙）、Mile Jovanov（马其顿）、Kresimir Malnar（克罗地亚）

所有候选人均有2分钟时间向GA做自我介绍。

其他事项：翻译内容将于今晚公开，题目作者将予以公布。

从第17项起由Ben Burton主持。

17. 主席报告（Krassimir Manev）

IC面临了许多棘手问题需要讨论，并尽力寻求解决方案。大多数以提案形式提交，今日GA将进行投票。主席对GA表示感谢。

18. 执行董事报告（Margot Phillipps）

新国家申请正在处理中，但目前尚无已完全完成流程的国家。已出版四期时事通讯，链接将在未来的公告邮件中提供。 正常的执行董事业务（如议程和会议纪要）持续进行。

19. ISC报告（Michal Forišek）

ISC 2月会议讨论与结论概述：

• 异地竞赛可以公平举行。
• 讨论了澄清翻译的技术要求。
• 讨论了Java线程问题，并对规则进行了调整。
• 竞赛期间的完整反馈必须以适当受限的方式呈现，确保不可能利用反馈获取关于秘密测试数据的非凡信息。
• 考虑了ACM风格的评判方式（在第一个测试用例失败时停止），但ISC拒绝了这一方案，尽管它可以加快评判速度。
• 多个"并列冠军"的并列打破方式：ISC建议不使用时间来打破最高名次的并列。

ISC与ITC讨论了使用远程集群进行评测的可能性，尚无结论。

ISC在向GA展示题目之前，花费了大量时间对题目说明进行校对。两个翻译环节均顺利进行。

第一竞赛日发生的小问题已记录在案。ISC将从中吸取教训，寻找方法防止类似问题再次发生。

IOI 2016教学大纲为2015年6月发布的版本，欢迎社区提供反馈。

题目遴选：共收到46份提交（含部分重复和撤回），最终考虑了32道题目。进一步缩减至9道（6道备选+3道备用），这9道题的作者受邀作为嘉宾参加。

ISC问卷调查将于IOI结束后发出。

20. ITC报告（Martin Mareš）

ITC于2014年设立，任期一年。因误解，委员会未在2月举行会议。

现任成员：Bernard Blackham（澳大利亚）、Stefano Maggiolo（意大利）、Martin Mareš（捷克共和国，主席）、Fredrik Niemelä（瑞典）、Ling-Jyh Chen（IOI 2014东道主）、Artem Iglikov（IOI 2015东道主）、Sergey Masyagin（IOI 2016东道主）、Kian Mirjalali（IOI 2017东道主）。

与东道主的合作非常良好。ITC参与处理的事项包括：引入Java、调试网络问题、设置记分板和发现CMS漏洞。

GitHub上的可用软件（https://github.com/ioi/）：Isolate和翻译系统。 后续将有更多：屏幕锁定器、打印、远程管理。

未来东道主技术检查清单：http://wiki.ioinformatics.org/wiki/HostingAnIOI 正在研究题目包的通用格式：对ACM ICPC使用格式的演进、导入CMS、题目开发和测试工具，以及计划建立过往IOI题目的档案库。

还计划研究在云服务上运行竞赛的方案。

技术委员会维护IOI基础设施，自上届IOI以来无重大变更，仅做了维护工作。

邮件列表：

• ioi-announce——低流量、受审核（请订阅）
• ioi-discuss——一般讨论
• ioi-ic、ioi-sc、ioi-tc——各委员会成员
• ioi-training——连接区域培训组织者，以及可能对教学感兴趣的营地人员

http://lists.ioinformatics.org/

其他： - http://wiki.ioinformatics.org/ - 题目提交安全保管箱 - ISC/ITC内部系统

21. ITC再续一年

就未来东道主是否愿意接待另一个委员会的问题被提出。Vladimir Kiryukhin（俄罗斯）回应称俄罗斯支持ITC，并将邀请他们。

投票决定ITC试验性地再延续一年：赞成70票，反对0票，弃权1票。

IC预计将根据来年经验，在IOI 2016提出永久性解决方案。

22. 上一年度财务报告

司库Eljakim Schrijvers提交了财务报告。

与去年一样，目标是维持约10万欧元的余额，此目标已实现。收入超出预算3,406欧元，支出减少10,597欧元。

按照往年惯例，ISC和ITWG相关费用在账目中列为已支出，并以ISC和ITWG成员所属母机构赞助的形式在财务报告中予以抵销。主席办公室费用为零，但执行董事差旅费超出预算。研讨会开发和学术会议论文集共节省3,920欧元。 财务报告由Ries Kock领导的GA审计小委员会完成审计，审计员确认账目准确无误，并对司库的工作给予肯定。

23. 下一年度预算及IOI 2016注册费

Eljakim Schrijvers提交了下一年度预算，仍计划支出略多于收入（8,700欧元）。预期利率将下降，导致收入减少。 - 执行董事办公室预算增加1,300欧元，以反映2015年的实际差旅费用。 - 开发预算减少6,000欧元，因2016年无研讨会计划。有建议IOI购置一台UPS用于翻译服务器。

预算经投票批准：赞成76票，反对0票，弃权1票。

IOI 2015注册费维持200欧元不变。 注册费经GA批准：赞成77票，反对0票，弃权1票。

24. ISC成员选举

Richard Peng以无对手候选方式当选ISC成员。

25. IC成员选举

IC职位选举结果如下：

• 40个代表团赞成Joan Alemany Flos
• 47个代表团赞成Mile Jovanov
• 44个代表团赞成Kresimir Malnar

Mile Jovanov和Kresimir Malnar当选IC成员，任期3年。

26. ITC主席

Fredrik Niemelä由ISC提名为主席，IC接受了该建议，并请GA批准。

赞成64票，反对0票，弃权11票。

来自瑞典的 Fredrik Niemelä 当选为 ITC 主席。

27. 服务致谢

对卸任IC成员表示感谢（Valentina Dagiene、Mārtiņš Opmanis和Greg Lee），以及对在ISC任职的Pang-Feng Liu表示感谢。

28. 闭幕式

闭幕式舞台上不应有旗帜，但允许在非正式合影中出现。允许穿着印有旗帜的T恤衫。

29. 异地参赛

2014年GA指示IC制定规则，为与东道主国家无外交关系的国家参加即将到来的IOI提供可能。

就两个相关议题进行了讨论：

1. IC如何选择未来东道主
2. 异地参赛如何运作

IC如何选择未来东道主

有提案提议："现任东道主有义务授权IC邀请各国代表团，包括过去三届IOI中参加过的每个国家代表团，并在其网站和官方材料中确认所有接受邀请的成员国。这包括承认因国际外交或其他困难而无法出席IOI的国家。"

GA就此进行了广泛讨论，提出的要点包括：

• 被拒签比提前得知不可能获得签证对学生的打击更大；
• IC应考虑安全等实际问题；
• 规章必须加强，以确保目前在IOI中的所有国家在未来东道主国家均能参加；
• GA应在选择未来东道主方面发挥作用，但IC必须找到能确保邀请所有国家的东道主。

就修改原提案文字的动议进行了投票，动议被否决：赞成14票，反对28票，弃权36票。

澄清说明：该提案不适用于已选定的未来东道主。

对"IC在精神上考虑该动议，以便修订规章"进行了投票：赞成46票，反对12票，弃权17票。

异地参赛如何运作

展示了三项已发布的提案，可概括为：

1. 不采取任何措施
2. 在被拒于IOI之外的国家境内举行竞赛
3. 该国在前一届和/或后一届可有更多参赛者

Ries Kock（荷兰）要求新增第4项提案：

"4. 在荷兰为无法参加IOI 2017的国家举办迷你奥林匹克（MOI）。IC将批准允许参加的国家。此MOI将与IOI 2017同期举行，使用IOI 2017的题目、测试数据和评测系统，所有内容将安装在本地服务器上。IOI代表将确保按IOI规则进行公平竞赛。IOI 2017结束后，MOI参与者的成绩将录入发布于www.ioinformatics.org上的成绩名单。为尽可能接近正式比赛的环境，将邀请少数国家派遣其B队参加MOI，B队不计入任何排名。

本提案已与相关国家讨论，未收到任何异议。每支参赛队伍的费用为1000欧元（住宿、餐饮、交通）加前往荷兰的旅费。荷兰将尽力为此活动寻找赞助。最终财务方案将在IOI 2016公布。

荷兰将请求IOI社区为必须出席的ISC和ITC代表的交通费作出财务贡献。"

Ries补充说明，费用为差旅费加100欧元，ISC/ITC差旅费应由IOI承担。

讨论内容包括：

• 以色列和伊朗均对Ries慷慨的提案表示感谢。
• 东道主的记分板不应与新记分板（其中额外插入了4名学生）相互矛盾。伊朗阐明其立场：来自以色列的参赛者将不计入参赛人数。
• 此方案解决了特定问题，但不是普遍性解决方案。通过取消受影响国家（C）必须主办异地竞赛的要求，选项1与选项3得以融合。投票前澄清：选项1是在C国境内举行，IOI无财务责任；选项3包含更多国家，IOI承担财务责任。此后就是否合并两个选项或因采用赞成票制而无需合并进行了进一步讨论。

进行了投票，结果如下：选项0（不采取措施）19票，选项"1或3"58票，选项2（邻近年份）1票。

选项"2或4"获通过。

进一步讨论包括：

• 将选项4中的"荷兰"修改为"任何地方"；
• 这不是一个可扩展的解决方案。

进行了投票，结果如下：选项2：5票，选项4：60票。

Ben Burton承诺，IC将研究如何制定通用解决方案。

30. Acer赞助

Greg Lee宣布，Acer希望连续赞助5年，目前2017年和2018年的东道主已接受。Acer将为竞赛、评测、翻译等提供笔记本电脑，为CMS和翻译提供服务器，为领队和各委员会提供平板电脑，提供网络设备并协助安装竞赛所需设备。Acer还将与当地电信运营商合作提供宽带服务。IOI期间将提供技术支持，通过Acer渠道进行IOI的市场推广和公关，并启动青年才俊计划。作为回报，Acer要求适当的致谢，例如在IOI网站、东道主网站上，在IOI期间的场馆、胸牌、证书等处显眼展示标志，以及在开幕式和闭幕式上展示，并在场馆设置Acer展位。

Vladimir Kiryukhin补充，2016年与Acer的合作安排有可能但尚未确定。IC确认2019年东道主已同意。因此，若该提案获通过，2020年和2021年东道主也需同意。

关于商标整合的协议将通过谈判达成。

就是否与Acer签订协议进行了投票，结果如下：赞成69票，反对0票，弃权6票。

31. 规章变更

本周内，附有建议修改标注的修订版规章已发送给各领队。

许多修改相对次要：纠正了拼写错误，增加了"参与者"和"访客"的定义，并在其他语境中统一使用"参与者"一词。部分措辞已修改以反映实际做法，例如GA确认奖牌授予，执行董事在会议结束后一个月内提供会议纪要。"磁盘"一词替换为"媒介"。

S3.18：新增条款，允许GA设立规章中未明确规定的其他委员会。

E5.8：澄清了东道主第二支队伍的身份。

S5.12：东道主应在IOI结束后3个月内提供竞赛题目的官方解答（英文）。

S6.7：修订以确保任何看过题目的人在竞赛开始前不得与其他尚未看过题目的人讨论。

S6.13：新增条款："若竞赛期间出现不可预见的大规模问题，ISC有权决定适当的解决方案。ISC必须将其决定告知IC和GA。GA可以三分之二多数投票推翻ISC的决定。"

E6.11：修订为至少四分之一的参赛者获得金牌或银牌。

S6.7：再次修订，允许SC/ISC/ITC以官方身份与参赛者沟通。

讨论中指出，尽管对E5.10进行了小幅修订，但必须保留各国不予排名的规定。

整套修改（含各项修订）经投票全部通过：赞成76票，反对0票，弃权0票。

32. GA成员提案

菲律宾建议汇编一份IOI奖牌得主所享激励措施的摘要。本届IOI的MIT展示内容可进一步扩展。

Ben Burton表示IC将汇编此类清单。

33. 未来东道主

Krassimir Manev说明，玻利维亚曾表示有意成为东道主，但认识到需要积累更多经验，并表示欢迎其未来申请。IC此前已选定2个未来东道主并作出选择：

• 2019年：阿塞拜疆
• 2020年：新加坡

亚美尼亚表达了担忧，即使在4年后其学生仍可能无法参赛，因为即便在类似情况下学生受到邀请，他们也不会前往参加。Fuad Hajiyev向GA保证，阿塞拜疆有教育部和外交部的支持，并将为所有IOI参赛国提供签证支持和安全保障。

34. 致谢

Wolfgang Pohl提议GA向哈萨克斯坦为举办一届精彩的IOI表示感谢，GA全体起立鼓掌。