結果

問題 No.874 正規表現間距離
ユーザー jelljell
提出日時 2019-08-30 22:18:29
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 42 ms / 2,000 ms
コード長 12,684 bytes
コンパイル時間 1,468 ms
コンパイル使用メモリ 127,644 KB
実行使用メモリ 19,932 KB
最終ジャッジ日時 2024-11-22 00:17:50
合計ジャッジ時間 3,336 ms
ジャッジサーバーID
(参考情報)
judge5 / judge2
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 8 ms
19,732 KB
testcase_01 AC 8 ms
19,844 KB
testcase_02 AC 8 ms
19,912 KB
testcase_03 AC 7 ms
19,812 KB
testcase_04 AC 8 ms
19,852 KB
testcase_05 AC 7 ms
19,832 KB
testcase_06 AC 8 ms
19,856 KB
testcase_07 AC 7 ms
19,836 KB
testcase_08 AC 9 ms
19,896 KB
testcase_09 AC 7 ms
19,836 KB
testcase_10 AC 8 ms
19,792 KB
testcase_11 AC 8 ms
19,880 KB
testcase_12 AC 8 ms
19,784 KB
testcase_13 AC 8 ms
19,776 KB
testcase_14 AC 8 ms
19,832 KB
testcase_15 AC 8 ms
19,840 KB
testcase_16 AC 11 ms
19,728 KB
testcase_17 AC 11 ms
19,800 KB
testcase_18 AC 9 ms
19,888 KB
testcase_19 AC 9 ms
19,840 KB
testcase_20 AC 8 ms
19,808 KB
testcase_21 AC 9 ms
19,860 KB
testcase_22 AC 9 ms
19,712 KB
testcase_23 AC 8 ms
19,768 KB
testcase_24 AC 9 ms
19,812 KB
testcase_25 AC 18 ms
19,756 KB
testcase_26 AC 18 ms
19,752 KB
testcase_27 AC 35 ms
19,932 KB
testcase_28 AC 35 ms
19,792 KB
testcase_29 AC 36 ms
19,776 KB
testcase_30 AC 42 ms
19,720 KB
testcase_31 AC 40 ms
19,844 KB
testcase_32 AC 40 ms
19,800 KB
testcase_33 AC 8 ms
19,736 KB
testcase_34 AC 9 ms
19,728 KB
testcase_35 AC 9 ms
19,676 KB
testcase_36 AC 16 ms
19,844 KB
testcase_37 AC 17 ms
19,928 KB
testcase_38 AC 9 ms
19,852 KB
testcase_39 AC 9 ms
19,716 KB
testcase_40 AC 8 ms
19,792 KB
testcase_41 AC 8 ms
19,744 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

#ifdef DEBUG
    #define _GLIBCXX_DEBUG
#endif
#pragma GCC optimize("Ofast")
#include <cassert>
#include <cstring>
#include <iostream>
#include <algorithm>
#include <functional>
#include <stack>
#include <queue>
#include <deque>
#include <set>
#include <map>
#include <unordered_set>
#include <unordered_map>
#include <complex>
#include <iomanip>
#include <bitset>
#include <random>
#include <chrono>

#define stdin_filepath "stdin.txt"
#define stdout_filepath "stdout.txt"
#define stderr_filepath "stderr.txt"
#define debug_stream std::cerr
#define iostream_untie true
#define __precision__ 10

#define rep(i,n) for(int i = 0; i < int(n); ++i)
#define all(v) begin(v), end(v)
#define rall(v) rbegin(v), rend(v)
#define mkp make_pair
#define mkt make_tuple
#define popcnt __builtin_popcountll

using namespace std;
using i64 = int_fast64_t;
using pii = std::pair<int, int>;
using pll = std::pair<int_fast64_t, int_fast64_t>;
template <class T> using heap = std::priority_queue<T>;
template <class T> using minheap = std::priority_queue<T, std::vector<T>, std::greater<T>>;
template <class T> constexpr T inf = std::numeric_limits<T>::max() / (T)2 - (T)1123456;
constexpr int dx[9] = {1, 0, -1, 0, 1, -1, -1, 1, 0};
constexpr int dy[9] = {0, 1, 0, -1, 1, 1, -1, -1, 0};

