六点七边图的λ-填充与λ-覆盖

λKv为λ重v点完全图,G为有限简单图.λKv的一个G-设计(G-填充设计,G-覆盖设计),记为(v,G,λ)-GD((v,G,λ)-PD,(v,G,λ)-CD),是指一个序偶(X,B),其中X为Kv的顶点集,B为Kv中同构于G的子图的集合,称为区组集,使得Kv中每条边恰好(至多,至少)出现在B的λ个区组中.一个填充(覆盖)设计称为最大(最小)的,如果没有其它的填充(覆盖)设计有更多(更少)的区组.本文中,我们构作了三个六点七边图的最大填充与最小覆盖.     

一个六点七边图的填充与覆盖

$\lambda{K_v}$为$\lambda$重$v$点完全图, $G$ 为有限简单图. $\lambda {K_v}$ 的一个 $G$-设计 ( $G$-填充设计, $G$-覆盖设计), 记为 ($v,G,\lambda$)-$GD$(($v,G,\lambda$)-$PD$, ($v,G,\lambda$)-$CD$), 是指一个序偶($X,\calB$)，其中 $X$ 为 ${K_v}$ 的顶点集， $\cal B$ 为 ${K_v}$ 中同构于 $G$的子图的集合, 称为区组集,使得 ${K_v     

λKv的最大K2,3填充设计和最小K2,3覆盖设计

对于一个有限简单图G,λKv的G-设计(G-填充,G-覆盖),记为(v,G,λ)-GD((v,G,λ)-PD,(v,G,λ)-CD),是一个(X,B),其中X是Kb的顶点集,B是Kv的子图族,每个子图(称为区组)均同构于G,且Kv中任一边都恰好(最多,至少)出现在B的λ个区组中.一个填充(覆盖)设计称为是最大(最小)的,如果没有其它的这种填充(覆盖)设计具有更多(更少)的区组.本文对于λ>1确定了(v,K2,3,λ)-GD的存在谱,并对任意λ构造了λKv的最大K2,3-填充设计和最小K2,3-覆盖设计.     

λKv的最大K2,3填充设计和最小K2,3覆盖设计

对于一个有限简单图G,λK_v的G-设计(G-填充,G-覆盖),记为(v,G,λ)-GD((v,G,λ)-PD,(v,G,λ)-CD),是一个(X,B),其中X是K_v的顶点集,B是K_v的子图族,每个子图(称为区组)均同构于G,且K_v中任一边都恰好(最多,至少)出现在B的λ个区组中.一个填充(覆盖)设计称为是最大(最小)的,如果没有其它的这种填充(覆盖)设计具有更多(更少)的区组.本文对于λ>1确定了(v,K_2,3,λ)-GD的存在谱,并对任意λ构造了λK_v的最大K_2,3-填充设计和最小K_2,3-覆盖设计.     

λ_k最优图的充分条件

介绍λk最优图的概念,通过考察图中顶点的邻域和k阶连通子图之间的关系,给出了图是λk最优的一些充分条件.     

概率论中的最优耦合与博弈论中的最优合作

本文推广了二重最优耦合的概念,得到结果 I:设X和Y是Polish空间,φ:X×Y→R可测,μ∈P(X),ν∈P(Y),(i)如果φ是有下界的下半连续函数,那么φ最优耦合γ_φ存在;(ii)如果φ是有上界的上半连续函数,那么φ上最优耦合γ~φ存在.结果 II:设G_i(i=1, 2)是从可测空间(?i, F_i)到Polish空间(X_i,ρ_i, B(X_i))上的转移概率测度序列,(i)如果φ:X_1×X_2→R是有下界的下半连续函数,则G_1和G_2的φ最优可测耦合存在;(ii)如果φ:X_1×X_2→R是有上界的上半连续函数,则G_1和G_2的φ上最优可测耦合存在.本文提出一种带约束的n重最优耦合的概念并证明这种最优耦合的存在性,由此定义了一种博弈论中的Nash均衡的最优合作均衡,并举例说明这种新均衡优于Nash均衡.     

超单严格循环设计的一些结果

主要研究基于(v,k,2)光正交码的最优超单严格循环填充,即(v,k,λ)-OSCP的存在性问题,解决了λ=2,3,4的(v,3,λ)-OSCP的存在性,得到了一些k≥4的(v,k,λ)-OSCP的无穷类.     

λ-重K_(1,4)-设计到λ-重K_(1,3)-最大填充的变形

令(X,B)为一个u阶的λ-重K_(1,4)-设计.对于每一个区组B=(a:b,c,d,e)∈B,若删去边{a,e},则得到一个K_(1,3)[a:b,c,d].令C为删去B中每一个区组的边{a,e}而得到的K_(1,4)的集合,F为被删去的边构成的集合.若F可以被重组成[λv(v-1)/24]个K_(1,3)的集合D,则(X,CUD)为一个v阶λ-重K_(1,3)-最大填充.称(X,C∪D)为λ-重K_(1,4-)设计(X,B)的变形.本文证明了v阶λ-重K_(1,4)-设计到u阶λ-重K_(1,3)-最大填充的变形存在的充要条件是λv(v-1)≡0(mod 8)且v≥5.     

最小Hamilton回路是最优旅行商路线的条件

本文给出并证明了一个非完全图 G的最小 Hamilton回路必为最优旅行商路线的条件是除了应满足广义三角不等式外 ,还必须满足正则收缩性     

广义单纯形—中心设计I_(λ-)最优观测频数的一般解析表达式

本文引进发生函数矩阵与同构向量两个概念,利用它们讨论了与Scheffè单纯形—中心设计有关的0-1矩阵的一些性质。在I_(λ-)最优观测配置的分块算法的基础上,本文给出了q分量n阶广义单纯形—中心设计I_(λ-)最优观测频数的一般解析表达式。     

含偶长圈的7点7边图的图设计

设λKν是ν阶λ重完全图，G是一个无孤立点的有限简单图,λKν的一个G-分拆(或G-设计，记为G-GDλ(ν))是指一个序偶(X，β)，其中X是完全图Kν的顶点集，β是Kν中同构于G的子图(称为区组)的族，使得Kν中每条边恰好出现在β的λ个区组中，本文完全解决了含偶长圈的十个7点7边图的图设计存在性问题。     

非连通图G_1uG_2及G_1uG_2uK_2的优美性

将k-优美图的概念进行了推广,引入了k～l 优美图及标号间距的概念,并以此为基础, 分别推出了一般情形下判定非连通图G_1 ∪G_2及G_1 ∪G_2 ∪K_2是优美图的两个充分条件;同时得出了图(C_3 ∨(?)_n)∪St(m)∪K_2是优美图,其中k、l 为自然数,l相似文献   

图 K_n—E(kP_s∪rP_t)的色唯一性

本文仅考虑有限、无向、无环的简单图.P(G,λ)表示图 G 的色多项式.如果从P(H,λ)=P(G,λ)可以推出图 H 和 G 同构,则称 G 是色唯一的.设 G 是一个顶点数不超过 n 的图,用 K_n—E(G)表示从完全图 K_n 中删去一个和G 同构的子图的所有边而得到的图.关于 K_n—E(G)型图中的色唯一图的研究已有不少结果,参见[1—5].     

遗传λ-Lindel(o)f性和遗传λ-可分性

函数空间的遗传λ-Lindel(o)f性质和遗传λ-可分性质被讨论,得到了一些结果.一些是P.Zenor的某些的推广.从而加深了对函数空间的遗传λ-Lindel(o)f性质和遗传λ-可分性质的认识,推动了对函数空间的遗传λ-Lindel(o)f性质和遗传λ-可分性质的讨论.     

具次约束的最优树形图问题

给定一有向图G_0,其某一结点v_s称为特定结点,它共有p条出弧:α_1,α_2,…,α_p,分别指向结点v_1,v_2,…,v_p,这p个结点称为(v_s的)邻点。令T为G_0的一个支撑树形图,若其结点v_s有且仅有k条出弧,则T称为(k)支撑树形图。设对G_0的每一条弧α,均给以一弧长w_0(α),则弧长之和最小的支撑树形图称为最优树形图。若在一个最优树形图中,其结点v_s有且仅有k条出弧,则此最优树形图称为最优(k)树形图。而在所有(k)支撑树形图中,其弧长之和最小者称为(k)最优树形图。显然,一个最优(k)树形图必为     

目标定位最优布站的研究

将目标检测问题转化为椭球体的截面对圆的覆盖问题,并给出了“逐层收缩”方案,给出了一个可计算的较优的结果;通过对逐层收缩方案的调整,获得了最优解:18个球(9个红球和9个蓝球).本文将目标定位问题转化为圆的三重覆盖问题,建立“球均定位能力”模型证明了一个红(蓝)球周围有4个蓝(红)球这种模式具有最大的球均定位能力,在此基础上给出红、蓝球的一个布局.36个球(18个红球和18个蓝球).     

关于一类新型权函数Aλ3γ(λ1,λ2;E)的性质

Aλ3γ (λ1,λ2;E)-权函数是一类广义的权函数,可视为许多经典权函数的推广.文中给出了关于Aλ3γ(λ1,λ2;E)-权的和与积的运算性质,并进而证明了Aλ3γ(λ1,λ2;E)-权函数的两个充要条件.     

LP问题的λ算法

本文给出了求LP问题最优解的λ算法,并指出了此法旋转运算的次数.此算法不需要基本可行解或对偶基本可行解.     

关于M/M/1系统方程的瞬态解

经典的M/M/1随机服务系统的排队方程是{G_0~＇(t)=-λG_0(t)+μG_1(t),G_k~＇(t)=λG_(k-1)(t)-(λ+μ)G_k(t)+μG_(k+1)(t),k=1,2,…,其中G_k(t)表示在时刻t系统内恰有k个顾客的概率.在一般初始条件下方程(1)的解已由Clarke用母函数方法求出:G_k(t)=e~(-(λ+μ)t)[(λ/μ)~(k/2)I_k(2t(λμ~(1/2))+(λ/μ)~((k-1)/2)I_(k+1)(2t(λμ~(1/2))     

关于一类新型权函数A_r~(λ_3)(λ_1,λ_2;E)的性质

A_r~(λ_3)(λ_1,λ_2;E)一权函数是一类广义的权函数,可视为许多经典权函数的推广.文中给出了关于A_r~(λ_3)(λ_1,λ_2;E)-权的和与积的运算性质,并进而证明了A_r~(λ_3)(λ_1,λ_2;E)-权函数的两个充要条件.