主要成就
楊元生 教授(博士生導師):1946年2月16日出生於福建福州,現任職於大連理工大學計算機系。
1957.9 -- 1963.7 福州市第一中學 學生
1963.9 -- 1968.12 北京大學數學力學係數學專業 學生
1969.1 -- 1979.8 遼寧省瓦房店軸承廠 工人,技術員
1979.9 -- 1982.6 大連理工大學數學系計算機軟體 碩士生
1982.7 -- 現在 大連理工大學計算機系 教員
1986.10-- 1987.10 紐西蘭Progeni 公司,研製第四代計算機輔助教學系統
1990.8 -- 1991.9 英國Stirling University 訪問學者
1996.10-- 1997.4 加拿大Carleton University 訪問學者
研究領域與課題
1)生物信息學。主要致力於生物信息學中的代謝組學研究,課題組長期以來一直開展數據分析與數據挖掘研究,在譜圖的數據處理、譜型識別等領域有著良好的工作基礎。主要研究問題:採用數據預處理、模式識別等信息處理技術對代謝組學複雜的高維樣本進行處理和分析,以達到快速分類,並從中挖掘出相應的生物特徵信息。我們歡迎具有較好模式識別、數據挖掘知識基礎的研究生到本實驗室攻讀博士學位,從事該領域的研究。
2)圖的同構判定問題。我們研究出了一組新的圖的同構的必要條件,並在此基礎上,研究出了較好的、有多項式(期望)時間的算法,並套用於各種圖論難題的研究中。
3)找籠問題是公認的圖論難題,直到89年國際上共發現7個(k,5)籠,均以國外發現者命名,其中(5,5)籠不唯一,已發現3個,我發現了第四個,並證明了(5,5)籠只有4個。這是迄今為止唯一的中國人發現的籠。
4)拉姆塞數(Ramsey Number) 問題是圖論的一個重要分支。在計算機結構設計中有重要套用。目前關於2色拉姆塞數 r2(G) 已解決到 q(G)<9 (q為圖G的邊數),3色拉姆塞數 r3(G)拉姆塞數已解決到q(G)<7 的幾乎所有圖 (除11個圖外,對這11個圖目前只得到界),其中r3(G)的最新結果及部分r2(G)的最新結果是我得到的。
5)極圖問題是圖論的一個相當活躍的分支。英國著名數學家 Graham(美國Journal of Graph Theory 主編) 給出21個結點以內的不包含四邊形的極圖,我把結果推進到31個結點以內的所有不包含四邊形的極圖。對相關的極圖問題也有較好進展。
6)哈密頓迴路問題也是圖論的一個相當活躍的分支。我們研製出在有向圖中尋找哈密頓迴路的快速回溯法,該算法對稀疏圖尤其有效。南斯拉夫數學家Bernardo Recaman 猜想,當n32 時,平方圖(若且唯若圖上兩點的編號和為平方數時,該兩點相連),但只能對n=32 進行驗證。利用我們研製的尋找哈密頓迴路的快速回溯法,驗證了對n1300, Bernardo Recaman 猜想成立,並把猜想推廣到k方圖。由於該類圖哈密頓的平均度數只有n1/k,所以有一定理論意義。
7)圖的交叉數問題屬於NP困難問題,目前我們已研製較好的計算圖的交叉數的算法,並成功地計算出了n16的所有3-正則圖的交叉數,n12的所有4-正則圖的交叉數,n9的所有無向圖的交叉數,確定了3類循環圖和部分交圖的交叉數,且所用方法對解決一般NP困難問題有意義。
主要在研項目
1國家十一五重大專項“病毒性肝炎相關肝癌代謝紊亂的機制和用藥指導研究” (No.2008ZX10002-019)的子課題《肝癌代謝紊亂的譜型識別與肝癌代謝紊亂機制研究的計算機輔助平台的研製》。
2 國家自然科學基金“幾類網際網路拓撲結構圖的交叉數算法及其套用研究” (No.60973014)
碩博研究方向
生物信息處理,算法設計與分析
出版著作和論文
近5年發表的主要學術論文:
1.鄭文萍,林曉惠,楊元生,鄧成瑞. The crossing number of Knodel graph W3,n Utilitas Mathematica, 2008, 75: 211-224. SCI檢索.
2.鄭文萍,林曉惠,楊元生,楊希武. The crossing number of Flower Snarks and related graphs. Ars Combinatoria. 2008,86: 57-64. SCI檢索.
3.孫永奇,楊元生,林曉惠等. The planar Ramsey number PR(K4 - e, K5). Discrete Mathematics, 307(2007)137-142. (SCI, EI索引)
4.楊元生,林曉惠,喬晶. The face pair of planar graphs. Discrete Mathematics, 306 (2006) 1742-1757.(SCI, EI索引)
5.楊元生,徐喜榮,奚悅等. The graphs C7t are graceful for t equivalent to 0,1 (mod 4). Ars Combinatoria, 79 (2006) 295-301. (SCI索引)
6.孫永奇,楊元生,徐峰. New lower bounds on the multicolor ramsey numbers Rr(C2m). Graphs and Combinatorics, 22 (2006) 283-288. (SCI索引)
7.林曉惠,楊元生,呂建國等. The crossing number of C(n;{1, n/2-1}). Utilitas Mathematica, 71(2006) 245-255. (SCI索引)
8.楊元生,林曉惠,於春燕. The graphs C5t are graceful for t≡0,3(mod 4). Ars Combinatoria,74 (2005) 239-244. (SCI索引)
9.林曉惠,楊元生,呂建國等. The crossing number of C(mk;{1, k}). Graphs and Combinatorcs, 21 (2005) 89-96. (SCI索引)
10.楊元生,徐喜榮,奚悅等. On harmonious labelings of the balanced quadruple shells. Ars Combinatoria, 75 (2005) 289-296. (SCI索引)
11.楊元生,趙承業,林曉惠等. Some 3-connected 4-edge-critical non-Hamiltonia graphs. J. Graph Theory, 50 (2005) 316-320. (SCI索引)
12.楊元生,林曉惠,呂建國等. The crossing number of C(n;{1,3}). Discrete Mathematics, 289 (2004) 107-118. (SCI, EI索引)
13.楊元生,林曉惠,董國承等. Extremal graphs without three-cycles, four-cycles or five-cycles. Utilitas Math., 66 (2004) 249-265. (SCI索引)
14.Weifa Liang, 楊元生. Maximizing battery life routing in wireless Ad Hoc networks. Proceedings of the 37th Annual Hawaii International Conference on System Sciences(HICSS’ 04) (2004). ( ACM, EI索引)
15.高紅,黃德根,楊元生. 中文文本中外國人名與中國人名同步識別方法. 小型微型計算機系統, 27 (2006) 715-719. (EI索引)
16.楊元生,林曉惠,陳志強等. 4-Regular graphs without cut-vertices having the same path layer matrix. J. Graph Theory, 144 (2003) 304-311.(SCI索引)
17.楊元生, Weifa Liang. The minimum number of vertices with girth 6 and degree set D={r,m}. Discrete Mathematics, 3269(2003)249-258.(ACM, SCI, EI 索引)
18.楊元生,孫艷春,陸維明. 不超過9個頂點的所有圖的交叉數. 小型微型計算機系統, 24 (2003) 954-958. (EI索引)
19.楊元生,林建華,王春立. Small regular graphs having the same path layer matrix. J.of Graph Theory, 39 (2002) 219-221. (SCI, EI索引)
20.楊元生,林建華,王春立. Three forbidden subgraphs for line graphs. Discrete Mathematics, 252 (2002) 287-292. (SCI, EI索引)
21.楊元生,林建華,戴永傑. Largest planar graphs and largest maximal planar graphs of diameter two. J. of Computational and Applied Mathematics, 144 (2002) 349-358. (SCI, EI, ISTP索引)
22.楊元生,陸維明,曾慶雙. Harmonious graphs C2k C2j+1. Utilitas Math., 62 (2002) 191-198.(SCI索引)
23.楊元生,王丹,陸維明. 四正則圖的交叉數, 軟體學報, 13 (2002) 2259-2266. (EI索引)
工作成果(獎勵、專利等)
二十多年來, 一直進行圖論中待解難題的計算機算法研究。其主要特點是創造了一套數學證明與計算機構造性證明相結合的有效方法,成功地解決了一些圖論難題。在國外, 國核心心期刊已發表論文一百多篇, 其中已被ACM收錄3篇,SCI索引40餘篇, EI索引20餘篇, ISTP索引1篇。另外還有18篇論文已被國外SCI刊源刊物錄用。論文“The crossing number of C(n;{1,3})”於2006年 獲遼寧省自然科學學術成果獎二等獎。
1995 - 1997 主持國家自然科學基金項目“圖論中的待解難題的計算機算法研究”(6947303)
2001-2003 國家自然科學基金項目“PETRI網中實用算法的研究”(60073013)主要參加者。
2000-2001 主持部隊水路運輸決策支持系統中的船上武器配載的算法研製。
2002—2004 主持國家自然科學基金項目“圖的交叉數、套用及算法研究”(60143002),該項目已結題,並被基金委評為特優
2004—2006 主持國家自然科學基金項目“具有相同路徑層矩陣的圖、套用及算法研究”(60373096)
2004—2006 主持高等學校博士學科點專項科研基金基金“具有相同路徑層矩陣的圖、套用及算法研究 ”(20030141003)
2006—2008 主持國家自然科學基金項目“路徑冪圖的交叉數、套用及算法研究 ”(60573022)
2010—2012 主持國家自然科學基金項目“幾類網際網路拓撲結構圖的交叉數算法及其套用研究” (60973014)
2008—2010 國家十一五重大專項“病毒性肝炎相關肝癌代謝紊亂的機制和用藥指導研究” (No.2008ZX10002-019)的子課題《肝癌代謝紊亂的譜型識別與肝癌代謝紊亂機制研究的計算機輔助平台的研