2011-gre-cs-practice-book.pdf/Q25

Вопрос: Q25-08c765

Дан следующий псевдокод

// Precondition: ???
x <- x + y
y <- x - y
x <- x - y
// Postcondition: ((x == 3) and (y == 8))

Предполагая что x и y — целые числа, какое предусловие удовлетворяет данному постусловию?

Ответы

• (x == 3) and (y == 8)
• Правильный ответ: (x == 8) and (y == 3)
• (x == 8) and (y == 11)
• (x == 11) and (y == 3)
• (x == 11) and (y == 8)

Объяснение

Исходники — вопрос 25 на 27 странице книги «2011-gre-cs-practice-book.pdf»

Пойдем от обратного:

3 <- x - 8 --> x == 11
8 <- 11 - y --> y == 3
11 <- x + 3 --> x == 8

Следовательно верный ответ (x == 8) and (y == 3)

[ Хронологический вид ]Комментарии

(нет элементов)

Войдите, чтобы комментировать.