杨辉三角与素数的关系

设p为素数,s,t∈N,a=t∑i=0 aip^i,r=s∑i=0 rip^i,这里ai,ri∈N,0≤ai≤p-1,0≤i≤t,0≤ri≤p-1,0≤i≤s,证明了Ca^r=Ca0^r0…Cas^rs（mod p）和Ca＋r^r≡Ca0＋r0^r0 Ca1＋r1^r1…Cat＋rt^rt（mod p）两个同余式．据此导出了杨辉三角的第a行以及第0行至第a行的二项系数中,使Ca^r≡0（mod p）的个数和使Ca^r≡0（mod p）的个数,推出了斜列{Ca＋r^r：r=0,1,…}中使Ca＋r^r≠0（mod p）的个数和使Ca＋r^r≡0（mod p）的个数．     

关于相关数列极限的一个注记

设yn=c0 xn+c1 xn-1+…+ckxn-k,其中{xn}、{yn}是数列,k是正整数,当0≤j≤k时,存在某个j,使得k∑i=0 i≠j|ci|<|cj|成立,则limn→∞yn=A的充要条件为limn→∞xn=A/k∑i=0ci.从而推广了已有的研究成果.     

路和圈上的锥的D(2)-点可区别正常边染色

设G是顶点集合为V(G)=｛v0i|i=1,2,…,p｝的简单图,n是正整数, 称Mn(G)为G上的锥(或广义Mycielski图),如果 V(Mn(G))=｛v01,v02,…,v0p;v11,v12,…,v1p;…;vn1,vn2,…,vnp,w｝, E(Mn(G))=E(G)∪｛vijv(i+1)k|v0jv0k∈E(G), 1≤j, k≤p,i=0,1,…,n-1｝∪｛vnjw|1≤j≤p｝。 讨论了路和圈上的锥的D(2)-点可区别正常边染色,并给出了相应的色数。     

星和扇上的锥的D(2)-点可区别正常边染色

设G是顶点集合为V(G)={v0i|i=1,2,…,p}的简单图,n是正整数,称Mn(G)为G上的锥(或广义Mycielski图),如果V(Mn(G))={v01,v02,…,v0p;v11,v12,…,v1p;…,vn1,vn2,…,vnp,w},E(Mn(G))=E(G)∪{vijv(i 1)k|v0jv0k∈E(G),1≤j,k≤p,i=0,1,…,n-1}∪{vnjw|1≤j≤p}.在这篇文章里,我们讨论了星和扇上的锥的D(2)-点可区别的正常边染色,并给出了相应色数.     

关于不定方程x~3+5~3=2Ry~2

设R=p1 p2 Q,Q=r i(n∈Z),ri-1(mod6)(1≤i≤n)为互异的奇素数,p1≡p2≡1(mod 6)为奇素数。运用初等方法得出了不定方程x 3+53=2Ry 2无正整数解的一个充分条件。     

关于丢番图方程2py~2=2x~3+3x~2+x的解

本文运用初等数论简单同余法、分解因子法及反证法等,得到丢番图方程2py2=2x3+3x2+x,(p为素数)无正整数解的情况.(1)当p≡1(mod 8),p≡5(mod 8),p≡7(mod 8)时,则方程无正整数解;(2)当p≡3(mod 8)时,Un+Vnp(1/2)=(x0+y0p(1/2))n.其中x0,y0是Pell方程x2-py2=1的基本解,当n≡0(mod 2)时,则方程无整数解;当n≡1(mod 2)时,若2|x0,则方程无整数解.特别是p≡3(mod 8)且p100时,2|x0,则方程无整数解.     

型为2~n的框架幂等Schrder拟群(英文)

在一个v阶不完全的幂等Schro¨der拟群中去掉vi个阶为hi的子拟群(1≤i≤k),如果这些子拟群是不相交的且是生成的(即:∑1≤i≤kvihi=v),则称这个v阶拟群为框架幂等Schro¨der拟群,并记为FISQ(hv11h2v2…hvkk).业已证明,FISQ(1n)存在当且仅当n≡0,1(mod 4)且n≠5,9.本文报道了除n=8作为可能的例外,FISQ(2n)存在的充分必要条件是n≥5且n≠6.     

L(G)是Hamiltonian的一个充分条件

设G是n≥3阶几乎无桥的连通图,G■K1,n-1,M=abc1c2c3是五个点的路,Bi={a,b,ci,ci 1},i=1,2,V1=V(G)-V(M).若对G中任何同构于M的导出子图满足下列条件之一:(ⅰ)■x0∈V1,|N〈bi〉(x0)|≥3,i=1,2;(ⅱ)xm∈V1,m=1,…,i 1(xs≠xt;s≠t;s,t=1,…,i 1),∑i 1m=1|N〈Bi〉(xm)|≥2i,i=1,2.则G有一个D-闭迹,从而L(G)是Hamiltonian.     

关于r进制表示法的一个问题数码和问题的探讨

设r>1是一个固定的正整数,则每一个正整数x都可以唯一地表示成x=anrn+an-1rn-1+…+a1r+a0其中ai为非负整数且≤r-1,0≤i≤n,an≠0.在序列{0,1,2…,r-1}上定义有界算术函数f(m),f(0)=0.令Sf(x)= ni=0f(ai),Br,f,k(x)=1x i≤x(Sf(i))k,k为任意给定的正整数.证明了Br,f,k(x)=f(1)+…+f(r-1)rklogkrx+O(logk-1rx)=f(1)+…+f(r-1)rklogkrx.     

关于丢番图方程x~3±27=py~2

利用初等方法得出了:p=3(3k+1)(3k+2)+1(k≡1,2(mod4))为奇素数时,丢番图方程x3+27=py2无正整数解;p=3k(k+1)+1≡1(mod8)(n≡k(mod 13))为奇素数时,丢番图方程x3-27=py2无正整数解.