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

Определить инвариант в цикле - C++

Восстановить пароль Регистрация
 
aleksand
21 / 9 / 2
Регистрация: 18.06.2011
Сообщений: 185
19.01.2013, 12:23     Определить инвариант в цикле #1
Программа проверяет является ли число простым.
Подскажите как составить инвариант для этой программы. Не понимаю как это делается вообще.
C
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#include <stdio.h> 
#include <math.h>
int main( )
{ 
int i,k;
int a; 
scanf("%d", &k); 
for(i=2; i<k;i++){ 
    if(k%i==0){ printf("NO\n");
       break; 
    }
 
else if(i==k-1) printf("Yes\n"); 
}
 
 
return 0; 
}
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
19.01.2013, 12:23     Определить инвариант в цикле
Посмотрите здесь:

буквы в цикле C++
Уравнение в цикле C++
C++ затруднение в цикле
C++ Ошибка в цикле
Ошибка в цикле C++
Ошибка в цикле C++
Присвоение в цикле C++
Инвариант в цикле C++

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

Или воспользуйтесь поиском по форуму:
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
Fareiro
15 / 15 / 1
Регистрация: 06.12.2012
Сообщений: 130
19.01.2013, 15:53     Определить инвариант в цикле #2
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
int simple(int n)
{
    int i;
    
    if(n <= 1)
       return 0;
    for(i = 2; i <= sqrt(n); i++)
       if(n % i == 0)
          return 0;
    return 1;
 
int main()
{
int m;
    cout<<"Enter m: ";
    cin>>m;
        if(simple(m))
        cout<<"Number is prime";
        else
        cout<<"Not prime";
 
    cout<<endl;
 
return 0;
}
}
Yandex
Объявления
19.01.2013, 15:53     Определить инвариант в цикле
Ответ Создать тему
Опции темы

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