正则二部竞赛图的弧泛回路性质

二部竞赛图D=(V,A)即是一个完全二部定向图,称D具有弧k回路性质,若D中的每一条弧均在k回路上,这里k为偶数,且4≤k≤|V(D)|,若对所有的偶数k4≤k≤|V(D)|,D总是具有弧k回路性质,则称D具有弧泛回路性质。     

弧哈密顿竞赛图的一个性质

设T是有p个顶点的一个竞赛图。若T的每一条弧都在一个长度为k的回路上,则称T为弧k回路的。若T是弧p回路的,也称T为弧哈密顿的。     

关于弧泛回路等价命题的注记

一、引言 1.令T=(V,A)为ρ个顶点的竞赛图,V为T的顶点集合,A为T的弧集合。 如果对T中每条弧e,都有一个长度为3的回路经过e,则称T为弧三回路的。如果对T中每条弧e,都有一个Hamilton回路经过e,则称T为弧Hamilton回路的。如果对T中每条     

关于二部竞赛图的Alspach问题

定向图是指无环、无重弧、无2-有向回路的有向图。设D=(V,A)是一个p阶定向图,V和A分别表示D的点集和弧集。令2≤k≤p-1为整数,定义     

有向图中的弧数和回路

关于有向图中的弧数和回路,Heydemann等在文[1]中提出如下的猜想.猜想设k和r是整数,r≥1,则存在一个函数f(k,r),使得对于强连通有向图D,当n≥f(k,r),δ(D)≥r,|E(D)|≥n~2-(k+r+2)n+(k+r+1)(r+1)+1时,D 中必存在长至少为n-k 的回路.     

一有限自动机的误差传播有界弱逆的结构

定义 设M=和M′=是两个有限自动机。任何s∈S和s′∈S′,若对任何x_0,x_1,…∈X都存在x_(_t),…,x_(-1)∈X使得λ′(s′,λ(s,x_0x_1…))=x_(-t)…x_(-1)x_0x_1…成立,且对任何l≥n≥0,任何x_0,…,x_l∈X和任何y_0~′,…,y_(n_1)~′,y_0,y_1,…,y_l∈y,都可由y_0…y_l=λ(s,x_0…x_l)推出λ′(s′,y_0 … y_l)=_(n+c)λ′(s′,y_0~′…y_(n-1)~′y_n…y_l),则称(s,s′)为延迟t步误差传播长度不大于e的匹配对,其中e是一非负整数,a_0a_1…a_l=_tb_0b_1…b_l表示a_t…a_l=b_t…b_l。对任何     

在某些类型的有限域中Golomb猜想成立

Golomb最近提出下述猜想:在任何有限域GF(p~n)中,总存在两个本原元,它们的和等于1。本文的目的是对一些特殊情况证实Golomb猜想,我们将利用下述定理。定理1 设c=φ(m)及q_1,q_2,…,q_k为c的所有不同的素因子,则α为mod m的本原元的充分且必要的条件是α~(c/qi)≠1(1≤i≤k)。     

一般四次循环域的类数的同余公式

Ankeny-Artin-Chowla在文献[1]中得到关于二次数域k的类数h的许多同余式,其中有些已为A.Kiselev得到。特别若k的判别式为素数P≡1(mod4),记ε_0=(t+u(p)~(1/2))/2为k的基本单位,则有     

Preneel猜想的证明

GF(2)中的m×m矩阵V=(V_(ij))若满足ⅰ)V_(ij)=0,V_(ij)=V_(ji)(1≤i,j≤n),ⅱ)矩阵V在GF(2)中可逆,则该矩阵称为V型矩阵。最近比利时学者B.Preneel等提出了一个猜想:     

一类虚二次域类数的可除性

一、引言 设a,d,d′是正整数,d=a~2d′,d′无平方因子,h′(-d′)表示二次域Q((-d′)~(1/2))的类数。对此Cowles证明了:当a=1,d=4k~n-1,k>1,k、n均为正整数,(1)     

关于Golomb猜想及其有关问题

设q(>3)为整数,GF(q)是一个有限域,其特征为p.Golomb在文献[1]中研究Costas阵列的设计问题时曾提出了如下3个猜想:(A)任一有限域GF(q)(q>2)均含有两个本原元,其和为单位元.(B)任一有限域GF(q)(q>3)均含有两个本原元,其和为-1.(C)存在一个正整数q_0满足下述性质:对于任一有限域 GF(q)以及任一非零元素c∈GF(q),     

Slater猜想的证明

图G称为k临界n连通的,如果对每一V′(?)V(G),其中|V′|≤k,有k(G-V′)=n-|V′|。这里k(G)表示G的连通度。一个k临界n连通图简称为(n,k)图。这一概念最早由Maurer与Slater在文献[1]中引进。Slater在文献[1]中提出如下猜想: 猜想A 当2k>n时,完全图K_(n+1)是唯一的(n,k)图。     

