Problem:
MathJax.Hub.Config({ tex2jax: { inlineMath: [["$","$"], ["\\(","\\)"]], processEscapes: true }});

D - インビジブル

Problem Statement

あなたは友達と"インビジブル"というカードゲームを遊ぼうとしている．
このカードゲームでは，"得点カード"と"妨害カード"という2種類のカードを使う．
それぞれの得点カードには，正の値が書かれている．このカードゲームのルールは次の通りである．

ゲームはプレイヤー1とプレイヤー2の2人のプレイヤーで行われる．ゲームはプレイヤー1のターンから始まる．

場には，1つのスタックと2つのデッキがある．スタックは，2人のプレイヤーが置いたカードからなる．また，それぞれのプレイヤーが持つデッキはそのプレイヤーが持つ得点カードと妨害カードからなる．プレイヤーは自分，もしくは相手デッキのカードの順番をいつでも確認できる．ゲームの開始時点ではスタックには1枚もカードはない．

2人のプレイヤーは交互に次の2つの行動のどちらかをちょうど1回行う．

自分のデッキの一番上のカードをスタックの一番上に置く．ただし，この行動は自分のデッキにカードが1枚も存在しない時には行うことができない．

自分のターンをパスする．

プレイヤーがターンをパスした時，次の処理を行う．

各プレイヤーは次の2つの条件を満たすスタック中のすべての得点カードを得る．得た得点カードは場から取り除かれる．

自分がスタックにおいた得点カードである．

相手が置いたどの妨害カードよりも上にある (スタック中に相手の妨害カードが存在しないとき，プレイヤーは自分がスタックに置いたすべてのカードを得る)．

スタックのカードをすべて取り除く．

もしスタックにカードがない状態で両プレイヤーが連続してパスした場合，ゲームを終了する．
各プレイヤーの最終的なスコアは，各プレイヤーが得た得点カードに書かれた数の総和である．

各プレイヤーは，自分のスコアから相手のスコアを引いた値を最大化するために最適な行動をとる．
あなたの仕事は，与えられた各プレイヤーのデッキに対し，各プレイヤーが最適に行動したときのプレイヤー1のスコアとプレイヤー2のスコアの差を計算することである．

Input

入力は次のような形式の単一テストケースからなる．

$n$ $m$

$a_1$ $a_2$ $\dots$ $a_n$

$b_1$ $b_2$ $\dots$ $b_m$

1行目は山札の枚数を表す正の整数 $n$, $m$ ($1 \le n, m \le 50$) からなる．
2行目は $n$ 個の整数からなり，$a_i$ はプレイヤー1のデッキの上から $i$ 番目のカードを表す ($1 \le i \le n$)．$a_i$ は $1$ 以上，$1{,}000{,}000$ 以下，または $-1$ である．
3行目は $m$ 個の整数からなり，$b_j$ はプレイヤー2のデッキの上から $j$ 番目のカードを表す ($1 \le j \le m$)．$b_j$ は $1$ 以上，$1{,}000{,}000$ 以下，または $-1$ である．
$a_i$, $b_j$ が正の整数の時は得点カードを表し，$-1$ の時は妨害カードを表す．

Output

お互いのプレイヤーが最適に行動した時の (プレイヤー1のスコア) - (プレイヤー2のスコア) を出力せよ．

Sample Input 1

2 2
100 -1
200 300

Output for the Sample Input 1

-100

Sample Input 2

3 5
10 30 -1
-1 90 20 10 -1

Output for the Sample Input 2

0

Sample Input 3

4 5
15 20 10 30
50 30 10 20 25

Output for the Sample Input 3

-60

Solution in C++11 (judge verdict: Accepted)

#include <iostream>
#include <iomanip>
#include <cstdio>
#include <string>
#include <cstring>
#include <deque>
#include <list>
#include <queue>
#include <stack>
#include <vector>
#include <utility>
#include <algorithm>
#include <map>
#include <set>
#include <complex>
#include <cmath>
#include <limits>
#include <cfloat>
#include <climits>
#include <ctime>
#include <cassert>
#include <numeric>
#include <functional>
using namespace std;

#define rep(i,a,n) for(int (i)=(a); (i)<(n); (i)++)
#define repq(i,a,n) for(int (i)=(a); (i)<=(n); (i)++)
#define repr(i,a,n) for(int (i)=(a); (i)>=(n); (i)--)
#define int long long int

template<typename T> void chmax(T &a, T b) {a = max(a, b);}
template<typename T> void chmin(T &a, T b) {a = min(a, b);}
template<typename T> void chadd(T &a, T b) {a = a + b;}

typedef pair<int, int> pii;
typedef long long ll;

int dx[] = {0, 0, 1, -1};
int dy[] = {1, -1, 0, 0};
constexpr ll INF = 1001001001001001LL;
constexpr ll MOD = 1000000007LL;

constexpr int S = 51;
int N, M, a[60], b[60];
int suma[60], sumb[60];
// memo[s][t][u][v][turn][pass] :=
//      a ??????????????????????????? [s, t) ????????????
//      b ??????????????????????????? [u, v) ????????????
//      turn ??¨ pass ????????±
//      ???????????? point_a - point_b ??????
int memo[S][S][S][S][2][3];

// pass ?????£?¶?????????????????????°?????????
int dfs(int s, int t, int u, int v, int turn, int pass) {
    int& val = memo[s][t][u][v][turn][pass];
    if(val != -INF) return val;

    // ???????????????????????¶?????§??????????????????
    val =  suma[t] - suma[s];
    val -= sumb[v] - sumb[u];

    // ???????????¶??§???????????° pass ??????
    // ?????????????????¨????????£??????????????????????????????
    // ??\??????????????§????????????????????????????????£?????????
    if(!(s == t && u == v && pass == 1)) {
        if(s == t && u == v) val += dfs(t, t, v, v, turn^1, pass+1);
        else val += dfs(t, t, v, v, turn^1, 0);
    }

    // take (first)
    if(turn == 0) {
        if(t < N) {
            // ??¨??? -> ?????¨?????????????????????????????????????????¨????????????????????????
            //      -> ???????????????????????????????????????????????¨??????
            if(a[t] == -1) chmax(val, dfs(s, t+1, v, v, turn^1, 0));
            else           chmax(val, dfs(s, t+1, u, v, turn^1, 0));
        }
    }
    // take (second)
    else {
        if(v < M) {
            if(b[v] == -1) chmin(val, dfs(t, t, u, v+1, turn^1, 0));
            else           chmin(val, dfs(s, t, u, v+1, turn^1, 0));
        }
    }
    return val;
}

signed main() {
    rep(i,0,S) rep(j,0,S) rep(k,0,S) rep(l,0,S) rep(t,0,2) rep(p,0,3)
        memo[i][j][k][l][t][p] = -INF;

    cin >> N >> M;
    rep(i,0,N) cin >> a[i];
    rep(i,0,M) cin >> b[i];

    // 1-indexed
    rep(i,0,N) suma[i+1] = (a[i] == -1 ? suma[i] : suma[i] + a[i]);
    rep(i,0,M) sumb[i+1] = (b[i] == -1 ? sumb[i] : sumb[i] + b[i]);
    cout << dfs(0, 0, 0, 0, 0, 0) << endl;
    return 0;
}