What people are saying - Write a review
We haven't found any reviews in the usual places.
Karp University of California Berkeley Ch
77 other sections not shown
Other editions - View all
algebraic algorithm asymptotic augmenting path binary bits Boolean Boolean circuit combinatorial Computer Science conﬁguration construction convex cycle data structure decision problems deﬁned deﬁnition denote deterministic edge elements example exponential EXPTIME factor fan-in ﬁeld ﬁnal ﬁnd ﬁnding ﬁnite ﬁrst ﬁxed Foundations of Computer function given graph G hash IEEE inﬁnite integer isomorphism Kolmogorov complexity language LEMMA length linear logarithmic lower bound machine model matching Math matrix maximum ﬂow method motion planning multiplication nodes nondeterministic Notes in Computer NP-complete O(log O(n log obtained operations optimal oracle output parallel planar planar graphs polygon polynomial polynomial-time PRAM preﬁx priority queue probabilistic Proc processors proof proved PSPACE query random recursive regular expression result satisﬁes search trees Section sequence SIAM simulation solved sorting sorting networks space speciﬁc Subsection tape TARJAN techniques theorem Theory of Computing transitive closure Turing machine VLSI Voronoi diagram