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

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

Восстановить пароль Регистрация
Другие темы раздела
C++ Написать программу, которая считывает текст из файла и выводит на экран сначала предложения, начинающиеся с однобуквенные слов, а потом все остальные http://www.cyberforum.ru/cpp-beginners/thread780815.html
#include <iostream> #include <fstream> #include <vector> using namespace std; int first_word_len(const string& s) { return (s.substr(s.find_first_not_of(' ')).find(' ') == 1) ? 1 : 0; }
C++ Нужна задача на знание модуля Stack Нужна задача на знание модуля Stack, желательно попроще. Я что то не пойму принципа действия. http://www.cyberforum.ru/cpp-beginners/thread780814.html
Асинхронный вызов функции, возможно через другой поток C++
Привет! Есть какой - то класс, содержащий какое-то поле (переменную) и какую - то функцию, изменяющую эту переменную. ну например такой #pragma once class MEDVED { public: MEDVED(void); ~MEDVED(void); int PREVED; void SayPREVED(); };
Не могу подключить Friend функцию C++
Недавно проходили в универе френ функции немного не понял как ими пользоваться Помогите исправить это жалкое подобие #include <iostream> #include <string> using namespace std; class House{ char Ul; char Dat_N;
C++ Передача метода класса в качестве параметра для метода другого класса http://www.cyberforum.ru/cpp-beginners/thread780778.html
Здравствуйте, Передо мной стоит такая задача. Необходимо разработать механизм, который бы мог прервать любую функцию, при этом абсолютна не зная, что за функцию ему передали. Мне ничего лучше в голову не пришло, как создать класс унаследованный от QThread (использую QT, но думаю это не принципиально в данном вопросе), который мог бы получать функцию какого то класса в качестве атрибута и...
C++ Не выходит из цикла Доброго времени суток! При нажатии цифры "1", а затем последовательно "2" z должно суммировать результат кейсов и выводить программу из цикла. Но происходит зацикливание. Не могу понять в чем ошибка, заранее большое спасибо за помощь! #include <iostream.h> int main () { double voltage=5.0, r1=100.0,r2=500.0,r3=400.0,i_1=0.0,i_2=0.0,i_3=0.0,z=0.0; подробнее

Показать сообщение отдельно
Okajima
0 / 0 / 0
Регистрация: 28.08.2012
Сообщений: 5
06.02.2013, 22:17     Помощь с инвариантом
Проблема в следующем - необходимо реализовать программу сортировки одномерного массива по убыванию методом выбора. Всё реализовано и сортируется, а так же один цикл проверяется инвариантом (строка 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;
}
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
 
Текущее время: 03:50. Часовой пояс GMT +3.
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2016, vBulletin Solutions, Inc.
Рейтинг@Mail.ru