Изменения

Перейти к: навигация, поиск

Погрешность предиката левый поворот

1222 байта добавлено, 03:20, 30 января 2012
Нет описания правки
+ |r_2(b_x - a_x)(y_1 - a_y)| \cdot |(F(3, 4, 5, 6, 7, 15) - 1)| + \\
+ |r_1(b_y - a_y)(x_2 - a_x)| \cdot |(F(8, 9, 12, 13, 14, 15) - 1)| + \\
+ |r_2(b_y - a_y)(x_1 - a_x)| \cdot |(F(10, 11, 12, 13, 14, 15) - 1)| = \\</tex>
Теперь раскрываем скобки во всех <tex>F</tex>, сокращаем единицы. Пользуемся свойством, что <tex>|\sum{p_i}| \leq \sum{|p_i|}</tex>,
потом вспоминаем, что <tex> |\delta_i| \leq \varepsilon_m </tex>.
Получаем следующее:
 
<tex> |k - \tilde{k}| \leq \\
\leq |r_1(b_x - a_x)(y_2 - a_y)| \cdot (6\varepsilon_m + 15\varepsilon_m^2 + 20\varepsilon_m^3 + 15\varepsilon_m^4 + 6\varepsilon_m^5 + \varepsilon_m^6) + \\
+ |r_2(b_x - a_x)(y_1 - a_y)| \cdot (6\varepsilon_m + 15\varepsilon_m^2 + 20\varepsilon_m^3 + 15\varepsilon_m^4 + 6\varepsilon_m^5 + \varepsilon_m^6) + \\
+ |r_1(b_y - a_y)(x_2 - a_x)| \cdot (6\varepsilon_m + 15\varepsilon_m^2 + 20\varepsilon_m^3 + 15\varepsilon_m^4 + 6\varepsilon_m^5 + \varepsilon_m^6) + \\
+ |r_2(b_y - a_y)(x_1 - a_x)| \cdot (6\varepsilon_m + 15\varepsilon_m^2 + 20\varepsilon_m^3 + 15\varepsilon_m^4 + 6\varepsilon_m^5 + \varepsilon_m^6) = \\
= (|r_1(b_x - a_x)(y_2 - a_y)| + |r_2(b_x - a_x)(y_1 - a_y)| + |r_1(b_y - a_y)(x_2 - a_x)| + \\
+ |r_2(b_y - a_y)(x_1 - a_x)|) \cdot
(6\varepsilon_m + 15\varepsilon_m^2 + 20\varepsilon_m^3 + 15\varepsilon_m^4 + 6\varepsilon_m^5 + \varepsilon_m^6)</tex>
Пусть <tex> t = (|(b_x - a_x) (c_y - a_y)| + |(b_y - a_y) (c_x - a_x)|).</tex> Получаем, что
Анонимный участник

Навигация