Основные определения, связанные со строками — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Отношения между строками)
(Отношения между строками)
Строка 64: Строка 64:
 
{{Определение
 
{{Определение
 
|id=period
 
|id=period
|definition='''Период''' (англ. ''Period'') строки <tex>\alpha</tex> {{---}} число <tex>p</tex>: <tex>\forall i = 1 \ldots |\alpha| - p \alpha [i] = \alpha[i + p]</tex>.
+
|definition='''Период''' (англ. ''Period'') строки <tex>\alpha</tex> {{---}} число <tex>p</tex>: <tex>\forall i = 1 \ldots |\alpha| - p \alpha [i] = \alpha[i + p]</tex>.  
 
}}
 
}}
  
 
Пусть <tex>\alpha = acaacaa</tex>, тогда <tex>p = 3</tex> {{---}} период строки <tex>\alpha = acaacaa</tex>.
 
Пусть <tex>\alpha = acaacaa</tex>, тогда <tex>p = 3</tex> {{---}} период строки <tex>\alpha = acaacaa</tex>.
 +
 +
{{Утверждение
 +
|statement=Пусть известна строка <tex>\tau</tex> {{---}} период <tex>\alpha</tex> и <tex>|\alpha|</tex>, тогда можно восстановить всю строку <tex>\alpha</tex>.
 +
|proof=Из определения периода строки следует, что <tex>\alpha[1...|\tau|] = \alpha[|\tau| + 1...2*|\tau|] = ... = \alpha[|\tau|*(k - 1) + 1...|\tau|*k] </tex>, где <tex>k = \lfloor\frac{|\alpha|}{|\tau|} \rfloor</tex>. Таким образом <tex>\alpha = \sum_{i=1}^{\lfloor\frac{|\alpha|}{|\tau|} \rfloor} \tau + \tau[1...|\alpha| mod |\tau|]</tex>.
 +
}}
 +
  
 
{{Определение
 
{{Определение
Строка 85: Строка 91:
 
{{Определение
 
{{Определение
 
|definition =
 
|definition =
Строка <tex>\alpha < \beta</tex>, если:
+
Строка <tex>\alpha</tex> '''лексикографически меньше''' строки <tex>\beta</tex> (<tex>\alpha < \beta</tex>), если
* <tex>\alpha</tex> {{---}} префикс <tex>\beta</tex>
+
1. <tex>\alpha</tex> {{---}} префикс <tex>\beta</tex>
* <tex>\gamma</tex> {{---}} общий префикс <tex>\alpha</tex> и <tex>\beta</tex>: <tex>\alpha = \gamma c \delta</tex>, <tex>\beta = \gamma d \xi</tex> и <tex>c < d</tex>
+
 
 +
''или''
 +
 
 +
2. <tex> \mathcal {9} k\leqslant \min(|\alpha|, |\beta|): \alpha[k] < \beta[k] </tex> и при этом <tex> \mathcal {8} j < k ~\alpha_j = \beta_j </tex>
 
}}
 
}}
  

Версия 22:57, 9 июня 2014

Базовые определения

Определение:
Символ (англ. Symbol) — объект, имеющий собственное содержание и уникальную читаемую форму.


Определение:
Алфавит (англ. Alphabet) [math]\Sigma[/math] — непустое множество символов.


Примеры:

  • [math]\Sigma = \left\{0, 1\right\} [/math] — бинарный алфавит.
  • [math]\Sigma = \left\{\cdot, -\right\} [/math] — алфавит, лежащий в основе азбуки Морзе.
  • [math]\Sigma = \left\{a, b, c, d, ... , z\right\} [/math] — английский алфавит.
  • [math]\Sigma = \left\{0, 1, 2, ..., 9\right\} [/math] — алфавит цифр.
  • Нотные знаки


Определение:
Нейтральный элемент — пустая строка [math]\varepsilon[/math]: [math]\varepsilon \in \Sigma^{0}[/math]. Для любой строки [math]\alpha \in \Sigma^k[/math] верно: [math]\alpha\varepsilon=\varepsilon\alpha=\alpha[/math].


Определение:
Замыкание Клини (англ. Kleene closure) — унарная операция над множеством строк либо символов. Замыкание Клини множества [math]\Sigma[/math] есть [math]\Sigma^* : \Sigma^* = \bigcup\limits_{n = 0}^\infty \Sigma^n[/math].


Если [math]\Sigma = \left\{0, 1\right\}[/math], то [math]\Sigma^* = \left\{\varepsilon, 0, 1, 00, 01, 10, 11, 000, 001, 010, 011, ... \right\} [/math].


Определение:
Цепочка (англ. Chain) — элемент конечной длины из [math]\Sigma^*[/math].


Определение:
Конкатенация (англ. Concatenation) — бинарная, ассоциативная, некоммутативная операция, определённая на словах данного алфавита. Конкатецния строк [math]\alpha \in \Sigma^k[/math] и [math]\beta \in \Sigma^m[/math] является строка [math]\alpha\beta \in \Sigma^{k + m}[/math].


Определение:
Моноид (англ. Monoid) — множество, на котором задана бинарная ассоциативная операция, обычно именуемая умножением, и в котором существует нейтральный элемент. [math]\Sigma^*[/math] с операцией конкатенации и нейтральным элементом [math]\varepsilon[/math] образуют моноид


Отношения между строками

Определение:
Префикс (англ. Prefix) строки [math]\beta[/math] — строка [math]\alpha[/math]: [math]\beta = \alpha \gamma[/math].


Пусть [math]\beta = \underline{abr}acadabra[/math], тогда [math]\alpha = abr[/math] — префикс [math]\beta[/math].


Определение:
Суффикс (англ. Suffix) строки [math]\beta[/math] — строка [math]\alpha[/math]: [math]\beta = \gamma \alpha [/math].


Пусть [math]\beta = abracada\underline{bra}[/math], тогда [math]\alpha = bra[/math] — суффикс [math]\beta[/math].


Определение:
Бордер (англ. Circumfix) строки [math]\beta[/math] — строка [math]\alpha[/math]: [math]\beta = \gamma \alpha = \alpha \eta[/math].


Пусть [math]\beta = \underline{abra}cad\underline{abra}[/math], тогда [math]\alpha = abra[/math] — бордер <tex\beta</tex>.


Определение:
Период (англ. Period) строки [math]\alpha[/math] — число [math]p[/math]: [math]\forall i = 1 \ldots |\alpha| - p \alpha [i] = \alpha[i + p][/math].


Пусть [math]\alpha = acaacaa[/math], тогда [math]p = 3[/math] — период строки [math]\alpha = acaacaa[/math].

Утверждение:
Пусть известна строка [math]\tau[/math] — период [math]\alpha[/math] и [math]|\alpha|[/math], тогда можно восстановить всю строку [math]\alpha[/math].
[math]\triangleright[/math]
Из определения периода строки следует, что [math]\alpha[1...|\tau|] = \alpha[|\tau| + 1...2*|\tau|] = ... = \alpha[|\tau|*(k - 1) + 1...|\tau|*k] [/math], где [math]k = \lfloor\frac{|\alpha|}{|\tau|} \rfloor[/math]. Таким образом [math]\alpha = \sum_{i=1}^{\lfloor\frac{|\alpha|}{|\tau|} \rfloor} \tau + \tau[1...|\alpha| mod |\tau|][/math].
[math]\triangleleft[/math]


Определение:
Строка [math]\alpha \neq \varepsilon[/math] c периодом [math]p \neq |\alpha|[/math], называется сильнопериодической, если [math]|\alpha| \bmod p = 0[/math].


Строка [math]\alpha = acaacaaca[/math] является сильнопериодической с периодом [math]p = 3[/math].


Определение:
Подстрока (англ. Substring) — некоторая непустая связная часть строки.


Пусть [math]\beta = abr\underline{aca}dabra[/math], тогда [math]\alpha = aca[/math] — подстрока строки [math]\beta[/math].


Определение:
Строка [math]\alpha[/math] лексикографически меньше строки [math]\beta[/math] ([math]\alpha \lt \beta[/math]), если

1. [math]\alpha[/math] — префикс [math]\beta[/math]

или

2. [math] \mathcal {9} k\leqslant \min(|\alpha|, |\beta|): \alpha[k] \lt \beta[k] [/math] и при этом [math] \mathcal {8} j \lt k ~\alpha_j = \beta_j [/math]


Строка [math]\alpha = aca \lt \beta = acaaba[/math], так как является префиксом [math]\beta[/math].

Строка [math]\alpha = acaa \lt \beta = acab[/math], так как [math]a \lt b[/math].

Смотри также

Период и бордер, их связь

Слово Фибоначчи

Слово Туэ-Морса

Литература

  • Гасфилд Д. Строки, деревья и последовательности в алгоритмах: Информатика и вычислительная биология. — 2-е изд.
  • Kelley, Dean (1995). Automata and Formal Languages: An Introduction. London: Prentice-Hall International. ISBN 0-13-497777-7.
  • Gusfield, Dan (1999) [1997]. Algorithms on Strings, Trees and Sequences: Computer Science and Computational Biology. USA: Cambridge University Press. ISBN 0-521-58519-8.