An introduction to the analysis of algorithms:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
New Jersey [u.a.]
World Scientific Publ.
2012
|
| Ausgabe: | 2. ed. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIII, 197 S. |
| ISBN: | 9789814401159 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV040592101 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 121127s2012 |||| 00||| eng d | ||
| 020 | |a 9789814401159 |9 978-981-4401-15-9 | ||
| 035 | |a (OCoLC)820425612 | ||
| 035 | |a (DE-599)BVBBV040592101 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T |a DE-20 | ||
| 050 | 0 | |a QA9.58 | |
| 082 | 0 | |a 518.1 |2 22 | |
| 084 | |a ST 134 |0 (DE-625)143590: |2 rvk | ||
| 100 | 1 | |a Soltys, Michael |d 1971- |e Verfasser |0 (DE-588)1075056675 |4 aut | |
| 245 | 1 | 0 | |a An introduction to the analysis of algorithms |c Michael Soltys |
| 250 | |a 2. ed. | ||
| 264 | 1 | |a New Jersey [u.a.] |b World Scientific Publ. |c 2012 | |
| 300 | |a XIII, 197 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Algorithms |v Textbooks | |
| 650 | 0 | 7 | |a Algorithmus |0 (DE-588)4001183-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmanalyse |0 (DE-588)4175841-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Beweis |0 (DE-588)4132532-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Algorithmus |0 (DE-588)4001183-5 |D s |
| 689 | 0 | 1 | |a Beweis |0 (DE-588)4132532-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmanalyse |0 (DE-588)4175841-9 |D s |
| 689 | 1 | |8 1\p |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=025420008&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-025420008 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804149678176993280 |
|---|---|
| adam_text | Titel: An introduction to the analysis of algorithms
Autor: Soltys, Michael
Jahr: 2012
SINGAPORE
An Introduction to the
Analysis of Algorithms
2nd Edition
Michael Soltys
McMaster University, Canada
NEW JERSEY • LONDON
•
Y|?
World Scientific
• BEIJING • SHANGHAI • HONG KONG
• TAIPEI • CHENNAI
Contents
Preface
vii
1. Preliminaries 1
1.1 Induction 1
1.2 Invariance 4
1.3 Correctness of algorithms 6
1.3.1 Division algorithm 7
1.3.2 Euclid s algorithm 8
1.3.3 Palindromes algorithm 10
1.3.4 Further examples 12
1.3.5 Recursion and fixed points 15
1.3.6 Formal verification 18
1.4 Stable marriage 21
1.5 Answers to selected problems 24
1.6 Notes 37
2. Greedy Algorithms 39
2.1 Minimum cost spanning trees 39
2.2 Jobs with deadlines and profits 46
2.3 Further examples and problems 49
2.3.1 Make change 49
2.3.2 Maximum weight matching 50
2.3.3 Shortest path 51
2.3.4 Huffman codes 54
2.4 Answers to selected problems 56
2.5 Notes 60
xi
xii
An Introduction to the Analysis of Algorithms
3. Divide and Conquer 63
3.1 Mergesort 64
3.2 Multiplying numbers in binary 65
3.3 Savitch s algorithm 68
3.4 Further examples and exercises 70
3.4.1 Extended Euclid s algorithm 70
3.4.2 Finite automata 71
3.5 Answers to selected problems 74
3.6 Notes 75
4. Dynamic Programming 77
4.1 Longest monotone subsequence problem 77
4.2 All pairs shortest path problem 79
4.2.1 Bellman-Ford algorithm 80
4.3 Simple knapsack problem 81
4.3.1 Dispersed knapsack problem 84
4.3.2 General knapsack problem 85
4.4 Activity selection problem 86
4.5 Jobs with deadlines, durations and profits 88
4.6 Further examples and problems 90
4.6.1 Consecutive subsequence sum problem 90
4.6.2 Regular expressions 91
4.6.3 Context free grammars 93
4.7 Answers to selected problems 96
4.8 Notes 100
5. Online Algorithms 101
5.1 List accessing problem 102
5.2 Paging 106
5.2.1 Demand paging 107
5.2.2 FIFO 110
5.2.3 LRU 110
5.2.4 Marking algorithms 114
5.2.5 FWF 115
5.2.6 LFD 116
5.3 Answers to selected problems 120
5.4 Notes 122
Contents
xiii
6. Randomized Algorithms 123
6.1 Perfect matching 124
6.2 Pattern matching 128
6.3 Primality testing 129
6.4 Public key cryptography 133
6.4.1 Diffie-Hellman key exchange 134
6.4.2 ElGamal 136
6.4.3 RSA 139
6.5 Further exercises 140
6.6 Answers to selected problems 142
6.7 Notes 148
Appendix A Number Theory and Group Theory 151
A.l Answers to selected problems 156
A.2 Notes 156
Appendix B Relations 157
B. l Closure 158
B.2 Equivalence relation 160
B.3 Partial orders 161
B.4 Lattices 163
B.5 Fixed point theory 165
B.6 Answers to selected problems 169
B.7 Notes 171
Appendix C Logic 173
C. l Propositional Logic 173
C.2 First Order Logic 178
C.3 Peano Arithmetic 183
C.4 Answers to selected problems 184
C.5 Notes 186
Bibliography 187
Index 191
|
| any_adam_object | 1 |
| author | Soltys, Michael 1971- |
| author_GND | (DE-588)1075056675 |
| author_facet | Soltys, Michael 1971- |
| author_role | aut |
| author_sort | Soltys, Michael 1971- |
| author_variant | m s ms |
| building | Verbundindex |
| bvnumber | BV040592101 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.58 |
| callnumber-search | QA9.58 |
| callnumber-sort | QA 19.58 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 134 |
| ctrlnum | (OCoLC)820425612 (DE-599)BVBBV040592101 |
| dewey-full | 518.1 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 518 - Numerical analysis |
| dewey-raw | 518.1 |
| dewey-search | 518.1 |
| dewey-sort | 3518.1 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| edition | 2. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01696nam a2200445 c 4500</leader><controlfield tag="001">BV040592101</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">121127s2012 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789814401159</subfield><subfield code="9">978-981-4401-15-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)820425612</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040592101</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-29T</subfield><subfield code="a">DE-20</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.58</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">518.1</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 134</subfield><subfield code="0">(DE-625)143590:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Soltys, Michael</subfield><subfield code="d">1971-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1075056675</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">An introduction to the analysis of algorithms</subfield><subfield code="c">Michael Soltys</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New Jersey [u.a.]</subfield><subfield code="b">World Scientific Publ.</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 197 S.</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="650" ind1=" " ind2="4"><subfield code="a">Algorithms</subfield><subfield code="v">Textbooks</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algorithmus</subfield><subfield code="0">(DE-588)4001183-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Algorithmus</subfield><subfield code="0">(DE-588)4001183-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><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=025420008&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-025420008</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV040592101 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T00:26:50Z |
| institution | BVB |
| isbn | 9789814401159 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025420008 |
| oclc_num | 820425612 |
| open_access_boolean | |
| owner | DE-29T DE-20 |
| owner_facet | DE-29T DE-20 |
| physical | XIII, 197 S. |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | World Scientific Publ. |
| record_format | marc |
| spelling | Soltys, Michael 1971- Verfasser (DE-588)1075056675 aut An introduction to the analysis of algorithms Michael Soltys 2. ed. New Jersey [u.a.] World Scientific Publ. 2012 XIII, 197 S. txt rdacontent n rdamedia nc rdacarrier Algorithms Textbooks Algorithmus (DE-588)4001183-5 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Beweis (DE-588)4132532-1 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Algorithmus (DE-588)4001183-5 s Beweis (DE-588)4132532-1 s DE-604 Programmanalyse (DE-588)4175841-9 s 1\p DE-604 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025420008&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Soltys, Michael 1971- An introduction to the analysis of algorithms Algorithms Textbooks Algorithmus (DE-588)4001183-5 gnd Programmanalyse (DE-588)4175841-9 gnd Beweis (DE-588)4132532-1 gnd |
| subject_GND | (DE-588)4001183-5 (DE-588)4175841-9 (DE-588)4132532-1 (DE-588)4151278-9 |
| title | An introduction to the analysis of algorithms |
| title_auth | An introduction to the analysis of algorithms |
| title_exact_search | An introduction to the analysis of algorithms |
| title_full | An introduction to the analysis of algorithms Michael Soltys |
| title_fullStr | An introduction to the analysis of algorithms Michael Soltys |
| title_full_unstemmed | An introduction to the analysis of algorithms Michael Soltys |
| title_short | An introduction to the analysis of algorithms |
| title_sort | an introduction to the analysis of algorithms |
| topic | Algorithms Textbooks Algorithmus (DE-588)4001183-5 gnd Programmanalyse (DE-588)4175841-9 gnd Beweis (DE-588)4132532-1 gnd |
| topic_facet | Algorithms Textbooks Algorithmus Programmanalyse Beweis Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025420008&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT soltysmichael anintroductiontotheanalysisofalgorithms |