namespace execution
{
    std::chrono::system_clock::time_point start_time, end_time;
    void print_elapsed_time()
    {
        end_time = std::chrono::system_clock::now();
        std::cerr << "\n----- Exec time : ";
        std::cerr << std::chrono::duration_cast<std::chrono::milliseconds>(end_time - start_time).count();
        std::cerr << " ms -----\n";
    }
    struct setupper
    {
        setupper()
        {
            if(iostream_untie)
            {
                std::ios::sync_with_stdio(false);
                std::cin.tie(nullptr);
                // std::cout.tie(nullptr);
                // std::cerr.tie(nullptr);
            }
            std::cout << std::fixed << std::setprecision(__precision__);
            std::cerr << std::fixed << std::setprecision(__precision__);
    #ifdef LOCAL
            if(!freopen(stdout_filepath, "wt", stdout))
            {
                freopen("CON", "wt", stdout);
                std::cerr << "Failed to open the stdout file\n\n";
            }
            if(!freopen(stdin_filepath, "rt", stdin))
            {
                freopen("CON", "rt", stdin);
                std::cerr << "Failed to open the stdin file\n\n";
            }
            if(!freopen(stderr_filepath, "wt", stderr))
            {
                freopen("CON", "wt", stderr);
                std::cerr << "Failed to open the stderr file\n\n";
            }
            std::cout << "", std::cerr << "";
    #endif
    #if defined(LOCAL) || defined(DEBUG)
            atexit(print_elapsed_time);
            start_time = std::chrono::system_clock::now();
    #endif
        }
    } __setupper;
}

struct myclock_t
{
    std::chrono::system_clock::time_point built_pt, last_pt;
    int built_ln, last_ln;
    std::string built_func, last_func;
    bool is_built;
    myclock_t() : is_built(false) {}
    void build(int crt_ln, const std::string &crt_func)
    {
        is_built = true;
        last_pt = built_pt = std::chrono::system_clock::now();
        last_ln = built_ln = crt_ln, last_func = built_func = crt_func;
    }
    void set(int crt_ln, const std::string &crt_func)
    {
        if(is_built)
        {
            last_pt = std::chrono::system_clock::now();
            last_ln = crt_ln, last_func = crt_func;
        }
        else
        {
            debug_stream << "[ " << crt_ln << " : " << crt_func << " ] " << "myclock_t::set failed (yet to be built clock!)\n";
        }
    }
    void get(int crt_ln, const std::string &crt_func) {
        if(is_built) 
        {
            std::chrono::system_clock::time_point crt_pt(std::chrono::system_clock::now());
            int64_t diff = std::chrono::duration_cast<std::chrono::milliseconds>(crt_pt - last_pt).count();
            debug_stream << diff << " ms elapsed from" << " [ " <<  last_ln << " : " << last_func << " ]";
            if(last_ln == built_ln) debug_stream << " (when built)";
            debug_stream << " to" << " [ " << crt_ln << " : " << crt_func << " ]" << "\n";
            last_pt = built_pt, last_ln = built_ln, last_func = built_func;
        }
        else
        {
            debug_stream << "[ " << crt_ln << " : " << crt_func << " ] " << "myclock_t::get failed (yet to be built clock!)\n";
        }
    }
};
#if defined(LOCAL) || defined(DEBUG)
    myclock_t myclock;
    #define build_clock() myclock.build(__LINE__, __func__)
    #define set_clock() myclock.set(__LINE__, __func__)
    #define get_clock() myclock.get(__LINE__, __func__)
#else
    #define build_clock()
    #define set_clock()
    #define get_clock()
#endif

