Jump to content

Группа «черный ящик»

В теории вычислительных групп группа черного ящика ( группа черного ящика ) — это группа G , элементы которой кодируются битовыми строками длины N , а групповые операции выполняются оракулом ( « черный ящик »). Эти операции включают в себя:

  • взяв произведение g · h элементов g и h ,
  • взяв обратную g −1 элемента g ,
  • решая, является ли g = 1.

Этот класс определен так, чтобы включать в себя как группы перестановок, так и группы матриц . Верхняя граница порядка G , определяемая формулой | г | ≤ 2 Н показывает, G конечна что .

Приложения

[ редактировать ]

Группы «черных ящиков» были введены Бабаем и Семереди в 1984 году. [1] Они использовались в качестве формализма для (конструктивного) распознавания групп и проверки свойств . Известные алгоритмы включают алгоритм Бабая для поиска случайных элементов группы, [2] алгоритм замены продукта , [3] и проверка групповой коммутативности . [4]

Многие ранние алгоритмы CGT, такие как алгоритм Шрайера-Симса , требуют перестановками представления группы и, следовательно, не являются черным ящиком. Многие другие алгоритмы требуют нахождения порядка элементов . Поскольку существуют эффективные способы определения порядка элемента в группе перестановок или в группе матриц (метод для последнего описан Селлером и Лидхэм-Грин в 1997 году), обычно приходится предполагать, что группа черного ящика оснащен дополнительным оракулом для определения порядка элементов. [5]

См. также

[ редактировать ]

Примечания

[ редактировать ]
  1. ^ Бабай, Л.; Семереди, Э. (1984). «О сложности матричных групповых задач I». 25-й ежегодный симпозиум по основам информатики, 1984 г. стр. 229–240. дои : 10.1109/SFCS.1984.715919 . ISBN  0-8186-0591-Х .
  2. ^ Л. Бабай, Локальное разложение вершинно-транзитивных графов и случайная генерация в конечных группах , Тр. 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. ^ См. Холт и др. (2005).
  • Дерек Ф. Холт, Беттина Эйк, Имонн А. О'Брайен, Справочник по вычислительной теории групп , Дискретная математика и ее приложения (Бока-Ратон). Чепмен и Холл/CRC, Бока-Ратон, Флорида, 2005 г. ISBN   1-58488-372-3
  • Акос Сересс, Алгоритмы группы перестановок , Cambridge Tracts in Mathematics, vol. 152, Издательство Кембриджского университета, Кембридж, 2003. ISBN   0-521-66103-X .
  • Кантор, Уильям М .; Сересс, Акос (2001). Классические группы «черного ящика» . Мемуары Американского математического общества. Том. 708. Американское математическое общество . ISBN  978-0-8218-2619-5 . ISSN   0065-9266 .
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 14208fbe5b0ae4beed69498c7c69f4d2__1690017300
URL1:https://arc.ask3.ru/arc/aa/14/d2/14208fbe5b0ae4beed69498c7c69f4d2.html
Заголовок, (Title) документа по адресу, URL1:
Black box group - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)