문자열 - 아호 코라식(Aho-Corasick)
아호 코라식(Aho-Corasick)에 대해 알아보자.
[14288 회사 문화 4] https://www.acmicpc.net/problem/14288 .
오일러 투어 테크닉으로 트리를 배열처럼 만들고 세그먼트 트리를 이용하여 쿼리를 처리한다.
오일러 투어 테크닉을 배우면 대부분 세그먼트 트리랑 연계가 된다.
오일러 투어 테크닉은 트리를 배열 처럼 일직선으로 잘 펴는 테크닉이고 여기서 세그먼트 트리와 연계하기 쉽기 때문이다.
회사 문화 4는 14268 회사문화2와 14287 회사문화3 두 문제를 정확하게 합친 문제나 다름이 없다.
그렇다면 문제를 풀어보자,
먼저 한명이 칭찬을 받으면 부하쪽으로 칭찬이 가든가 상사 쪽으로 간다.
이는 switch하는 bool형 변수 하나 만들어서 처리했다.
부하 쪽으로 가는것은 서브 트리에 전부 칭찬을 하면 되어서 쉽다.
상사쪽은 어떻게 해야할까?
위에서 잠깐 언급했듯이 트리를 잘 펴서 배열 처럼 만드는 테크닉이다.
int cnt = 0;
void dfs(int here, int parent){
in[here] = ++cnt;
for(int next :adj[here]){
if(next ==parent) continue;
dfs(next, here);
}
out[here] = cnt;
}
다음과 같이 루트에서 부터 dfs를 돌면서 in, out 배열에 들어가는 순서를 입력한다.
예를 들면 in[1] = 1, out[1] = 7이라면 1번 정점은 첫번째로 들어가서 7번째 턴에 나왔다는 뜻이다.
즉 2번째부터 6번째가 정점 1의 subtree가 되는 것이다.
부하 방향으로 칭찬 릴레이가 시작되면 쉽다. 서브트리에 전부 칭찬하면 되기 때문이다.
하지만 상사 방향은 조금 까다롭다. 구간 update를 하기에 배열에서 정확한 구간을 찾기가 쉽지 않기 때문이다.
이는 점 update + 구간 쿼리를 이용하여 해결했다.
위 그림 처럼 상사 관계가 되어있다고 치면 2번이 2만큼 칭찬받으면 2를 쓴다.
그 다음 3번이 4만큼 칭찬받으면 4를 쓴다. 또 4번이 6만큼 칭찬받으면 6을 쓴다.
그리고 2번이 칭찬 받은 양을 구하려면 2번부터 2번 이후 서브트리에 기록된 모든 수를 더한다 (2+4+6)그리고 2번 전에 기록된것을 빼면된다(0).
다시한번 예를 들어서 4번이 칭찬받은 양은 (2+4+6)-(2+4)==6이 되는 것이다.
이를 이용하여 세그먼트 트리 2개를 만든다.
1번세그는 부하방향, 2번 세그는 상사방향을 처리한다.
구간 update를 할때 이 아이디어를 이용하기 때문에 세그먼트 트리를 딱 배열의 크기까지만 보는게 아니라 배열의 크기 +1 만큼 봐줘야한다.
나머지 주의 할 점은 코드에 주석으로 처리했다.
#include <iostream>
#include <vector>
#include <algorithm>
#include <string>
#include <cstring>
#include <stack>
#include <queue>
#include <cmath>
#include <set>
#include <map>
#include <cassert>
#define fast_io cin.tie(NULL); ios_base::sync_with_stdio(false);
using namespace std;
typedef long long ll;
typedef pair<int, int> pii;
typedef pair<ll, ll> pll;
const int MAX = 100001;
int n, m;
vector<int> adj[MAX];
int parent[MAX], in[MAX], out[MAX];
struct segTree{
int tree[4*MAX];
void update(int x, int val, int node, int S, int E){
if(S==E){
tree[node] += val;
return;
}
int mid = (S+E)>>1;
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];
}
int query(int L, int R, int node, int S, int E){
if(R<S||L>R) return 0;
if(L<=S&&E<=R) return tree[node];
int mid = (S+E)>>1;
return query(L, R, 2*node, S, mid)+query(L, R, 2*node+1, mid+1, E);
}
};
int cnt = 0;
void dfs(int here, int parent){
in[here] = ++cnt;
for(int next :adj[here]){
if(next ==parent) continue;
dfs(next, here);
}
out[here] = cnt;
}
int main(){
fast_io
cin >> n >> m;
for(int i=1;i<=n;i++){
cin >> parent[i];
if(i!=1) adj[parent[i]].push_back(i);
}
dfs(1, 1);
segTree st1, st2;
bool sw = true;
for(int i=0;i<m;i++){
int o, emp; cin >> o;
if(o==1){
int w;
cin >> emp >> w;
if(sw){
st1.update(in[emp], w, 1, 1, n+1);
st1.update(out[emp]+1, -w, 1, 1, n+1);
}else{
st2.update(in[emp], w, 1, 1, n+1);
}
}else if(o==2){
cin >> emp;
cout <<st1.query(1, in[emp], 1, 1, n+1)+st2.query(1, out[emp], 1, 1, n+1)-st2.query(1, in[emp]-1, 1, 1, n+1) << '\n';
}else{
sw ^= 1;
}
}
}
아호 코라식(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