Выполняется ли инвариант цикла в процессе выполнения тела цикла?

вопрос

Правильный ответ:

Оставить комментарий

Отправить

• # Рассмотрим два способа представления матрицы размера 4×4. В первом случае используется массив из четырех элементов типа «указатель на double»: double *a[4]; при этом элемент a[i] содержит адрес начала i-й строки матрицы. Во втором случае используется линейный массив из шестнадцати элементов: double a[16]; В первом случае обращение к элементу матрицы с индексами i, j осуществляется с помощью выражения a[i][j], во втором — с помощью выражения a[4*i + j]. Есть ли существенная разница в эффективности программы в первом и втором случаях при использовании оптимизирующего компилятора?
• # Рассмотрим следующий фрагмент программы: #include <string.h> #include <сtype.h> . . . int n, i; char a[32]; strcpy(a, "375e10"); n = 0; i = 0; while (a[i] != 0) { if (isdigit(a[i]) && a[i] < '8') { n *= 8; n += a[i] - '0'; } else { break; } ++i; } Чему будет равно значение переменной n в результате выполнения этого фрагмента?
• # Является ли индуктивной функция, которая последовательности коэффициентов многочлена по убыванию степеней ставит в соответствие пару чисел: (степень многочлена, интеграл многочлена по отрезку [0, 1])?
• # Рассмотрим следующий фрагмент программы, вычисляющей частное q и остаток r от деления целых чисел a, b: дано: целые числа a >= 0, b > 0 цел q, r, e, m; q := 0; r := a; e := 1; m := b цикл пока r >= b | если 2*m <= r | | то e := e*2; m := m*2; | иначе если m > r | | то e := e/2; m := m/2; | иначе | | утверждение: m <= r и r < 2*m | | q := q + e; r := r - m; | конец если конец цикла // q и r -- частное и остаток от деления a на b Какое условие является инвариантом цикла?
• # Пусть регистр EBX содержит адрес массива целых чисел, регистр ECX — количество элементов массива. Указать, что будет содержать регистр EAX в результате выполнения следующего фрагмента кода на Ассемблере "Masm" для процессора Intel 80x86: mov ESI, 0 ; ESI := 0 mov EDI, -2147483648 ; EDI := минус бесконечность L1: ; метка начала цикла cmp ESI, ECX ; сравнить ESI с ECX jge L2 ; переход, если больше или равно mov EDX, [EBX] ; EDX := число с адресом EBX cmp EDX, EDI ; сравнить EDX с EDI jle L3 ; переход, если меньше или равно mov EDI, EDX mov EAX, ESI ; EAX := ESI L3: ; add EBX, 4 ; EBX := EBX+4 inc ESI ; увеличить ESI jmp L1 ; переход на метку L1 L2: ; метка конца цикла