進捗報告2007-09-11
- 6. µ[x]S (y) = µS (x, y)
∃x, µF (x) = 1,
µF (x) ∧ µS (x, y) ≤ µF (y), µF (x) ∧ µF (y) ≤ µS (x, y)
- 7. µP X (F ) = inf max{1 − µF (x), µX (x)}
x
µP X (x) = sup min µF (x), µP X (F )
F ∈U/P
- 9. µP OSP (Q) (x) = sup µP X (x)
X∈U/Q
µP OSP (Q) (x)
x∈U
γP (Q) =
|U |
- 17. 1 min(a(x), a(y))
µS (x, y) =
max(a(x), a(y))
|A|
a∈A
µP OSP (A) (x)
x∈U
γP (A) =
|U |
x∈U supX∈U/A µP X (x)
=
|U |
supX∈U/A supF ∈U/P min µF (x), µP X (F )
x∈U
=
|U |
x∈U supX∈U/A, F ∈U/P min (µF (x), inf x max{1 − µF (x), µX (x)}
=
|U |
- 19. 23.368 5.193 5.193 18.175 0.000
16.461 0.000 0.000 0.000 21.947
0.000 9.587 0.000 0.000 0.000
0.000 0.000 0.000 50.202 0.000
8.201 4.101 16.402 0.000 0.000
0.000 0.000 0.000 0.000 13.712
0.000 12.360 0.000 0.000 0.000
9.141 0.000 0.000 0.000 18.282
86.384 0.000 55.895 0.000 45.733
0.000 0.000 0.000 19.175 0.000
96.547 0.000 0.000 0.000 0.000
ul 0.000 30.900 0.000 0.000 0.000
127.259 26.330 8.777 39.494 57.047
21.981 0.000 9.769 12.212 12.212
0.000 0.000 0.000 0.000 24.720
5.487 0.000 27.434 0.000 0.000
4.101 0.000 12.302 0.000 0.000
0.000 0.000 28.762 0.000 0.000
131.648 26.330 8.777 43.883 57.047
118.917 0.000 0.000 0.000 0.000
olor
c
201.336 0.000 0.000 0.000 0.000
font-size 206.248 0.000 0.000 0.000 0.000
able
t
66.058 0.000 0.000 0.000 15.244
0.000 0.000 0.000 43.260 0.000
0.000 0.000 0.000 0.000 16.461
289.640 0.000 0.000 0.000 0.000
m
e
606.885 0.000 0.000 0.000 0.000
x
p
5.926 3.951 9.877 5.926 0.000
0.000 0.000 0.000 21.947 0.000
105.853 0.000 0.000 0.000 0.000
margin
13.712 13.712 0.000 0.000 0.000
0.000 0.000 0.000 0.000 15.244
4.571 18.282 0.000 0.000 0.000
35.410 0.000 3.541 0.000 21.246
19.175 0.000 14.381 0.000 0.000
13.712 4.571 0.000 18.282 0.000
0.000 0.000 0.000 19.935 0.000
4.234 16.936 0.000 0.000 0.000
0.000 0.000 0.000 67.980 0.000
9.553 0.000 12.737 0.000 0.000
0.000 18.540 0.000 0.000 0.000
SAI
J
0.000 0.000 0.000 24.720 0.000
Chu
0.000 30.900 0.000 0.000 0.000
0.000 10.974 0.000 0.000 5.487
0.000 0.000 30.900 0.000 0.000
121.419 0.000 0.000 0.000 0.000
0
186.955 0.000 0.000 0.000 0.000
td