Рұқсат беру сыныбы - Permutation class

Зерттеуінде ауыстыру және ауыстыру үлгілері, а ауыстыру сыныбы жиынтық пермутацияның кез-келген үлгісі in сонымен қатар . Яғни, бұл төмендету ауыстыру үлгісінің реті бойынша.[1]Ауыстыру класы а деп те аталуы мүмкін өрнек сыныбы, жабық сынып, немесе жай сынып ауыстыру туралы.

Әрбір ауыстыру класын оның ішінде жатпайтын минималды ауыстырулармен анықтауға болады, оның негіз.[2] Негізгі ауыстыру класы - бұл негізі тек бір ғана ауыстырудан тұратын класс. Мәселен, мысалы стек-сұрыпталатын ауыстырулар 231 тыйым салынған үлгісімен анықталған негізгі ауыстыру класын құрайды. Алайда кейбір басқа ауыстыру сыныптарының негіздері бірнеше өрнекпен немесе тіпті шексіз көп өрнектермен болады.

Барлық ауыстыруды қамтымайтын ауыстыру класы дұрыс деп аталады. 1980 жылдардың соңында, Ричард Стэнли және Герберт Уилф әрбір дұрыс ауыстыру класы үшін деп болжайды , кейбір тұрақты бар сан сияқты ұзындығы - сыныптағы ауыстырулар болып табылады жоғарғы шекара арқылы . Бұл белгілі болды Стэнли-Уилф гипотезасы ол дәлелденгенше Адам Маркус және Габор Тардос.[3]Алайда, бұл шектеу

(экспоненциалды өсу қарқынының негізінде тығыз байланыс) барлық негізгі ауыстыру кластары үшін бар, барлық басқа ауыстыру сыныптары үшін бар ма, жоқ па ол ашық.[4]

Екі ауыстыру класы деп аталады Вильф эквиваленті егер, әрқайсысы үшін , екеуінде де ұзындықтың саны бірдей . Вильф эквиваленттілігі - бұл эквиваленттік қатынас және оның эквиваленттік кластары Вильф класстары деп аталады. Олар комбинаторлық сабақтар ауыстыру сабақтары. Көптеген адамдар арасындағы санау функциялары мен Вильф эквиваленттері нақты ауыстыру сыныптары белгілі.

Әдебиеттер тізімі

  1. ^ Китаев, Сергей (2011), Ауыстырулар мен сөздердегі өрнектер, Теориялық информатикадағы монографиялар, Гейдельберг: Шпрингер, б. 59, дои:10.1007/978-3-642-17333-2, ISBN  978-3-642-17332-5, МЫРЗА  3012380
  2. ^ Китаев (2011), Анықтама 8.1.3, б. 318.
  3. ^ Маркус, Адам; Тардос, Габор (2004), «Алып тасталған матрицалық матрицалар және Стэнли-Уилфтің болжамдары», Комбинаторлық теория журналы, А сериясы, 107 (1): 153–160, дои:10.1016 / j.jcta.2004.04.002, МЫРЗА  2063960.
  4. ^ Альберт, Майкл (2010), «Орын ауыстыру құрылымындағы құрылымдық әдістерге кіріспе», Рұқсат ету үлгілері, Лондон математикасы. Soc. Дәріс сериясы, 376, Кембридж Университеті. Баспасөз, Кембридж, 153-170 бет, дои:10.1017 / CBO9780511902499.008, МЫРЗА  2732828