|
|
各位参赛者：
大家好，由EDA²侠客岛举办的难题挑战经过各参赛团队数月紧张而激烈的角逐，打榜判题和专家评审阶段已结束。根据打榜成绩、入围团队线上答辩和赛题专家综合评议，经大赛组委会审核，现将《面向大规模数字电路的逻辑与结构分析算法》赛题获奖名单进行公示。
奖项 | 团队名称 | 指导老师 | 奖励 | 打榜分数 | 专家评语 | 一等奖 | 天胡 | 储著飞 | 奖金50000元， 颁发获奖证书 | 70.85 | 使用布尔代数和布尔变化巧妙处理赛题S,X信号(求解思路清晰新颖), 采用AIG进行优化后，快速求出符合题意的一组L. 算法整体表现优秀, 答辩讲解清晰 | 二等奖 | WhyBabyWhy | 张弘策 | 奖金10000元， 颁发获奖证书 | 64.59 | 通过添加约束重构求解问题, 想法新颖可以有效处理赛题S信号, 但X信号采用抽样随机赋值处理的方式, 不能完全排除X对解的影响，答案准确度有所损失. | 二等奖 | ~cares | 储著飞 | 奖金10000元， 颁发获奖证书 | 63.45 | 尝试三种求解方法, 前两种方法受限于逻辑表达范式无法处理大规模电路, 第三种方法可以有效处理S信号, 但无法完全避免X信号对解的影响, 答案准确度有所损失. | 二等奖 | Sinlessdemon | 储著飞 | 奖金10000元， 颁发获奖证书 | 57.07 | 通过布尔变化有效处理S信号影响, 并通过仿真和Sat求解(处理剩余S, X)影响, 求解符合题意, 但算法采用迭代求解排除X对解的影响, 无法同时确保性能和准确度(弊端), 答辩讲解清晰. |
以上获奖名单，自公布之日起5个自然日内（2025年8月15日 - 2025年8月20日），任何单位或个人如对获奖名单有异议，可与组委会联系咨询相关事宜，同时请您提供相关证明材料，若经查明确有数据造假等违规事件，将取消其获奖成绩。
恭喜以上获奖团队，待公示结束之后我们将会与您联系沟通颁发奖金及获奖证书事宜。同时，也感谢本次大赛的所有参赛者，期待下期再见。再次向所有获奖选手和团队表示祝贺，感谢大家的不懈努力。
——EDA²侠客岛组委会
——2025年8月15日
|
|
