結果

問題 No.617 Nafmo、買い出しに行く
ユーザー stone_725stone_725
提出日時 2017-12-29 12:56:44
言語 C#(csc)
(csc 3.9.0)
結果
AC  
実行時間 140 ms / 2,000 ms
コード長 8,041 bytes
コンパイル時間 2,328 ms
コンパイル使用メモリ 109,452 KB
実行使用メモリ 64,908 KB
最終ジャッジ日時 2023-08-23 08:59:12
合計ジャッジ時間 5,097 ms
ジャッジサーバーID
（参考情報） 		judge11 / judge12
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 60 ms
27,564 KB
testcase_01 AC 58 ms
19,068 KB
testcase_02 AC 64 ms
27,284 KB
testcase_03 AC 82 ms
41,156 KB
testcase_04 AC 59 ms
20,960 KB
testcase_05 AC 100 ms
52,220 KB
testcase_06 AC 61 ms
23,612 KB
testcase_07 AC 62 ms
23,700 KB
testcase_08 AC 58 ms
22,780 KB
testcase_09 AC 59 ms
20,856 KB
testcase_10 AC 132 ms
55,256 KB
testcase_11 AC 130 ms
54,444 KB
testcase_12 AC 140 ms
64,908 KB
testcase_13 AC 121 ms
51,932 KB
testcase_14 AC 135 ms
54,500 KB
testcase_15 AC 60 ms
23,668 KB
testcase_16 AC 59 ms
20,840 KB
testcase_17 AC 59 ms
22,864 KB
testcase_18 AC 58 ms
22,740 KB
testcase_19 AC 57 ms
22,900 KB
testcase_20 AC 58 ms
20,804 KB
testcase_21 AC 59 ms
20,824 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
Microsoft (R) Visual C# Compiler version 3.9.0-6.21124.20 (db94f4cc)
Copyright (C) Microsoft Corporation. All rights reserved.

ソースコード

diff # 

using System;
using System.Collections.Generic;
using System.Globalization;
using System.IO;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

class hawawa
{
  static Printer sw = new Printer(Console.OpenStandardOutput()) { AutoFlush = false };

  static void Main()
  {
    Console.SetOut(sw);
    solve();
    Console.Out.Flush();
  }

  static int n, k;
  static int?[,] dp;
  static int[] a;

  static void solve()
  {
    Scanner scanner = new Scanner();
    n = scanner.nextInt();
    k = scanner.nextInt();
    a = new int[n];
    for(int i = 0; i < n; i++)
    {
      a[i] = scanner.nextInt();
    }
    Array.Sort(a);
    dp = new int?[n, k];
    Console.WriteLine(dfs(0, 0));
  }

  static int? dfs(int now, int g)
  {
    if(g == k || now == n || g + a[now] > k)
    {
      return g;
    }
    if (dp[now, g].HasValue) return dp[now, g];
    int? res = dfs(now + 1, g);
    int? res2 = dfs(now + 1, g + a[now]);
    if (res < res2) res = res2;
    return dp[now, g] = res;
  }
}

class Scanner
{
  string[] s;
  int i;


  char[] cs = new char[] { ' ' };

  public Scanner()
  {
    s = new string[0];
    i = 0;
  }

  public string next()
  {
    if (i < s.Length) return s[i++];
    string st = Console.ReadLine();
    while (st == "") st = Console.ReadLine();
    s = st.Split(cs, StringSplitOptions.RemoveEmptyEntries);
    i = 0;
    return next();
  }

  public int nextInt()
  {
    return int.Parse(next());
  }

  public long nextLong()
  {
    return long.Parse(next());
  }

  public double nextDouble()
  {
    return double.Parse(next());
  }

}

class Printer : StreamWriter
{
  public override IFormatProvider FormatProvider { get { return CultureInfo.InvariantCulture; } }
  public Printer(Stream stream) : base(stream, new UTF8Encoding(false, true)) { }
  public Printer(Stream stream, Encoding encoding) : base(stream, encoding) { }
}

/// <summary>
/// Self-Balancing Binary Search Tree
/// (using Randamized BST)
/// </summary>
public class SB_BinarySearchTree<T> where T : IComparable
{
  public class Node
  {
    public T Value;
    public Node LChild;
    public Node RChild;
    public int Count;     //size of the sub tree

    public Node(T v)
    {
      Value = v;
      Count = 1;
    }
  }

  static Random _rnd = new Random();

  public static int Count(Node t)
  {
    return t == null ? 0 : t.Count;
  }

  static Node Update(Node t)
  {
    t.Count = Count(t.LChild) + Count(t.RChild) + 1;
    return t;
  }

  public static Node Merge(Node l, Node r)
  {
    if (l == null || r == null) return l == null ? r : l;

    if ((double)Count(l) / (double)(Count(l) + Count(r)) > _rnd.NextDouble())
    {
      l.RChild = Merge(l.RChild, r);
      return Update(l);
    }
    else
    {
      r.LChild = Merge(l, r.LChild);
      return Update(r);
    }
  }

  /// <summary>
  /// split as [0, k), [k, n)
  /// </summary>
  public static Tuple<Node, Node> Split(Node t, int k)
  {
    if (t == null) return new Tuple<Node, Node>(null, null);
    if (k <= Count(t.LChild))
    {
      var s = Split(t.LChild, k);
      t.LChild = s.Item2;
      return new Tuple<Node, Node>(s.Item1, Update(t));
    }
    else
    {
      var s = Split(t.RChild, k - Count(t.LChild) - 1);
      t.RChild = s.Item1;
      return new Tuple<Node, Node>(Update(t), s.Item2);
    }
  }

