行拉丁矩横截的一个算法

一个m×n阶矩阵,其元素取自集合{a1,a2,…,ak},满足每一行的元素互不相同,称这个矩阵为基于k的一个m×n阶行拉丁矩.设R是一个m×n阶拉丁矩,它的n个不同行不同列的且互不相同的元素称为R的横截.当m＞2n-2时,给出了一个求m×n阶行拉丁矩横截的新方法,并证明了当k＞n时,任一个基于k的(2n-2)×n阶行拉丁矩有横截存在.     

8n阶最佳幻立方的快速构造方法

前言在文[1]中,作者引入全对称拉丁方的概念,并且用2个正交的6m+3阶全对称拉丁方构成6m+3阶全对称幻方。本文将拉丁方的概念推广到三维,并且用三个正交的8阶三维全对称拉丁方构造8阶最佳幻立方,再用8阶等值最佳幻立方砌块构成8n阶最佳幻立方。本文所得到的6族8阶最佳幻立方,也是目前能构成的最低阶的最佳幻立方。     

Frame自正交拉丁方中的截态

本文证明当ｐ为质数幂时．在型为２ｐ的Ｆｒａｍｅ自正拉丁方中存在２（Ｐ－１）个互不相交的截态，且（ｉ）当ｐ大于３且时ｐ≡１（ｍｏｄ４）时这２（ｐ－１）个截态表现为ｐ－１个自对称的截态和（ｐ－１）／２对相互对称的截态；（ｉｉ）当ｐ大于５且ｐ≡３（ｍｏｄ４）时这２（ｐ－１）个截态在现为ｐ－１对相互对称的截态．     

关于2Kk的图设计

设2Kk表示2个点不相交的k阶完全图,图设计GD(υ,G,1)是1个有序对(V,B),这里V是Kk的点集,B是同构于G的Kk的子图族．给出了图设计GD(υ,2Kk,1)存在的必要条件,讨论了当υ≡1,k^2(mod 2k(k-1))时图设计GD(υ,2Kk,1)的存在性问题,证明了GD(υ,2K4,1)存在的充要条件是υ≡1,16(mod24)．     

关于行拉丁矩的横截的一个猜想

一个m×n阶矩阵 ,其元素取自集合 {a1 ,a2 ,… ,ak} ,满足每一行的元素互不相同 ,称这个矩阵为基于k的一个m×n阶行拉丁矩。设R是一个m×n阶拉丁矩 ,它的n个不同行不同列的且互不相同的元素称为R的横截。1 998年 ,DRISKO提出了一个猜想 :假设k≥n ,令R是一个 ( 2n-2 ) ×n阶基于k的行拉丁矩 ,则R或有一个横截 ,或R同痕于行拉丁矩A(2n- 2 )×n,这里A(2n- 2 )×n 是 ( 2n-2 )×n阶矩阵 ,它的元素是由记号 1 ,2 ,… ,n ,组成 ,其中前n -1行为 ( 1 ,2 ,… ,n-1 ,n) ,其余的n-1行都为 ( 2 ,3 ,… ,n ,1 )。本文利用行拉丁矩的配对算法 ,证明了这个猜想是成立的     

五阶及六阶全对称幻方

构造出五阶全对称幻方的通解 ;证明了六阶全对称幻方不存在 .前者解决了一个明确的问题 ,其结论是 :五阶全对称幻方必须由两个正交的全对称拉丁方构成 ;后者解决了一个长期猜想的问题 ,即六阶全对称幻方解不存在 .这两个问题 ,特别是后一个问题 ,都是长期悬而未决的问题 .     

单纯三重有向三元系的相交数

证明了对于任意正整数ｖ≥３,存在两个ｖ阶单纯三重有向三元系相交于ｓ个公共有向三元组的充要条件是：当ｖ＝３时,ｓ∈｛６｝;当ｖ＝４时,ｓ∈｛０,１,２,…,１２｝＼｛１,１１｝;当ｖ≥５时,ｓ∈｛０,１,２,…,ｖ（ｖ－１）｝＼｛ｖ（ｖ－１）－１｝,从而完全确定了单纯三重有向三元系相交数的谱     

单纯二重有向三元系的相交数

解决了单纯二重有向三元系的相交数问题，即证明了对于任一正整数ｕ≥３，ｖ≡０，１（ｍｏｄ ３），存在两个单纯二重有向三元系相交于ｓ个公共区组的充要条件是：当ｖ≥４时，ｓ∈（０，１，２，．．．，２ｖ（ｖ－１）／３），ｓ≠（２ｖ（ｖ－１）／３）－１当ｖ＝３时，ｓ∈（０，２，４）。     

n=t3阶正交拉丁方的构造方法

在三重正交拉丁立方构造研究的基础上,发现了一种适用于n=t3阶正交拉丁方构造的方法.并利用其方法构造n=8,27,64,125,343,512,…等阶的正交拉丁方.阐明了n=t3阶正交拉丁方构造的特点,介绍了n=t3阶正交拉丁方的构造方法及n=8,27阶欧拉方和幻方的构造结果.     

