Aho-Corasick自动机的线性时间最小化

IF 0.2 Q4 MATHEMATICS, APPLIED

Prikladnaya Diskretnaya Matematika Pub Date : 2023-01-01 DOI:10.4213/dm1730

Е.И. Фурлетова, Evgeniya Igorevna Furletova

{"title":"Aho-Corasick自动机的线性时间最小化","authors":"Е.И. Фурлетова, Evgeniya Igorevna Furletova","doi":"10.4213/dm1730","DOIUrl":null,"url":null,"abstract":"Автомат Ахо - Корасик используется при поиске вхождений слов в текст. В работе предложено отношение эквивалентности $\\stackrel{R}{\\sim}$ на состояниях автомата Ахо - Корасик и доказана неотличимость $\\stackrel{R}{\\sim}$-эквивалентных состояний. Также разработан алгоритм построения $\\stackrel{R}{\\sim}$-минимального автомата, состояния которого - классы $\\stackrel{R}{\\sim}$-эквивалентности. Емкостная и временная сложности алгоритма линейны по числу состояний изначального автомата Ахо - Корасик. Рассмотрены случаи, при которых отношения $\\stackrel{R}{\\sim}$-эквивалентности и неотличимости состояний тождественны и, соответственно, предложенный автомат является приведенным.","PeriodicalId":42607,"journal":{"name":"Prikladnaya Diskretnaya Matematika","volume":"35 1","pages":""},"PeriodicalIF":0.2000,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Linear-time minimization of Aho-Corasick automaton\",\"authors\":\"Е.И. Фурлетова, Evgeniya Igorevna Furletova\",\"doi\":\"10.4213/dm1730\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Автомат Ахо - Корасик используется при поиске вхождений слов в текст. В работе предложено отношение эквивалентности $\\\\stackrel{R}{\\\\sim}$ на состояниях автомата Ахо - Корасик и доказана неотличимость $\\\\stackrel{R}{\\\\sim}$-эквивалентных состояний. Также разработан алгоритм построения $\\\\stackrel{R}{\\\\sim}$-минимального автомата, состояния которого - классы $\\\\stackrel{R}{\\\\sim}$-эквивалентности. Емкостная и временная сложности алгоритма линейны по числу состояний изначального автомата Ахо - Корасик. Рассмотрены случаи, при которых отношения $\\\\stackrel{R}{\\\\sim}$-эквивалентности и неотличимости состояний тождественны и, соответственно, предложенный автомат является приведенным.\",\"PeriodicalId\":42607,\"journal\":{\"name\":\"Prikladnaya Diskretnaya Matematika\",\"volume\":\"35 1\",\"pages\":\"\"},\"PeriodicalIF\":0.2000,\"publicationDate\":\"2023-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Prikladnaya Diskretnaya Matematika\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.4213/dm1730\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"MATHEMATICS, APPLIED\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Prikladnaya Diskretnaya Matematika","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4213/dm1730","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}

引用次数: 0

摘要

aho - kolasik机器用于搜索文本中的单词。这份工作提供了ahoe - kolasik自动售货机上的等价物，证明没有区别。它还开发了一种算法，用来构建一个最小的机器，它的状态是美元的等价物。ahoe - korusik机器的初始状态数是线性算法的容量和时间复杂性。在某些情况下，美元的等价性和无差别性是相等的，因此提供的自动售货机是相等的。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Linear-time minimization of Aho-Corasick automaton

Автомат Ахо - Корасик используется при поиске вхождений слов в текст. В работе предложено отношение эквивалентности $\stackrel{R}{\sim}$ на состояниях автомата Ахо - Корасик и доказана неотличимость $\stackrel{R}{\sim}$-эквивалентных состояний. Также разработан алгоритм построения $\stackrel{R}{\sim}$-минимального автомата, состояния которого - классы $\stackrel{R}{\sim}$-эквивалентности. Емкостная и временная сложности алгоритма линейны по числу состояний изначального автомата Ахо - Корасик. Рассмотрены случаи, при которых отношения $\stackrel{R}{\sim}$-эквивалентности и неотличимости состояний тождественны и, соответственно, предложенный автомат является приведенным.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Prikladnaya Diskretnaya Matematika MATHEMATICS, APPLIED-

CiteScore

0.60

自引率

50.00%

发文量

期刊介绍： The scientific journal Prikladnaya Diskretnaya Matematika has been issued since 2008. It was registered by Federal Control Service in the Sphere of Communications and Mass Media (Registration Witness PI № FS 77-33762 in October 16th, in 2008). Prikladnaya Diskretnaya Matematika has been selected for coverage in Clarivate Analytics products and services. It is indexed and abstracted in SCOPUS and WoS Core Collection (Emerging Sources Citation Index). The journal is a quarterly. All the papers to be published in it are obligatorily verified by one or two specialists. The publication in the journal is free of charge and may be in Russian or in English. The topics of the journal are the following: 1.theoretical foundations of applied discrete mathematics – algebraic structures, discrete functions, combinatorial analysis, number theory, mathematical logic, information theory, systems of equations over finite fields and rings; 2.mathematical methods in cryptography – synthesis of cryptosystems, methods for cryptanalysis, pseudorandom generators, appreciation of cryptosystem security, cryptographic protocols, mathematical methods in quantum cryptography; 3.mathematical methods in steganography – synthesis of steganosystems, methods for steganoanalysis, appreciation of steganosystem security; 4.mathematical foundations of computer security – mathematical models for computer system security, mathematical methods for the analysis of the computer system security, mathematical methods for the synthesis of protected computer systems;[...]