Ĺ
Cookie ޤФʤΤǡɽ̾
޻Nagano Yoshimitsu
ˤޤ
Ų 921ڡ 0:18:08 HomePage:åλؤ52775
٥륯åĥ
ʤ256̤
Ƥꡡ25̤
󤬿Ȥ⤦ĤΤߡ72̤
󤬿Τߡ64̤
417̤Ǥ
921ڡ 0:19:41 52776
鯤ο
123
456
789

ܤΰ֤嵭ɽ
1ޤ2*2ޤ֤
3ޤ2*2ޤ֤
7ޤ2*2ޤ֤
9ޤ2*2ޤ֤

#A=#B=#C=#D=2^5=32
#(AB)#(AC)#(BD)=#(CD)8
#(AD)#(BC)4
#(ABC)#(ABD)=#(ACD)=#(BCD)=2
#(ABCD)1

(ABCD)
32*4-(8*4+4*2)+(2*4)-1
95

äơ
A,B,C,D֤ޤޤʤ֤οϡ
2^9-95417
//
921ڡ 0:24:36 52777
ǯ
ƻ˵ޤ
ˤʤ硧2^8=256
ˤ
Ȥ¾0ġ1
Ȥ¾1ġ8C1=8
Ȥ¾2ġ8C2=28
Ȥ¾3ġ8C31*4ʶ3ġ=52
Ȥ¾4ġ8C44*5ʶ3ĤȤۤ1ġ=50
Ȥ¾5ġΤ3Ľ4*5ס20
Ȥ¾6ġΤ2Ľ2*1ξơ=2
Ȥ¾78ĤϤʤ
256+1+8+28+52+50+20+2417
921ڡ 1:04:30 52778

22ޤĿǾʬƽʣʬĴޤ
ABCDE




Aξ¾=2^5=32̤(90ٲž4̤)
AˤB=2^3=8(90ٲž4̤)ʣ
B=8ˤC=1̤(1802ž)
D=1̤(904ž)
E=1̤
ʣ
¾AˤC=2^2=4(180ٲž)ʣƤ
äơ
324-84-42+12+14+1
=128-32-8+7=95

äƵϡ2^9-95=512-95=417̤

ǤˤϤʤޤǤ
921ڡ 2:37:33 52779
ֿء׾ι
Ȥȯǡ
921ڡ 6:44:10 52780
ϥ饮㡼ƥ
400նܤޤ
921ڡ 6:58:58 MAIL:tfuruya@aria.ocn.ne.jp 52781
ֿء׾ι
Ȥȯȿʤ򤷤ޤ
ǤáΤʤΤȤͤ顢

n(ABCD) = n(A) + n(B) + n(C) + n(D) - n(AB) - n(AC) - n(AD) - n(BC) - n(BD) - n(CD)
+ n(ABC) + n(ABD) + n(ACD) + n(BCD) - n(ABCD)

ˤΤȡ
Τϣᣵ
22Τ򡢱塢塢ˤǤȤ򤽤줾A,B,C,DȤơ
μǡ32*4-8-8-8-8-4-4+2+2+2+2-1=95, 512-95=417
Ф褫äΤˡ
921ڡ 7:14:28 52782
ֿء׾ι
ȤꤢΥץǤ
p [0,1].repeated_permutation(9).count{|x|x[0]*x[1]*x[3]*x[4]==0&&x[1]*x[2]*x[4]*x[5]==0&&x[3]*x[4]*x[6]*x[7]==0&&x[4]*x[5]*x[7]*x[8]==0}
921ڡ 7:59:41 52783
ֿء׾ι
ȤꤢNNƱȤͤȡ
N=4;c=0
for x in [0,1].repeated_permutation(N**2).to_a
s=0
for k in 0..N-2
for l in 0..N-2
s+=x[k+l*N]*x[k+l*N+1]*x[k+l*N+N]*x[k+l*N+N+1]
end
end
c+=1 if s==0
end
p c

