登录
OEIS由OEIS基金会的许多慷慨捐赠者.

 


A091472号
具有可在复数上对角化的项{0,1}的n×n矩阵的数目。
2
2, 12, 320, 43892, 24266888
抵消
1,1
评论
矩阵M在域F上是可对角化的,如果存在一个可逆矩阵S,其中的项来自F,使得S^(-1)MS是对角的。
n×n矩阵M可对角化的充要条件是它具有n个线性无关的特征向量。
参考文献
R.A.Horn和C.R.Johnson,矩阵分析,剑桥,1988年,第1.3节。
例子
a(2)=12:除00/10、01/00、11/01、10/11外的所有。
数学
需要[“Utilities`FilterOptions`”]选项[DiagonalizableQ]={Field->Complexes,ZeroTest->(RootReduce[#]==0&)};
矩阵[n_,l_List:{0,1}]:=分区[#,n]和/@Flatten[Outer[List,Sequence@@Table[l,{n^2}]],n^2-1]
可对角化Q[m_List?MatrixQ,opts___]:=模块[{field=field/.{opts}/.Options[DiagonalizableQ],eigenopts=FilterOptions[Eigenvectors,opts]},Switch[field,Complexes,ComplexDiagonalisableQ[m,eigenopts],Reals,RealDiagonalzableQ[m
表[Count[Matrices[n],_?可对角化Q],{n,4}]
(*第二个节目:*)
a[n_]:=模块[{M,iter,cnt=0},M=表[a[i,j],{i,1,n},{j,1,n}];iter=螺纹[{压扁[M],0,1}];Do[If[DiagonalizableMatrixQ[M],cnt++],Evaluate[Sequence@@iter]];cnt];
执行[打印[n,“”,a[n]],{n,1,4}](*Jean-François Alcover公司2018年12月9日*)
黄体脂酮素
(鼠尾草)
导入itertools
定义a(n):
ans,W=0,itertools.product([0,1],repeat=n*n)
对于w中的w:
如果矩阵(QQbar,n,n,w).is_diagonalizable():ans+=1
返回ans#魏若冰2023年9月24日
关键字
非n,更多
作者
埃里克·韦斯特因2004年1月12日
扩展
a(5)来自魏若冰2023年9月24日
状态
经核准的

查找|欢迎光临|维基|注册|音乐|地块2|演示|索引|浏览|网络摄像头
贡献新序列。或评论|格式|样式表|变换|超级搜索|最近
OEIS社区|维护人OEIS基金会。

许可协议、使用条款、隐私政策。.

上次修改时间:美国东部夏令时2024年9月21日15:11。包含376087个序列。(在oeis4上运行。)