NOTE: This item is not available outside the Texas A&M University network. Texas A&M affiliated users who are off campus can access the item through NetID and password authentication or by using TAMU VPN. Non-affiliated individuals should request a copy through their local library's interlibrary loan service.
Nondeterminism and optimization
dc.creator | Cai, Liming | |
dc.date.accessioned | 2020-09-07T17:25:22Z | |
dc.date.available | 2020-09-07T17:25:22Z | |
dc.date.issued | 1994 | |
dc.identifier.uri | https://hdl.handle.net/1969.1/DISSERTATIONS-1556666 | |
dc.description | Vita. | en |
dc.description.abstract | The study of the power of nondeterminism is central to complexity theory. However, it remains unclear how nondeterminism can be used to characterize computational optimization problems. In this dissertation, a "Guess-then- Check" model GC is introduced to systematically study nondeterminism. Techniques are developed to construct GCcomplete languages and to improve recent results in the study of nondeterministic computation. GC computations with weak checkers are studied in detail based on precise circuit characterizations of logaxithraic-time alternating Turing machines. The complexity, fixed-parameter tractability, and approximability of NP optiraization problems are extensively investigated based on GC computations with weak checkers. It is shown that the complexity of solution size-bounded optimization problems is precisely described by their usage of nondeteranism. It is also proved that:hxed-paxameter tractability and intractability of parameterized problems axe exactly characterized by different amounts of nondeterminism. A close relationship between the fixed-parameter tractability and the approximability of NP optimization problems is well established to study the nondeterminism characterization of approximability. Evidence is presented that our research gives a new insight into the computational properties of optimization problems. | en |
dc.format.extent | ix, 153 leaves | en |
dc.format.medium | electronic | en |
dc.format.mimetype | application/pdf | |
dc.language.iso | eng | |
dc.rights | This thesis was part of a retrospective digitization project authorized by the Texas A&M University Libraries. Copyright remains vested with the author(s). It is the user's responsibility to secure permission from the copyright holder(s) for re-use of the work beyond the provision of Fair Use. | en |
dc.rights.uri | http://rightsstatements.org/vocab/InC/1.0/ | |
dc.subject | Major computer science | en |
dc.subject.classification | 1994 Dissertation C133 | |
dc.title | Nondeterminism and optimization | en |
dc.type | Thesis | en |
thesis.degree.grantor | Texas A&M University | en |
thesis.degree.name | Doctor of Philosophy | en |
thesis.degree.name | Ph. D | en |
dc.type.genre | dissertations | en |
dc.type.material | text | en |
dc.format.digitalOrigin | reformatted digital | en |
dc.publisher.digital | Texas A&M University. Libraries | |
dc.identifier.oclc | 34947998 |
Files in this item
This item appears in the following Collection(s)
-
Digitized Theses and Dissertations (1922–2004)
Texas A&M University Theses and Dissertations (1922–2004)
Request Open Access
This item and its contents are restricted. If this is your thesis or dissertation, you can make it open-access. This will allow all visitors to view the contents of the thesis.