An Invitation to the Dance It is an underappreciated fact that sets may have various types of complex ity, and not all types are in harmony with each other. The primary goal of this book is to unify and make more widely accessible a vibrant stream of research-the theory of semi-feasible computation-that perfectly showcases the richness of, and contrasts between, the central types of complexity. The semi-feasible sets, which are most commonly referred to as the P selective sets, are those sets L for which there is a deterministic polynornial time algorithm that, when given as input any two strings of which at least one belongs to L, will output one of them that is in L. The reason we saythat the semi-feasible sets showcase the contrasts among types of complexity is that it is well-known that many semi-feasible sets have no recursive algorithms (thus their time complexitycannot be upper-bounded by standard time-complexity classes), yet all semi-feasible sets are simple in a wide range of other natural senses. In particular, the semi-feasible sets have small circuits, they are in the extended low hierarchy, and they cannot be NP-complete unless P = NP. The semi-feasible sets are fascinating for many reasons. First, as men tioned above, they showcase the fact that mere deterministic time complex ity is not the only potential type of complexity in the world of computation.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
This book presents a consolidated survey of the vibrant field of research known as the theory of semi-feasible algorithms. This research stream perfectly showcases the richness of, and contrasts between, the central notions of complexity: running time, nonuniform complexity, lowness, and NP-hardness. Research into semi-feasible computation has already developed a rich set of tools, yet is young enough to have an abundance of fresh, open issues.
Being essentially self-contained, the book requires neither great mathematical maturity nor an extensive background in computational complexity theory or in computer science in general. Newcomers are introduced to the field systematically and guided to the frontiers of current research. Researchers already active in the field will appreciate the book as a valuable source of reference.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: killarneybooks, Inagh, CLARE, Irland
Hardcover. Zustand: Near Fine. Hardcover, x + 148 pages, NOT ex-library. Clean and bright throughout with unmarked text, free of inscriptions and stamps, firmly bound. Boards show minor handling wear. Issued without a dust jacket. -- -- Theory of Semi-Feasible Algorithms is a comprehensive academic work within the field of theoretical computer science, focusing on the study of computational complexity, particularly the concept of semi-feasibility in algorithms. The book dives deeply into the properties and implications of semi-feasible sets, which are closely linked to selectivity in computational problems. It systematically analyses P-selective and nondeterministic selective sets, the role of advice in computational complexity, and the significance of lowness within complexity classes. The authors discuss P-selectivity as a measure of the ease with which membership in a set can be decided when given partial information, and how this concept extends to nondeterministic selectivity. The work explores the practical boundaries of these theoretical models, including advice strings, which provide additional information that can be used to solve problems, offering both upper and lower bounds for such advice in P-selective sets. Additionally, the book addresses key questions in complexity theory, such as whether P-selective sets can be hard for other complexity classes, like NP and PSPACE, or whether they can be truth-table or Turing-hard for these classes. An important component of the book is its investigation of the lowness properties of P-selective and nondeterministically selective sets, exploring how these sets can be placed within larger complexity hierarchies, such as the polynomial hierarchy, and their implications for computational power. The work also examines the closure properties of selectivity under various reductions and operations, including Boolean closures, self-reducibility, and equivalence classes, providing detailed insights into how these sets behave under specific computational transformations. Hemaspaandra and Torenvliet further generalize selectivity through weaker forms, such as multiselectivity and probabilistic selector functions, and introduce refinements to P-selectivity like P-semi-rankability and associative P-selectivity. These generalizations provide a more nuanced understanding of the relationship between selectivity and computational complexity. The monograph is aimed at researchers and students in theoretical computer science, particularly those interested in computational complexity theory, semi-feasibility, and algorithmic efficiency. It offers foundational concepts, advanced theorems, and rigorous proofs that contribute to the understanding of how semi-feasible algorithms fit into the broader landscape of computational complexity. -- "This book presents a consolidated survey of the vibrant field of research known as the theory of semi-feasible algorithms. This research stream perfectly showcases the richness of, and contrasts between, the central notions of complexity: running time, nonuniform complexity, lowness, and NP-hardness. Research into semi-feasible computation has already developed a rich set of tools, yet is young enough to have an abundance of fresh, open issues. Being essentially self-contained, the book requires neither great mathematical maturity nor an extensive background in computational complexity theory or in computer science in general. Newcomers are introduced to the field systematically and guided to the frontiers of current research. Researchers already active in the field will appreciate the book as a valuable source of reference.". Artikel-Nr. 010860
Anzahl: 1 verfügbar
Anbieter: CSG Onlinebuch GMBH, Darmstadt, Deutschland
Gebunden. Zustand: Sehr gut. Gebraucht - Sehr gut Zustand: Sehr gut, X, 148 p. 6 illus. About this book This book presents a consolidated survey of the vibrant field of research known as the theory of semi-feasible algorithms. This research stream perfectly showcases the richness of, and contrasts between, the central notions of complexity: running time, nonuniform complexity, lowness, and NP-hardness. Research into semi-feasible computation has already developed a rich set of tools, yet is young enough to have an abundance of fresh, open issues. Being essentially self-contained, the book requires neither great mathematical maturity nor an extensive background in computational complexity theory or in computer science in general. Newcomers are introduced to the field systematically and guided to the frontiers of current research. Researchers already active in the field will appreciate the book as a valuable source of reference. Written for scientists and graduate students. Artikel-Nr. 18183
Anzahl: 1 verfügbar
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - An Invitation to the Dance It is an underappreciated fact that sets may have various types of complex ity, and not all types are in harmony with each other. The primary goal of this book is to unify and make more widely accessible a vibrant stream of research-the theory of semi-feasible computation-that perfectly showcases the richness of, and contrasts between, the central types of complexity. The semi-feasible sets, which are most commonly referred to as the P selective sets, are those sets L for which there is a deterministic polynornial time algorithm that, when given as input any two strings of which at least one belongs to L, will output one of them that is in L. The reason we saythat the semi-feasible sets showcase the contrasts among types of complexity is that it is well-known that many semi-feasible sets have no recursive algorithms (thus their time complexitycannot be upper-bounded by standard time-complexity classes), yet all semi-feasible sets are simple in a wide range of other natural senses. In particular, the semi-feasible sets have small circuits, they are in the extended low hierarchy, and they cannot be NP-complete unless P = NP. The semi-feasible sets are fascinating for many reasons. First, as men tioned above, they showcase the fact that mere deterministic time complex ity is not the only potential type of complexity in the world of computation. Artikel-Nr. 9783540422006
Anzahl: 1 verfügbar