Problem:
ばらばら饅頭

会津若松市にある和菓子屋・友栗堂の店長さんは、とても腕のいい職人さんなのにちょっと気分屋なのが玉にキズです。店長さんの作る饅頭はとても美味しいのですが、その時の気分によって大きさがまちまちになってしまいます。

見かねた店長さんの奥さんは、大きさと重さがばらばらな饅頭を袋に詰めて売り出すことを思いつきました。一定の重さになるように饅頭を袋に詰めて売れば、一つ一つの大きさはばらばらでも一定の値段で売り出すことが出来ますし、どんな饅頭が入っているのか開けるまでわからないというサプライズも売りになるかもしれません。
「ばらばら饅頭」という名前で売りだしたところ、新しいアイディアが話題となり友栗堂はたちまち評判となりました。しかし、問題もあり、袋に入れる饅頭の組み合わせ方によって作れる「ばらばら饅頭」の数が変わり、無駄が発生してしまうことがありました。アルバイトで友栗堂に来ていたあなたは無駄なく袋に詰めるためにプログラムをつくることにしました。

饅頭の重さは1から9の9種類あります。袋に詰める時には、饅頭の重さの合計がぴったり10になるように詰め込みます。饅頭の組み合わせ方は1+1+2+4+2=10や1+1+1+1+1+5=10などで、同じ重さの饅頭をいくつ使っても構いません。

作られる饅頭の個数と饅頭の重さの情報を入力とし、作ることのできる「ばらばら饅頭」の最大の数を出力するプログラムを作成してください。

入力

複数のデータセットが与えられます。入力の終わりはゼロひとつで示されます。各データセットは以下の形式で与えられます。

n
m1 m2 ... mn

1行目に饅頭の個数 n (2 ≤ n ≤ 100) が与えられます。
2行目に各饅頭の重さmi (1 ≤ mi ≤ 9) が与えられます。

データセットの数は 100 を超えません。

出力

データセットごとに、詰め込むことのできた「ばらばら饅頭」の最大の数を1行に出力します。

入力例

5
4 9 1 3 8
10
8 5 3 6 2 1 4 5 4 5
9
5 7 3 8 2 9 6 4 1
0

出力例

1
4
4

Solution in Ruby (judge verdict: Wrong Answer)

### constant

SUM_W = 10

### subroutines

def pack_manju(k, w, mj)
  if k >= 9
    return (w == 0 ? [mj.clone] : [])
  end

  mjs = []
  mjk = $manju[k]

  for i in (0..mjk)
    w0 = w - (k + 1) * i
    if w0 >= 0
      mj[k] = i
      mjs0 = pack_manju(k + 1, w0, mj)
      mjs += mjs0
    end
  end

  mjs
end

def max_count_pack(k, mj, mjs)
  return 1 if k >= mjs.length

  mc0 = max_count_pack(k + 1, mj, mjs)

  mj0 = []
  for i in (0..8)
    mj0[i] = mj[i] + mjs[k][i]
    if mj0[i] > $manju[i]
      return mc0
    end
  end

  mc1 = 1 + max_count_pack(k + 1, mj0, mjs)

  (mc0 > mc1) ? mc0 : mc1
end

### main

while true
  $n = gets.strip.to_i
  break if $n == 0

  $manju = 9.times.map{0}

  gets.strip.split(' ').map{|s| $manju[s.to_i - 1] += 1}
  #p $manju
  #p $manju.inject(1){|s, m| s * m}

  mc = 0

  for i in (0..3)
    m = [$manju[i], $manju[8 - i]].min
    $manju[i] -= m
    $manju[8 - i] -= m
    mc += m
  end

  m = $manju[4] / 2
  $manju[4] -= 2 * m
  mc += m

  #p $manju
  #p $manju.select{|m| m > 0}.inject(1){|s, m| s * m}
  #p mc

  mjs = pack_manju(0, SUM_W, [])
  #p mjs
  #p mjs.length

  mc += max_count_pack(0, [0] * 9, mjs) - 1
  puts mc
end