namespace std
{
    template <class RAitr> void rsort(RAitr __first, RAitr __last) { sort(__first, __last, greater<>()); }
    template <class T> size_t hash_combine(size_t seed, T const &key) { return seed ^ (hash<T>()(key) + 0x9e3779b9 + (seed << 6) + (seed >> 2)); }
    template <class T, class U> struct hash<pair<T,U>> { size_t operator()(pair<T,U> const &pr) const { return hash_combine(hash_combine(0, pr.first), pr.second); } };
    template <class tuple_t, size_t index = tuple_size<tuple_t>::value - 1>
    struct tuple_hash_calc { static size_t apply(size_t seed, tuple_t const &t) { return hash_combine(tuple_hash_calc<tuple_t, index - 1>::apply(seed, t), get<index>(t)); } };
    template <class tuple_t> struct tuple_hash_calc<tuple_t, 0> { static size_t apply(size_t seed, tuple_t const &t) { return hash_combine(seed, get<0>(t)); } };
    template <class ...T> struct hash<tuple<T...>> { size_t operator()(tuple<T...> const &t) const { return tuple_hash_calc<tuple<T...>>::apply(0, t); } };
    template <class T, class U> istream &operator>> (std::istream &s, pair<T,U> &p) { return s >> p.first >> p.second; }
    template <class T, class U> ostream &operator<< (std::ostream &s, const pair<T,U> p) { return s << p.first << " " << p.second; }
    template <class T> istream &operator>> (istream &s, vector<T> &v) { for(T &e : v) { s >> e; } return s; }
    template <class T> ostream &operator<< (ostream &s, const vector<T> &v) { for(size_t i = 0; i < v.size(); ++i) { s << (i ? " " : "") << v[i]; } return s; }
    template <class tuple_t, size_t index>
    struct tupleos
    {
        static ostream &apply(ostream &s, const tuple_t &t)
        {
            tupleos<tuple_t,index - 1>::apply(s,t);
            return s << " " << get<index>(t);
        }
    };
    template <class tuple_t>
    struct tupleos<tuple_t, 0>
    {
        static ostream &apply(ostream &s, const tuple_t &t)
        {
            return s << get<0>(t);
        }
    };
    template <class ...T> ostream &operator<< (ostream &s, const tuple<T...> &t)
    {
        return tupleos<tuple<T...>, tuple_size<tuple<T...>>::value - 1>::apply(s,t);
    }
    template <> ostream &operator<< (ostream &s, const tuple<> &t) { return s; }
}


#if defined(LOCAL) || defined(DEBUG)
    #define dump(...) debug_stream << " [ " << __LINE__ << " : " << __FUNCTION__ << " ] " << #__VA_ARGS__ << " : ", dump_func(__VA_ARGS__)
#else
    #define dump(...)
#endif
template <class T> void dump_func(const T &x) { debug_stream << x << '\n'; }
template <class T,class ...Rest> void dump_func(const T &x, Rest ... rest) { debug_stream << x << ","; dump_func(rest...); }
template <class T> void write(const T &x) { std::cout << x << '\n'; }
template <class T, class ...Rest> void write(const T &x, Rest ... rest) { std::cout << x << ' '; write(rest...); }
void writeln() {}
template <class T, class ...Rest> void writeln(const T &x, Rest ... rest) { std::cout << x << '\n'; writeln(rest...); }
#define esc(...) writeln(__VA_ARGS__), exit(0)
template <class P> void read_range(P __first, P __second) { for(P i = __first; i != __second; ++i) std::cin >> *i; }

