Форум программистов, компьютерный форум CyberForum.ru

Помощь с инвариантом - C++

Восстановить пароль Регистрация
 
Okajima
0 / 0 / 0
Регистрация: 28.08.2012
Сообщений: 5
06.02.2013, 22:17     Помощь с инвариантом #1
Проблема в следующем - необходимо реализовать программу сортировки одномерного массива по убыванию методом выбора. Всё реализовано и сортируется, а так же один цикл проверяется инвариантом (строка 33-37), меня попросили сделать вторую проверку на инвариант для индексов минимального элемента (в районе 19-23 строках), и я совсем не понимаю как это сделать. Нужна помощь, заранее спасибо.
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
//1.Написать программу сортировки одномерного массива по убыванию методом выбора.
//2. Составить инварианты циклов. Разместить проверку значения инварианта при помощи assertions.
 
#include "stdafx.h"
#include <assert.h>
 
int main(int argc, _TCHAR* argv[])
{
    int ar[12] = { 1,4,3,2,6,8,7,9,8,-1,11,-12 };
    int k;
    for (int i=0; i<12; i++){
        int High=i;
 
        for (int j=i+1; j<12; j++) {
            if (ar[j] > ar[High])
                High = j;
            
            //Инвариант для внутреннего цикла
            bool res = true;
            for (int m=0; m<i; m++)
               res &= (ar[m]>=ar[m+1]);
            assert(res);
 
            //Проверка ассерта индексов минимального элемента
        }
 
        if (High!=i) {
            k=ar[High];
            ar[High]=ar[i];
            ar[i]=k;
        }
            //Инвариант внешнего цикла
            bool res = true;
            for (int m=0; m<i; m++)
               res &= (ar[m]>=ar[m+1]);
            assert(res);
        
    }
 
    for (int i=0; i<12; i++)
        printf("%d ", ar[i]);
    return 0;
}
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
06.02.2013, 22:17     Помощь с инвариантом
Посмотрите здесь:

Помощь с шахматами C++
Нужна помощь C++
C++ Помощь
Помощь по С++. C++
C++ Нужна помощь
Помощь с функциями C++
Помощь С++ C++

Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
Ответ Создать тему
Опции темы

Текущее время: 09:30. Часовой пояс GMT +3.
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2016, vBulletin Solutions, Inc.
Рейтинг@Mail.ru