Language: C++

#include <bits/stdc++.h>

using namespace std;

long long n, k, p[5004], c[5004], ans;
long long score[5004], score1[5004];

void cycle(int start){
    int cur = p[start], len = 1;
    score[1] = c[cur];
    score1[1] = max(-1000000000000, score[1]);
    while(cur != start){
        cur = p[cur], len++;
        score[len] = score[len-1] + c[cur];
        score1[len] = max(score[len], score1[len-1]);
    }
 
    long long s = 0;
    if(k > len){
        long long d = k/len;
        ans = max(d * score[len] + score1[k%len], ans);
        if (d > 1) ans = max(ans, (d-1)*score[len] + score1[len]);
        ans = max(ans, score1[len]);
    }
    else{
        ans = max(ans, score1[k]);
    }
}

void solve(){
    cin>>n>>k;
    ans = -1000000000000;
    for(int i = 1; i <= n; i++) cin>>p[i];
    for(int i = 1; i <= n; i++) cin>>c[i];
    for(int i = 1; i <= n; i++) cycle(i);
    cout<<ans;
}

int main(){
    ios::sync_with_stdio(false);
    cin.tie(0);
    cout.tie(0);
    int TC;
    //cin>>TC;
    TC=1;
    while(TC--){
        solve();
    }
}

Compiler output:
a.cc: In function 'void cycle(int)':
a.cc:11:20: error: no matching function for call to 'max(long int, long long int&)'
   11 |     score1[1] = max(-1000000000000, score[1]);
      |                 ~~~^~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/algorithm:60,
                 from /usr/include/x86_64-linux-gnu/c++/14/bits/stdc++.h:51,
                 from a.cc:1:
/usr/include/c++/14/bits/stl_algobase.h:257:5: note: candidate: 'template<class _Tp> constexpr const _Tp& std::max(const _Tp&, const _Tp&)'
  257 |     max(const _Tp& __a, const _Tp& __b)
      |     ^~~
/usr/include/c++/14/bits/stl_algobase.h:257:5: note:   template argument deduction/substitution failed:
a.cc:11:20: note:   deduced conflicting types for parameter 'const _Tp' ('long int' and 'long long int')
   11 |     score1[1] = max(-1000000000000, score[1]);
      |                 ~~~^~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/bits/stl_algobase.h:303:5: note: candidate: 'template<class _Tp, class _Compare> constexpr const _Tp& std::max(const _Tp&, const _Tp&, _Compare)'
  303 |     max(const _Tp& __a, const _Tp& __b, _Compare __comp)
      |     ^~~
/usr/include/c++/14/bits/stl_algobase.h:303:5: note:   candidate expects 3 arguments, 2 provided
In file included from /usr/include/c++/14/algorithm:61:
/usr/include/c++/14/bits/stl_algo.h:5706:5: note: candidate: 'template<class _Tp> constexpr _Tp std::max(initializer_list<_Tp>)'
 5706 |     max(initializer_list<_Tp> __l)
      |     ^~~
/usr/include/c++/14/bits/stl_algo.h:5706:5: note:   candidate expects 1 argument, 2 provided
/usr/include/c++/14/bits/stl_algo.h:5716:5: note: candidate: 'template<class _Tp, class _Compare> constexpr _Tp std::max(initializer_list<_Tp>, _Compare)'
 5716 |     max(initializer_list<_Tp> __l, _Compare __comp)
      |     ^~~
/usr/include/c++/14/bits/stl_algo.h:5716:5: note:   template argument deduction/substitution failed:
a.cc:11:20: note:   mismatched types 'std::initializer_list<_Tp>' and 'long int'
   11 |     score1[1] = max(-1000000000000, score[1]);
      |                 ~~~^~~~~~~~~~~~~~~~~~~~~~~~~~