using System; using System.Collections.Generic; using System.Linq; using System.Linq.Expressions; using System.IO; using System.Text; using System.Diagnostics; using Binary = System.Func; using Unary = System.Func; class Program { static StreamWriter sw = new StreamWriter(Console.OpenStandardOutput()) { AutoFlush = false }; static Scan sc = new Scan(); const int M = 1000000007; const double eps = 1e-11; static readonly int[] dd = { 0, 1, 0, -1, 0 }; static void Main() { int T = sc.Int; int n = sc.Int; var dp = new int[1 << n][]; var t = new int[n]; for (int i = 0; i < n; i++) { t[i] = sc.Int; } var bp = new BinPackingApp.BinPacking(); bp.BinSize = T; int ans = bp.Solve(t).Count; var r = new Random(); var stw = new Stopwatch(); stw.Start(); while (stw.ElapsedMilliseconds < 1000) { var s = t.copy(); var p = new int[n]; for (int i = 0; i < n; i++) { p[i] = r.Next(100); } Array.Sort(p, s); int c = 0, rem = 0; for (int i = 0; i < n; i++) { if (rem < s[i]) { ++c; rem = T - s[i]; } else rem -= s[i]; } if (c < ans) { ans = c; break; } } Prt(ans); sw.Flush(); } static void swap(ref T a, ref T b) { var t = a; a = b; b = t; } static T Max(params T[] a) { return a.Max(); } static T Min(params T[] a) { return a.Min(); } static void DBG(string a) { Console.WriteLine(a); } static void Prt(string a) { sw.WriteLine(a); } static void DBG(IEnumerable a) { DBG(string.Join(" ", a)); } static void DBG(params object[] a) { DBG(string.Join(" ", a)); } static void Prt(IEnumerable a) { Prt(string.Join(" ", a)); } static void Prt(params object[] a) { Prt(string.Join(" ", a)); } // for AOJ // static string Join(string sep, IEnumerable a) { return string.Join(sep, a.Select(x => x.ToString()).ToArray()); } // static void DBG(IEnumerable a) { DBG(Join(" ", a)); } // static void DBG(params object[] a) { DBG(Join(" ", a)); } // static void Prt(IEnumerable a) { Prt(Join(" ", a)); } // static void Prt(params object[] a) { Prt(Join(" ", a)); } } static class ex { public static void swap(this IList a, int i, int j) { var t = a[i]; a[i] = a[j]; a[j] = t; } public static T[] copy(this IList a) { var ret = new T[a.Count]; for (int i = 0; i < a.Count; i++) ret[i] = a[i]; return ret; } } static class Operator { static readonly ParameterExpression x = Expression.Parameter(typeof(T), "x"); static readonly ParameterExpression y = Expression.Parameter(typeof(T), "y"); public static readonly Func Add = Lambda(Expression.Add); public static readonly Func Subtract = Lambda(Expression.Subtract); public static readonly Func Multiply = Lambda(Expression.Multiply); public static readonly Func Divide = Lambda(Expression.Divide); public static readonly Func Plus = Lambda(Expression.UnaryPlus); public static readonly Func Negate = Lambda(Expression.Negate); public static Func Lambda(Binary op) { return Expression.Lambda>(op(x, y), x, y).Compile(); } public static Func Lambda(Unary op) { return Expression.Lambda>(op(x), x).Compile(); } } class Scan { public int Int { get { return int.Parse(Str); } } public long Long { get { return long.Parse(Str); } } public double Double { get { return double.Parse(Str); } } public string Str { get { return Console.ReadLine().Trim(); } } public int[] IntArr { get { return StrArr.Select(int.Parse).ToArray(); } } public long[] LongArr { get { return StrArr.Select(long.Parse).ToArray(); } } public double[] DoubleArr { get { return StrArr.Select(double.Parse).ToArray(); } } public string[] StrArr { get { return Str.Split(); } } bool eq() { return typeof(T).Equals(typeof(U)); } T ct(U a) { return (T)Convert.ChangeType(a, typeof(T)); } T cv(string s) { return eq() ? ct(int.Parse(s)) : eq() ? ct(long.Parse(s)) : eq() ? ct(double.Parse(s)) : eq() ? ct(s[0]) : ct(s); } public void Multi(out T a) { a = cv(Str); } public void Multi(out T a, out U b) { var ar = StrArr; a = cv(ar[0]); b = cv(ar[1]); } public void Multi(out T a, out U b, out V c) { var ar = StrArr; a = cv(ar[0]); b = cv(ar[1]); c = cv(ar[2]); } public void Multi(out T a, out U b, out V c, out W d) { var ar = StrArr; a = cv(ar[0]); b = cv(ar[1]); c = cv(ar[2]); d = cv(ar[3]); } public void Multi(out T a, out U b, out V c, out W d, out X e) { var ar = StrArr; a = cv(ar[0]); b = cv(ar[1]); c = cv(ar[2]); d = cv(ar[3]); e = cv(ar[4]); } public void Multi(out T a, out U b, out V c, out W d, out X e, out Y f) { var ar = StrArr; a = cv(ar[0]); b = cv(ar[1]); c = cv(ar[2]); d = cv(ar[3]); e = cv(ar[4]); f = cv(ar[5]); } public void Multi(out T a, out U b, out V c, out W d, out X e, out Y f, out Z g) { var ar = StrArr; a = cv(ar[0]); b = cv(ar[1]); c = cv(ar[2]); d = cv(ar[3]); e = cv(ar[4]); f = cv(ar[5]); g = cv(ar[6]);} } // http://gushwell.ifdef.jp/etude/BinPacking.html より namespace BinPackingApp { // 必ずしも最適解が求まるとは限らない class BinPacking { public int BinSize { get; set; } public BinPacking() { BinSize = 100; } public ICollection> Solve(int[] items) { var r1 = Solve04(items); // 一般的な解法 var r2 = Solve03(items); // 場合によっては、こちらが良い答えを出す場合もある。 // どちらか良いほうを返す。 if (r1.Count() > r2.Count()) return r2; return r1; } // 解法01:最も空きが多いビンに入れてゆく解法 public ICollection> Solve01(int[] items) { // 最低限必要なビンを用意し、listに入れる int total = items.Sum(); int bincount = total / BinSize + ((total % BinSize == 0) ? 0 : 1); List> binList = new List>(); for (int i = 0; i < bincount; i++) { List bin = new List(); binList.Add(bin); } // 各項目をビンに入れてゆく foreach (var n in items.OrderByDescending(a => a)) { // nが入るビンを見つける (最も空いているビン) var target = binList.Select(b => new { Bin = b, Space = BinSize - b.Sum(t => t) }) .Where(x => x.Space >= n) .OrderByDescending(x => x.Space); var first = target.FirstOrDefault(); if (first != null) { // nが入るビンが見つかったので、そこに入れる target.First().Bin.Add(n); } else { // 見つからなかったので、新しいビンを用意する List bin2 = new List() { n }; binList.Add(bin2); } } return binList; } // 解法02:最も空きが少ないビンに入れてゆく解法 public ICollection> Solve02(int[] items) { // 最初に用意するビンはひとつ List> binList = new List>(); List bin = new List(); binList.Add(bin); // 各項目をビンに入れてゆく foreach (var n in items.OrderByDescending(t => t)) { // nが入るビンを見つける (空きが最も少ないビン) var target = binList.Select(b => new { Bin = b, Space = BinSize - b.Sum(t => t) }) .Where(x => x.Space >= n) .OrderBy(x => x.Space); var first = target.FirstOrDefault(); if (first != null) { // ビンが見つかったら、ビンに詰める first.Bin.Add(n); } else { // 見つからなかったので新たなビンに詰める List bin2 = new List() { n }; binList.Add(bin2); } } return binList; } // 解法03:解法02を繰り返し使う独自のやり方 public ICollection> Solve03(int[] items) { List> result = new List>(); // 解法02を使い、一旦答えを求める var binsList = Solve02(items); while (true) { // 空きの小さい順に並べ替え、 // 空きが最も小さいビンを最終解答領域(result)へ入れる(確定) var bin = binsList.OrderByDescending(b => b.Sum()) .First(); result.Add(bin); // listから確定したビンを取り除く binsList.Remove(bin); // 残ったビンは無いので、処理終了 if (binsList.Count == 0) break; // 残ったビンに入っている項目で、再度、[解法02]で瓶詰めをする binsList = Solve02(GetSequence(binsList).ToArray()); } return result; } // 解法04:解法01の変形 public ICollection> Solve04(int[] items) { // 最低限必要なビンを用意し、listに入れる int total = items.Sum(); int bincount = total / BinSize + ((total % BinSize == 0) ? 0 : 1); List> list = new List>(); for (int i = 0; i < bincount; i++) { List bin = new List(); list.Add(bin); } // 各項目をビンに入れてゆく foreach (var n in items.OrderByDescending(a => a)) { // nが入るビンを見つける (ぴったりに入るビン) var target = list.Select(b => new { Bin = b, Space = BinSize - b.Sum(t => t) }) .Where(x => x.Space == n); var first = target.FirstOrDefault(); if (first != null) { // nが入るビンが見つかったので、そこに入れる first.Bin.Add(n); } else { // nが入るビンを見つける (最も空いているビン) target = list.Select(b => new { Bin = b, Space = BinSize - b.Sum(t => t) }) .Where(x => x.Space >= n) .OrderByDescending(x => x.Space); var first2 = target.FirstOrDefault(); if (first2 != null) { // nが入るビンが見つかったので、そこに入れる first2.Bin.Add(n); } else { // 見つからなかったので、新しいビンを用意する List bin2 = new List() { n }; list.Add(bin2); } } } return list; } // ビンに詰められている全ての要素を順に取り出す public IEnumerable GetSequence(ICollection> list) { foreach (var bin in list) foreach (var n in bin) yield return n; } } }