Пару (Cg^CT) , с,^ (Т)) будем называть зарядом супертаб- лицы Т .
( 1 . 3 . 6 ) . Определение заряда таблицы Т в терминах рованной таблицы спусков П>^= TD^(T) •
Рассмотрим в таблице Те STY СХ./ч) множество В^^, тоящее из всех чисел с меткой I • Лепсо проверить, что слово ъо^ из а) , (1.3.5), получается при чтении элементов множества В^ справа налево последовательно по строкам, начиная с верхней. Цусть DES СВс) - множество спусков в В^ » с1е9:СтУ==Х^> i • Шхто проверить, что è^^i
ССгООс (^0- /^é^c+ cies^(T), (I.3I)
1Яе ^1= {^')i- Card IDESCßi) " L-ай деффект таблицы
I .
Следовательно , с ет) ^ и.(уч) - ^ j^[ ^1 4- des (Т)^ (1-32)
ще ш охределению шлскено êtes LT) - ^__, с .
Отметим , что согласно (1.29), 1ис1СТ)=: ггСуц)-öI^sCT) • таким образом, заряд сСТ) таблицы т можно вычислять по форл^ле
L
В рассмотренном выше щ)имере
с Из формулы (1.33) следует сСТ):^7» ^то согласуется й выг числением зардка пс (1.3.5)•
( 1 . 3Л ) Функционал заряда и полиновш Костки. Теорема Ласку-Шютценберже [l], [l5]. I) ймеш
^r— - - - - - - - - - - ^' с(Т)
K^J% ) =1IIZ . % (1.34)
II ) При \ > 1^ полином K-x.rtCl') имеет степень ix(^i)-n(Ä) и старший ноэффициент I (если ^^ -^ уц , то Кх,м(Я.)^ о), теорема ТОмаса [I],[I7]. '
77