Go: package main

import (
	"bufio"
	"fmt"
	"io"
	"os"
	"strconv"
)

const (
	initialBufSize = 10000000
	maxBufSize     = 100000000
)

var sc *bufio.Scanner

func initScanner(r io.Reader) *bufio.Scanner {
	buf := make([]byte, initialBufSize)

	sc := bufio.NewScanner(r)
	sc.Buffer(buf, maxBufSize)
	sc.Split(bufio.ScanWords) // bufio.ScanLines
	return sc
}

func main() {
	sc = initScanner(os.Stdin)
	resolve()
}

func nextInt(sc *bufio.Scanner) int {
	sc.Scan()
	a, _ := strconv.Atoi(sc.Text())
	return int(a)
}
func nextString(sc *bufio.Scanner) string {
	sc.Scan()
	return sc.Text()
}

func nextIntSlice(sc *bufio.Scanner, n int) (a []int) {
	a = make([]int, n)
	for i := 0; i < n; i++ {
		a[i] = nextInt(sc)
	}
	return a
}

var dp [][]int

func initDP(n int) {
	dp = make([][]int, n+1)
	for i := 0; i < len(dp); i++ {
		dp[i] = make([]int, n+1)
		for j := 0; j < len(dp[0]); j++ {
			dp[i][j] = -1
		}
	}
}

func resolve() {
	ans := []int{}
	for true {
		n := nextInt(sc)
		if n == 0 {
			break
		}
		as := nextIntSlice(sc, n)
		initDP(n)
		_rec(as, n, 0, n)
		ans = append(ans, dp[0][n])
	}
	for _, v := range ans {
		fmt.Println(v)
	}
	return
}

func _rec(as []int, n, l, r int) int {
	if dp[l][r] > -1 {
		return dp[l][r]
	}
	if r-l == 1 { // prevent to hit daruma
		dp[l][r] = 0
		return dp[l][r]
	}
	if r-l == 2 {
		if abs(as[l]-as[r-1]) <= 1 {
			dp[l][r] = 2
		} else {
			dp[l][r] = 0
		}
		return dp[l][r]
	}
	if abs(as[l]-as[r-1]) <= 1 {
		v := _rec(as, n, l+1, r-1)
		// if we can remove internal blocks
		if (r - 1 - (l + 1)) == v {
			dp[l][r] = v + 2
			return dp[l][r]
		} else {
			dp[l][r] = v
		}
	}
	for i := l + 1; i < r; i++ {
		v := _rec(as, n, l, i) + _rec(as, n, i, r)
		if dp[l][r] < v {
			dp[l][r] = v
		}
	}
	return dp[l][r]
}

func abs(v int) int {
	if v < 0 {
		return -v
	}
	return v
}

C++: #include <bits/stdc++.h>

using namespace std;

#define endl "\n"
#define rep(i, a, b) for (auto i = (a); i < (b); ++i)

template <typename T>
bool chmax(T &a, T b) { return a < b ? (a = b, true) : false; }

int w[301];
int dp[301][301];
bool past[301][301];

int memo(int l, int r)
{
  if (past[l][r])
    return dp[l][r];
  if (r - l <= 1)
  {
    past[l][r] = true;
    dp[l][r] = 0;
    return 0;
  }
  int res = 0;
  if (abs(w[r - 1] - w[l]) <= 1 && memo(l + 1, r - 1) == r - l - 2)
  {
    chmax(res, memo(l + 1, r - 1) + 2);
  }
  rep(i, l + 1, r)
  {
    chmax(res, memo(l, i) + memo(i, r));
  }
  past[l][r] = true;
  dp[l][r] = res;
  return res;
}

void solve(int &n)
{
  rep(i, 0, n) cin >> w[i];
  cout << memo(0, n) << endl;
}

int main()
{
  int n;
  while (cin >> n, n)
  {
    fill(w, w + 301, 0);
    rep(i, 0, 301) rep(j, 0, 301)
    {
      past[i][j] = false;
      dp[i][j] = 0;
    }
    solve(n);
  }
#ifdef LOCAL_DEFINE
  cerr << "Time elapsed: " << 1.0 * clock() / CLOCKS_PER_SEC << "s." << endl;
  show(MOD);
#endif
  return 0;
}

