結果

問題 No.874 正規表現間距離
コンテスト
ユーザー kakel-san
提出日時 2026-04-05 23:34:12
言語 C#
(.NET 10.0.201)
コンパイル:
dotnet_c
実行:
/usr/bin/dotnet_wrap
結果
WA  
実行時間 -
コード長 5,261 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 8,440 ms
コンパイル使用メモリ 175,596 KB
実行使用メモリ 194,832 KB
最終ジャッジ日時 2026-04-05 23:34:29
合計ジャッジ時間 12,049 ms
ジャッジサーバーID
（参考情報） 		judge1_1 / judge3_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 27 WA * 11
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.csproj を復元しました (98 ミリ秒)。
  main -> /home/judge/data/code/bin/Release/net10.0/main.dll
  main -> /home/judge/data/code/bin/Release/net10.0/publish/

ソースコード

diff #
raw source code 

using System;
using static System.Console;
using System.Linq;
using System.Collections.Generic;
using System.Security.Cryptography;

class Program
{
    static int NN => int.Parse(ReadLine());
    static int[] NList => ReadLine().Split().Select(int.Parse).ToArray();
    static int[][] NArr(long n) => Enumerable.Repeat(0, (int)n).Select(_ => NList).ToArray();
    static string[] SList(long n) => Enumerable.Repeat(0, (int)n).Select(_ => ReadLine()).ToArray();
    public static void Main()
    {
        Solve();
    }
    static void Solve()
    {
        var a = ReadLine();
        var b = ReadLine();
        var alist = new List<Info>();
        foreach (var ai in a)
        {
            if ('a' <= ai && ai <= 'z') alist.Add(new Info(ai));
            else if (ai == '?') alist[^1].Q = true;
            else if (ai == '*') alist[^1].S = true;
        }
        var blist = new List<Info>();
        foreach (var bi in b)
        {
            if ('a' <= bi && bi <= 'z') blist.Add(new Info(bi));
            else if (bi == '?') blist[^1].Q = true;
            else if (bi == '*') blist[^1].S = true;
        }
        var INF = int.MaxValue / 2;
        var dp = new int[alist.Count + 1, blist.Count + 1];
        for (var i = 0; i <= alist.Count; ++i) for (var j = 0; j <= blist.Count; ++j) dp[i, j] = INF;
        dp[0, 0] = 0;
        for (var i = 0; i < alist.Count; ++i) for (var j = 0; j < blist.Count; ++j)
        {
            if ((alist[i].Q || alist[i].S) && (blist[j].Q || blist[j].S))
            {
                Setdp(dp, i, j + 1, dp[i, j]);
                Setdp(dp, i + 1, j, dp[i, j]);
                Setdp(dp, i + 1, j + 1, dp[i, j]);
            }
            else if (alist[i].Q)
            {
                if (alist[i].C == blist[j].C)
                {
                    Setdp(dp, i, j + 1, dp[i, j] + 1);
                    Setdp(dp, i + 1, j, dp[i, j]);
                    Setdp(dp, i + 1, j + 1, dp[i, j]);
                }
                else
                {
                    Setdp(dp, i, j + 1, dp[i, j] + 1);
                    Setdp(dp, i + 1, j, dp[i, j]);
                    Setdp(dp, i + 1, j + 1, dp[i, j] + 1);
                }
            }
            else if (alist[i].S)
            {
                if (alist[i].C == blist[j].C)
                {
                    Setdp(dp, i, j + 1, dp[i, j]);
                    Setdp(dp, i + 1, j, dp[i, j]);
                    Setdp(dp, i + 1, j + 1, dp[i, j]);
                }
                else
                {
                    Setdp(dp, i, j + 1, dp[i, j] + 1);
                    Setdp(dp, i + 1, j, dp[i, j]);
                    Setdp(dp, i + 1, j + 1, dp[i, j] + 1);
                }
            }
            else if (blist[j].Q)
            {
                if (alist[i].C == blist[j].C)
                {
                    Setdp(dp, i, j + 1, dp[i, j]);
                    Setdp(dp, i + 1, j, dp[i, j] + 1);
                    Setdp(dp, i + 1, j + 1, dp[i, j]);
                }
                else
                {
                    Setdp(dp, i, j + 1, dp[i, j]);
                    Setdp(dp, i + 1, j, dp[i, j] + 1);
                    Setdp(dp, i + 1, j + 1, dp[i, j] + 1);
                }
            }
            else if (blist[j].S)
            {
                if (alist[i].C == blist[j].C)
                {
                    Setdp(dp, i, j + 1, dp[i, j]);
                    Setdp(dp, i + 1, j, dp[i, j]);
                    Setdp(dp, i + 1, j + 1, dp[i, j]);
                }
                else
                {
                    Setdp(dp, i, j + 1, dp[i, j]);
                    Setdp(dp, i + 1, j, dp[i, j] + 1);
                    Setdp(dp, i + 1, j + 1, dp[i, j] + 1);
                }
            }
            else
            {
                if (alist[i].C == blist[j].C)
                {
                    Setdp(dp, i, j + 1, dp[i, j] + 1);
                    Setdp(dp, i + 1, j, dp[i, j] + 1);
                    Setdp(dp, i + 1, j + 1, dp[i, j]);
                }
                else
                {
                    Setdp(dp, i, j + 1, dp[i, j] + 1);
                    Setdp(dp, i + 1, j, dp[i, j] + 1);
                    Setdp(dp, i + 1, j + 1, dp[i, j] + 2);
                }
            }
        }
        for (var i = 0; i < alist.Count; ++i)
        {
            if (alist[i].Q || alist[i].S) Setdp(dp, i + 1, blist.Count, dp[i, blist.Count]);
            else Setdp(dp, i + 1, blist.Count, dp[i, blist.Count] + 1);
        }
        for (var j = 0; j < blist.Count; ++j)
        {
            if (blist[j].Q || blist[j].S) Setdp(dp, alist.Count, j + 1, dp[alist.Count, j]);
            else Setdp(dp, alist.Count, j + 1, dp[alist.Count, j] + 1);
        }
        WriteLine(dp[alist.Count, blist.Count]);
    }
    static void Setdp(int[,] dp, int tx, int ty, int setval)
    {
        dp[tx, ty] = Math.Min(dp[tx, ty], setval);
    }
    class Info
    {
        public char C;
        public bool Q;
        public bool S;
        public Info(char c)
        {
            C = c;
        }
    }
}
0