论文摘要
本文分两部分,第一部分包括第一章到第四章,讨论了中心超平面构形乘积的超可解性,第二部分为第五章,给出了一个算法,利用计算机判定中心超平面构形是否为超可解构形。本文第一章简单介绍了超平面构形的一些基本概念,并给出一个引理,把超平面构形的秩归结为矩阵的秩。第二章研究了乘积构形格的若干性质,为第三章和第四章的定理提供理论基础。第三章证明了乘积构形格中元素是模元的一个充要条件,进而得到乘积构形是超可解构形的充要条件是每个因子构形都是超可解构形。第四章证明了若各因子构形均是良分划构形,则乘积构形也是良分划构形。第五章利用已有的结论,用c语言编写了一个计算机程序,用来判定超平面构形的超可解性。本章详细分析并给出了算法的具体步骤,并且利用c语言编写了程序代码,对程序的主要部分给出了必要的注释,以利于理解。最后,列举了若干个超平面构形的实例,并利用此程序判定了其超可解性。对超可解构形,给出了一个模元极大链。