Шамдарды ассоциативтілік сынағы - Lights associativity test - Wikipedia

Жылы математика, Жарықтың ассоциативтілігін тексеру Ф.В. Лайттың а немесе жоқтығын тексеру үшін ойлап тапқан процедура екілік операция а анықталған ақырлы жиынтық а Кейлиді көбейту кестесі болып табылады ассоциативті. Кейли кестесімен көрсетілген екілік операцияның ассоциативтілігін тексеруге арналған, элементтердің әр үштігінен пайда болатын екі өнімді салыстыратын аңғалдық процедурасы ауыр. Light-дің ассоциативті тесті кейбір жағдайларда тапсырманы жеңілдетеді (дегенмен ол аңғал алгоритмнің ең нашар жұмыс уақытын жақсартпайды, атап айтқанда өлшем жиынтықтары үшін ).

Процедураның сипаттамасы

Шектелген жиында екілік амал '' 'анықталсын A Кейли үстелінің жанында. Кейбір элементтерді таңдау а жылы A, екі жаңа екілік амалдар анықталды A келесідей:

х ж = х · ( а · ж )
х ж = ( х · а ) · ж

Осы операциялардың Cayley кестелері құрастырылған және салыстырылған. Егер кестелер сәйкес келсе х · ( а · ж ) = ( х · а ) · ж барлығына х және ж. Бұл жиынның әрбір элементі үшін қайталанады A.

Төмендегі мысал Cayley кестесін құру және операциялар кестесін салыстыру процедурасын одан әрі жеңілдетуді көрсетеді ' ' және ' '.

Кейли кестелерін құру қажет емес ' ' және ' ' үшін барлық элементтері A. Кейлидің кестелерін салыстыру жеткілікті ' ' және ' 'тиісті генерациялау жиынындағы элементтерге сәйкес келеді A.

Операция болған кезде '. 'болып табылады ауыстырмалы, содан кейін x y = y х. Нәтижесінде әр Кейли кестесінің тек бір бөлігі ғана есептелуі керек, өйткені х x = x х әрқашан, ал х y = x y дегенді білдіреді x = y х.

Болған кезде сәйкестендіру элементі е, оны Кейли кестелеріне қосу қажет емес, өйткені х y = x у әрқашан, егер х мен у-тің кем дегенде біреуі е-ге тең болса.

Мысал

Жинақта '·' екілік операциясын қарастырыңыз A = { а, б, в, г., e } келесі Кэйли кестесімен анықталған (1-кесте):

Кесте 1
·абвг.e
  а  а  а  а  г.  г.
  б  а  б  в  г.  г.
  в  а  в  б  г.  г.
  г.  г.  г.  г.  а  а
  e  г.  e  e  а  а

Жиынтық { в, e } - жиын үшін генератор жиынтығы A жоғарыда келтірілген кесте арқылы анықталған екілік амал бойынша, а = e · e, б = в · в, г. = в · e. Осылайша, екілік амалдардың орындалуын тексеру жеткілікті ' ' және ' «сәйкес келеді в сәйкес келеді, сонымен қатар екілік амалдар ' ' және ' «сәйкес келеді e сәйкес келеді.

Екілік амалдар екенін тексеру үшін ' ' және ' «сәйкес келеді в сәйкес келеді, 1 кестедегі элементке сәйкес жолды таңдаңыз в:

Кесте 2
·абвг.e
  а  а  а  а  г.  г.
  б  а  б  в  г.  г.
  в  а  в  б  г.  г.
  г.  г.  г.  г.  а  а
  e  г.  e  e  а  а

Бұл жол жаңа кестенің тақырыптық жолы ретінде көшіріледі (3-кесте):

Кесте 3
     а  в  б  г.  г.
   
   
   
   
   

Тақырып астында а тиісті бағанды ​​тақырыптың астына 1-кестеге көшіріңіз б сәйкес бағанды ​​1-кестеде және т.б. көшіріңіз және 4-кестені тұрғызыңыз.

