Левис лемма - Википедия - Levis lemma

The uw = х және v =wy Леви леммасының жағдайы

Жылы теориялық информатика және математика, әсіресе сөздер бойынша комбинаторика, Леви лемма барлығы үшін деп мәлімдейді жіптер сен, v, х және ж, егер uv = xy, содан кейін жол бар w сондай-ақ

uw = x және v = wy (егер |сен| ≤ |х|)

немесе

сен = xw және wv = ж (егер |сен| ≥ |х|)

Яғни, жіп бар w бұл «ортасында», және бір жағына немесе екінші жағына топтастыруға болады. Леви леммасы есімімен аталады Фридрих Вильгельм Леви, оны 1944 жылы кім шығарды.[1]

Қолданбалар

Леви леммасын шешу үшін бірнеше рет қолдануға болады сөз теңдеулері; бұл жағдайда оны кейде деп атайды Нильсен трансформациясы аналогы бойынша Топтарға арналған Нильсен трансформациясы. Мысалы, теңдеуден бастаймыз = қайда х және ж белгісіз болып табылады, біз оны түрлендіре аламыз | х | ≥ | у |, сондықтан бар т осындай х=yt) дейін ytα = , осылайша = β. Бұл тәсіл Леви леммасын бірнеше рет қолдану арқылы алынған алмастырулар графигіне әкеледі. Егер әрбір белгісіз көп дегенде екі рет пайда болса, онда сөз теңдеуі квадрат деп аталады; квадрат сөз теңдеуінде Леви леммасын бірнеше рет қолдану нәтижесінде алынған график шектеулі, сондықтан да солай болады шешімді егер квадрат сөз теңдеуі болса шешімі бар.[2] Сөз теңдеулерін шешудің жалпы әдісі - бұл Маканиннің алгоритмі.[3][4]

Жалпылау

Жоғарыда аталған ретінде белгілі Леви лемма ішектерге арналған; лемма жалпы түрінде болуы мүмкін графтар теориясы және моноидтық теория; мысалы, жалпы леви леммасы бар іздер бастапқыда Кристин Дубоктың арқасында.[5]Левидің Лемманың іздері туралы бірнеше дәлелдерін табуға болады Іздер кітабы.[6]

Леви леммасы ұсталатын моноидта бар теңгерімділік қасиеті.[7] The ақысыз моноид жіптер мен тізбектер тізбегінің осы қасиеті бар (Леви жолдары үшін лемма бойынша), бірақ моноидтың бос екендігіне кепілдік беру үшін тең дәрежелік жеткіліксіз. Алайда эквивалентті моноид М егер қосымша бар болса, тегін гомоморфизм f бастап М дейін натурал сандар моноидты (бір генератордағы бос моноид) қасиеті бар алдын-ала түсіру 0-дің тек сәйкестендіру элементі бар М, яғни . (Ескертіп қой f жай гомоморфизм болу бұл соңғы қасиетке кепілдік бермейді, өйткені бірнеше элементтер болуы мүмкін М 0-ге кескінделген)[8] Осындай гомоморфизм болатын моноидты да атайды бағаланды (және f градация деп аталады).[9]

Сондай-ақ қараңыз

Ескертулер

  1. ^ Леви, Ф.В. (1944), «Жартылай топтар туралы», Калькутта математикалық қоғамының хабаршысы, 36: 141–146, МЫРЗА  0011694, Zbl  0061.02405.
  2. ^ Матияевич, Ю. В. (1968), «сөз бен ұзындық теңдеулер жүйесі мен Гильберттің оныншы есебі арасындағы байланыс», Zap. Научн. Сем. Ленинград. Отдел. Мат Инст. Стеклов. (ЛОМИ), 8: 132–144.
  3. ^ Маканин, Г.С. (1977), ағылшын аудармасы. математикадан. КСРО Сборник 32 (1977), «Еркін жарты топтағы теңдеулердің шешілу мәселесі», Мат Сборник, 103 (2): 147–236, Бибкод:1977SbMat..32..129M, дои:10.1070 / SM1977v032n02ABEH002376
  4. ^ М. Лотер (2002). "12". Сөздердегі алгебралық комбинаторика. Кембридж университетінің баспасы. ISBN  0-521-81220-8.
  5. ^ Дубок, Хр. (1986), «Еркін ішінара коммутативті моноидтардағы кейбір теңдеулер туралы», Теориялық информатика, 46: 159–174, дои:10.1016/0304-3975(86)90028-9
  6. ^ Фолькер Диекерт; Гжегож Розенберг, eds. (1995). Іздер кітабы. Әлемдік ғылыми. 1-576 бет. ISBN  981-02-2058-8.
  7. ^ Алдо де Лука; Стефано Варриччио (1999). Семигруппалардағы және формальды тілдердегі шектеулер мен заңдылық. Springer Berlin Heidelberg. б. 2018-04-21 121 2. ISBN  978-3-642-64150-3.
  8. ^ M. Lothaire (1997). Сөздердегі комбинаторика. Кембридж университетінің баспасы. б. 13. ISBN  978-0-521-59924-5.
  9. ^ Сакарович, Жак (2009), Автоматтар теориясының элементтері, Француз тілінен аударған Рубен Томас, Кембридж: Кембридж университетінің баспасы, б. 26, ISBN  978-0-521-84425-3