Қара жәшік тобы - Black box group - Wikipedia

Жылы есептеу тобының теориясы, а қара жәшік тобы (қара жәшік тобы) Бұл топ G оның элементтері кодталған бит жіптері ұзындығы N, және топтық операцияларды Oracleқара жәшік Бұл операцияларға мыналар кіреді:

өнімді қабылдау ж·сағ элементтердің ж және сағ,
кері қабылдау ж−1 элемент ж,
шешім қабылдау ж = 1.

Бұл сыныпқа екеуі де кіретіні анықталған ауыстыру топтары және матрицалық топтар. Жоғарғы шегі тапсырыс туралы G | арқылы берілгенG| ≤ 2N көрсетеді G болып табылады ақырлы.

Қолданбалар

Қара жәшік топтары таныстырылды Бабай және Семереди 1984 жылы.[1] Олар формализм ретінде қолданылды (конструктивті) топтық тану және меншікті тексеру. Белгілі алгоритмдерге Бабайдың алгоритмі кездейсоқ топ элементтерін табу үшін,[2] The Өнімді ауыстыру алгоритмі,[3] және коммутативтілікті тексеру.[4]

CGT-де көптеген ерте алгоритмдер, мысалы Шрайер-Симс алгоритмі, талап етеді ауыстыру өкілдігі топтың, демек, қара жәшік емес. Көптеген басқа алгоритмдер іздеуді қажет етеді элемент тапсырыстары. Орын ауыстыру тобында немесе матрица тобында элементтің ретін табудың тиімді тәсілдері бар болғандықтан (соңғысы үшін әдісті Селлер және Лидхэм-Грин 1997 ж.), жалпыға бірдей жүгіну - бұл қара жәшік тобы элементтердің тапсырыстарын анықтауға арналған қосымша ораклмен жабдықталған деп болжау.[5]

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

Ескертулер

  1. ^ Бабай, Л .; Семереди, Е. (1984). «I топ матрицалық есептерінің күрделілігі туралы». Информатика негіздерінің 25-ші жыл сайынғы симпозиумы, 1984 ж.: 229–240. дои:10.1109 / SFCS.1984.715919. ISBN  0-8186-0591-X.
  2. ^ Л.Бабай, Шекті-транзитивті графиктердің жергілікті кеңеюі және ақырғы топтарда кездейсоқ генерация, Proc. 23-ші СТО (1991), 164–174.
  3. ^ Фрэнк Селлер; Чарльз Р.Лидхем-Грин; Скотт Х.Мюррей; Элис С. Нимейер; Е.А. О'Брайен (1995). «Шекті топтың кездейсоқ элементтерін құру». Алгебрадағы байланыс. 23 (3): 4931–4948. CiteSeerX  10.1.1.43.2250. дои:10.1080/00927879508825509.
  4. ^ Пак, Игорь (2012). «Топтың коммутативтілігін және рандомизация күшін тексеру». LMS есептеу және математика журналы. 15: 38–43. дои:10.1112 / S1461157012000046.
  5. ^ Hоlt және басқаларды қараңыз. (2005).

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

  • Дерек Ф. Холт, Беттина Эйк, Эамонн А. О'Брайен, Есептеу тобы теориясының анықтамалығы, Дискретті математика және оның қолданылуы (Boca Raton). Чэпмен және Холл / CRC, Бока Ратон, Флорида, 2005 ж. ISBN  1-58488-372-3
  • Ákos Seress, Рұқсат ету тобының алгоритмдері, Кембридждің математикадағы трактаттары, т. 152, Кембридж университетінің баспасы, Кембридж, 2003 ж. ISBN  0-521-66103-X.
  • Кантор, Уильям М.; Seress, Ákos (2001). Қара жәшік классикалық топтар. Американдық математикалық қоғам туралы естеліктер. 708. Американдық математикалық қоғам. ISBN  978-0-8218-2619-5. ISSN  0065-9266.