| Task: | Käännöt | 
| Sender: | vgtcross | 
| Submission time: | 2023-10-30 01:34:51 +0200 | 
| Language: | C++ (C++20) | 
| Status: | READY | 
| Result: | 100 | 
| group | verdict | score | 
|---|---|---|
| #1 | ACCEPTED | 13 | 
| #2 | ACCEPTED | 19 | 
| #3 | ACCEPTED | 33 | 
| #4 | ACCEPTED | 35 | 
| test | verdict | time | group | |
|---|---|---|---|---|
| #1 | ACCEPTED | 0.00 s | 1 | details | 
| #2 | ACCEPTED | 0.00 s | 1 | details | 
| #3 | ACCEPTED | 0.00 s | 1 | details | 
| #4 | ACCEPTED | 0.00 s | 1 | details | 
| #5 | ACCEPTED | 0.00 s | 1 | details | 
| #6 | ACCEPTED | 0.00 s | 2 | details | 
| #7 | ACCEPTED | 0.00 s | 2 | details | 
| #8 | ACCEPTED | 0.00 s | 2 | details | 
| #9 | ACCEPTED | 0.00 s | 2 | details | 
| #10 | ACCEPTED | 0.00 s | 2 | details | 
| #11 | ACCEPTED | 0.01 s | 2 | details | 
| #12 | ACCEPTED | 0.01 s | 2 | details | 
| #13 | ACCEPTED | 0.01 s | 2 | details | 
| #14 | ACCEPTED | 0.01 s | 2 | details | 
| #15 | ACCEPTED | 0.01 s | 2 | details | 
| #16 | ACCEPTED | 0.01 s | 2 | details | 
| #17 | ACCEPTED | 0.00 s | 3 | details | 
| #18 | ACCEPTED | 0.00 s | 3 | details | 
| #19 | ACCEPTED | 0.01 s | 3 | details | 
| #20 | ACCEPTED | 0.01 s | 3 | details | 
| #21 | ACCEPTED | 0.01 s | 3 | details | 
| #22 | ACCEPTED | 0.01 s | 3 | details | 
| #23 | ACCEPTED | 0.01 s | 3 | details | 
| #24 | ACCEPTED | 0.01 s | 3 | details | 
| #25 | ACCEPTED | 0.01 s | 3 | details | 
| #26 | ACCEPTED | 0.00 s | 4 | details | 
| #27 | ACCEPTED | 0.00 s | 4 | details | 
| #28 | ACCEPTED | 0.01 s | 4 | details | 
| #29 | ACCEPTED | 0.01 s | 4 | details | 
| #30 | ACCEPTED | 0.01 s | 4 | details | 
| #31 | ACCEPTED | 0.01 s | 4 | details | 
| #32 | ACCEPTED | 0.00 s | 4 | details | 
| #33 | ACCEPTED | 0.01 s | 4 | details | 
| #34 | ACCEPTED | 0.01 s | 4 | details | 
Compiler report
input/code.cpp: In function 'bool brute(std::vector<int>, int)':
input/code.cpp:45:27: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
   45 |         for (int i = 0; i < a.size(); ++i) g &= a[i] == i+1;
      |                         ~~^~~~~~~~~~