template <class T> bool chmin(T &x, const T &y) { return x > y ? x = y, true : false; }
template <class T> bool chmax(T &x, const T &y) { return x < y ? x = y, true : false; }
template <class T> constexpr T minf(const T &x, const T &y) { return std::min(x,y); }
template <class T> constexpr T maxf(const T &x, const T &y) { return std::max(x,y); }
constexpr bool odd(int_fast64_t n) { return n & 1; }
constexpr bool even(int_fast64_t n) { return (int)odd(n) ^ 1; }
constexpr bool bit(int_fast64_t n, int e) { return (n >> e) & 1; }
constexpr int_fast64_t mask(int_fast64_t n, int e) { return n & ((1 << e) - 1); }
constexpr int_fast64_t ilog(int_fast64_t x, int_fast64_t b = 2) { return x ? 1 + ilog(x / b, b) : -1; }
constexpr int_fast64_t gcd(int_fast64_t x, int_fast64_t y)
{
    x = x > 0 ? x : -x, y = y > 0 ? y : -y;
    while(y) x ^= y ^= (x %= y) ^= y;
    return x;
}
constexpr int_fast64_t lcm(int_fast64_t x, int_fast64_t y) { return x ? x / gcd(x, y) * y : 0; }
int_fast64_t binry(int_fast64_t ok, int_fast64_t ng, const std::function<bool(int_fast64_t)> &fn)
{
    while (std::abs(ok - ng) > 1)
    {
        int_fast64_t mid = (ok + ng) / 2;
        (fn(mid) ? ok : ng) = mid;
    }
    return ok;
}
template <class A, size_t N, class T> void init(A (&array)[N], const T &val) { std::fill((T*)array, (T*)(array + N), val); }
template <class A, size_t N> void init(A (&array)[N]) { memset(array, 0, sizeof(array)); }
template <class T> std::vector<int> cmprs(const std::vector<T> &v)
{
    std::vector<T> tmp = v; std::vector<int> ret;
    std::sort(tmp.begin(), tmp.end());
    tmp.erase(std::unique(tmp.begin(), tmp.end()), tmp.end());
    for(const T &i : v) ret.emplace_back(std::lower_bound(tmp.begin(), tmp.end() ,i) - tmp.begin());
    return ret;
}
template <class T> std::vector<int> cmprs(const T *__first, const T *__last) { return cmprs(std::vector<T>(__first, __last)); }
void for_subset(int_fast64_t s, const std::function<void(int_fast64_t)> &fn) { int_fast64_t t = s; do { fn(t); } while((--t &= s) != s); }


/* The main code follows. */


signed main()
{
    void solve();
    void input();
    void init();

    int t = 1;

#ifdef LOCAL
    t = 4;
#endif

    // cin >> t;

    while(t--)
    {
        init();
        input();
        solve();
    }
}

int dp[1<<11][1<<11];
int n,m;
pair<char,int> s[1<<11],t[1<<11];

void init()
{
    init(dp,inf<int>);
    init(s);
    init(t);
    n=m=0;
}

void input()
{
    string a;
    cin >> a;
    int _n=a.length();
    for(int i=0; i<_n; ++i)
    {
        s[n].first=a[i];
        if(i+1<_n)
        {
            if(a[i+1]=='?')
            {
                s[n].second=1;
                ++i;
            }
            if(a[i+1]=='*')
            {
                ++i;
                s[n].second=2;
            }
        }
        n++;
    }
    swap(s,t);
    swap(n,m);
    cin >> a;
    _n=a.length();
    for(int i=0; i<_n; ++i)
    {
        s[n].first=a[i];
        if(i+1<_n)
        {
            if(a[i+1]=='?')
            {
                s[n].second=1;
                ++i;
            }
            if(a[i+1]=='*')
            {
                ++i;
                s[n].second=2;
            }
        }
        n++;
    }
}

void solve()
{
    dp[0][0]=0;
    for(int i=0; i<=n; ++i)
    {
        for(int j=0; j<=m; ++j)
        {
            char a,b; int x,y;

            if(i<n)
            {
                tie(a,x)=s[i];
                int cost=1;
                if(x)
                {
                    cost=0;
                }
                if(j)
                {
                    tie(b,y)=t[j-1];
                    if(y==2 and a==b)
                    {
                        cost=0;
                    }
                }
                chmin(dp[i+1][j],dp[i][j]+cost);
            }
            if(j<m)
            {
                tie(b,y)=t[j];
                int cost=1;
                if(y)
                {
                    cost=0;
                }
                if(i)
                {
                    tie(a,x)=s[i-1];
                    if(x==2 and a==b)
                    {
                        cost=0;
                    }
                }
                chmin(dp[i][j+1],dp[i][j]+cost);
            }
            if(i<n and j<m)
            {
                tie(a,x)=s[i];
                tie(b,y)=t[j];
                int cost=1;
                if(a==b)
                {
                    cost=0;
                }
                if(y and x)
                {
                    cost=0;
                }
                chmin(dp[i+1][j+1],dp[i][j]+cost);
            }
        }
    }
    cout << dp[n][m] << "\n";
}
0