Algorithmic combinatorics on partial words:
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
Boca Raton, Fla. [u.a.]
Chapman & Hall/CRC
2008
|
Schriftenreihe: | Discrete mathematics and its applications
|
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | Includes bibliographical references (p. 369-378) and index. - Formerly CIP |
Beschreibung: | 385 S. graph. Darst. |
ISBN: | 9781420060928 1420060929 |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV025531798 | ||
003 | DE-604 | ||
005 | 00000000000000.0 | ||
007 | t | ||
008 | 100417s2008 d||| |||| 00||| eng d | ||
015 | |a GBA803516 |2 dnb | ||
020 | |a 9781420060928 |9 978-1-420-06092-8 | ||
020 | |a 1420060929 |9 1-420-06092-9 | ||
035 | |a (OCoLC)605952520 | ||
035 | |a (DE-599)BVBBV025531798 | ||
040 | |a DE-604 |b ger |e rakwb | ||
041 | 0 | |a eng | |
049 | |a DE-11 |a DE-83 | ||
082 | 0 | |a 005.1 | |
084 | |a SK 170 |0 (DE-625)143221: |2 rvk | ||
084 | |a 68R15 |2 msc | ||
100 | 1 | |a Blanchet-Sadri, Francine |e Verfasser |0 (DE-588)136226957 |4 aut | |
245 | 1 | 0 | |a Algorithmic combinatorics on partial words |c Francine Blanchet-Sadri |
264 | 1 | |a Boca Raton, Fla. [u.a.] |b Chapman & Hall/CRC |c 2008 | |
300 | |a 385 S. |b graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 0 | |a Discrete mathematics and its applications | |
500 | |a Includes bibliographical references (p. 369-378) and index. - Formerly CIP | ||
650 | 0 | 7 | |a Symbolverarbeitung |0 (DE-588)4278565-0 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Wort |g Informatik |0 (DE-588)4348610-1 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Kombinatorik |0 (DE-588)4031824-2 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Wort |g Informatik |0 (DE-588)4348610-1 |D s |
689 | 0 | 1 | |a Kombinatorik |0 (DE-588)4031824-2 |D s |
689 | 0 | 2 | |a Symbolverarbeitung |0 (DE-588)4278565-0 |D s |
689 | 0 | |5 DE-604 | |
856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020134867&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-020134867 |
Datensatz im Suchindex
_version_ | 1804142703727869953 |
---|---|
adam_text | Titel: Algorithmic combinatorics on partial words
Autor: Blanchet-Sadri, Francine
Jahr: 2008
Contents
Preface 13
I BASICS 23
1 Preliminaries on Partial Words 25
1.1 Alphabets, letters, and words.................. 25
1.2 Partial functions and partial words .............. 27
1.3 Periodicity ............................ 30
1.4 Factorizations of partial words ................. 32
1.5 Recursion and induction on partial words........... 35
1.6 Containment and compatibility................. 36
Exercises ............................. 39
Challenging exercises ...................... 40
Programming exercises ..................... 41
Bibliographic notes ....................... 42
2 Combinatorial Properties of Partial Words 43
2.1 Conjugacy ............................ 43
2.1.1 The equation xz = zy ................. 43
2.1.2 The equation xz | zy.................. 44
2.2 Commutativity.......................... 48
2.2.1 The equation xy = yx ................. 48
2.2.2 The equation xy yx.................. 48
Exercises ............................. 56
Challenging exercises ...................... 57
Programming exercises ..................... 58
Website.............................. 59
Bibliographic notes ....................... 59
II PERIODICITY 61
3 Fine and Wilf s Theorem 63
3.1 The case of zero or one hole .................. 63
3.2 The case of two or three holes ................. 64
3.3 Special partial words ...................... 67
3.3.1 p = 1 ........................... 67
3.3.2 p 1 ........................... 71
3.4 Graphs associated with partial words ............. 73
3.5 The main result ......................... 79
3.6 Related results.......................... 82
Exercises ............................. 86
Challenging exercises ...................... 88
Programming exercises ..................... 89
Websites ............................. 90
Bibliographic notes ....................... 90
4 Critical Factorization Theorem 93
4.1 Orderings............................. 93
4.2 The zero-hole case........................ 96
4.3 The main result: First version ................. 9
4.4 The main result: Second version ................ 104
4.5 Tests ............................... Ill
Exercises ............................. 112
Challenging exercises ...................... 113
Programming exercises ..................... 114
Websites ............................. 115
Bibliographic notes ....................... 115
5 Guibas and Odlyzko s Theorem 117
5.1 The zero-hole case........................ 117
5.2 The main result ......................... 120
5.3 The algorithm .......................... 145
Exercises ............................. 151
Challenging exercises ...................... 152
Programming exercises ..................... 153
Website.............................. 153
Bibliographic notes ....................... 154
III PRIMITIVITY 155
6 Primitive Partial Words 157
6.1 Testing primitivity on partial words .............. 158
6.2 Counting primitive partial words................ 162
6.3 Exact periods .......................... 164
6.4 First counting method...................... 170
6.5 Second counting method .................... 174
6.5.1 The one-hole case .................... 178
6.5.2 The two-hole case .................... 181
6.6 Existence of primitive partial words .............. 187
Exercises ............................. 195
Challenging exercises ...................... 196
Programming exercises ..................... 196
Website.............................. 197
Bibliographie notes ....................... 197
7 Unbordered Partial Words 199
7.1 Concatenations of prefixes ................... 200
7.2 More results on concatenations of prefixes........... 207
7.3 Critical factorizations ...................... 213
7.4 Conjugates ............................ 216
Exercises ............................. 217
Challenging exercises ...................... 219
Programming exercises ..................... 220
Website.............................. 220
Bibliographic notes ....................... 221
IV CODING 223
8 Pcodes of Partial Words 225
8.1 Binary relations......................... 225
8.2 Pcodes.............................. 229
8.2.1 The class T........................ 233
8.2.2 The class Ç........................ 234
8.3 Pcodes and monoids....................... 236
8.4 Prefix and suffix orderings................... 239
8.5 Border ordering......................... 241
8.6 Commutative ordering..................... 244
8.7 Circular pcodes......................... 249
Exercises ............................. 253
Challenging exercises...................... 254
Programming exercises ..................... 254
Website.............................. 255
Bibliographic notes ....................... 255
9 Deciding the Pcode Property 257
9.1 First algorithm.......................... 257
9.2 Second algorithm........................ 264
9.2.1 Domino technique on words............... 264
9.2.2 Domino technique on partial words........... 267
Exercises .....................•....... 275
Challenging exercises...................... 276
Programming exercises..................... 277
Website......................¦....... 277
Bibliographic notes ...............•....... 277
V FURTHER TOPICS 279
10 Equations on Partial Words 281
10.1 The equation xm t yn ..................... 281
10.2 The equation x2 Î ymz..................... 287
10.3 The equation xmyn |zp.................... 290
Exercises ............................. 292
Challenging exercises ...................... 293
Programming exercises ..................... 294
Website.............................. 294
Bibliographic notes ....................... 295
11 Correlations of Partial Words 297
11.1 Binary and ternary correlations ................ 297
11.2 Characterizations of correlations ................ 299
11.3 Distributive lattices ....................... 305
11.3.1 An, is a distributive lattice............... 309
11.3.2 A^ is a distributive lattice............... 309
11.4 Irreducible period sets...................... 315
11.5 Counting correlations ...................... 318
Exercises ............................. 321
Challenging exercises ...................... 322
Programming exercises ..................... 323
Website.............................. 323
Bibliographic notes ....................... 323
12 Unavoidable Sets of Partial Words 325
12.1 Unavoidable sets......................... 325
12.2 Classifying unavoidable sets of size two ............ 328
12.3 The case where k = 1 and I = 1 ............... 330
12.4 The case where k = 1 and 1 = 2 ............... 331
12.5 Larger values of k and I..................... 339
Exercises ............................. 340
Challenging exercises ...................... 341
Programming exercises ..................... 342
Website.............................. 342
Bibliographic notes ....................... 342
Solutions to Selected Exercises 345
References 369
Index 379
|
any_adam_object | 1 |
author | Blanchet-Sadri, Francine |
author_GND | (DE-588)136226957 |
author_facet | Blanchet-Sadri, Francine |
author_role | aut |
author_sort | Blanchet-Sadri, Francine |
author_variant | f b s fbs |
building | Verbundindex |
bvnumber | BV025531798 |
classification_rvk | SK 170 |
ctrlnum | (OCoLC)605952520 (DE-599)BVBBV025531798 |
dewey-full | 005.1 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 005 - Computer programming, programs, data, security |
dewey-raw | 005.1 |
dewey-search | 005.1 |
dewey-sort | 15.1 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik Mathematik |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01724nam a2200433 c 4500</leader><controlfield tag="001">BV025531798</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100417s2008 d||| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GBA803516</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781420060928</subfield><subfield code="9">978-1-420-06092-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1420060929</subfield><subfield code="9">1-420-06092-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)605952520</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV025531798</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 170</subfield><subfield code="0">(DE-625)143221:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68R15</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Blanchet-Sadri, Francine</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)136226957</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algorithmic combinatorics on partial words</subfield><subfield code="c">Francine Blanchet-Sadri</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boca Raton, Fla. [u.a.]</subfield><subfield code="b">Chapman & Hall/CRC</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">385 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Discrete mathematics and its applications</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. 369-378) and index. - Formerly CIP</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Symbolverarbeitung</subfield><subfield code="0">(DE-588)4278565-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wort</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4348610-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kombinatorik</subfield><subfield code="0">(DE-588)4031824-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Wort</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4348610-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Kombinatorik</subfield><subfield code="0">(DE-588)4031824-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Symbolverarbeitung</subfield><subfield code="0">(DE-588)4278565-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020134867&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020134867</subfield></datafield></record></collection> |
id | DE-604.BV025531798 |
illustrated | Illustrated |
indexdate | 2024-07-09T22:35:59Z |
institution | BVB |
isbn | 9781420060928 1420060929 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020134867 |
oclc_num | 605952520 |
open_access_boolean | |
owner | DE-11 DE-83 |
owner_facet | DE-11 DE-83 |
physical | 385 S. graph. Darst. |
publishDate | 2008 |
publishDateSearch | 2008 |
publishDateSort | 2008 |
publisher | Chapman & Hall/CRC |
record_format | marc |
series2 | Discrete mathematics and its applications |
spelling | Blanchet-Sadri, Francine Verfasser (DE-588)136226957 aut Algorithmic combinatorics on partial words Francine Blanchet-Sadri Boca Raton, Fla. [u.a.] Chapman & Hall/CRC 2008 385 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Discrete mathematics and its applications Includes bibliographical references (p. 369-378) and index. - Formerly CIP Symbolverarbeitung (DE-588)4278565-0 gnd rswk-swf Wort Informatik (DE-588)4348610-1 gnd rswk-swf Kombinatorik (DE-588)4031824-2 gnd rswk-swf Wort Informatik (DE-588)4348610-1 s Kombinatorik (DE-588)4031824-2 s Symbolverarbeitung (DE-588)4278565-0 s DE-604 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020134867&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Blanchet-Sadri, Francine Algorithmic combinatorics on partial words Symbolverarbeitung (DE-588)4278565-0 gnd Wort Informatik (DE-588)4348610-1 gnd Kombinatorik (DE-588)4031824-2 gnd |
subject_GND | (DE-588)4278565-0 (DE-588)4348610-1 (DE-588)4031824-2 |
title | Algorithmic combinatorics on partial words |
title_auth | Algorithmic combinatorics on partial words |
title_exact_search | Algorithmic combinatorics on partial words |
title_full | Algorithmic combinatorics on partial words Francine Blanchet-Sadri |
title_fullStr | Algorithmic combinatorics on partial words Francine Blanchet-Sadri |
title_full_unstemmed | Algorithmic combinatorics on partial words Francine Blanchet-Sadri |
title_short | Algorithmic combinatorics on partial words |
title_sort | algorithmic combinatorics on partial words |
topic | Symbolverarbeitung (DE-588)4278565-0 gnd Wort Informatik (DE-588)4348610-1 gnd Kombinatorik (DE-588)4031824-2 gnd |
topic_facet | Symbolverarbeitung Wort Informatik Kombinatorik |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020134867&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT blanchetsadrifrancine algorithmiccombinatoricsonpartialwords |