Mk chưa học đến bài 5

#include <bits/stdc++.h>

using namespace std;

long long a[1000],i,n;

int main()

{

cin>>n;

for (i=1; i<=n; i++) cin>>a[i];

sort(a+1,a+n+1);

for (i=n; i>=1; i--) cout<<a[i]<<" ";

return 0;

}

#include <bits/stdc++.h>
using namespace std;
const long long maxn=1e6+10;
long long a[maxn],i,n;
int main()
{
    freopen("sxso.inp","r",stdin);
    freopen("sxso.out","w",stdout);
    cin>>n;
    for (i=1; i<=n; i++)
        cin>>a[i];
    sort(a+1,a+n+1);
    for (i=n; i>=1; i--)
        cout<<a[i]<<" ";
    return 0;
}

1:

-Bước 1: Nhập n và nhập dãy số, nhập k

-Bước 2: dem←0; i←1;

-Bước 3: Nếu a[i]=k thì dem←dem+1;

-Bước 4: i←i+1;

-Bước 5: Nếu i<=n thì quay lại bước 3

-Bước 6: Xuất dem

-Bước 7: Kết thúc

Tính đúng của thuật toán cần được chứng minh bằng lập luận toán học. Sử dụng các bộ dữ liệu kiểm thử có thể làm tăng độ tin cậy của chương trình nhưng chưa chứng minh được tính đúng của thuật toán.