Bu masala yechimida asosoy ro'lni massiv ustida bajarilayotgan amallar o'ynaydi. Birinchi amaldan boshlasak. Birinchi amal haqidagi ma'lumotlardan quyidagicha foydalanamiz: diff nomli massiv olamiz (diff -> difference -> farq) va birinchi amal haqida ma'lumot kelganda diff massivini quyidagi tarzda o'zgartiramiz.

for(int i = L; i<=R; i++)
    diff[i]+=D;

Bu kodni bajarish orqali biz diff massivda hozirgi holatdagi massiv boshlang'ich massiv elementlaridan qanchaga farq etishini saqlab qo'yamiz. Masalan hozirda diff[2] = 4 bo'lsa demak a massivning 2 elementi boshlang'ich holatda 4 ga katta.

Endi ikkinchi turdagi amallarni ko'rib chiqsak. Bu amallarni qayta ishlash murakkabroq va bu amallar yordamida biz qidirilayotgan massivni hosil qilib olishimiz mumkin. Bu amallarni qayta ishlash uchun bizga javob massivni saqlab qo'yuvchi massiv kerak bo'ladi. Bu massivni ans deb nomlaymiz (ans -> answer -> javob) va uni masala shartidagi massiv elemntlaringing maksimal qiymati bilan to'ldiramiz ya'ni:

for(int i = 0; i<=5000; i++){
    ans[i] = 1e9;
}

Massivning bu holatda turishi bizga keyingi operatsiyalarda kerak bo'ladi. Endi eng qiziqarli qismi. Agar bizga ikkinchi turdagi amal berilsa, L -> R oraliqdagi faqatgina topilgan maksimal elementdan katta bo'lganlarini, shu topilgan maksimal bilan almashtiramiz. Ammo almashtirish davomida shu massiv elementi boshlang'ich holatda qancha siljiganinigam hisobga olamiz:

for(int i = L; i<=R; i++)
    ans[i] = min(ans[i], M - diff[i]);

M -> bu yerda L — R oraliqda topilgan maksimal.

Shu tarzda barcha amallarni qayta ishlab chiqsak biz natijaviy massivni qo'lga kiritamiz. Ammo bu hali javob degani emas. Biz bu massivni to'g'ri hosil qilinganligiga ishonch hosil qilishimiz kerak. Massivni tekshirish uchun biz diff massivni tozalatmiz ya'ni nollar bilan to'ldiramiz va ok nomli mantiqiy o'zgaruvchi hosil qilamiz. Keyinchalik amallardan yana bir marta o'tib chiqamiz. Agar birinchi turdagi amal kelsa diff massivini yangilaymiz. Agar ikkinchi turdagi element kelsa L — R oraliqda M kamida bir marta uchraydimi yo'qmi tekshiramiz akar bu element uchramay qolsa demak javob NO. Agar barcha M lar uchrasa YES javobini chiqaramiz va massivni chiqaramiz.

Shu yechimdan foydalanib kodni o'zingiz yozishga urinib ko'ring. Agar o'xshamasa quyidagi ko'dni o'rganib chiqishingiz mumkin.

#include<bits/stdc++.h>

using namespace std;

const int N = 5001;

int diff[N], ans[N], t[N], l[N], r[N], d[N];


int main()
{
    for(int i = 0; i<N; i++)
        ans[i] = 1e9;

    int n,m;
    cin>>n>>m;
    for(int i = 0; i<m; i++)
    {
        cin>>t[i]>>l[i]>>r[i]>>d[i];

        if(t[i] == 1)
        {
            for(int j = l[i]; j<=r[i]; j++)
                diff[j]+=d[i];
        }
        else
        {
            for(int j = l[i]; j<=r[i]; j++)
                ans[j] = min(ans[j], d[i] - diff[j]);
        }
    }

    for(int i = 0; i<N; i++)
        diff[i] = 0;

    bool ok = 1;

    for(int i = 0; i<m && ok; i++)
    {
        if(t[i] == 1)
        {
            for(int j = l[i]; j<=r[i]; j++)
                diff[j]+=d[i];

        }
        else
        {
            ok = 0;
            for(int j = l[i]; j <= r[i]; j++)
                if(ans[j] + diff[j] == d[i])
                {
                    ok = 1;
                    break;
                }
        }
    }

    if(ok)
    {
        cout<<"YES"<<endl;
        for(int i = 1; i<=n; i++)
            cout<<ans[i]<<" ";
    }
    else
    {
        cout<<"NO";
    }
}