亚纯函数族的一个总的正规定则

1978年,顾永兴得到了关于亚纯函数族的一个重要的正规定则:“设{f}为区域D内亚纯函数族,k≥1为任一正整数,若对族中每一个函数f(z)在D内满足:f(?)0,f~(k)(?)1,则{f}在D内正规”。其后,杨乐和顾永兴都曾提出下述正规定则是否成立的问题:“设{f}为D内亚纯函数族,k≥1为任一正整数,α_0(z),α_1(z),…,α_(k-1)(z)为D内全纯函数,若对族     

关于 L(S)的一点结果

设A_(m×n)是行和为R=(r_1,r_2,…,r_m)、列和为Q=(q_1,q_2 …,q_n)的(0,1)矩阵。设δ_i=(1,…,1,0,…,0),其中前r_i个位置为1,其余为0,A_(m×n)=称为A_(m×n)的极左矩阵,记其列和向量为S.设L(S)={S|SS,S的分量递降且为非负整数}。若S、TεL(S),S≠T,ST,且不存在V L(S),V≠S,V≠T,满足SVT,则称S是T的直接后继。设S=(S_1,S_2,…,S_n),T=(t_1,t_2,…,t_n),我们有定理1 若S是T的直接后继,则存在i、j’满足S_i+1=t_i,S_j-l=t_j,S_k=t_k(1≤k≤n,     

素变数三角和的一个Bombieri型均值定理

在Goldbach猜想、孪生素数猜想等数论经典问题的研究中,必须处理素变数三角和S(x;α)=sum from n≤to A(n)e(nα),其中α及x≥2是实数,A(n)是 von Mangoldt函数,而 e(α)=e~(2πiα).当α接近于分母较小的分数时,例如时,有渐近公式(参看文献[1])此处及以下,L代表logx,μ(n)和(?)(n)分别是M(?)bius函数和Euler函数,而带有下标的c总     

组合码及其对偶码的不可检错误概率

由文献[1]知,在二元对称信道中,设误码率为p,则一个二元[n,k]线性码C的平均不可检错误概率定义为P_e(P)=sum from i=1 to n(A_iP~i(1-P)~(n-i),其中(A_0,A_1,…,A_n)是C的重量分布.而且,如果对任给的0≤p≤0.5,恒成立P_e(p)     

关于单形的两个不等式

杨路、张景中将Neuberg-Pedoe不等式推广到高维空间,给出了一个涉及两个单形的不等式,本文得到了另外两个涉及两个单形的不等式。 定理 设∑_A、∑_(A′)为n维欧氏空间E~n(n≥3) 中的两个单形。其棱长分别为其体积分别为V、V′,则有     

几乎所有的图都含不动边

我们考虑简单图,并使用文献[1]中的术语和记号.设G=(V(G),E(G))是一个图,e∈E(G)是G的一条边,如果对G—e的任意满足G—e e’(?)G的加边e’,都有e’=e,则称e为G的不动边.如果对满足G—e e’(?)G的加边e’,都存在G—e自同构映射将e的两个端点分别映到e’的两个端点,则称e为同构不动边.由此定义可知,当e是不动边时,它也是同构不动边.不动边的概念来源于图的边重构猜想.Sheehan首先提出不动子图的概念,并用之研究了边重构猜想.当不动子图仅为一条边时,即为不动边.文献[3]中的强迫边(forced edge)也是不动边.反之,一个边可重构图中的不动边也必是强迫边.这样,就可以通过证明一个图的     

关于D.H.Lehmer问题

设P为奇素数,我们知道对任一1≤x≤p—1,存在唯一的1≤(?)≤p—1使得x(?)≡1(modp)。用r(p)表示同余方程x(?)≡1(modp)满足条件1≤x,(?)≤p—1且x与(?)具有相反的奇偶性的解的个数。关于函数r(p),Lehmer曾提出求函数r(p)的值或者说一些有关它的非平凡性质。显然当p≡±1(mod4)时有同余式r(p)≡2或者0(mod4)。     

L~p空间上一类积-微分算子的谱

考虑如下被真空包围的有界闭凸集V中的中子迁移算子 A·=-vΩ·grad_r·-vΣ(r,v)·+∫_D∫_E κ(r,v,Ω,v′,Ω′)·dv′dΩ′,D(A)={Φ∈L~p(G)\AΦ∈L~p(G);Φ(r,v,Ω)=0对r∈aV及进入V的方向Ω成立},(r,v,Ω)∈G=V×E×D,E=(0,v_M],0相似文献