문자열 - 아호 코라식(Aho-Corasick)
아호 코라식(Aho-Corasick)에 대해 알아보자.
이제 노션에 있는 내용을 마크다운으로 변환하여 올리기 때문에 수식 등을 더 잘 쓸 수 있을 것 같다. 코드포스를 잘하고 싶지만 항상 그렇게 잘하진 않는 것 같다(그냥 내 실력이 많이 딸린다). 실력이 부족한 만큼 앞으로는 업솔빙은 무조건 5문제를 할 것이다. 6월에는 알바를 그만두고 코드포스에 집중 할 것이다. 앞으로 화이팅!!
꽤나 오래 걸렸다. 하지만 쉬운 문제이기도 하다.
이 문제의 핵심은 아래와 같다.
#include <bits/stdc++.h>
#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;
typedef tuple<int, int, int> tiii;
#define xx first
#define yy second
int main() {
fast_io
int tt; cin >> tt;
while (tt--) {
int n, k; cin >> n >> k;
//사실 이부분은 필요가 없다.
if(!k){
if(n==2){
cout << "YES\n";
cout << "1 -1\n";
continue;
}else{
cout << "NO\n";
continue;
}
}
bool ok=false;
for(int i=0;i<=n/2+1;i++){
int p = i;
int r = n-i;
if(p*(p-1)/2+r*(r-1)/2==k){
cout << "YES\n";
for(int i=0;i<p;i++) cout << "1 ";
for(int i=0;i<r;i++) cout << "-1 ";
cout << "\n";
ok = true;
break;
}
}
if(ok) continue;
else cout << "NO\n";
}
}
A보단 빨리 컷을 냈다. 처음엔 순열이 나오고 swap연산이 나오길래 최근 공부를 한 순열 싸이클 분할이 나오는 줄 알았다. 하지만 훨씬 쉬운 내용이었다.
1, 1+k, 1+2*k
2, 2+k, 2+2*k
k-1, k-1 +k , k-1+2*k
의 규칙으로 확인했을 때 제자리에 없는 것의 개수를 센다.
#include <bits/stdc++.h>
#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;
typedef tuple<int, int, int> tiii;
#define xx first
#define yy second
int main() {
fast_io
int tt; cin >> tt;
while (tt--) {
int n, k; cin >> n >> k;
vector<int> p(n+1);
for(int i=1;i<=n;i++) cin >> p[i];
int error = 0;
for(int i=1;i<=k;i++){
for(int j=i;j<=n;j+=k){
if(!((p[j]-i)%k)) continue;
error++;
}
}
if(!error) cout << "0\n";
else if(error==2) cout << "1\n";
else cout << "-1\n";
}
}
이 문제는 문제 이해는 빨랐는데 구현 과정에서 시간초과로 고생을 한 문제이다.
소인수를 구하는 과정에서 소수를 미리 구해두고 모든 소수를 검사하니, 소수가 60만개가 넘어서 시간초과가 났다. 이를 $\sqrt{a[i]}$의 시간 복잡도로 검사하도록 바꾸고 map을 이용하여 최적화하니 AC를 맞을 수 있었다.
#include <bits/stdc++.h>
#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;
typedef tuple<int, int, int> tiii;
#define xx first
#define yy second
int main() {
fast_io
int tt; cin >> tt;
while (tt--) {
int n; cin >> n;
vector<int> a(n);
int rest = 0;
map<ll, ll> mp;
for(int it=0;it<n;it++){
cin >> a[it];
int tmp = a[it];
for(ll i=2;i==2||i*i<=tmp;i++){
if(tmp%i) continue;
if(!(tmp%i)) while(!(tmp%i)){
tmp /= i;
mp[i]++;
}
}
if(tmp!=1) mp[tmp]++;
}
int res = 0;
for(auto it = mp.begin();it!=mp.end();it++){
ll k = it->second;
res += k/2;
rest += k%2;
}
res += rest/3;
cout << res << '\n';
}
}
나는 팰린드롬만 보면 지레 겁을 먹는다. 이제는 팰린드롬에 쫄지 않도록 열심히 공부를 해야겠다.
이 문제를 선택하지 않고 E번으로 넘어간 이유는 이 문제의 호흡이 꽤 길어서 해석하기 싫었기 때문이다. 그리고 당시 푼 사람 수도 200명 이내로 매우 적었따.ㅠ.ㅠ
p(s, m) = p(t) 라고 하면 t = s[1….m] 이다.
즉 , s의 크기가 m인 prefix가 t라는 뜻이다.
위에서 본것 처럼 꽤나 문제 이해가 어려웠다. 하지만 차근차근 본다면 항상 할 수 있다는 생각을 가져야하는데 그게 잘 안된다. 시간 제한이 있기 때문에 그런 생각이 잘 안드는 것 같다. 사실 저렇게 천천히 쓰면서도 이해 하는데 5분~10분 밖에 안걸리는데 대회에서 지레 겁을 먹는 습관은 좀 고치는게 좋을 것 같다.
먼저 부분집합이 팰린드롬이 되는 경우를 관찰해보자.
위 내용을 통틀어 확인해보면 글자수가 $n$이라고하면 팰린드롬인 부분집합인 것의 개수 $x$는 $x ≤ n$이다.
//그래서
if (c[0] < 3 || c[0] > x[0]) {//n은 3보다 크기 때문에, 글자수가 x인곳에서 c가 더 클수는 없음
cout << "NO\n";
continue;
}
2, 3번 특징 때문에 매번 다른 글자수를 쓸 필요없이 그냥 같은걸 추가하므로써 같은 효과를 낼 수 있다.
ex) C = 4 N = 6
abcdab 이런 식으로 만들 수 있음. (a, b, c, d)
aabcab (a, aa, b, c) 이것도 가능
#include <bits/stdc++.h>
#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;
typedef tuple<int, int, int> tiii;
#define xx first
#define yy second
int main() {
fast_io
int tt; cin >> tt;
while (tt--) {
int n, k; cin >> n >> k;
vector<int> x(k), c(k);
for(int i=0;i<k;i++) cin >> x[i];
for(int i=0;i<k;i++) cin >> c[i];
if(c[0]<3||c[0]>x[0]){
cout << "NO\n";
continue;
}
string res;
char cur = 'a';
for(int i=0;i<c[0]-3;i++) res.push_back(cur);
for(int i=c[0]-3;i<x[0];i++){
res.push_back(cur++);
if(cur=='d') cur = 'a';
}
bool ok = true;
for(int i=1;i<k;i++){
int dx = x[i]-x[i-1];
int dc = c[i]-c[i-1];
if(dc > dx){
ok = false;
break;
}
for(int j=0;j<dc;j++){ //새로운거 추가
res.push_back('z'-i);
}
for(int j=dc;j<dx;j++){
res.push_back(cur++);
if(cur=='d') cur = 'a';
}
}
if(ok){
cout << "YES\n";
cout << res << '\n';
}else{
cout << "NO\n";
}
}
}
상당히 어렵고 팰린드롬의 성질의 정수를 느낄 수 있었다. 다양한 팰린드롬의 성질을 모두 신경 써야한다.
대회 때 D를 버리고 본 문제이다. 내가 백준에서 게임이론 관련 문제를 많이 풀어 봤기 때문에 꽤나 자신있었는데(실제로 잘 풀었다고 생각함) 이 문제는 내 생각보다 훨씬 더 어려운 문제였다. 그 이유는
위의 이유가 이 문제를 , grundy수를 구하기 어렵게 만들었다. 처음에는 그냥 사이클에 포함된 정점의 개수에서 아무거나 뺄 수 있다고 생각을 하고 문제를 해결했다. 즉, 각 사이클을 님게임의 돌더미라고 생각을 한 것이다.
하지만 아쉽게도 위 사실을 간과한 덕분에 테스트 케이스 9번을 통과하지 못했다..
먼저 결론은 내가 푼 것보다 훨씬 쉬운데 아래와 같다.
위 내용을 증명하기가 상당히 까다로웠는데
$cycle[x] = mex(chain[x-r], chain[x-r+1], — chain[x-l])$
위 처럼 되기 때문에
𝑐ℎ𝑎𝑖𝑛[𝑎]⊕𝑐ℎ𝑎𝑖𝑛[𝑏]≤𝑐ℎ𝑎𝑖𝑛[𝑎]+𝑐ℎ𝑎𝑖𝑛[𝑏]=⌊$\frac{a}{l}$⌋+⌊$\frac{b}{l}$⌋≤⌊$\frac{a+b}{l}$⌋≤⌊$\frac{x-l}{l}$⌋=⌊$\frac{x}{l}$⌋−1
이런 식이 만들어진다. 따라서 r+l-1보다 작으면 무조건 $\lfloor{\frac{X}{l}}\rfloor$, 나머지는 0이 되는 것이다.
chain과 cycle의 관계를 이해하는 것이 매우 중요한 문제였다.
#include <bits/stdc++.h>
#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;
typedef tuple<int, int, int> tiii;
#define xx first
#define yy second
const int MAX = 2e5+1;
vector<int> adj[MAX];
bool visited[MAX];
int dfs(int here){
int ret = 1;
visited[here] = true;
for(int nxt : adj[here]){
if(!visited[nxt]) ret += dfs(nxt);
}
return ret;
}
int main() {
fast_io
int n, l, r; cin >> n >> l >> r;
for(int i=0;i<n;i++){
int u, v; cin >> u >> v;
adj[u].push_back(v);
adj[v].push_back(u);
}
vector<int> chunk;
for(int i=1;i<=n;i++) if(!visited[i]) chunk.push_back(dfs(i));
int G = 0;
for(int X : chunk){
if(X<=r+l-1) G ^= X/l;
else G ^= 0;
}
if(G) cout << "Alice\n";
else cout << "Bob\n";
}
아호 코라식(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