应数学与统计学院张和平教授和李秋丽副教授邀请,西北师范大学姚海元副教授将于2022年4月12日进行线上学术报告,欢迎全校师生参加.

报告题目：Computing the Forcing and Anti-Forcing Numbers of Perfect Matchings for Graphs by Integer Linear Programmings

时间：2022年4月12日(星期二) 09:00

地点：腾讯会议（会议ID：457 838 479）

报告摘要：The forcing and anti-forcing numbers of a given perfect matching of a graph are the minimum number of edges required to uniquely determine the matching from the inside and the outside, respectively. The forcing and anti-forcing polynomials of a graph are enumerative polynomials used to characterize the distributions of forcing and anti-forcing numbers of all perfect matchings of the graph. In this report, we present a method --- integer linear programming, to compute the forcing and anti-forcing numbers of a given perfect matching. Furthermore, by using the software Mathematica, we obtain the di-forcing polynomials, thus forcing and anti-forcing polynomials, for graphs such as C60, C70, C72, etc.

欢迎广大师生参加！

姚海元副教授简介

姚海元,西北师范大学数学与统计学院副教授. 1996年本科毕业于兰州大学,获得理学学士学位并留校工作; 2007年在兰州大学获得理学博士学位; 2010年从兰州大学化学博士后流动站出站.主要从事图的匹配理论、代数图论和化学图论等方面的研究工作,在匹配分配, Z-变换图以及一些重要化学指标(如强迫数和反强迫数等)的计算方面做出了重要工作.现主持国家自然科学基金地区基金项目一项.

甘肃应用数学中心

甘肃省高校应用数学与复杂系统省级重点实验室

数学与统计学院

萃英学院

2022年4月9日