input/code.cpp:54:27: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
   54 |         for (int i = 0; i < a.size()-k+1; ++i) {
      |                         ~~^~~~~~~~~~~~~~Code
#include <bits/stdc++.h>
#define MODE 1
#if MODE
#define debug(x) cout << #x << ": " << x << endl
#define log(x) cout << x << endl
#define test(x) x
#else
#define debug(x)
#define log(x)
#define test(x)
#endif
#define all(x) (x).begin(),(x).end()
#define rall(x) (x).rbegin(),(x).rend()
#define fi first
#define se second
#define X real()
#define Y imag()
using namespace std;
using ll = long long;
using ld = long double;
using uint = unsigned int;
using ull = unsigned long long;
using pii = pair<int, int>;
using pli = pair<ll, int>;
using pll = pair<ll, ll>;
using P = complex<ll>;
const ll M = 1000000007; // 998244353
map<vector<int>, int> mov;
vector<int> bruteans;
bool brute(vector<int> a, int k) {
    queue<vector<int>> bfs;
    bfs.push(a);
    mov[a] = -1;
    while (bfs.size()) {
        a = bfs.front();
        bfs.pop();
        bool g = 1;
        for (int i = 0; i < a.size(); ++i) g &= a[i] == i+1;
        if (g) {
            while (mov[a] != -1) {
                bruteans.push_back(mov[a]);
                reverse(a.begin()+mov[a], a.begin()+mov[a]+k);
            }
            reverse(all(bruteans));
            return 1;
        }
        for (int i = 0; i < a.size()-k+1; ++i) {
            reverse(a.begin()+i, a.begin()+i+k);
            if (!mov.count(a)) {
                mov[a] = i;
                bfs.push(a);
            }
            reverse(a.begin()+i, a.begin()+i+k);
        }
    }
    return 0;
}
void solve() {
    int n, k;
    cin >> n >> k;
    
    vector<int> v(n);
    for (int &i : v) cin >> i;
    
    vector<int> ans;
    if (k == 2) {
        for (int i = 0; i < n; ++i) {
            for (int j = 0; j < n-1; ++j) if (v[j] > v[j+1]) {
                ans.push_back(j);
                swap(v[j], v[j+1]);
            }
        }
    } else if (k == 3) {
        for (int i = 0; i < n; ++i) {
            for (int j = 0; j+2 < n; j += 2) if (v[j] > v[j+2]) {
                ans.push_back(j);
                swap(v[j], v[j+2]);
            }
        }
        
        for (int i = 0; i < n; ++i) {
            for (int j = 1; j+2 < n; j += 2) if (v[j] > v[j+2]) {
                ans.push_back(j);
                swap(v[j], v[j+2]);
            }
        }
        
        for (int i = 0; i < n; ++i) if (v[i] != i+1) {
            cout << "NO\n";
            return;
        }
    } else if (k == 4) {
        if (n == 5) {
            if (brute(v, 4)) ans = bruteans;
            else {
                cout << "NO\n";
                return;
            }
        } else {
            for (int i = n; i > 6; --i) {
                int j = 0;
                while (v[j] != i) ++j;
                if (j == i-1) continue;
                if (j == 0) {
                    ans.push_back(0);
                    reverse(v.begin()+0, v.begin()+4);
                    j += 3;
                }
                while (j > i-4) {
                    ans.push_back(j-2);
                    reverse(v.begin()+j-2, v.begin()+j+2);
                    --j;
                }
                while (j < i-4) {
                    ans.push_back(j-1);
                    reverse(v.begin()+j-1, v.begin()+j+3);
                    ++j;
                }
                
                ans.push_back(i-4);
                reverse(v.begin()+i-4, v.begin()+i);
            }
            
            vector<int> a(6);
            for (int i = 0; i < 6; ++i) a[i] = v[i];
            if (brute(a, 4)) for (int i : bruteans) ans.push_back(i);
            else {
                cout << "NO\n";
                return;
            }
        }
    } else {
        if (n <= 6) {
            if (brute(v, 5)) ans = bruteans;
            else {
                cout << "NO\n";
                return;
            }
        } else {
            for (int i = n; i > 7; --i) {
                int j = 0;
                while (v[j] != i) ++j;
                if (j == i-1) continue;
                if ((j+i-1) & 1) {
                    cout << "NO\n";
                    return;
                }
                if (j == 0) {
                    ans.push_back(0);
                    reverse(v.begin()+0, v.begin()+5);
                    j += 4;
                }
                while (j > i-5) {
                    ans.push_back(j-3);
                    reverse(v.begin()+j-3, v.begin()+j+2);
                    j -= 2;
                }
                while (j < i-5) {
                    ans.push_back(j-1);
                    reverse(v.begin()+j-1, v.begin()+j+4);
                    j += 2;
                }
                
                ans.push_back(i-5);
                reverse(v.begin()+i-5, v.begin()+i);
            }
            
            vector<int> a(7);
            for (int i = 0; i < 7; ++i) a[i] = v[i];
            if (brute(a, 5)) for (int i : bruteans) ans.push_back(i);
            else {
                cout << "NO\n";
                return;
            }
        }
    }
    
    cout << "YES\n";
    cout << ans.size() << '\n';
    for (int p : ans) cout << p+1 << ' ';
    cout << '\n';
}
int main() {
    cin.tie(0) -> sync_with_stdio(0);
    
    int t = 1;
    if (t == 0) cin >> t;
    while (t--) solve();
    return 0;
}Test details
Test 1
Group: 1
Verdict: ACCEPTED
| input | 
|---|
| 5 2 1 2 3 4 5  | 
| correct output | 
|---|
| YES 0  | 
| user output | 
|---|
| YES 0  | 
Test 2
Group: 1
Verdict: ACCEPTED
| input | 
|---|
| 5 2 2 1 3 4 5  | 
| correct output | 
|---|
| YES 1 1  | 
| user output | 
|---|
| YES 1 1  | 
Test 3
Group: 1
Verdict: ACCEPTED
| input | 
|---|
| 20 2 6 20 18 2 16 13 19 17 8 14 11 ...  | 
| correct output | 
|---|
| YES 366 2 3 4 5 6 7 8 9 10 11 12 13 14...  | 
| user output | 
|---|
| YES 132 2 3 4 5 6 7 8 9 10 11 12 13 14... Truncated  | 
Test 4
Group: 1
Verdict: ACCEPTED
| input | 
|---|
| 100 2 100 92 62 88 12 7 43 31 19 72 ...  | 
| correct output | 
|---|
| YES 2876 1 2 3 4 5 6 7 8 9 10 11 12 13 ...  | 
| user output | 
|---|
| YES 2438 1 2 3 4 5 6 7 8 9 10 11 12 13 ... Truncated  | 
Test 5
Group: 1
Verdict: ACCEPTED
| input | 
|---|
| 100 2 100 99 98 97 96 95 94 93 92 91...  | 
| correct output | 
|---|
| YES 5248 1 2 3 4 5 6 7 8 9 10 11 12 13 ...  | 
| user output | 
|---|
| YES 4950 1 2 3 4 5 6 7 8 9 10 11 12 13 ... Truncated  | 
Test 6
Group: 2
Verdict: ACCEPTED
| input | 
|---|
| 5 3 1 2 3 4 5  | 
| correct output | 
|---|
| YES 0  | 
| user output | 
|---|
| YES 0  | 
Test 7
Group: 2
Verdict: ACCEPTED
| input | 
|---|
| 5 3 3 5 4 1 2  | 
| correct output | 
|---|
| NO | 
| user output | 
|---|
| NO | 
Test 8
Group: 2
Verdict: ACCEPTED
| input | 
|---|
| 5 3 5 2 1 4 3  | 
| correct output | 
|---|
| YES 8 1 2 1 3 1 2 3 1  | 
| user output | 
|---|
| YES 2 1 3  | 
Test 9
Group: 2
Verdict: ACCEPTED
| input | 
|---|
| 20 3 19 14 1 18 3 4 11 20 13 6 17 8...  | 
| correct output | 
|---|
| YES 52 8 10 12 14 16 18 1 3 5 7 9 11 ...  | 
| user output | 
|---|
| YES 42 1 3 5 7 9 11 13 15 17 9 11 13 ... Truncated  | 
Test 10
Group: 2
Verdict: ACCEPTED
| input | 
|---|
| 20 3 9 6 13 18 5 10 3 2 7 20 1 4 19...  | 
| correct output | 
|---|
| YES 50 10 12 14 16 18 13 15 17 4 6 8 ...  | 
| user output | 
|---|
| YES 34 3 5 7 9 13 15 17 1 3 5 7 11 1 ...  | 
Test 11
Group: 2
Verdict: ACCEPTED
| input | 
|---|
| 500 3 53 52 21 76 25 142 5 4 83 176 ...  | 
| correct output | 
|---|
| YES 15194 334 336 338 340 342 344 346 34...  | 
| user output | 
|---|
| YES 15174 1 3 5 11 13 15 17 19 25 27 29 ... Truncated  | 
Test 12
Group: 2
Verdict: ACCEPTED
| input | 
|---|
| 500 3 51 44 147 172 1 28 27 82 233 1...  | 
| correct output | 
|---|
| YES 15565 366 368 370 372 374 376 378 38...  | 
| user output | 
|---|
| YES 15543 3 5 11 13 15 17 19 21 23 27 29... Truncated  | 
Test 13
Group: 2
Verdict: ACCEPTED
| input | 
|---|
| 500 3 75 46 179 62 221 14 67 154 89 ...  | 
| correct output | 
|---|
| YES 15920 454 456 458 460 462 464 466 46...  | 
| user output | 
|---|
| YES 15902 5 7 9 11 13 15 19 21 23 25 27 ... Truncated  | 
Test 14
Group: 2
Verdict: ACCEPTED
| input | 
|---|
| 500 3 161 54 285 12 71 142 111 94 97...  | 
| correct output | 
|---|
| YES 15931 408 410 412 414 416 418 420 42...  | 
| user output | 
|---|
| YES 15907 3 5 7 9 11 13 15 17 19 21 23 2... Truncated  | 
Test 15
Group: 2
Verdict: ACCEPTED
| input | 
|---|
| 500 3 122 260 455 113 315 276 433 43...  | 
| correct output | 
|---|
| NO | 
| user output | 
|---|
| NO | 
Test 16
Group: 2
Verdict: ACCEPTED
| input | 
|---|
| 500 3 499 500 497 498 495 496 493 49...  | 
| correct output | 
|---|
| YES 62264 2 4 6 8 10 12 14 16 18 20 22 2...  | 
| user output | 
|---|
| YES 62250 1 3 5 7 9 11 13 15 17 19 21 23... Truncated  | 
Test 17
Group: 3
Verdict: ACCEPTED
| input | 
|---|
| 5 4 1 2 3 4 5  | 
| correct output | 
|---|
| YES 0  | 
| user output | 
|---|
| YES 0  | 
Test 18
Group: 3
Verdict: ACCEPTED
| input | 
|---|
| 5 4 5 1 2 3 4  | 
| correct output | 
|---|
| YES 4 1 2 1 2  | 
| user output | 
|---|
| YES 4 1 2 1 2  | 
Test 19
Group: 3
Verdict: ACCEPTED
| input | 
|---|
| 500 4 58 14 107 124 4 113 24 290 56 ...  | 
| correct output | 
|---|
| YES 15698 389 392 395 398 401 404 407 41...  | 
| user output | 
|---|
| YES 47891 388 389 390 391 392 393 394 39... Truncated  | 
Test 20
Group: 3
Verdict: ACCEPTED
| input | 
|---|
| 500 4 113 187 278 242 23 67 48 298 3...  | 
| correct output | 
|---|
| YES 15004 480 481 480 482 485 488 491 49...  | 
| user output | 
|---|
| YES 45054 483 484 485 486 487 488 489 49... Truncated  | 
Test 21
Group: 3
Verdict: ACCEPTED
| input | 
|---|
| 500 4 5 233 199 35 213 354 11 134 30...  | 
| correct output | 
|---|
| YES 16770 458 461 464 467 470 473 476 47...  | 
| user output | 
|---|
| YES 49915 457 458 459 460 461 462 463 46... Truncated  | 
Test 22
Group: 3
Verdict: ACCEPTED
| input | 
|---|
| 500 4 169 47 21 137 57 138 360 147 4...  | 
| correct output | 
|---|
| YES 15889 497 371 372 371 373 376 379 38...  | 
| user output | 
|---|
| YES 47882 497 374 375 376 377 378 379 38... Truncated  | 
Test 23
Group: 3
Verdict: ACCEPTED
| input | 
|---|
| 500 4 493 409 291 313 156 443 496 40...  | 
| correct output | 
|---|
| YES 22886 480 481 480 482 485 488 491 49...  | 
| user output | 
|---|
| YES 59727 483 484 485 486 487 488 489 49... Truncated  | 
Test 24
Group: 3
Verdict: ACCEPTED
| input | 
|---|
| 500 4 137 99 100 226 326 298 140 340...  | 
| correct output | 
|---|
| NO | 
| user output | 
|---|
| NO | 
Test 25
Group: 3
Verdict: ACCEPTED
| input | 
|---|
| 500 4 500 499 498 497 496 495 494 49...  | 
| correct output | 
|---|
| YES 41458 1 2 1 2 5 8 11 14 17 20 23 26 ...  | 
| user output | 
|---|
| YES 41334 1 3 4 5 6 7 8 9 10 11 12 13 14... Truncated  | 
Test 26
Group: 4
Verdict: ACCEPTED
| input | 
|---|
| 5 5 1 2 3 4 5  | 
| correct output | 
|---|
| YES 0  | 
| user output | 
|---|
| YES 0  | 
Test 27
Group: 4
Verdict: ACCEPTED
| input | 
|---|
| 5 5 5 4 3 2 1  | 
| correct output | 
|---|
| YES 1 1  | 
| user output | 
|---|
| YES 1 1  | 
Test 28
Group: 4
Verdict: ACCEPTED
| input | 
|---|
| 500 5 145 26 285 154 147 314 141 40 ...  | 
| correct output | 
|---|
| YES 13786 216 220 224 228 232 236 240 24...  | 
| user output | 
|---|
| YES 28224 215 217 219 221 223 225 227 22... Truncated  | 
Test 29
Group: 4
Verdict: ACCEPTED
| input | 
|---|
| 500 5 137 22 399 292 249 6 51 224 42...  | 
| correct output | 
|---|
| YES 13465 456 460 464 468 472 476 480 48...  | 
| user output | 
|---|
| YES 28091 455 457 459 461 463 465 467 46... Truncated  | 
Test 30
Group: 4
Verdict: ACCEPTED
| input | 
|---|
| 500 5 153 52 85 100 329 60 433 468 4...  | 
| correct output | 
|---|
| YES 13642 377 378 377 380 384 388 392 39...  | 
| user output | 
|---|
| YES 28656 381 383 385 387 389 391 393 39... Truncated  | 
Test 31
Group: 4
Verdict: ACCEPTED
| input | 
|---|
| 500 5 267 326 95 108 189 32 291 366 ...  | 
| correct output | 
|---|
| YES 14639 213 214 213 216 220 224 228 23...  | 
| user output | 
|---|
| YES 29631 217 219 221 223 225 227 229 23... Truncated  | 
Test 32
Group: 4
Verdict: ACCEPTED
| input | 
|---|
| 500 5 15 450 272 80 321 101 247 438 ...  | 
| correct output | 
|---|
| NO | 
| user output | 
|---|
| NO | 
Test 33
Group: 4
Verdict: ACCEPTED
| input | 
|---|
| 499 5 497 498 499 496 495 494 493 49...  | 
| correct output | 
|---|
| YES 30886 3 7 11 15 19 23 27 31 35 39 43...  | 
| user output | 
|---|
| YES 39392 2 4 6 8 10 12 14 16 18 20 22 2... Truncated  | 
Test 34
Group: 4
Verdict: ACCEPTED
| input | 
|---|
| 500 5 499 500 497 498 495 496 493 49...  | 
| correct output | 
|---|
| YES 30919 1 4 8 12 16 20 24 28 32 36 40 ...  | 
| user output | 
|---|
| YES 39605 1 3 5 7 9 11 13 15 17 19 21 23... Truncated  | 
