문자열 - 아호 코라식(Aho-Corasick)
아호 코라식(Aho-Corasick)에 대해 알아보자.
[16975 수열과 쿼리 21] https://www.acmicpc.net/problem/16975 .
lazy propagation없이 segment tree를 이용하여 구간 갱신을 하고 점 쿼리를 해결한다.
문제는 구간에다가 k를 더한다.
우리가 알고있는 segment tree로는 구간의 크기만큼 시간이 걸릴 것이다.
그렇다면 구간이 크다면 그냥 선형 배열 수정하듯이 O(n)의 시간 복잡도를 가질 것이다. (세그트리의 의미가 없겠다…).
그래서 구간 update를 위한 방법으로 lazy propagation이 있는데 이는 내가 아직 공부를 못해서 모르고 그거 없이 구간 update하는 법을 공부했다.
이는 [구간 갱신 + 점 쿼리] 에 사용된다.
다른 배열 D[i]를 사용하는 것이다. D[i] = A[i]-A[i-1], D[0]=A[0] 으로 정의한다.
이 배열이 구간 갱신을 할 때 필요하다.
update(l, r, x)를 D[l] += x, D[r+1] -= x 를 해준다.
printArray() A[0] = D[0]는 그냥 프린트하고 A[i] = A[i-1]+D[i]를 하고 프린트한다.
update는 상수시간, 프린트는 여기서는 배열의 크기의 시간이 걸리고 점이면 상수시간에 해결 가능하다.
[구간 갱신 이용] https://www.geeksforgeeks.org/difference-array-range-update-query-o1/
위의 개념을 세그먼트 트리에 적용하는 것이다!!
Segment Tree를 만들때 D[i]를 이용한다. 그렇게 되면 세그트리에는 D[i]의 부분합들이 들어가 있을 것이다.
그렇다면 점쿼리를 구할 때 뭐를 출력해야하는가 index x의 값을 구하고 싶으면 sum(x)를 하면 된다.
ex) sum(3) = (arr[3]-arr[2])+(arr[2]-arr[1])+(arr[1]-arr[0]) = arr[3]이기 때문이다.
세그트리에서는 D[]를 2번의 점 갱신, 한번의 구간합 구하기 하는 거나 다름 없지만 arr에서는 구간 갱신, 점쿼리 하는 꼴이 되는 것이다.
너무 놀랍다…
값이 long long을 넘어갈 수 있다. 범위를 보면 쉽게 알 수 있다.
#include <iostream>
#include <vector>
#include <algorithm>
#include <string>
#include <queue>
#include <cmath>
#define fast_io cin.tie(NULL); cout.tie(NULL); ios_base::sync_with_stdio(false);
using namespace std;
typedef long long ll;
int n, m;
vector<ll> arr;
vector<ll> tree;
ll init(int node, int S, int E){
if(S==E){
return tree[node] = arr[S]-arr[S-1]; //여기가 중요!!
}
int mid = (S+E)/2;
return tree[node] = init(2*node, S, mid) + init(2*node+1, mid+1, E);
}
void update(int x, ll val, int node, int S, int E){ //점 갱신 먼저 구현한다.
if(S==E) tree[node] += val;
else{
int mid = (S+E)/2;
if(x<=mid) update(x, val, 2*node, S, mid);
else update(x, val, 2*node+1, mid+1, E);
tree[node] = tree[2*node]+tree[2*node+1]; //update를 한후에 더해주는 연산
}
}
ll sum(int L, int R, int node, int S, int E){
if(L>R) return 0;
if(L==S&&R==E) return tree[node];
int mid = (S+E)/2;
return sum(L, min(mid, R), 2*node, S, mid)+sum(max(L, mid+1), R, 2*node+1, mid+1, E);
}
void getElement(int x){
cout << sum(1, x, 1, 1, n) << '\n';
}
void RangeUpdate(int L, int R, ll x){
update(L, x, 1, 1, n); // arr[l] += x;
if(R+1<=n) update(R+1, -x, 1, 1, n); //arr[r+1] -= x;
}
int main(){
fast_io;
cin >> n;
arr = vector<ll> (n+1);
tree = vector<ll> (4*n+10); //넉넉잡아 4배 했음
for(int i=1;i<=n;i++) cin >> arr[i];
init(1, 1, n);
cin >> m;
for(int iter=0;iter<m;iter++){
int o;
cin >> o;
if(o==1){
int i, j;
ll k;
cin >> i >> j >> k;
RangeUpdate(i, j, k);
}else{
int x;
cin >> x;
getElement(x);
}
}
}
아호 코라식(Aho-Corasick)에 대해 알아보자.
docker를 이해해보자
2060 염소줄서기 풀이 및 코드
분할정복을 이용한 다이나믹 프로그래밍 최적화
코드포스 다시 열심히! 블로그도 열심히!
rust 공부시작!
코드포스 블루 달성 후기
여름캠프 및 SUAPC 후기
2023-05-25-Edu Codeforce round 149 (Div.2)
2023-05-13-Edu Codeforce round 148 (Div.2)
HLD(Heavy Light Decomposition)
행렬 거듭 제곱
2023-05-02-It takes two
Codeforce round 868 (Div.2)
2월 11일 문제풀이
Codeforces#846, TypeDB Foreces 2023, Codeforces#848 업솔빙
ps5 게임 : 용과같이 제로 리뷰
백준 23877번 Convoluted Intervals 문제풀이
codeforce round #828(div 3), EDU #137(div 2) 업솔빙
codeforce round #823(div 2), #824(div 2) 업솔빙
AtCoder Beginner Contest 270 업솔빙
ps5 게임 : 용과같이 극 1 리뷰
백준 18719번 Binomal 문제풀이
백준 14288번 회사문화4 문제풀이
백준 3308번 Matching 문제풀이
백준 18186번 라면사기(large) 문제풀이
백준 4196번 도미노 문제풀이
백준 3176번 도로 네트워크 문제풀이
백준 16367번 TV Show Game 문제풀이
ps5 게임 : 페르소나 5 더 로열 리뷰
codeforce round #811(div 3), #812(div 2), CodeTon round 2 업솔빙
백준 21162번 뒤집기 K 문제풀이
codeforce round #808(div 2), #803(div 2, virtual) 업솔빙
codeforce round #807(div 2) 업솔빙
백준 10167번 금광 문제풀이
codeforce round #805(div 3), #806(div 4) 업솔빙
백준 18253번 최단경로와 쿼리 문제풀이
에듀 라운드 131 업솔빙
백준 1949번 우수 마을 문제풀이
백준 3665번 최종 순위 문제풀이
Trie 자료구조 이해하기
merge sort를 이용하여 inversion 개수세기
3솔의 벽이 너무 높다..
lazy propagation없이 구간 갱신하기
코드포스 폭망기념 upsolving
백준 11505 구간 곱 구하기 문제풀이
백준 1305 광고 문제풀이
백준 4386 별자리 만들기 문제풀이
백준 4803 트리
백준 2206 벽 부수고 이동하기 문제풀이
백준 2166 다각형의 면적 문제풀이
백준 12015 가장 긴 증가하는 부분 수열2 문제풀이
백준 10986 나머지합 문제풀이
스택 구현하기 ========== 자료구조의 기본이라고 하면 스택 과 큐가 있다 백준 10828번에서 마주친 스택
매우매우 많은 정렬이 있지만 그중 가장 안 어려운 3가지를 공부해보았다.
Leave a comment