921ڡ 8:50:06 52784
ֿء׾ι
N=3 417
N=4 42176
N-5 15701273
ȤʤޤN=5Ǥʻ֤äΤǡN=6ˤĩ碌
921ڡ 9:30:45 52785
ξ
ƤΥȼ餷ޤ
ä񤷤äǤ3ܤǤ褦䤯򤷤ޤ(4֤ä)
̲͡
Ф0〜9ĤΤȤˤĤƾʬ򤹤
(0):1̤
(1):9Ĥ1:9̤ꡡ
(2):9Ĥ2:36̤
(3):9Ĥ3:84̤
(4):9Ĥ4:126̤ꢪʤĤ4̤ꤢ:126-4122̤
(5):9Ĥ5:126̤ꢪʤĤ20̤ꤢ:126-20106̤
(6):9Ĥ6:84̤ꢪʤĤ36̤ꤢ:84-3648̤
(7):10̤
(8):1̤
(9):0̤

פ1+9+36+84+122+106+48+10+1=417̤

29=512̤꤫ʤĤƤɤǤ͡
Ĺʸ餷ޤ
921ڡ 22:14:48 52786
ޤ륱
N̲Rubyǽ񤤤ƤߤޤN=6ϥ­ޤ
N=25ޤǤ 15,417,42176,15701273 OEISͤùȤäѽФޤN=011ޤǡ
ΤˤϵޤƤäݤɽϽ񤫤Ƥޤ󡣤ɤäƵǤ礦͡

A139810Number of n X n binary matrices containing no 2 X 2 all-1s sub-block.+30
12
1, 2, 15, 417, 42176, 15701273, 21418970801, 107224417436160, 1968910887183791359, 132633131268024896655873, 32775983842712963307230834176, 29712661745725058784174163778464369

922ʶ 11:07:14 MAIL:take4310@mobile.email.ne.jp 52787
N
ǡ3ޥʹݤ֤2228̤ˤ򲣤123¤٤롣
1λϾƱ8̤ꡢ2λ85+62+557̤ꡢ3λ575+462+40417̤ꡣȵޤ
922ʶ 19:42:40 52788
ߤ뤯

2^9-4*2^5+(2^3*4+2^2*2)-4*2^1+1=417
923ڡ 16:14:01 52789
Ȥ
(a)(b)(c)
(d)(e)(f)
(g)(h)(i) ѿ򿶤
ФΤʤ0,1
Basic

for a=0 to 1
for b=0 to 1
for c=0 to 1
for d=0 to 1
for e=0 to 1
if a=1 and b=1 and d=1 and e=1 then goto 50
for f=0 to 1
if b=1 and c=1 and e=1 and f=1 then goto 40
for g=0 to 1
for h=0 to 1
if d=1 and e=1 and g=1 and h=1 then goto 20
for i=0 to 1
if e=1 and f=1 and h=1 and i=1 then goto 10
let s=s+1
10 next i
20 next h
30 next g
40 next f
50 next e
60 next d
70 next c
80 next b
90 next a
print s
end

f9ơ417()
˭ԡ 923ڡ 18:18:18 MAIL:fttnm528@ybb.ne.jp 52790
ߤ
ͤơŤ˷׾夵ΤƤäơĤ
ä礯鷺ǧߤǤ

ʣͤʤƤ褤#52788ˤϤޤȻפޤ
޷ߤͤϲ̤ꡩǡäݤ򤯤ΤϤФ
ȤǤ
923ڡ 18:38:14 52791
Ȥ
3*36*6ˤ

(a01)(a02)(a03)(a04)(a05)(a06)
(a07)(a08)(a09)(a10)(a11)(a12)
(a13)(a14)(a15)(a16)(a17)(a18)
(a19)(a20)(a21)(a22)(a23)(a24)
(a25)(a26)(a27)(a28)(a29)(a30)
(a31)(a32)(a33)(a34)(a35)(a36)ѿ򿶤
ФΤʤ0,1
Basic

