Concept explainers
sider the Mowing inductive definition of a version ofAekermann's function.This function was named after ttilhelm Ackerniann, a German
mathematician who was a student of the great mathematician David Hilbert. Aekermann's function plays an important role in the theory of recursive functions
and in the study of the complexity of certain algorithms involving set unions. [There are several different variants of this function. All are called Aekermann's
function and have similar properties even though their values do not always agree.)
Exercises 50-57 involve this version of Aekermann's function.
Page3Sl
57. Pr 0ve th atAft J) >j;vhen e v erian djar e n onn egative integer s.
Want to see the full answer?
Check out a sample textbook solutionChapter 5 Solutions
Discrete Mathematics and Its Applications ( 8th International Edition ) ISBN:9781260091991
- Consider a function machine that accepts inputs as ordered pairs. Suppose the components of the ordered pairs are positive real numbers and the first component is the length of a rectangle and the second is its width. The machine computes the perimeter (the distance around a figure) of the rectangle. Thus, for a rectangle whose length, L, is 3 and whose width, W, is 2, the input is (3,2) and the output is 2.3+2.2, or 10. Complete parts (a) through (c) below. L, W) Y O A. {(0,7), (1,6), (2,5), (3,4), (4,3), (5,2), (6,1), (7,0)) O B. ((0,7), (1,6), (2,5), (3,4)} O C. {(1,6), (2,5), (3,4), (4,3), (5,2), (6,1)) O D. {(1,6), (2,5), (3,4)} c. What is the domain and range of the function? 2L + 2W a. For each of the following inputs, find the corresponding output: (1,9), (7,3), (3,7), (√5,√5). The output for (1,9) is The output for (7,3) is The output for (3,7) is The output for (√5,√5) is b. Find the set of all inputs for which the output is 14. O A. The domain of the function is R* XR* and…arrow_forwardConsider a function machine that accepts inputs as ordered pairs. Suppose the components of the ordered pairs are positive real numbers and the first component is the length of a rectangle and the second is its width. The machine computes the perimeter (the distance around a figure) of the rectangle. Thus, for a rectangle whose length, L, is 3 and whose width, W, is 2, the input is (3,2) and the output is 2.3 +2.2, or 10. Complete parts (a) through (c) below. (L, W) A. {(0,9), (1,8), (2,7), (3,6), (4,5)} B. {(1,8), (2,7), (3,6), (4,5), (5,4), (6,3), (7,2), (8,1)} C. {(1,8), (2,7), (3,6), (4,5)} D. {(0,9), (1,8), (2,7), (3,6), (4,5), (5,4), (6,3), (7,2), (8,1), (9,0)} c. What is the domain and range of the function? 2L + 2W a. For each of the following inputs, find the corresponding output: (1,9), (7,3), (3,7), (√5,√5). The output for (1,9) is The output for (7,3) is The output for (3,7) is The output for (√5,√5) is b. Find the set of all inputs for which the output is 18. O A. The…arrow_forwardClick and drag the domain and range on the left to their corresponding functions defined on the right, provided lambda (A) is the empty string. The function that assigns to each pair of positive integers the first integer of the pair Domain: Zt and range: {0, 1} The function that assigns to each positive integer its largest decimal digit Domain: Z+ and range: Z+ P The function that assigns to a bit string the number of ones minus the number of zeros in the string Domain: set of bit strings, and range: {1, 11, 111, ...} Domain: ZxZ+ and range: Z+ X The function that assigns to each positive integer the largest integer not exceeding the square root of the integer X The function that assigns to a bit string the longest string of ones in the string Domain: set of bit strings, and range: {A, 1, 11, 111, ...} Domain: Zt and range: (0, 1) Domain: Zt and range: Z Domain: set of all bit strings, and range: Z Domain: set of bit strings, and range: [1, 11, 111, ...) Domain: ZxZ+ and range: Z+…arrow_forward
- Nonearrow_forwardFind a function whose domain is the set of all integers and whose target is the set of all positive integers that satisfies each set of properties.arrow_forward(a) Given any set of seven integers, must there be at least two that have the same remainder when divided by 6? ✔ elements. Hence, if a function is constructed from A to B that relates each of To answer this question, let A be the set of 7 distinct integers and let B be the set of all possible remainders that can be obtained when an integer is divided by 6, which means that B has 6 the integers in A to its remainder, then by the [pigeonhole ✔✔✔ principle, the function is not one-to-one ✔✔✔ . Therefore, for the set of integers in A, it is impossible ✔✔✔ for all the integers to have different remainders when divided by 6. So, the answer to the question is yes (b) Given any set of seven integers, must there be at least two that have the same remainder when divided by 8? If the answer is yes, enter YES. If the answer is no, enter a set of seven integers, no two of which have the same remainder when divided by 8. Xarrow_forward
- For each of the statements below, select all the ones that are true. The domain and codomain of an invertible function are always the same set. The domain and codomain of a permutation function are always the same set. The domain and codomain of an invertible function are always the same size. The domain and codomain of a permutation function are always the same size.arrow_forwardChoose correct answer on each problemarrow_forwardWhich of the following two-digit internal operations on the set of all real functions is not commutative? (In the explanatory prescriptions, f, g: R -> R are any real functions, and a ∈ R is any real number.) (a) Addition of functions pointwise: (f + g)(a) = f(a) + g(a). (b) Multiplication of functions pointwise: (f * g)(a) = f(a) * g(a). (c) Composition of functions: (f°g)(a) = f(g(a)). (d) Maximum of functions pointwise: (f Δg)(a) = max{f(a), g(a)}. (e) None of the above.arrow_forward
- In the PMT function, what is not true about the type argument? Group of answer choices It is often filled in with zero. It is often left blank. It is required. It is optional.arrow_forwardThe fold functions compute a value over a list (or some other type that is foldable) by applying an operator to the list elements and a neutral element. The foldl function assumes that the operator is left associative, the foldr function assumes that the operatore is right associative. For example, the function application foldl (+) 0 [3,5,2,1] 1 results in the computation of (((0+3)+5)+2)+1) and the function application foldr (+) 0 [3,5,2,1] 1 results in the computation of (3+(5+(2+(1+0)). The value computed by the fold functions may be more complex than a simple scalar. It is very well possible to construct a new list as part of the fold. For example: map' :: (a -> b) -> [a] -> [b] map' f xs = foldr ((:) . f) [] xs 1 The evaluation of map' succ [1,2,3] results in the list [2,3,4]. There are several duality theo- rems that can be stated for fold functions. Prove the following three duality theorems: a) Let op be an associative operation with e as the neutral element: op is…arrow_forward1. Prove or provide a counterexample to each of the following statements: • If f and g are completely multiplicative arithmetic functions, then f *g must also be completely multiplicative. • If f and g are arithmetic functions and f * g is completely multiplicative, then both f and g must be completely multiplicative. • Convolution of arithmetic functions is associative: (f * g) * h = f * (g * h) for arithmetic functions f, g and h.arrow_forward
- Algebra & Trigonometry with Analytic GeometryAlgebraISBN:9781133382119Author:SwokowskiPublisher:CengageLinear Algebra: A Modern IntroductionAlgebraISBN:9781285463247Author:David PoolePublisher:Cengage LearningElements Of Modern AlgebraAlgebraISBN:9781285463230Author:Gilbert, Linda, JimmiePublisher:Cengage Learning,