Кесте 4
     а  в  б  г.  г.
  а  а  а  г.  г.
  а  в  б  г.  г.
  а  б  в  г.  г.
  г.  г.  г.  а  а
  г.  e  e  а  а

Енді 5-кестені алу үшін 4-кестенің баған тақырыптары жойылады:

Кесте 5
                  
  а  а  а  г.  г.
  а  в  б  г.  г.
  а  б  в  г.  г.
  г.  г.  г.  а  а
  г.  e  e  а  а

Екілік операцияның Cayley кестесі ' 'элементіне сәйкес келеді в 6 кестеде келтірілген.

Кесте 6
  (c)  а  б  в  г.  e
  а  а  а  а  г.  г.
  б  а  в  б  г.  г.
  в  а  б  в  г.  г.
  г.  г.  г.  г.  а  а
  e  г.  e  e  а  а

Келесі таңдаңыз в 1-кестенің бағанасы:

Кесте 7
·абвг.e
  а  а  а  а  г.  г.
  б  а  б  в  г.  г.
  в  а  в  б  г.  г.
  г.  г.  г.  г.  а  а
  e  г.  e  e  а  а

Бұл бағанды ​​индекс бағанына көшіріп, 8-кестені алыңыз:

Кесте 8
                  
  а
  в
  б
  г.
  e

Индекс жазуына қарсы а 8-кестеде индекс жазбасына қарсы 1-кестедегі сәйкес жолды көшіріңіз б сәйкес кестені 1 кестеде және т.б. көшіріңіз және 9 кестені тұрғызыңыз.

Кесте 9
                  
  а  а  а  а  г.  г.
  в  а  в  б  г.  г.
  б  а  б  в  г.  г.
  г.  г.  г.  г.  а  а
  e  г.  e  e  а  а

9-кестенің бірінші бағанындағы индекс жазбалары 10-кестені алу үшін жойылады:

Кесте 10
                  
     а  а  а  г.  г.
     а  в  б  г.  г.
     а  б  в  г.  г.
     г.  г.  г.  а  а
     г.  e  e  а  а

Екілік операцияның Cayley кестесі ' 'элементіне сәйкес келеді в 11 кесте бойынша берілген.

Кесте 11
(c)  а  б  в  г.  e
  а  а  а  а  г.  г.
  б  а  в  б  г.  г.
  в  а  б  в  г.  г.
  г.  г.  г.  г.  а  а
  e  г.  e  e  а  а

6 кестедегі әр түрлі ұяшықтардағы жазбалар 11 кестенің сәйкес ұяшықтарындағы жазбалармен сәйкес келетіндігін тексеруге болады. х · ( в · ж ) = ( х · в ) · ж барлығына х және ж жылы A. Егер кейбір сәйкессіздіктер болса, онда бұл дұрыс болмас еді х · ( в · ж ) = ( х · в ) · ж барлығына х және ж жылы A.

Сол х · ( e · ж ) = ( х · e ) · ж барлығына х және ж жылы A ұқсас кестені құру арқылы дәлелдеуге болады (12-кесте және 13-кесте):

Кесте 12
 (e)  а  б  в  г.  e
  а  г.  г.  г.  а  а
  б  г.  г.  г.  а  а
  в  г.  г.  г.  а  а
  г.  а  а  а  г.  г.
  e  а  а  а  г.  г.
Кесте 13
 (e)  а  б  в  г.  e
  а  г.  г.  г.  а  а
  б  г.  г.  г.  а  а
  в  г.  г.  г.  а  а
  г.  а  а  а  г.  г.
  e  а  а  а  г.  г.

Одан әрі жеңілдету

