분류 전체보기 42

1-3 Example of proving existence of weak solution

$\Omega \subset \mathbb R^n$는 bounded domain 이라고 하자.그리고 $p \in [2,\infty)$와 그 conjugate exponent $q$ (i.e. $p^{-1} + q^{-1}=1$) 라 두고, $f \in H^{-1,q}(\Omega)$ 라고 하자.이번 포스트에서는 아래와 같이 정의된 방정식에 대해 다루고자 한다.\begin{align*}\begin{cases}-\nabla \cdot (|\nabla u|^{p-2}\nabla u ) =f & in \;\Omega\\u=0&on\;\partial\Omega\end{cases}\end{align*}Dual space of $H^{1,p}$함수공간 $H^{1,p}(\Omega)$의 dual space 를 $H^{..

1-2 Lower Semi Continuity

앞 포스트에서는 우리가 원하는 문제를, 어떤 functional의 극점을 찾는 문제로 바꿀 수 있음을 이야기했다.여기에서는 fuctional이 하한을 가지고 (bounded from below) 그 최솟값을 주는 극점이 존재(to attain its infimum)할 충분조건을 제시하고자 한다. Thm1.1 : Lower Bounded Functional has minimizer$M$이 Topological Hausdorff space 이고 $E : M \rightarrow \mathbb R \cup \{+\infty \}$가 다음을 만족하는 functional 이라고 가정하자.$$\text{For any }\alpha \in \mathbb R\text{, the set }K_\alpha = \{ ..

1-1. Intro

개요 미분방정식을 포함한 함수방정식은, 주어진 함수공간(Banach space를 가정)$V$에서 정의된 어떤 functional $F$ 에 대해 $F(u)=0$ 이라는 방정식을 푸는 것으로 생각할 수 있다. 그런데 방정식 $x^2 + x -4=0$ 를 푸는 것은 $E(x) = \frac 13 x^3 + \frac 12 x - 4x$ 의 극점을 찾는 문제로 바꿀 수 있듯, 우리는 몇몇 특수한 경우, $F(u)=0$ 라는 문제를 $E(u)$ 의 극점을 찾는 문제로 바꿀 수 있다.이를 위해 다음과 같이 total derivative를 일반화한, functional에서의 미분을 정의한다.주어진 함수 $F$에 대해 다음을 만족하는 bounded linear mapping $L$이 존재하면 이를 Frechet de..

modules : 일반화된 vector space

[Def] Module $R$ 을 ring이라고 하자. 어떤 abelian group $(M,+)$ 이 다음을 만족하면 left $R$-moduule 이라고 한다. 모든 $r,s \in R$과 $m,n \in M$ 에 대해,$(r+s) m = rm + sm$(rs)m = r(sm)$$r(m+n) = rm + rn$$1_R m = m$ 필드 $F$ 에 대해 정의된 벡터스페이스 $V$ 를 생각하면 유사하다는 것을 알 수 있다. 벡터공간에서 스칼라를 Field가 아닌 Ring으로 일반화한 버전으로 생각하자. [Def] Submodule $(M,+)$의 subgroup $(N, +)$ 가 다음을 만족하면 $M$의 submodule 이라고 한다. $rn \in N$ for all $r\in R..

백준 1202번(G2) : 보석 도둑

문제https://www.acmicpc.net/problem/1202풀이먼저, 용량이 작은 가방은 넣을 수 있는 보석의 수가 적으므로, 아예 작은 가방부터 보석을 채워 넣는 전략을 세울 수 있다.그러면 각 가방마다 넣을 수 있는 보석 중 가장 비싼 보석을 넣도록 구현하면 된다. 이를 위해 우선 가방을 용량 순으로, 보석을 무게 순으로 정렬한 후 각 가방마다 넣을 수 있는 보석을 heap 에 넣는다. 이때 heap이 가격에 대한 max heap 이라면, pop를 했을 때 가장 비싼 보석을 가방에 넣게 된다.선택되지 않은 보석들은 더 큰 가방에는 여전히 들어가므로 그대로 heap에 두고, 다음 가방에 대해서도 똑같이 수행하면 된다.  제출 코드 import sysimport heapqinput = sys.s..

카테고리 없음 2025.04.10

블로그에서 사용하는 서식 코드

예시 블럭 모음정리모든 유한 소수는 유리수이다. 증명소수를 분수 형태로 표현할 수 있기 때문에 유리수이다.■ 설명유리수란 두 정수의 비로 표현되는 수이며, 유한 소수는 그러한 수 중 하나이다. 알고리즘이진 탐색은 정렬된 배열에서 원하는 값을 찾는 효율적인 방법이다.def binary_search(arr, target): left, right = 0, len(arr) - 1 while left <= right: mid = (left + right) // 2 if arr[mid] == target: return mid elif arr[mid] < target: left = mid + ..

낙서장 2025.04.08

백준 15989번(G5): 1, 2, 3 더하기 4

문제https://www.acmicpc.net/problem/15989 풀이먼저 합을 이루는 수의 순서만 다른 것은 같은것으로 치므로, 합을 이루는 가장 큰 수를 이용해 분류할 수 있다.따라서 DP[i][j] 를 $i$를 합으로 나타낼 때 가장 큰 수는 $j$인 경우의 수 라고 정의하자.그러면 정의에 따라 $i-j$가 되는 수를 $j$ 이하인 수의 합으로 나타내는 경우의 수와 같으므로 다음이 성립한다.$$DP[i][j] = \sum_{k=0}^{j} DP[i-j][k]$$이제 그러면 $DP[n][1] + DP[n][2] + DP[n][3]$ 가 원하는 답이 된다.여담해당 알고리즘은 $O(n)$ 로 실행되고, $n$은 $10000$ 이하이기 때문에, 각 입력마다 위 알고리즘을 실행하는 대신 한번에 $100..

프로그래밍/ps 2025.03.23