Рӯйхати домҳоеро созед, ки барномаҳои ба назар дурустро вайрон мекунанд, онҳоро бо даст санҷед, бо cerr чоп кунед ва стресс-тест нависед.
Масъалаҳо оид ба ҳолатҳои канорие, ки маҳдудиятҳо иҷозат медиҳанд, интихоби long long ва аз нав сар кардани ҷамъҳо барои ҳар тест.
cerr чоп мекунед;next_permutation; вектор бояд танзимшуда бошад, вагарна тартибҳои пеш аз онро гум мекунед.Барномаи шумо ҳарду намунаро мегузарад. Шумо пешниҳод мекунед ва натиҷа Ҷавоби нодуруст дар тести 7 аст. Тести 7 чӣ дошта метавонад, ки намунаҳо надоштанд?
Намунаҳо барои шарҳи шарт навишта шудаанд, на барои санҷидани ҳамаи гӯшаҳо. Тестҳои пинҳон барои вайрон кардани барномаҳо навишта шудаанд. Ин дарс дар бораи он аст, ки барномаи худатонро аввал вайрон кунед.
Аксари ҷавобҳои нодурусти барномаҳои ба назар дуруст аз як рӯйхати кӯтоҳ меоянд. Онро бо маҳдудиятҳо дар пеши назар аз назар гузаронед.
long long.x % 2 == 1: −3 % 2 ба −1 баробар аст.< ё <=, ҳисоб дар давра.YES ё Yes.Барои ҳар доми мувофиқ тесте нависед, ки он қадар хурд бошад, ки дар қоғаз ҳал шавад. Ҷавобро пеш аз иҷрои барнома ҳисоб кунед ва танҳо баъд муқоиса кунед. Инак барномае, ки калонтарини n ададро чоп мекунад. Он ҳар намунаро бо адади мусбат мегузарад. Домҳои «ададҳои манфӣ»-ро бо он санҷед: се адади манфӣ.
Ислоҳ ин аст, ки аз қимате оғоз кунед, ки дар вуруд воқеан ҳаст, int best = a[0];. Акнун худатон хатоҳоро ҷустуҷӯ кунед. Ҳар барнома намунаи худро мегузарад: вуруде созед, ки барнома ҷавоби нодуруст чоп кунад.
Вақте ки тести хурд намегузарад ва сабабро намебинед, бигзор барнома худаш бигӯяд. cerr мисли cout кор мекунад, вале ба ҷараёни дуюм, ҷараёни хатоҳо менависад. Шумо ҳарду дар экран мебинед ва довар танҳо cout-ро мехонад.
Ҳар сатри чопшударо бо ҳисоби дастии худ муқоиса кунед: аввалин сатри фарқкунанда ба хато ишора мекунад. Сатрҳои cerr-ро пеш аз пешниҳод нест кунед: дар дохили сикле, ки 10⁵ бор иҷро мешавад, онҳо барномаро хеле суст карда метавонанд.
Стресс-тест ҳалли зудро дар паҳлӯи ҳалли суст, ки ба он боварӣ доред (санҷиши ҳамаи вариантҳо) мегузорад. Тести хурди тасодуфӣ созед, ҳарду ҳалро иҷро кунед, ҷавобҳоро муқоиса кунед ва ҳазор бор такрор кунед. Бори аввале ки онҳо ихтилоф доранд, шумо мисоли зид доред: тести хурде, ки ҳалли зуди шумо дар он хато мекунад.
nадад дода шудааст (2 ≤ n ≤ 10⁵), калонтарин ҳосили зарби ду адади онҳоро чоп кунед.
Санҷиши ҳамаи вариантҳо ҳар ҷуфтро месанҷад. Ғояи зуд: танзим кунед ва ду калонтаринро зарб кунед. Оё ин дуруст аст? Ба ҷои тахмин кардан онро санҷед, ҳама дар як барнома.
Баромад
Тестер аз се қисм кор мекунад:
n аз 2 то 5, қиматҳо аз −10 то 10), то ки санҷиши ҳамаи вариантҳо як лаҳза кор кунад ва тести ноком хондан осон бошад.mt19937 rng(2024); генератори ададҳои тасодуфии C++ аст. rng() адади тасодуфии калон медиҳад ва % w онро ба фосилаи лозимӣ меорад. Seed-и собит дар ҳар иҷро ҳамон тестҳоро медиҳад, барои ҳамин мисоли зид нопадид намешавад.Инак хато: (−4) · (−5) = 20 аз 5 · 2 = 10 зиёдтар аст. Ду адади калони манфӣ ҳосили зарби калон медиҳанд. fast-и ислоҳшуда ду калонтаринро бо ду хурдтарин муқоиса мекунад:
Бо ин ислоҳ барнома All 1000 tests passed-ро чоп мекунад. Хато танҳо барои он ёфт шуд, ки генератор метавонист ададҳои манфӣ созад: генератори қиматҳо аз 1 то 10 ҳалли нодурустро миллион бор мегузаронд. Стресс-тест наметавонад дурустии ҳалро исбот кунад, вале аксари нодурусторо дар чанд сония дастгир мекунад. Онро ҳеҷ гоҳ пешниҳод намекунанд: он дар компютери шумо зиндагӣ мекунад. Акнун худатон яке аз онҳоро иҷро кунед. Се хонанда ҳалҳои зудро ба як масъала фиристоданд.
cerr нест шудаанд, формати баромад мувофиқ аст.Муҳандисон нуқсонҳоро «ҳашарот» (bug) аз пеш аз компютерҳо меномиданд: Томас Эдисон ин калимаро дар солҳои 1870 истифода кардааст. Соли 1947 гурӯҳи компютери Harvard Mark II дар реле парвонаи воқеиро ёфт, онро ба дафтари қайд часбонд ва навишт: «Аввалин ҳолати воқеии ёфтани ҳашарот».
cerr-ро истифода мебарам.Барои n = 4 ва a = 1 2 3 4 ин код чӣ чоп мекунад?
Дар масъала t тест ҳаст ва дар ҳар кадом ҷамъи ададҳои он лозим аст. Сатри long long sum = 0; бояд дар куҷо бошад?
Сатри cerr, ки дар ҳал монда шудааст, он чиро, ки довар ҳамчун ҷавоб мехонад, тағйир медиҳад.
Барнома int best = 0;-ро муқаррар мекунад ва баъд барои ҳар ҷузъ if (a[i] > best) best = a[i];-ро иҷро мекунад. Бо кадом вуруд он ҷавоби нодуруст чоп мекунад?
Дар C++ -7 % 2 ба чанд баробар аст?
Mismatch on test 10
4
2 -4 5 -5
brute: 20
fast: 10
for (int i = 0; i < n; i++) {
// ислоҳ: пеш аз пешниҳод нест кунед
cerr << "i = " << i
<< ", best = " << best << "\n";
if (a[i] > best) {
best = a[i];
}
}
#include <bits/stdc++.h>
using namespace std;
// суст, вале боварӣ: ҳамаи ҷуфтҳо
long long brute(vector<long long> a) {
int n = a.size();
long long best = a[0] * a[1];
for (int i = 0; i < n; i++) {
for (int j = 0; j < i; j++) {
long long p = a[i] * a[j];
best = max(best, p);
}
}
return best;
}
// зуд, месанҷем: ду калонтарин
long long fast(vector<long long> a) {
sort(a.begin(), a.end());
int n = a.size();
return a[n - 2] * a[n - 1];
}
// seed собит: тестҳо ҳамон
mt19937 rng(2024);
// адади тасодуфӣ аз lo то hi
int randomInt(int lo, int hi) {
int w = hi - lo + 1;
return lo + rng() % w;
}
int main() {
ios_base::sync_with_stdio(false);
cin.tie(NULL);
for (int t = 1; t <= 1000; t++) {
// тести хурдро хондан осон
int n = randomInt(2, 5);
vector<long long> a(n);
for (int i = 0; i < n; i++) {
a[i] = randomInt(-10, 10);
}
long long want = brute(a);
long long got = fast(a);
if (want != got) {
cout << "Mismatch on test "
<< t << "\n";
cout << n << "\n";
for (long long x : a) {
cout << x << " ";
}
cout << "\n";
cout << "brute: "
<< want << "\n";
cout << "fast: "
<< got << "\n";
return 0;
}
}
cout << "All 1000 tests passed\n";
return 0;
}
sort(a.begin(), a.end());
int n = a.size();
return max(a[0] * a[1],
a[n - 2] * a[n - 1]);
int c = 0;
for (int i = 1; i < n - 1; i++) {
if (a[i] > a[i - 1]) {
c++;
}
}
cout << c;