ABC129-E Sum Equals Xor

問題へのリンク

C#のソース

using System;
using System.Collections.Generic;
using System.Linq;

class Program
{
    static string InputPattern = "InputX";

    static List<string> GetInputList()
    {
        var WillReturn = new List<string>();

        if (InputPattern == "Input1") {
            WillReturn.Add("10");
            //5
        }
        else if (InputPattern == "Input2") {
            WillReturn.Add("1111111111111111111");
            //162261460
        }
        else {
            string wkStr;
            while ((wkStr = Console.ReadLine()) != null) WillReturn.Add(wkStr);
        }
        return WillReturn;
    }

    const long Hou = 1000000007;

    struct JyoutaiDef
    {
        internal bool FreeNum; // 数字自由フラグ
    }

    static void Main()
    {
        List<string> InputList = GetInputList();
        string StrL = InputList[0];

        // 場合の数[状態定義]なDP表
        var PrevDP = new Dictionary<JyoutaiDef, long>();
        JyoutaiDef FirstJyoutai;
        FirstJyoutai.FreeNum = false;
        PrevDP[FirstJyoutai] = 1;

        for (int I = 0; I <= StrL.Length - 1; I++) {
            var CurrDP = new Dictionary<JyoutaiDef, long>();
            foreach (var EachPair in PrevDP) {
                for (char NewChar = '0'; NewChar <= '1'; NewChar++) {
                    if (EachPair.Key.FreeNum == false && StrL[I] < NewChar) break;

                    bool NewFreeNum = EachPair.Key.FreeNum;
                    if (StrL[I] > NewChar) NewFreeNum = true;

                    JyoutaiDef NewJyoutai;
                    NewJyoutai.FreeNum = NewFreeNum;
                    if (CurrDP.ContainsKey(NewJyoutai) == false) {
                        CurrDP[NewJyoutai] = 0;
                    }

                    // 桁の和が0になるのは、(A,B) = (0,0)の1通り
                    if (NewChar == '0') CurrDP[NewJyoutai] += EachPair.Value;

                    // 桁の和が1になるのは、(A,B) = (0,1)と(1,0)の2通り
                    if (NewChar == '1') CurrDP[NewJyoutai] += EachPair.Value * 2;

                    CurrDP[NewJyoutai] %= Hou;
                }
            }
            PrevDP = CurrDP;
        }
        long Answer = 0;
        foreach (var EachPair in PrevDP) {
            Answer += EachPair.Value;
            Answer %= Hou;
        }
        Console.WriteLine(Answer);
    }
}

解説

A+B = A XOR B
を満たすのは、ビット単位で見て
AとBが両方とも0か、AとBの片方だけが1の時です。

XORは、繰り上がりのない足し算なので
「繰り上がりさえなければ一致する」と考えることができます。

後は、A+BをXとおけば
X = A+B = A XOR B = 1 の場合の数
X = A+B = A XOR B = 2 の場合の数
X = A+B = A XOR B = 3 の場合の数
X = A+B = A XOR B = 4 の場合の数
X = A+B = A XOR B = 5 の場合の数
の和がLまでの場合の数を求めればいいと考えて、
Xを桁DPしてます。