|
|
A002820
|
|
Number of n X n invertible binary matrices A such that A+I is invertible.
(Formerly M2170 N0866)
|
|
11
|
|
|
0, 2, 48, 5824, 2887680, 5821595648, 47317927329792, 1544457148312846336, 202039706313624586813440, 105823549214125066767168438272, 221819704567105547916502447159246848
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
1,2
|
|
COMMENTS
|
Also number of linear orthomorphisms of GF(2)^n.
|
|
REFERENCES
|
N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
|
|
LINKS
|
|
|
FORMULA
|
Reference gives a recurrence.
a(n) = 2^(n(n-1)/2) * A005327(n+1).
|
|
MAPLE
|
N:=proc(n, i) option remember; if i = 1 then 1 else (2^n-2^(i-1))*N(n, i-1); fi; end;
Oh:=proc(n) option remember; local r; global N;
if n=0 then RETURN(1) elif n=1 then RETURN(0) else
add( 2^(r-2)*N(n, r)*2^(r*(n-r))*Oh(n-r), r=2..n); fi; end;
[seq(Oh(n), n=1..15)];
|
|
MATHEMATICA
|
ni[n_, i_] := ni[n, i] = If[i == 1, 1, (2^n - 2^(i-1))*ni[n, i-1]]; a[0] = 1; a[1] = 0; a[n_] := a[n] = Sum[ 2^(r-2)*ni[n, r]*2^(r*(n-r))*a[n-r], {r, 2, n}]; Table[a[n], {n, 1, 11}] (* Jean-François Alcover, Jan 19 2012, after Maple *)
|
|
CROSSREFS
|
|
|
KEYWORD
|
nonn,nice,easy
|
|
AUTHOR
|
|
|
EXTENSIONS
|
|
|
STATUS
|
approved
|
|
|
|