正交泛对角线拉丁方与泛对角线幻方(Ⅰ)

本文引入泛对角线拉丁方的概念,证明当自然数n的标准因子分解式p_1~k_1 p_2~k(?)…p_s~(ks)中pi≥5(1≤i≤s)时,正交泛对角线拉丁方存在。并运用正交泛对角线拉丁方对及偏差分对称方阵,构造出n阶泛对角线幻方.     

近双三图的两个定理

本文考虑一类有向图(一近双三图)的性质,用归纳法证明一些近双三图中存在一些特别的子图—可调形。     

图的λ_6-最优性的领域交条件

文章给出了满足一定条件的图的λ6-最优性的领域交条件.设图G是连通图,若对G中任意一对不相邻顶点u,v,都有｜N（u）∩N（v）｜≥10且｜X5｜≤5,则G是λ6-最优的;若对于连通图G中任意一对不相邻顶点u,v,都有｜N（u）∩N（v）｜≥10且对图中每个三角形T至少存在一个顶点v∈V（T）使得d（v）≥v2＋5,则G是λ6-最优的.     

计算机病毒传播速度的数学模型

本文讨论了计算机病毒传播的数学理论.指出并改正了Gleissner的一个错误,并通过修改t_v的定义和t_v的计算公式使Gleissner的引理1和定理得以成立.在此基础上,研究了计算机系统中由病毒状态v到病毒状态(?)计算机病毒的传播速度,并建立了其数学模型.     

可平面图3可选择的一个充分条件

给G=(V,E)的每个顶点分配一个色列表L={L(v)|v∈V},若G有一个正常顶点染色φ,使得对每个顶点v∈V,都有φ(v)∈L(v),则称G是L可染的。若对G的每一个满足|L(v)|≥k,v∈V的L,G都是L可染的,则称G是k可选择的。本文通过权转移方法证明了每个不含4,6,8,10圈的可平面图是3可选择的。     

关于4m-CS(v)的存在性

一个v阶k-圈系统,简记为CS(v,k),是长度为k的无向圈的集合,它的全体无向边恰构成v阶完全图Kv的边的一个分拆,利用差方法构造性地给出了4m-CS(v)的存在性.     

关于图运算的测地数

对于图G(或有向图D)内的任意两点u和v,u-v测地线是指在u和v之间(或从u到v)的最短路.I(u;v)表示位于u-v测地线上所有点的集合,对于SV(G)(或V(D)),I(S)表示所有I(u,v)的并,这里u,v∈S.G(或D)的测地数g(G)(或g(D))是使I(S)=V(G)(或I(S)=V(D))的点集S的最小基数.G的下测地数g-(G)=min狖g(D):D是G的定向图狚,G的上测地数g+(G)=max狖g(D):D是G的定向图狚.对于两个图G和H,u∈V(G)和v∈V(H),在u和v之间加一条边,然后再收缩这条边uv所得的图,记为GuHv.本文主要研究图GuHv的测地数和上(下)测地数.     

单圈图的最小广义Zagreb指标

设G是单圈图,dv表示顶点v的度数.讨论了单圈图G的几个拓扑指标:mG=vVGdvm,mG=vVGdvm,m1G=vVGdvm1,这里m是不小于2的正整数,刻画了单圈图关于3个拓扑指标的最小值.     

扇图的笛卡儿积的测地数(英文)

对于图G内的任意两点u和v,u-v测地线是指u和v之间的最短路.I(u,v)表示位于u-v测地线上所有点的集合,对于V(G)S,I(S)表示所有I(u,v)的并,这里u,v∈S.G的测地数g(G)是使I(S)=V(G)的点集S的最小基数.文章研究了Pm×Fn和Cm×Fn的测地数,这里Pm表示m阶路,Cm表示m阶圈,Fn表示n阶扇图。     

几类图的负对控制数

设D V是图G=(V,E)的任意一个对控制集,如果一个函数f:V→{-1,0,1}满足条件1)对任意点v∈D,有f(v)=1,对任意点v∈V-D,有f(v)≤0,2)对任意点v∈V,均有f(N[v])≥1,则称函数f为图G的负对控制函数。负对控制函数f的重量f(V)是V中所有点的函数值之和,图G的负对控制数γp-(G)=min{f(V)|f是图G的负对控制函数}。本文研究一些图的负对控制数。     

关于可平面图的3可选择性的一个注记

给图G=（V,E）的每个顶点v∈V分配一个可用色集L（v）,称L={L（v）｜v∈V}为G的一张色列表,若对每个顶点v∈V,都可以从L（v）中找到一种颜色φ（v）染给v,使得φ（x）≠φ（y）对任意边xy∈E成立,则称G是L可染的。若对G的任意一张满足｜L（v）｜≥k对所有v∈V成立的色列表L,G都是L可染的,则称G是k可选择的。本文运用Discharging方法证明了每一个不含4,6,8圈且任意两个三角形的距离至少为2的可平面图是3可选择的。