학과 세미나 및 콜로퀴엄
문성환 (경북대학교)응용수학 세미나
A Unified Physics-Informed Self-Supervised Framework for PDE Inverse Problems: Applications to Photoacoustic and Elliptic Imaging
우태윤 (KAIST)기타
Introduction to motivic homotopy theory of Morel-Voevodsky #2
Ioannis Karatzas (Columbia University)해외 석학 특별 강연 시리즈
Portfolio theory and arbitrage
안현수 (KAIST 수리과학과)박사논문심사
Regularity of Siciak-Zaharjuta extremal functions on compact Hermitian manifolds
박민주 (KAIST 수리과학과)박사논문심사
Convergence of Orbital Integrals on Unitary Groups in Positive Characteristic
대학원생 세미나
편미분방정식 통합연구실 세미나
IBS-KAIST 세미나
AI수학대학원 세미나
MFRS 세미나
학술회의 및 워크샵
학생 뉴스
북마크
Research Highlights
게시판
동문 뉴스
Problem of the week
Let
\[
Q_n=\{0,1\}^n
\]
be the \(n\)-dimensional discrete cube, viewed as a graph in which two vertices are adjacent if they differ in exactly one coordinate.
For a subset \(A\subseteq Q_n\), let \(\partial_e A\) denote the set of edges with one endpoint in \(A\) and the other in \(Q_n\setminus A\).
Prove that for every \(A\subseteq Q_n\),
\[
|\partial_e A|\ge |A|\bigl(n-\log_2|A|\bigr).
\]
