谈谈与图有关的几种复形的同调群

我们从组合拓扑方法在图论的应用中,着重介绍与图有关的几种复形的近期研究动态,论述其中一些基础性的问题,并提出一些可供研究的新问题。     

图与补图全独立数间的关系

对图G(V,E),V∪E中既不相邻、又不相关联的最大元素个数,称为G的全独立数,并简记为α_T(G)。本文研究了图和补图全独立数之间的关系,得到α_T(G) α_T(G~C)≤「3y 1/2」。其中y=|V(G)|,G~C是G的补图,「x」为不大于x的最大整数,且界可达。     

弦图的最大权强独立集

一、 引言 本文中未加说明的图论术语来自文献[1]。图G=(V,E)称为弦图,如果G的任何长度大于3的圈都有弦,或者等价地,任何长度大于3的圈都不会是G的点导出子图。本文中,子图总是指点导出子图,点子集S导出的G的子图记为G[S]。团是指完备子图,通常用它的点集来表示。如果图G的每个点v都带有点权w(v),则点子集S的权定义为S中点的权的和。     

极大非独立集可削去的因子临界图

如果对一个简单图G的每一个与G的顶点数同奇偶的独立集I，都有G-I有完美匹配，则称G是独立集可削去的因子临界图．如果图G不是独立集可削去的因子临界图，而对任意两个小相邻的顶点x与y，G xy足独立集可削去的因子临界图，则称G足极大非独立集可削去的因子临界图，本刻画了极大非独立集可削去的因子临界图。     

图的独立数的一个新下界

设α（Ｇ）表示简单图Ｇ＝（Ｖ，Ｅ）的独立数．本文给出了α（Ｇ）的一个新的下界：α（Ｇ）≥∑ｖ∈Ｖ（λｄ（ｖ）＋１）／（ｄ（ｖ）＋λｄ（ｖ）＋１），其中λｄ（ｖ）＝ｍａｘ｛０，βＮ（ｖ）－ｄ（ｖ）｝，ｄ（ｖ）＝｜Ｎ（ｖ）｜，Ｎ（ｖ）＝｛ｗ∈Ｖ｜（ｖ，ｗ）∈Ｅ｝，βＮ（ｖ）＝ｍｉｎｗ∈Ｎ（ｖ）ｄ（ｗ）．     

图的去点主子图相对同调群的可重构性

本文证明了图与其去点主子图的独立集复形构成的相对同调群族是可重构的；当图满足一定的条件时，图与其去点主子图的邻域复形构成的相对同调群族也是可重构的．     

直线簇上区间图的最小独立控制集

本文研究了在三种情况下直线上的区间图的最小独立控制集的计算问题:1．相交于一点的直线簇,2．除一条直线外,其余的直线都平行的直线簇,3．一条直线和直线上t个赋权的点,使得其最小独立控制集所覆盖的点的权和最大．本文给出了这三个问题的多项式时间算法,问题1可以在O(n)时间内求解,借助动态规划方法问题2和问题 3分别可以在O(n log n),O(n t)时间内求解．     

哈密尔顿性和部分平方图的独立集

设G是一个图,G的部分平方图G*满足V(G*)=V(G),E(G*)=E(G)∪{uv:uv■E(G),且J(u,v)≠■},这里J(u,v)={w∈N(u)∩N(v):N(w)■N[u]∪N[v]}.利用插点方法,证明了如下结果:设G是k-连通图(k2),b是整数,0min {k,(2b-1+k)/2}(n(Y)-1),则G是哈密尔顿图.同时给出图是1-哈密尔顿的和哈密尔顿连通的相关结果.     

偶错位图的张量幂的最大独立集和自同构群

若A_n 是X := {1, 2,..., n} 上的偶置换构成的交错群, E_n 是X 上的偶错位集, 则Cayley 图AΓ_n := Γ(A_n, E_n) 称为偶错位图. 令AΓ_n^q 为q 个AΓ_n 的张量幂. 在本文中, 我们研究了AΓ_n^q 的连通性、直径、独立数、团数、色数和最大独立集等性质. 利用AΓ_n^q 最大独立集的结果, 我们完全确定了AΓ_n^q 的自同构群的结构.     

关于图的导出森林独立系统

本文研究图的导出森林独立系统.在这个独立系统中,独立集是指导出子图不含圈的点子集.文中证明了图G的导出森林独立系统是拟阵当且仅当G是块森林.文中同时给出了在强弦图上求最大导出森林的多项式算法.     

消去图、覆盖图和均匀图的若干结果

