day5 - How They relate Let S be an arbitrary subset of some...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
10/4/11 Dec 2, © UCF (Charles E. 11 How They relate Let S be an arbitrary subset of some universe U. The predicate χ S over U may be defined by: χ S(x) = true if and only if χ S is called the characteristic function of S. Let K be some arbitrary predicate defined over some universe U. The problem PK associated with K is the problem to decide of an arbitrary member x of U, whether or not K(x) is true. Let P be an arbitrary decision problem and let U denote the set of questions in P (usually just the set over which a single variable part of the questions ranges). The set SP associated with P is
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
10/4/11 Dec 2, © UCF (Charles E. 22 Categorizing Problems (Sets) # 1 Recursively enumerable -- A set S is recursively enumerable (re) if S is empty (S = Ø) or there exists an algorithm F, over the natural numbers &, whose range is exactly S. A problem is said to be re if the set associated with it is re. Semi-Decidable
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 8

day5 - How They relate Let S be an arbitrary subset of some...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online