再帰的条件による成分因子の存在性に関する研究

• Project/Area Number: 07740170
• Research Category: Grant-in-Aid for Encouragement of Young Scientists (A)
• Allocation Type: Single-year Grants
• Research Field: General mathematics (including Probability theory/Statistical mathematics)
• Research Institution: Shibaura Institute of Technology
• Principal Investigator: 西村 強 芝浦工業大学, 工学部, 講師 (80237734)
• Project Period (FY): 1995
• Project Status: Completed (Fiscal Year 1995)
• Budget Amount: ¥1,200,000 (Direct Cost: ¥1,200,000); Fiscal Year 1995: ¥1,200,000 (Direct Cost: ¥1,200,000)
• Keywords: 成分因子 / P_<3->因子 / 連結グラフ / 再帰的条件 / 誘導部分グラフ

Research Abstract

グラフ理論における再帰的条件におけるある種の構造の存在性定理は、これまでに次の2つのTypeのものが最も基本的なものとして研究されてきている。
Gを連結グラフ、HをGの任意の連結誘導部分グラフで位数を固定したものとする。さらにPをグラフのもつ性質とするとき、
TypeI:Hが性質Pをもつ⇒Gも性質Pをもつ
TypeII:G＼Hが性質Pをもつ⇒Gも性質Pをもつ
Kを連結グラフとし、Pが「K-成分因子をもつ」ということに対して、1986年にEnomoto, Egawa, SaitoによってTypeIが成立することが示されている。ここでの研究実績としては、「K-成分因子をもつ」ということに対するTypeIIの定理が完成させることができた。この結果は、JOurnal of Graph Theory誌において掲載受理を受けた。さらに、新しいTypeの再帰的条件として
TypeIII:H及びG＼Hがともに連結となる任意のHに対し、H(又はG＼H)が性質Pをもつ⇒Gも性質Pをもつ
ということに対し、「K-成分因子をもつ」という結果については解決をみていないが、Gが2連結で、Pが「P_<3->因子をもつ」ということに対しては、TypeIIIが成立することが、この研究において証明することができた。
グラフが成分因子をもつための必要十分条件を得ることはNP-完全問題であり、十分条件を得る研究ですらあまり進んでいない状態であったが、この研究において、2つの十分条件を得るに至ることができた。