Complexity and partitions:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
2000
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Würzburg, Univ., Diss., 2001 |
| Beschreibung: | 116 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV013835205 | ||
| 003 | DE-604 | ||
| 005 | 20030403 | ||
| 007 | t | ||
| 008 | 010725s2000 m||| 00||| eng d | ||
| 016 | 7 | |a 963097385 |2 DE-101 | |
| 035 | |a (OCoLC)237501503 | ||
| 035 | |a (DE-599)BVBBV013835205 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-20 |a DE-12 | ||
| 100 | 1 | |a Kosub, Sven |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Complexity and partitions |c von Sven Kosub |
| 264 | 1 | |c 2000 | |
| 300 | |a 116 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Würzburg, Univ., Diss., 2001 | ||
| 650 | 0 | 7 | |a Boolesche Hierarchie |0 (DE-588)4561450-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Komplexitätsklasse NP |0 (DE-588)4500955-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Partition |g Mengenlehre |0 (DE-588)4707411-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Partition |g Mengenlehre |0 (DE-588)4707411-5 |D s |
| 689 | 0 | 1 | |a Boolesche Hierarchie |0 (DE-588)4561450-7 |D s |
| 689 | 0 | 2 | |a Komplexitätsklasse NP |0 (DE-588)4500955-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009462505&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009462505 | |
Datensatz im Suchindex
| _version_ | 1812460787657080832 |
|---|---|
| adam_text |
TABLE OF CONTENTS
LIST OF FIGURES. 9
1. INTRODUCTION. 11
2. PRELIMINARIES . 19
2.1 MATHEMATICAL NOTIONS AND NOTATIONS. 19
2.1.1 SETS, FUNCTIONS, AND WORDS. 19
2.1.2 ORDERS AND LATTICES.'. 20
2.2 COMPLEXITY CLASSES AND HIERARCHIES. 22
2.2.1 NP AND ITS RELATIVES. 23
2.2.2 THE POLYNOMIAL HIERARCHY. 24
2.2.3 THE BOOLEAN HIERARCHY. 25
2.3 PARTITIONS. 27
3. THE BOOLEAN HIERARCHY OF NP-PARTITIONS
. 29
3.1 PARTITION CLASSES DEFINED BY FINITE FUNCTIONS. 29
3.2 PARTITION CLASSES DEFINED BY LATTICES. 32
3.3 COMPARING PARTITION CLASSES. 35
3.4 MINIMAL DESCRIPTIONS OF PARTITION CLASSES. 37
3.5 THE EMBEDDING CONJECTURE. 39
3.5.1 ON INVERTING THE EMBEDDING LEMMA. 39
3.5.2 EVIDENCE I: THE CASE OF FC-CHAINS. 44
3.5.3 EVIDENCE II: BEYOND CHAINS. 55
3.5.4 NEXT STEPS TOWARDS RESOLUTION. 60
3.6 ON THE STRUCTURE OF BH
3
(NP). 60
3.7 MACHINES THAT ACCEPT PARTITIONS. 64
/
4. REFINING THE BOOLEAN HIERARCHY OF NP-PARTITIONS
. 67
4.1 PARTITION CLASSES DEFINED BY POSETS. 67
4.2 AN ALTERNATIVE APPROACH. 71
4.3 CHARACTERIZING THE PROJECTIVE CLOSURE. 74
4.3.1 PROJECTION CLASSES. 74
4.3.2 PARTITION CLASSES GIVEN IN FREE REPRESENTATIONS. 77
4.3.3 PARTITION CLASSES GIVEN IN BOUND REPRESENTATIONS. 86
4.4 A RELATIVIZED EMBEDDING THEOREM. 87
4.4.1 REFINED BOOLEAN HIERARCHIES AND THE POLYNOMIAL HIERARCHY. 88
4.4.2 PARTITION CLASSES AND LEAF LANGUAGES. 89
BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/963097385
8
TABLE OF CONTENTS
4.4.3 RELATIVIZING PARTITION CLASSES. 91
5. SOME APPLICATIONS. 95
5.1 SEPARABILITY WITHIN NP. 95
5.1.1 SEPARABILITY NOTIONS. 95
5.1.2 A QUANTITATIVE APPROACH TO SEPARABILITY. 98
5.2 FINE HIERARCHIES INSIDE BH
2
(NP).102
5.3 REDUCING THE SET OF SOLUTIONS OF NP PROBLEMS.104
BIBLIOGRAPHY.109
INDEX.115 |
| any_adam_object | 1 |
| author | Kosub, Sven |
| author_facet | Kosub, Sven |
| author_role | aut |
| author_sort | Kosub, Sven |
| author_variant | s k sk |
| building | Verbundindex |
| bvnumber | BV013835205 |
| ctrlnum | (OCoLC)237501503 (DE-599)BVBBV013835205 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV013835205</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20030403</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">010725s2000 m||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">963097385</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)237501503</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013835205</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-20</subfield><subfield code="a">DE-12</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kosub, Sven</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Complexity and partitions</subfield><subfield code="c">von Sven Kosub</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">116 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="500" ind1=" " ind2=" "><subfield code="a">Würzburg, Univ., Diss., 2001</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Boolesche Hierarchie</subfield><subfield code="0">(DE-588)4561450-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Komplexitätsklasse NP</subfield><subfield code="0">(DE-588)4500955-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Partition</subfield><subfield code="g">Mengenlehre</subfield><subfield code="0">(DE-588)4707411-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Partition</subfield><subfield code="g">Mengenlehre</subfield><subfield code="0">(DE-588)4707411-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Boolesche Hierarchie</subfield><subfield code="0">(DE-588)4561450-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Komplexitätsklasse NP</subfield><subfield code="0">(DE-588)4500955-7</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">DNB 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=009462505&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009462505</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV013835205 |
| illustrated | Not Illustrated |
| indexdate | 2024-10-09T18:08:19Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009462505 |
| oclc_num | 237501503 |
| open_access_boolean | |
| owner | DE-20 DE-12 |
| owner_facet | DE-20 DE-12 |
| physical | 116 S. |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| record_format | marc |
| spelling | Kosub, Sven Verfasser aut Complexity and partitions von Sven Kosub 2000 116 S. txt rdacontent n rdamedia nc rdacarrier Würzburg, Univ., Diss., 2001 Boolesche Hierarchie (DE-588)4561450-7 gnd rswk-swf Komplexitätsklasse NP (DE-588)4500955-7 gnd rswk-swf Partition Mengenlehre (DE-588)4707411-5 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Partition Mengenlehre (DE-588)4707411-5 s Boolesche Hierarchie (DE-588)4561450-7 s Komplexitätsklasse NP (DE-588)4500955-7 s DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009462505&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Kosub, Sven Complexity and partitions Boolesche Hierarchie (DE-588)4561450-7 gnd Komplexitätsklasse NP (DE-588)4500955-7 gnd Partition Mengenlehre (DE-588)4707411-5 gnd |
| subject_GND | (DE-588)4561450-7 (DE-588)4500955-7 (DE-588)4707411-5 (DE-588)4113937-9 |
| title | Complexity and partitions |
| title_auth | Complexity and partitions |
| title_exact_search | Complexity and partitions |
| title_full | Complexity and partitions von Sven Kosub |
| title_fullStr | Complexity and partitions von Sven Kosub |
| title_full_unstemmed | Complexity and partitions von Sven Kosub |
| title_short | Complexity and partitions |
| title_sort | complexity and partitions |
| topic | Boolesche Hierarchie (DE-588)4561450-7 gnd Komplexitätsklasse NP (DE-588)4500955-7 gnd Partition Mengenlehre (DE-588)4707411-5 gnd |
| topic_facet | Boolesche Hierarchie Komplexitätsklasse NP Partition Mengenlehre Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009462505&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT kosubsven complexityandpartitions |