Оно первым было в гугле по запросу онлайн LaTeX-редактора, а там хтмл-код дают, ссылки из которого влом выкорчевывать. Да почему бы и не порекламить — удобный сервис.
Эх, пару моих знакомых, посмотрев Футураму сказали: «Вот это бред!» :) Отличный пример сериала, кстати, когда поверхностное мышление можно выкинуть на свалку, в силу его бесполезности ;)
«Профессор изобрел машину для обмена телами, которая, как оказалось, работает только в одну сторону. „
Так и не понял, что вы решаете. Есть случайная перестановка, ее нужно упорядочить. Но какие операции с ней допустимы — уже непонятно. Как решаете — понимал до введения сигмы, тут откуда-то появилась любое i, и все стало непонятно. Сигма — это какая-то одна перестановка, или их множество. Если множество — то как мы его используем?
Может стоит немного детальнее расписать, поставить задачу на языке той же дискретки, а потом решать?
Ну и если где не тот термин использую — не судите строго, дискретную математику учил лет восемь назад, старый уже, позабыл :)
Вопрос в том, что для исходного цикла необходимо найти такую подстановку, композиция с которой даст тождественную подстановку. Очевидный ответ с обратной подстановкой отпадает, ибо машина не умеет менять тела назад.
Сигма позволяет поочередно поменять всех местами без использования обратной подстановки. (Честно говоря, я не особо понял, как они сигму записали).
Пример: Зойдберга поменяли телами с Фраем, обозначим их F(Z) и Z(F), в скобочках указав «разум», вне скобок — тело. Добавим еще двоих: X(X) и Y(Y).
1 перестановка:
F(Z) <-> X(X) => F(X),X(F)
Z(F) <-> Y(Y) => Z(Y),Y(Z)
2 перестановка:
X(F) <-> F(Y) => F(F),X(Y)
Y(Z) <-> Y(X) => Z(Z),Y(X)
Получили то, что надо, теперь используем оставшуюся перестановку и меняем Х и Y.
Теорема же делает адское обобщение на произвольную перестановку.
Если я что упустил — буду благодарен если укажите на это. Но я понял все выкладки так: любая перестановка телами среди n субъектов может быть успешно возвращена в исходное состояние за счет перестановки между X и Y.
Насколько я вижу нет способа вернуть всех в свои тела. Почему? Предположим тогда такой способ есть — очевидно что на последнем шаге для возврата на нужно обменять местами X(Y) и Y(Z), что по условию невозможно. Значит полный возврат к исходному состоянию невозможен.
Перестановку (x,y) мы не используем во время работы алгоритма ни разу, x и y оказываются поменяны местами в результате всех остальных перестановок (см. частный случай, на нем легче всего доехать). Поэтому в конце мы и можем использовать нужную перестановку (думаю, это понадобится, если n четно).
Смотрите у нас есть некий алгоритм благодаря которому мы собираемся поменять всех назад. Всё идет отлично последний шаг — какой он? A(?) <-> B(?), очевидно что это обмен вида A(B) <-> B(A) (иначе получиться не последний шаг). То есть обмен который запрещен. Получается что последний шаг невозможен — следовательно невозможно полное возвращение всех назад.
Путем привлечения субъектов X Y мы можем получить перестановку в которой всех вернулись в свои тела, но при этом X и Y поменялись местами.
Я не вижу ошибки в рассуждении о том что последний шаг алгоритма невозможен в рамках заданных условий. Если вы мне укажите на неё буду благодарен.
Обмен запрещен только тогда, когда мы его уже делали одновременно над A и B. А они у нас получаются переставлены за счет работы алгоритма, как побочный эффект. Во время работы конкретно над A и B перестановок не производится.
в бытность студентом, подрабатывал на базаре — торговали коврами. неожиданно пригодилась «вышка»: длинну свернутого в рулон ковра считал без разворачивания и «линейного» измерения с точностью до 20 сантиметров.
к сожалению, 20 сантиметров ковра — это оказалось серьезными деньгами для других реализаторов и все равно все перемерялось в ручную.
учась в экстремально-гуманитарной школе, интегралы и пределы я открыл для себя только в университете…
объективно, скорее всего это старшие классы школы. субъективно — вышка :)
Ну после обмена Эми-Профессор уже произошли обмены Лила-Профессор и Эми-Бендер (обозная контейнерами), оставалось только по зелёным стрелочкам доменяться (Лила-Бендер последними). Что не так? А причём здесь все эти странные формулы — понятия не имею.
А мне кажется, автор перевел то, что было написано на доске в сериале… Меня даже разочаровало… Было бы интереснее, если была бы решена частная задачка… Подбор слов в переводе очень корявый…
Вот вы все пишете, пишете, но в исходной задаче имелись Эмми, Профессор, Бендер, Лила, Бухгалтер, Фрай, Зойдберг, Ведерко, Царь Николай, Баскетболист1, Баскетболист2. Кто-нибудь может адекватно представить как работает теория в «real-world applications»?
Дискретная математика в «бытовом» применении