设 G是一个图 ,g,f是定义在图 G的顶点集上的两个整数值函数 ,且g≤f.图 G的一个 ( g,f) -因子是 G的一个支撑子图 F,使对任意的 x∈V( F)有g( x)≤ d F( x)≤ f ( x) .文中推广了 ( g,f) -消去图、( g,f ) -覆盖图和 ( g,f) -均匀图的概念 ,给出了在 g相似文献   

三正则平面图的对偶图的哈密顿性的注记

本文给出了三正则平面图的对偶图为哈密顿图的一个充分条件。     

论连通图的可重构性

本文我们利用带权核子图的可重构性证明了连通图是可重构的,从而证明了重构猜想为真.     

关于图测地数的几个问题

本文研究了图的测地数.利用极点必属于测地集的方法,刻画了g(G)=n-1的图G的结构,同时使用图的一些重要参数,获得了图上下测地数的几个新的界.对于有向图D,讨论了g(D)=2的充要条件.     

GENERALISED MAXIMAL INDEPENDENCE AND CLIQUE NUMBERS OF GRAPHS

Abstract

A set B of vertices of a graph G = (V,E) is a k-maximal independent set (kMIS) if B is independent but for all ?-subsets X of B, where ? ? k—1, and all (? + 1)-subsets Y of V—B, the set (B—X) u Y is dependent. A set S of vertices of C is a k-maximal clique (kMc) of G iff S is a kMIS of [Gbar]. Let β_k, (G) (w_k(G) respectively) denote the smallest cardinality of a kMIS (kMC) of G—obviously β_k(G) = w_k([Gbar]). For the sequence m₁ ? m₂ ?…? m_n = r of positive integers, necessary and sufficient conditions are found for a graph G to exist such that w_k(G) = m_k for k = 1,2,…,n and w(G) = r (equivalently, β_k(G) = m_k for k = 1,2,…,n and β(G) = r). Define s_k(?,m) to be the largest integer such that for every graph G with at most s_k(?,m) vertices, β_k(G) ? ? or w_k(G) ? m. Exact values for s_k(?,m) if k ≥ 2 and upper and lower bounds for s₁(?,m) are de termined.     

图的割宽问题

本文建立了Ｈａｒｐｅｒ型割宽下界估计式，由此求出了轮形图Ｗｎ、完全二部图Ｋ（ｍ，ｎ）、圈幂Ｃｎｒ、格子图：Ｐｍ×Ｐｎ、Ｐｍ×Ｃｎ、Ｃｍ×Ｃｎ以及乘积图：Ｋｍ×Ｐｎ、Ｋｍ×Ｃｎ、Ｃｍｓ×Ｃｎｒ、Ｋｍ×Ｋｎ和强乘积图Ｐｍ　Ｐｎ的割宽。     

SOME CLASSES OF UPPER EMBEDDABLE GRAPHS

1IntroductionSincetheintroductoryinvestigationofmaximumgenusbyNordhaus,Stewart,andWhite[3],theupperembeddabilityofgraphshasreceivedgreatemphasissofar.AlthoughLiu[16]andNebesky[9]haverespectivelyprovideddifferentnecessaryandsufficientconditionsontheupperembeddabilityofgraphs,weknowlessaboutwhatclassesofgraphsareupperembeddable.Jaeger,PayanandXuong[10]provedthateverygraphobtainedbyconnecting(withanynumberofedges)twovertex-disjointupperembeddablegraphswithevenBettinumberisupperembeddable.Skov…     

完全图圈分解的一种新方法

本文给出完全图圈分解的一种新方法，设Ｋｎ（ｎ≥３）是一个ｎ阶完全图，我们得到下列结果：（１）若ｎ为奇数，Ｇ是ｎ阶群，并且｛ｏ（ｘ）│∈Ｇ，ｏ（ｘ）≥３｝＝｛ａ１，…，ａｔ｝，则Ｋｎ＝ｍ１Ｃａ１＋…＋ｍｔＣａｔ。（２）若ｎ为偶数，Ｇ是ｎ阶群，Ｔ＝｛ｘ│ｘ∈Ｇ，ｏ（ｘ）＝２｝＝｛ｘ０，ｘ１，ｙ１，…，ｘｓ，ｙｓ｝，ｏ（ｘｉｙｉ）＝ｂｉ，ｉ＝１，…，ｓ及｛ｏ（ｘ）│ｘ∈Ｇ，ｏ（ｘ）≥｝＝｛ａ１，…，ａｔ