History of MaxSATByRandomizedRounding
Top
|
recent changes
|
Preferences
Revision 5
. . October 4, 2004 12:03 pm by
Neal
Revision 4
. . October 4, 2004 12:02 pm by
Neal
Revision 2
. . January 24, 2004 3:02 pm by
NealYoung
Difference (from prior major revision)
(
author diff
)
Changed: 65c65
: claim: 1-(1-x
1
)*(1-x
2
)*(1-x
3
) ≥ 1-(1-y
1
/3)3 ≥ y
1
(1-(1-1/3)
3
). (prove using calculus)
: claim: 1-(1-x
1
)*(1-x
2
)*(1-x
3
) ≥ 1-(1-y
1
/3)
3
≥ y
1
(1-(1-1/3)
3
). (prove using calculus)