Двач.hk прислал битые данные.
Вы видите копию треда, сохраненную 13 августа в 12:14.
Можете попробовать обновить страницу, чтобы увидеть актуальную версию.
Скачать тред: только с превью, с превью и прикрепленными файлами.
Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах. Подробнее
Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.
Вы видите копию треда, сохраненную 13 августа в 12:14.
Можете попробовать обновить страницу, чтобы увидеть актуальную версию.
Скачать тред: только с превью, с превью и прикрепленными файлами.
Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах. Подробнее
Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.
2 Мб, 500x500Столование-тред.
В этом ИТТ тренже бьемся над проблемой столования вместе с величайшими умами научного мира.
Суть проблемы - есть некая математическая операция (условно обозначенная "столованем"), которая относится к сложению так же, как сложение - к умножению. При этом она дистрибутивна относительно сложения и коммутативна. Через нее можно выразить сложение. Существует также обратное столование.
Нужно понять, что это за операция, и решить уравнение 3 столование 3 = х, а также определить операцию для общего случая a столование b.
Внимание! За ответ "инкремент" в этом треде сажают на кол!
В этом ИТТ тренже бьемся над проблемой столования вместе с величайшими умами научного мира.
Суть проблемы - есть некая математическая операция (условно обозначенная "столованем"), которая относится к сложению так же, как сложение - к умножению. При этом она дистрибутивна относительно сложения и коммутативна. Через нее можно выразить сложение. Существует также обратное столование.
Нужно понять, что это за операция, и решить уравнение 3 столование 3 = х, а также определить операцию для общего случая a столование b.
Внимание! За ответ "инкремент" в этом треде сажают на кол!
>>15401 (OP)
А можно наоборот - ввести операцию, которая по отношению у умножению будет вести себя так же как умножение по отношению к сложению?
А можно наоборот - ввести операцию, которая по отношению у умножению будет вести себя так же как умножение по отношению к сложению?
>>15418
Ты знал!
Ты знал!
>>15474
A&B = A&(B1) = (A&B)(A&1)
Либо A&1 = 1 всегда; либо A&B = 0 всегда.
A&0 = A&(B0) = A&B(A&0)
Либо A&0 = 0 всегда; либо A&B = 0 всегда.
A&B <> 0 => 1 = 0&1 = 1&0 = 0
A&B = 0 - операция получается тривиальной.
A&B = A&(B1) = (A&B)(A&1)
Либо A&1 = 1 всегда; либо A&B = 0 всегда.
A&0 = A&(B0) = A&B(A&0)
Либо A&0 = 0 всегда; либо A&B = 0 всегда.
A&B <> 0 => 1 = 0&1 = 1&0 = 0
A&B = 0 - операция получается тривиальной.
Каким образом через нее выражается сложение?
Как через инкремент понятно как гипероператор. А тут, очевидно, никакие комбинации не дадут нам сложение.
Как через инкремент понятно как гипероператор. А тут, очевидно, никакие комбинации не дадут нам сложение.
>>15401 (OP)
Называется тропическая алгебра
Называется тропическая алгебра
>>15466
Нахуя её вводить, если это и есть возведение в степень?
Нахуя её вводить, если это и есть возведение в степень?
>>15466
это вовззведение в степень
это вовззведение в степень
>>15401 (OP)
Очевидный инкримент.
Очевидный инкримент.
>>56640
А операцию, которая по отношению к инкрименту ведёт себя как сложение по отношению к умножению?
А операцию, которая по отношению к инкрименту ведёт себя как сложение по отношению к умножению?
если дистрибутивна и даже с одной из сторон коммутативна то она полукольцо. если это точно не инкремент то без единицы мб я тупой но есть какой-то элемент вроде нуля который будет себя грязно вести
152 Кб, 640x673>>56861
продолжая могу предположить что операция проверки на существование что-то вроде умножить на полтора плюс наименьшее общее кратное с каким-то "подлежащим столованию" нейтральным элементом. (единицы по умножению нет но какой-то нулевой объект же существует). операция все же унарная, ящитаю.
блять что я написал вообще
продолжая могу предположить что операция проверки на существование что-то вроде умножить на полтора плюс наименьшее общее кратное с каким-то "подлежащим столованию" нейтральным элементом. (единицы по умножению нет но какой-то нулевой объект же существует). операция все же унарная, ящитаю.
блять что я написал вообще
>>56862
пижжю, число удваивается и складывается с половиной себя, мол есть ли половина и есть ли вдвое большее. 3*2.5=7.5
пижжю, число удваивается и складывается с половиной себя, мол есть ли половина и есть ли вдвое большее. 3*2.5=7.5
ёбань какая-то, оп, что сам-то думаешь?
Если # - столование, то предлагаю определить результат m#n так:
1) если m = n, то m#n = m + 2 = n + 2
2) если m /= n, то m#n = max(m,n) + 1
Попробуем показать что m# ... #m [n раз] = m + n (n >= 2) индукцией по n, база очевидна m#m = m + 2, далее пусть для n верно, покажем для n+1:
m#...#m [n+1 раз] = (m#...#m [n раз])#m = (m+n)#m = max(m+n,m)+1 =
= m + n + 1 = m + (n + 1), ч.т.д.
Операция имеет левую ассоциативность, и как требовалось дистрибутивна относительно сложения т.к. рассмотрим a + (b#c):
1) b = c, a + (b#c) = a + (b + 2) = (a+b) + 2 = (a+b#a+c)
2) b/=c, a + (b#c) = a + max(b,c) + 1 = max(a+b,b+c) + 1 =
= (a+b#a+c).
Коммутативность очевидна и поэтому достаточно показать только дистрибутивность слева.
В общем, всё что смог придумать, товарищи.
1) если m = n, то m#n = m + 2 = n + 2
2) если m /= n, то m#n = max(m,n) + 1
Попробуем показать что m# ... #m [n раз] = m + n (n >= 2) индукцией по n, база очевидна m#m = m + 2, далее пусть для n верно, покажем для n+1:
m#...#m [n+1 раз] = (m#...#m [n раз])#m = (m+n)#m = max(m+n,m)+1 =
= m + n + 1 = m + (n + 1), ч.т.д.
Операция имеет левую ассоциативность, и как требовалось дистрибутивна относительно сложения т.к. рассмотрим a + (b#c):
1) b = c, a + (b#c) = a + (b + 2) = (a+b) + 2 = (a+b#a+c)
2) b/=c, a + (b#c) = a + max(b,c) + 1 = max(a+b,b+c) + 1 =
= (a+b#a+c).
Коммутативность очевидна и поэтому достаточно показать только дистрибутивность слева.
В общем, всё что смог придумать, товарищи.
>>56914
Неплохо.
Неплохо.
>>56914
фух, нечто внятное, спасибо)
фух, нечто внятное, спасибо)
>>56914
А ты хорош
А ты хорош
>>58294
Как ты его! Слабо доказать, что нет столования кроме инкремента?
Как ты его! Слабо доказать, что нет столования кроме инкремента?
Двач.hk прислал битые данные.
Вы видите копию треда, сохраненную 13 августа в 12:14.
Можете попробовать обновить страницу, чтобы увидеть актуальную версию.
Скачать тред: только с превью, с превью и прикрепленными файлами.
Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах. Подробнее
Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.
Вы видите копию треда, сохраненную 13 августа в 12:14.
Можете попробовать обновить страницу, чтобы увидеть актуальную версию.
Скачать тред: только с превью, с превью и прикрепленными файлами.
Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах. Подробнее
Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.