akor168: (Default)
[personal profile] akor168
Пришла в голову такая конструкция.

Вот пусть у нас есть некоторое множество X и мы фиксируем в нем N различных точек x_1,...,x_N.

Теперь возьмем любую числовую функцию F:X--- > R, заданную на X, со свойством все f_i=F(x_i) различны. Тогда существуете единственная перестановка из S_N, которая упорядочивает набор (f_1,...,f_N) по возрастанию.

То есть функция в некотором роде представляет перестановку. И более того таких функций для одной и той же перестановки есть вообще говоря много, потому как важны только значения на выделенном наборе точек.

Однако варьируя набор (x_1,...,x_N), и накладывая ограничения на класс функций, мы будем получать некое множество перестановок.

Например, если X - линейное пространство, а F(x) - линейный функционал.

Подслучай R^n, F(x)=(x,A), где А - некий вектор. И предположим мы взяли набор начальных точек так чтобы (x_i-x_j,A) не равно нулю. Другим словами, мы берем А вне некоторого конечного количества гиперплоскостей. Вопрос - какие перестановки из S_N мы сможет представить таким образом, варьируя это A.

Ясно что не обязательно все, ибо количество различных областей на которые эти гиперплоскости делят исходное пространство, конечно, и при переходе через каждую гиперплоскость моделируется одиночная транспозиция. Но как это описать или например ответить на вопрос - можно ли представить вполне конкретную перестановку при заданных x_1,...,x_N.

Кто-нибудь встречал что-то подобное?

Date: 2014-03-21 05:29 am (UTC)
From: [identity profile] rus4.livejournal.com
Я встречал, но не очень понятен конкретный вопрос.

Date: 2014-03-21 01:56 pm (UTC)
From: [identity profile] akor168.livejournal.com
Я фиксирую набор точек и рассматриваю линейные функции, представляющие перестановки в такой схеме. Изменяя A мне нужно реализовать перестановку из некоторого заданного класса, или ответить, что это невозможно(тогда мне надо будет вернутся в начало и изменить набор так, чтобы это стало возможным).
Edited Date: 2014-03-21 01:56 pm (UTC)

Date: 2014-03-21 02:11 pm (UTC)
From: [identity profile] akor168.livejournal.com
Более конкретное описание тех перестановок (1,...,N), которые мне надо реализовывать. У нас выделены два непересекающихся равно-мощных подмножества A и B из {1,...,N}. И остаток C.
Мне нужно реализовать перестановку, которая отображает взаимно однозначно A на B. Причем достаточно реализовать хоть какую-нибудь с подобным свойством.

Profile

akor168: (Default)
akor168

December 2016

S M T W T F S
     12 3
4 5678 9 10
1112 1314 151617
18192021222324
25262728293031

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 21st, 2025 08:43 pm
Powered by Dreamwidth Studios