真牛!华中大团队斩获电子设计自动化国际算法竞赛冠军

电子设计自动化作为我国“卡脖子”关键技术之一，难点主要在于算法，其核心问题在算法上通常具有极高的计算复杂度，即为NP难问题。本次竞赛的布局布线问题，涉及了图着色、集合划分、二次指派、广义指派、斯坦纳树、斯坦纳森林等众多经典的NP难问题，是计算复杂性理论研究与实际工业应用相结合的典型场景。芯片设计的复杂...

电院张宇昊在理论计算机顶会FOCS发表重要研究成果

在点连接模型中,如最小生成树、斯坦纳树、甚至是考虑高连接度的泛化网络规划模型,均存在比较成熟的算法结果。如最小生成树的多项式时间算法,斯坦纳树和高连接度的泛化网络规划模型的常数近似算法。但是组连接要求下的网络规划模型却迟迟没有出现任何成熟的近似算法。唯一的结果是2015年SODA会议中Chalermsook,Grandoni,...

中国团队拿下EDA全球冠军,平均年龄24岁

EDA作为我国“卡脖子”关键技术之一，难点主要在于算法，其核心问题在算法上通常具有极高的计算复杂度，即为NP难问题。本次竞赛的布局布线问题，涉及了图着色、集合划分、二次指派、广义指派、斯坦纳树、斯坦纳森林等众多经典的NP难问题，是计算复杂性理论研究与实际工业应用相结合的典型场景。吕志鹏教授所在实验室自成立...

冲上热搜,EDA冠军!攻坚芯片底层技术,这个“战队”拿下国际大奖...

EDA作为我国“卡脖子”关键技术之一,难点主要在于算法,其核心问题在算法上通常具有极高的计算复杂度,即为NP难问题。本次竞赛的布局布线问题,涉及了图着色、集合划分、二次指派、广义指派、斯坦纳树、斯坦纳森林等众多经典的NP难问题,是计算复杂性理论研究与实际工业应用相结合的典型场景。据钱江晚报,这次参与竞赛的团...

一文读懂图模型、图查询、图计算、图学习技术

图计算算法可达数十种,每种有各自适用的场景。图计算的结果可以是点边具体的属性,如PageRank,Betweenness,置信度传播,聚集系数等等;也可以是点边子集所对应的属性或结构,如社区类的连通分量、图聚类、图分割、图染色等等,以及子图类的生成图、生成树、斯坦纳树、最大独立集、K-Core等等。图计算的结果确实在特定的...

娓娓道来图模型、图查询、图计算和图学习知识

图计算算法可达数十种,每种有各自适用的场景(www.e993.com)2024年11月10日。图计算的结果可以是点边具体的属性,如PageRank,Betweenness,置信度传播,聚集系数等等;也可以是点边子集所对应的属性或结构,如社区类的连通分量、图聚类、图分割、图染色等等,以及子图类的生成图、生成树、斯坦纳树、最大独立集、K-Core等等。图计算的结果确实在特定的...