%I#8 2022年7月18日19:29:58
%S 0,0,1,0,2,1,0,4,2,0,6,4,2,1,0,9,4,2_1,0,12,6,4,1,0,16,9,5,4,
%T 4,2,1,0,20,9,6,54,2,1,0,2512,9,6,5,4,2,1,0,30,16,9,6,6,5,5,5,4,5,5,4,2,1,0,44,4,2,
%1号机组
%N行读取的三角形:A(N,k)是图兰图T(N,k)的交集数,1<=k<=N。
%H维基百科,<a href=“https://en.wikipedia.org/wiki/Interction_number(英文)_(graph_theory)“>交叉口编号</a>
%H维基百科,<a href=“https://en.wikipedia.org/wiki/Turán_graph“>图兰图</a>
%F A(n,1)=0。
%F A(n,2)=楼层(n^2/4)=A002620(n)。
%F A(n,3)=楼层(n+1)/3)*楼层(n+2)/3)=A008133(n+1。
%F A(n,n-k)=A(2*k,k),对于2<=k<=n/2。
%当n>=3时,F A(n,n-1)=2。
%当n>=2时,F A(n,n)=1。
%F A(n,k)>=楼层((n+k-1)/k)*楼层((n+k-2)/k。
%e三角形开始:
%电子邮箱|1 2 3 4 5 6 7 8 9 10 11
%e(电子)----+--------------------------------
%e 1|0
%e 2 |0 1
%e 3 |0 2 1
%e 4 |0 4 2 1
%e 5 | 0 6 4 2 1
%e 6 | 0 9 4 4 2 1
%e 7 | 0 12 6 4 2 1
%电子邮箱:8 | 0 16 9 5 4 4 2 1
%电子邮箱:9 | 0 20 9 6 5 4 4 2 1
%电子邮箱:10 | 0 25 12 9 6 5 4 4 2 1
%电子邮箱:11 | 0 30 16 9 6 6 5 4 4 2 1
%o(Python)
%o从networkx导入findcliques,turan_graph
%o从itertools导入组合,计数
%o定义A355756(n,k):
%o如果k==1:返回0
%o G=turan_graph(n,k)
%o cliques=[find_clies(G)中c的排序(c)]
%o ne=G编号_边缘()
%o表示计数(1)中的r:
%o对于组合中的c0(团[1:],r-1):
%o c=(团[0],)+c0
%o如果len(set().union(e for i in range(r)for e in combinations(c[i],2))==ne:
%o返回r
%Y参考A002620、A008133、A355754。
%K non,tabl,更多
%O 1.5
%A _Pontus von Brömssen,2022年7月16日