print time$
for a1=0 to 1
for a2=0 to 1
for a3=0 to 1
for a4=0 to 1
for a5=0 to 1
for a6=0 to 1
for a7=0 to 1
for a8=0 to 1
if a1=1 and a2=1 and a7=1 and a8=1 then goto 290
for a9=0 to 1
if a2=1 and a3=1 and a8=1 and a9=1 then goto 280
for a10=0 to 1
if a3=1 and a4=1 and a9=1 and a10=1 then goto 270
for a11=0 to 1
if a4=1 and a5=1 and a10=1 and a11=1 then goto 260
for a12=0 to 1
if a5=1 and a6=1 and a11=1 and a12=1 then goto 250
for a13=0 to 1
for a14=0 to 1
if a7=1 and a8=1 and a13=1 and a14=1 then goto 230
for a15=0 to 1
if a8=1 and a9=1 and a14=1 and a15=1 then goto 220
for a16=0 to 1
if a9=1 and a10=1 and a15=1 and a16=1 then goto 210
for a17=0 to 1
if a10=1 and a11=1 and a16=1 and a17=1 then goto 200
for a18=0 to 1
if a11=1 and a12=1 and a17=1 and a18=1 then goto 190
for a19=0 to 1
for a20=0 to 1
if a13=1 and a14=1 and a19=1 and a20=1 then goto 170
for a21=0 to 1
if a14=1 and a15=1 and a20=1 and a21=1 then goto 160
for a22=0 to 1
if a15=1 and a16=1 and a21=1 and a22=1 then goto 150
for a23=0 to 1
if a16=1 and a17=1 and a22=1 and a23=1 then goto 140
for a24=0 to 1
if a17=1 and a18=1 and a23=1 and a24=1 then goto 130
for a25=0 to 1
for a26=0 to 1
if a19=1 and a20=1 and a25=1 and a26=1 then goto 110
for a27=0 to 1
if a20=1 and a21=1 and a26=1 and a27=1 then goto 100
for a28=0 to 1
if a21=1 and a22=1 and a27=1 and a28=1 then goto 90
for a29=0 to 1
if a22=1 and a23=1 and a28=1 and a29=1 then goto 80
for a30=0 to 1
if a23=1 and a24=1 and a29=1 and a30=1 then goto 70
for a31=0 to 1
for a32=0 to 1
if a25=1 and a26=1 and a31=1 and a32=1 then goto 50
for a33=0 to 1
if a26=1 and a27=1 and a32=1 and a33=1 then goto 40
for a34=0 to 1
if a27=1 and a28=1 and a33=1 and a34=1 then goto 30
for a35=0 to 1
if a28=1 and a29=1 and a34=1 and a35=1 then goto 20
for a36=0 to 1
if a29=1 and a30=1 and a35=1 and a36=1 then goto 10
let s=s+1
10 next a36
20 next a35
30 next a34
40 next a33
50 next a32
60 next a31
70 next a30
80 next a29
90 next a28
100 next a27
110 next a26
120 next a25
130 next a24
140 next a23
150 next a22
160 next a21
170 next a20
180 next a19
190 next a18
200 next a17
210 next a16
220 next a15
230 next a14
240 next a13
250 next a12
260 next a11
270 next a10
280 next a9
290 next a8
300 next a7
310 next a6
320 next a5
330 next a4
340 next a3
350 next a2
360 next a1
print s
print time$
end

f9ơ

18:52:53
21418970801
00:48:18


7*7,8*8,Ϥ˻֤
ȤꤢȤޤ
˭ԡ 924 9:45:31 MAIL:fttnm528@ybb.ne.jp 52792
⡼ޥ
椬ɤƤʤ...2^8
椬ɤƤ...2^8
2x2ɤƤ...ĤΥޥɤ=2^5
ɤƤ...1
ѤεL3ޥɤƤ...1
ʳ4žа㤦ѥˤʤ롣
so...(2^5-2)*4+1+1*22^8
so...2^8+{2^8-((2^5-2)*4+3)}=2^8+2^7+5=389
Ǥϥͳ狼ʤ錄...^^;
(ʤȤ⤳ʾʤΤǧڤäƤߤޤ...)
924 10:41:14 52793
ߤ뤯
ä˺Ŭ򤷤Ƥʤľʹ߾
https://wandbox.org/permlink/tz0GwmaTWuiNn7jK
n=4duration = 0.001sec.
n=5 duration = 0.002sec.
n=6 duration = 0.005sec.
n=7 duration = 0.029sec.
n=8 duration = 0.175sec.
n=9 duration = 1.677sec.
n=10 duration = 22.581sec.

ºݤn=9long long˼ޤʤʤ
__int128ȤܤˤʤΤǤ⤦٤ʤΤǤ
924 18:36:26 52794
ɥȥ
#52793 ⡼ޥ
90٤Ȥ˲󤻤ư㤦ѥˤʤפᤫȡ
㤨Сֺ22ɤƤ֡פΡֺ32ɤ줿֡פ90ٲžȡ־23ɤ줿֡פˤʤޤβžξ֤ϡֺ22ɤƤ֡פ˴ޤޤƤ롢ĤޤꤹǤ˿ƤΤǤ
äƥ֤꤬Ƥޤ(狼ˤƤߤޤ󡦡)
927ʿ 20:31:59 52795