목록전체 글 (49)
pizzaroot
AbstractThis paper presents a statistical approach for quantifying the difficulty of a Geometry Dash level. First, we will prove that there does not exist an algorithm that can deterministically evaluate if a level is possible to complete. In fact, it is theoretically equivalent to the Halting Problem, which is unsolvable by any machine that has equivalent power to a Turing Machine. Consequently..
수학과에 가면 1+1이 왜 2인지 증명을 하기 위해 1+1이 2인 세계선을 만들고 1+1이 2인 세계선에서는 왜 1+1이 2임을 증명할수 없는지를 증명하는 세계선을 배운다.알겠냐 민준아?
먼저 이 강의는 2017년 강의이다. ChatGPT, Gemini 등 성능이 매우 좋은 LLM 모델들이 나온 시점에서 전통 AI를 소홀히 하는 사람들도 있겠지만 나는 여전히 전통 AI가 현행이라고 생각한다. Introduction에서는 Computer Vision(CV)의 역사를 소개한다. 컴퓨터 비전은 사람의 센서(주로 시각)를 컴퓨터에게 적용시키는 방법을 연구하는 학문이다. 참고로 컴퓨터 그래픽스 Computer Graphics(CG)와는 방향성이 다르다. 컴퓨터 비전이 사람의 눈 역할이라면, 컴퓨터 그래픽스는 사람의 눈이 보는 대상을 만드는 역할이다. 어떻게 보면 지금의 이미지 생성 모델과 방향성이 같다. 근데 사실 이렇게 보니 뭔가 공통점이 보이지 않는가? 전통 CV가 Deep Learning C..
위는 알고리즘 수업때 사용한 발표자료이다. 푸리에 변환(Fourier Transform)은 공대생이라면 한번쯤은 들어봤을 것이다.$$\displaystyle {\widehat {f}}(\xi )=\int _{-\infty }^{\infty }f(x)\ e^{-i2\pi \xi x}\,dx$$보통 푸리에 변환은 시간 정의역 함수(time-domain function)를 주파수 정의역 함수(frequency domain function)로 변환하는 것으로 알려져 있다. 이러한 성질 때문에 푸리에 변환은 신호 처리를 포함하여 음성 인식, 이미지 압축 등 많은 분야에 응용되어 사용되고 있다. 그중에서 이 포스트에서는 푸리에 변환이 어떻게 다항식 곱셈을 빠르게 하는 데에 사용이 되는지 설명할 것이다. 다항식을 나..
비교기반정렬은 \(O(n\log n)\) 보다 빠를 수 없다는 증명을 읽고 의문점이 생겼다. 아이디어는 이진결정트리의 높이가 \(O(n\log n)\)이라는 것인데, 꼭 이진트리일 필요가 있을까라는 의문이 들었다. 예를 들어, \(f(n)\)개의 원소의 대소관계에 따라서 각 노드가 \(f(n)!\)개의 자식을 가지는 트리를 만든다고 한다면 어떻게 될까? 놀랍게도 \(f(n)\)과 상관 없이 비교기반정렬의 하한은 \(O(n\log n)\)이 된다. 먼저 \(n\)개의 원소를 정렬하는 시간을 \(T(n)\)이라고 한다면, \(f(n)\)개의 원소를 정렬하는 시간은 \(T(f(n))\)이다. 그리도 이때 결정트리의 높이는 \(\displaystyle\frac{\ln{n!}}{\ln{f(n)!}}\)가 되므로 ..
solved.ac 디스코드 📮홍보 채널에서 참가 신청을 받는 것을 봤지만, 까먹고 있었다가 ICPC 팀 카톡방에서 다른 팀원들이 참가할 것 같아서 나도 재빨리 신청을 했다. 예비소집을 갈까 말까 하다가 갔는데, 솔직히 밤을 새고 밥도 안먹은 상태라서 문제 풀기가 싫었다. 사실 디맥콘을 갈까 하다가 온거라서 디맥콘 라이브도 구경하면서 체스도 하면서 문제를 대충 풀었다. 그냥 제출하면 재미가 없기 때문에 이상한 코드를 제출했다! 이 코드를 제출하고 나서 좀 있다가 운영진들이 무언가를 보면서 웃는 장면을 발견했다. (내 코드를 보고 웃은건가? 하고 예측을 했지만 확실하지는 않았다.) 본대회 시작 전에 명찰에 Hidden Problem이 너무 뻔했지만 나중에 풀려고 나뒀다.대회 시작전 공지에는 타 참가자들에게..
대회를 신청한 목적은 바로 방장 얼굴을 직접 보기 위함이였다. 어느정도 성공한 것 같다.
/** * author: pizzaroot * created: 2024-07-06 11:49:53**/#include #define inf 0x3f3f3f3f#define linf 0x3f3f3f3f3f3f3f3f#define all(x) (x).begin(), (x).end()#define rall(x) (x).rbegin(), (x).rend()#define pb push_backusing namespace std;typedef long long ll;typedef vector vi;typedef pair pi;int main() { ios::sync_with_stdio(0); cin.tie(0); int t; cin >> t; for (int tc = 1; tc > n ..