%I#18 2016年12月10日03:28:20
%S 0,1,3,6,11,17,27,42,651001522313495277921186177126393923,
%电话581786091271518747275954055252287239127704186721272717,
%电话:39791358002984473412291991787215259658737696546937579300781149082016640682
%N a(N)是最大整数,使得二项式(a(N,N)*2^(1-二项式,N,2))<1。
%C a(n)是Ramsey数R(n,n)的下界。换句话说,a(n)小于最小整数n,因此n个顶点上的每个图都包含一个n团或一个大小为n的独立集。
%D D.B.West,《图论导论》,皮尔逊出版社,2015年,第385页。
%H Chai Wah Wu,n的表格,n=1..1000的a(n)</a>
%F a(n)渐近于n*2^(n/2)/(e*sqrt(2))。
%p f:=进程(n)局部k,r,B;
%p k:=最大值(楼层(n*2^(n/2)/(exp(1)*sqrt(2))),n);
%p r:=2^(二项式(n,2)-1);
%p B:=二项式(k,n);
%p如果B<r,则
%p,而B*(k+1)/(k+1-n)<r做k:=k+1;B: =B*k/(k-n)od;
%p其他
%p,而B*(k-1)/k>r做B:=B*(k-1)/k;k: =k-1 od;
%p k:=k-1;
%p fi;
%千磅
%p端程序:
%p映射(f,[1..40]);#_罗伯特·伊斯雷尔(Robert Israel),2016年12月7日
%t表[位置[表[二项式[m,n]<2^(二项式[n,2]-1),{m,1,50000}],False][[1]]-1,{n,1,25}]//Flatten
%Y参见A212954。
%K nonn公司
%氧1,3
%2016年12月3日,《杰弗里准则》
%E更多条款,2016年12月7日,以色列罗巴特
|