  public static Node Remove(Node t, T v)
  {
    if (Find(t, v) == null) return t;
    return RemoveAt(t, LowerBound(t, v));
  }

  public static Node RemoveAt(Node t, int k)
  {
    var s = Split(t, k);
    var s2 = Split(s.Item2, 1);
    return Merge(s.Item1, s2.Item2);
  }

  public static bool Contains(Node t, T v)
  {
    return Find(t, v) != null;
  }

  public static Node Find(Node t, T v)
  {
    while (t != null)
    {
      var cmp = t.Value.CompareTo(v);
      if (cmp > 0) t = t.LChild;
      else if (cmp < 0) t = t.RChild;
      else break;
    }
    return t;
  }

  public static Node FindByIndex(Node t, int idx)
  {
    if (t == null) return null;

    var currentIdx = Count(t) - Count(t.RChild) - 1;
    while (t != null)
    {
      if (currentIdx == idx) return t;
      if (currentIdx > idx)
      {
        t = t.LChild;
        currentIdx -= (Count(t == null ? null : t.RChild) + 1);
      }
      else
      {
        t = t.RChild;
        currentIdx += (Count(t == null ? null : t.LChild) + 1);
      }
    }

    return null;
  }

  public static int UpperBound(Node t, T v)
  {
    var torg = t;
    if (t == null) return -1;

    var ret = Int32.MaxValue;
    var idx = Count(t) - Count(t.RChild) - 1;
    while (t != null)
    {
      var cmp = t.Value.CompareTo(v);

      if (cmp > 0)
      {
        ret = Math.Min(ret, idx);
        t = t.LChild;
        idx -= (Count(t == null ? null : t.RChild) + 1);
      }
      else if (cmp <= 0)
      {
        t = t.RChild;
        idx += (Count(t == null ? null : t.LChild) + 1);
      }
    }
    return ret == Int32.MaxValue ? Count(torg) : ret;
  }

  public static int LowerBound(Node t, T v)
  {
    var torg = t;
    if (t == null) return -1;

    var idx = Count(t) - Count(t.RChild) - 1;
    var ret = Int32.MaxValue;
    while (t != null)
    {
      var cmp = t.Value.CompareTo(v);
      if (cmp >= 0)
      {
        if (cmp == 0) ret = Math.Min(ret, idx);
        t = t.LChild;
        if (t == null) ret = Math.Min(ret, idx);
        idx -= t == null ? 0 : (Count(t.RChild) + 1);
      }
      else if (cmp < 0)
      {
        t = t.RChild;
        idx += (Count(t == null ? null : t.LChild) + 1);
        if (t == null) return idx;
      }
    }
    return ret == Int32.MaxValue ? Count(torg) : ret;
  }

  public static Node Insert(Node t, T v)
  {
    var ub = LowerBound(t, v);
    return InsertByIdx(t, ub, v);
  }

  static Node InsertByIdx(Node t, int k, T v)
  {
    var s = Split(t, k);
    return Merge(Merge(s.Item1, new Node(v)), s.Item2);
  }

  public static IEnumerable<T> Enumerate(Node t)
  {
    var ret = new List<T>();
    Enumerate(t, ret);
    return ret;
  }

  static void Enumerate(Node t, List<T> ret)
  {
    if (t == null) return;
    Enumerate(t.LChild, ret);
    ret.Add(t.Value);
    Enumerate(t.RChild, ret);
  }
}

/// <summary>
/// C-like set
/// </summary>
public class Set<T> where T : IComparable
{
  protected SB_BinarySearchTree<T>.Node _root;

  public T this[int idx] { get { return ElementAt(idx); } }

  public int Count()
  {
    return SB_BinarySearchTree<T>.Count(_root);
  }

  public virtual void Insert(T v)
  {
    if (_root == null) _root = new SB_BinarySearchTree<T>.Node(v);
    else
    {
      if (SB_BinarySearchTree<T>.Find(_root, v) != null) return;
      _root = SB_BinarySearchTree<T>.Insert(_root, v);
    }
  }

  public void Clear()
  {
    _root = null;
  }

  public void Remove(T v)
  {
    _root = SB_BinarySearchTree<T>.Remove(_root, v);
  }

  public bool Contains(T v)
  {
    return SB_BinarySearchTree<T>.Contains(_root, v);
  }

  public T ElementAt(int k)
  {
    var node = SB_BinarySearchTree<T>.FindByIndex(_root, k);
    if (node == null) throw new IndexOutOfRangeException();
    return node.Value;
  }

  public int Count(T v)
  {
    return SB_BinarySearchTree<T>.UpperBound(_root, v) - SB_BinarySearchTree<T>.LowerBound(_root, v);
  }

  public int LowerBound(T v)
  {
    return SB_BinarySearchTree<T>.LowerBound(_root, v);
  }

  public int UpperBound(T v)
  {
    return SB_BinarySearchTree<T>.UpperBound(_root, v);
  }

  public Tuple<int, int> EqualRange(T v)
  {
    if (!Contains(v)) return new Tuple<int, int>(-1, -1);
    return new Tuple<int, int>(SB_BinarySearchTree<T>.LowerBound(_root, v), SB_BinarySearchTree<T>.UpperBound(_root, v) - 1);
  }

  public List<T> ToList()
  {
    return new List<T>(SB_BinarySearchTree<T>.Enumerate(_root));
  }
}

/// <summary>
/// C-like multiset
/// </summary>
public class MultiSet<T> : Set<T> where T : IComparable
{
  public override void Insert(T v)
  {
    if (_root == null) _root = new SB_BinarySearchTree<T>.Node(v);
    else _root = SB_BinarySearchTree<T>.Insert(_root, v);
  }
}
0