1 Apr
2008
1 Apr
'08
7:16 a.m.
* Fred lunnon <fred.lunnon@gmail.com> [Apr 01. 2008 09:31]:
[...]
f(i) = 2^i (1/2) (3/4) (7/8) (15/16) ... ~= 0.288788095087
This number turns up as the probability that a large random binary matrix is nonsingular. I don't know of a closed form for it --- does anybody else?
M(n)=2^(n*(n-1)/2) * prod(i=1,n, 2^i - 1) n=338; 1.0*M(n)/2^(n*n) 0.2887880950866024212788997219292307800889119048406857841 http://www.research.att.com/~njas/sequences/A002884 Whenever you count the OEIS is your friend.