Екілік операциялардың Кейли кестелерін (6-кесте және 11-кесте) құру қажет емес ' ' және ' '. Тақырыпқа сәйкес бағанды ​​көшіру жеткілікті в 1-кестеде 5-кестедегі индекс бағанына және келесі кестені қалыптастырыңыз (14-кесте) және а-14 кестенің өсіндісі дәл осымен сәйкес келеді а- 1 кестенің өсуі, б-14 кестенің өсіндісі дәл осымен сәйкес келеді б- 1-кестенің және т.с.с. қайталануы керек mutatis mutandis жиынтығының барлық элементтері үшін A.

Кесте 14
     а  в  б  г.  г.
  а  а  а  а  г.  г.
  в  а  в  б  г.  г.
  б  а  б  в  г.  г.
  г.  г.  г.  г.  а  а
  e  г.  e  e  а  а

Бағдарлама

Компьютерлік бағдарламалық қамтамасыздандыру Light-дің ассоциативтілігін тексеру үшін жазуға болады. Кехайопулу мен Аргирис осындай бағдарлама жасады Математика.[1]

Кеңейту

Жарықтың ассоциативтілік сынағын ассоциативтілікті жалпы контекстте кеңейтуге болады.[2][3]

Келіңіздер Т = { т1, т2, , тм } а магма онда операция арқылы белгіленеді қатар қою. Келіңіздер X = { х1, х2, , хn } жиынтық болуы. Бастап картаға түсірілсін Декарттық өнім Т × X дейін X деп белгіленеді (т, х) ↦ тх және осы картаның қасиеті бар-жоғын тексеру талап етілсін

(ст)х = с(тх) барлығына с, т жылы Т және бәрі х жылы X.

Жоғарыда көрсетілген қасиеттің бар-жоғын тексеру үшін Light-дің ассоциативті тестін жалпылауды қолдануға болады. Математикалық белгілерде жалпылау келесідей жүреді: әрқайсысы үшін т жылы Т, рұқсат етіңіз L(т) болуы м × n элементтерінің матрицасы X кімдікі мен - үшінші қатар

( (тмент)х1, (тмент)х2, , (тмент)хn ) үшін мен = 1, , м

және рұқсат етіңіз R(т) болуы м × n элементтерінің матрицасы X, кімнің элементтері j - баған

( т1(тхj), т2(тхj), , тм(тхj) ) үшін j = 1, , n.

Жалпыланған тестке сәйкес (Беднаректің кесірінен), тексеруге жататын мүлік тек сол жағдайда болады L(т) = R(т) барлығына т жылы Т. Қашан X = Т, Беднаректің сынағы Light сынағына дейін азаяды.

Неғұрлым жетілдірілген алгоритмдер

Раджагопаланның және кездейсоқ алгоритмі бар Шульман ассоциативтілікті кіріс өлшеміне пропорционалды уақытта тексеру. (Әдіс басқа да сәйкестіліктерді тексеру үшін де жұмыс істейді.) Атап айтқанда, жұмыс уақыты үшін кесте және қате ықтималдығы . Алгоритмді үштікке келтіру үшін өзгертуге болады ол үшін , егер бар болса, уақытында .[4]

Ескертулер

  1. ^ Кехайопулу, Ниови; Филипп Аргирис (1993). «Mathematica көмегімен жарықтың ассоциативтілігін тексеруге арналған алгоритм». Дж. Компут. Хабарлау. 3 (1): 87–98. ISSN  1180-3886.
  2. ^ Беднарек, A R (1968). «Light ассоциативті тестінің кеңеюі». Американдық математикалық айлық. 75 (5): 531–532. дои:10.2307/2314731. JSTOR  2314731.
  3. ^ Калман, Дж А (1971). «Беднаректің Light ассоциативті тестінің кеңеюі». Semigroup форумы. 3 (1): 275–276. дои:10.1007 / BF02572966.
  4. ^ Раджагопалан, Шридхар; Шульман, Леонард Дж. (2000). «Жеке тұлғаны тексеру». Есептеу бойынша SIAM журналы. 29 (4): 1155–1163. CiteSeerX  10.1.1.4.6898. дои:10.1137 / S0097539797325387.

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