///////////////////////////////////////////////////////////////////////////////////
// NOTE
///////////////////////////////////////////////////////////////////////////////////
// 典型的な区間DPの問題
// dp[l][r] := [l, r)の区間で取り除ける最大の個数.
// 遷移は大きく分けて2パターンあって、
// w[l] と w[r - 1] の差が1以下なら、この2つを対にして取り除ける.
// ただし、そうするには条件が必要で、[l + 1, r - 1)の区間のブロックを全て取り除けた場合のみ.
// もう一つのパターンは
// [l, mid) と [mid, r) にブロックを分割する.これは特別な条件はいらない.
// こんな感じの遷移をすると上手にできるかな.
//
// 区間DPの問題って少ないというよりあんまり目立たない感じがして、問題に触れている数が少ない気がするわ.
// 機会があったら区間DPだけ勉強するようにしないといつか痛い目に合いそうだわ.
// 参考記事
// http://kutimoti.hatenablog.com/entry/2018/03/10/220819

C++: #include <iostream>
#include <string>
#include <algorithm>
#include <vector>
#include <math.h>
#include <complex>
#include <queue>
#include <deque>
#include <stack>
#include <map>
#include <set>
#include <bitset>
#include <assert.h>
#include <numeric>
#include <iomanip>
#define rep(i, a, b) for (int(i) = (a); i < (b); i++)
using namespace std;

using ll = long long;

const int INF = 100000000;
const int dx[4] = {1, 0, -1, 0}, dy[4] = {0, 1, 0, -1};
const ll MOD = 1000000007;

ll pow_mod(ll x, ll y, ll mod)
{
	ll ans=1;
	for(;y>0;y>>=1){
		if(y&1)(ans*=x)%=mod;
		(x*=x)%=mod;
	}
	return ans;
}

ll gcd(ll a,ll b){
	if(b==0)return a;
	return gcd(b,a%b);
}

int main()
{
	cin.tie(0);
	ios::sync_with_stdio(false);
	//問題文中の添え字が0-indexか1-indexか確認!
	while(1){
		int n;
		cin>>n;
		if(n==0)break;
		vector<int> w(n);
		rep(i,0,n)cin>>w[i];
		int dp[300][300] = {0};
		rep(i,0,n)dp[i][i]=0;
		rep(i,2,n+1){
			rep(j,0,n-i+1){
				int l=j;
				int r=j+i-1;
				if(dp[l+1][r-1]==r-l-1&&abs(w[l]-w[r])<=1){
					dp[l][r]=r-l+1;
				}else{
					int temp=0;
					rep(k,l+1,r+1){
						temp=max(temp,dp[l][k-1]+dp[k][r]);
					}
					dp[l][r]=temp;
				}
			}
		}
		cout<<dp[0][n-1]<<"\n";
	}
	return 0;
}

C++: #include<bits/stdc++.h>
using namespace std;
int N;
int W[300];
int dp[300][300];
int main()
{
	while(true){
		scanf("%d",&N);
		if(N==0){break;}
		for(int i=0;i<N;i++){
			scanf("%d",&W[i]);
		}
		for(int i=0;i<300;i++){
			for(int j=0;j<300;j++){
				dp[i][j]=0;
			}
		}
		for(int i=0;i<=N-2;i++){
			if(abs(W[i]-W[i+1])<=1){dp[i][1]=2;}
		}
		for(int j=3;j<=N-1;j+=2){
			for(int i=0;i+j<N;i++){
				//[i,i+j]
				if(abs(W[i+j-1]-W[i+j])<=1){
					dp[i][j]=max(dp[i][j],dp[i][j-2]+2);
				}
				else{
					dp[i][j]=max(dp[i][j],dp[i][j-2]);
				}
				if(abs(W[i]-W[i+1])<=1){
					dp[i][j]=max(dp[i][j],dp[i+2][j-2]+2);
				}
				else{
					dp[i][j]=max(dp[i][j],dp[i+2][j-2]);
				}
				if(abs(W[i]-W[i+j])<=1&&dp[i+1][j-2]==j-1){
					dp[i][j]=max(dp[i][j],j+1);
				}
			}
		}
		if(N%2==0){printf("%d\n",dp[0][N-1]);}
		else{printf("%d\n",max(dp[0][N-2],dp[1][N-2]));}
	}
	return 0;
}