Submission #187763

---

Source Code Expand

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Text.RegularExpressions;

namespace AtCoder
{
    class Program
    {
        static void Main(string[] args)
        {
            int N = int.Parse(Console.ReadLine());
            int[] NG = new int[3];
            for (int i = 0; i < 3; i++) NG[i] = int.Parse(Console.ReadLine());
            bool can = false;

            int num = N;
            for (int j = 0; j < 100; j++)
            {
                // 引きすぎたときー
                if (num < 0)
                    if (-3 <= num)
                    {
                        can = true;
                        break;
                    }

                // ぴったりになったときー
                if (num == 0)
                {
                    can = true;
                    break;
                }

                // メイン演算
                for (int i = 3; i >= 1; i--)
                {
                    // NG該当にならないように3に近い数を引く
                    if (!NG.Any(p => p == num - i))
                    {
                        num -= i;
                        break;
                    }
                }
            }


            Console.WriteLine(can ? "YES" : "NO");
            Console.ReadKey();
        }
    }

    static class Extension
    {
        public static string[] SplitWithSpace(this string str)
        {
            return str.Split(' ');
        }

    }
}

Submission Info

Judge Result