Оказывается, у предиката f нет мажоритарного полиморфизма четвертого порядка.
Для меня это очень важный результат, ведь я особенно много думал над этой задачей 4 месяца назад, когда во всю пылал кризис в моей личной жизни.
Забавно, как только мне казалось, что ответ к задаче положительный, у меня возникала эйфория, а вместе с ней и уверенность, что я все исправлю.
Когда же я находил ошибку в своих рассуждениях и у меня появлялись хорошие аргументы в пользу отрицательного ответа, меня бросало в отчаяние и приходило чувство безысходности.
Вышло так, что мои отношения окончательно разрушились до того, как я нашел ответ.
Теперь я знаю, что они были обречены, ведь у такого предиката нет мажоритарного полифморфизма четвертого порядка =)
Для конечного полукольца (+,) с идемпотентными + и следующие два утверждения эквивалентны:
1) Закон поглощения: a+a*b = a для любых a и b.
2) Единица равна сумме всех элементов полукольца
И обратная ей функция f(k) = g^-1(k).
Как называется функция g или лучше функция f?
Если есть какая-то функция O(f) с хорошим названием, то тоже очень даже подойдет.
y''y = c
В любой точке x мы можем вычислить случайный вектор g(x) такой, что математическое ожидание g(x) равно градиенту в точке x: M[g(x)] = grad f(x).
xm — минимум функции f.
рассмотрим процесс x_{i+1} = 1/i*g(x_i) + x_i
Вопрос 1: стремится ли вероятность того, что |x_n-xm|<epsilon к единице?
Вопрос 2: тот же вопрос, но f — не дифференцируемая, а M[g(x)] — субградиент f(x)
Как доказать, что
min_x max_y xAy = max_y min_x xAy
где A — матрица,
x и y — вектора принадлежащие выпуклым множествам
?
А то я где бы не читал о, например, симплекс методе, ничего не понимал, пока сам не начал его придумывать.
Справедливо ли это для функций большего числа переменных?