User contributions for Etone
Jump to navigation
Jump to search
16 September 2026
- 15:3315:33, 16 September 2026 diff hist −4 高级算法 (Fall 2026) →Lecture Notes current
- 15:3215:32, 16 September 2026 diff hist +251 高级算法 (Fall 2026) →Lecture Notes
15 September 2026
- 12:0012:00, 15 September 2026 diff hist +10,715 N 高级算法 (Fall 2026)/Conditional expectations Created page with "= Conditional Expectations = The '''conditional expectation''' of a random variable <math>Y</math> with respect to an event <math>\mathcal{E}</math> is defined by :<math> \mathbf{E}[Y\mid \mathcal{E}]=\sum_{y}y\Pr[Y=y\mid\mathcal{E}]. </math> In particular, if the event <math>\mathcal{E}</math> is <math>X=a</math>, the conditional expectation :<math> \mathbf{E}[Y\mid X=a] </math> defines a function :<math> f(a)=\mathbf{E}[Y\mid X=a]. </math> Thus, <math>\mathbf{E}[Y\mid..." current
- 11:5911:59, 15 September 2026 diff hist +41,013 N 高级算法 (Fall 2026)/Concentration of measure Created page with "=Chernoff Bound= Suppose that we have a fair coin. If we toss it once, then the outcome is completely unpredictable. But if we toss it, say for 1000 times, then the number of HEADs is very likely to be around 500. This phenomenon, as illustrated in the following figure, is called the '''concentration''' of measure. The Chernoff bound is an inequality that characterizes the concentration phenomenon for the sum of independent trials. File:Coinflip.png|border|450px|cent..." current
- 11:5911:59, 15 September 2026 diff hist +165 高级算法 (Fall 2026) →Lecture Notes
9 September 2026
- 08:3008:30, 9 September 2026 diff hist +81 高级算法 (Fall 2026) →Lecture Notes
- 08:2908:29, 9 September 2026 diff hist +1 高级算法 (Fall 2026) →Lecture Notes
- 04:4404:44, 9 September 2026 diff hist 0 高级算法 (Fall 2026) →Lecture Notes Tag: Manual revert
- 04:4304:43, 9 September 2026 diff hist +1 高级算法 (Fall 2026) →Lecture Notes Tag: Reverted
- 04:4304:43, 9 September 2026 diff hist 0 File:Hashing-26.pdf Etone uploaded a new version of File:Hashing-26.pdf current
- 04:4204:42, 9 September 2026 diff hist −1 高级算法 (Fall 2026) →Lecture Notes Tag: Reverted
8 September 2026
- 13:5413:54, 8 September 2026 diff hist +114 高级算法 (Fall 2026) →Lecture Notes
- 13:5313:53, 8 September 2026 diff hist 0 N File:AA26-note-hashing-zh.pdf No edit summary current
- 13:5313:53, 8 September 2026 diff hist 0 N File:AA26-note-hashing-en.pdf No edit summary current
- 13:5213:52, 8 September 2026 diff hist +31 高级算法 (Fall 2026) →Lecture Notes
- 13:4713:47, 8 September 2026 diff hist 0 N File:Hashing-26.pdf No edit summary
- 13:4613:46, 8 September 2026 diff hist 0 N File:Hashing.pdf No edit summary current
7 September 2026
- 10:1310:13, 7 September 2026 diff hist +5,755 N 高级算法 (Fall 2026)/Basic deviation inequalities Created page with "=Markov's Inequality= One of the most natural information about a random variable is its expectation, which is the first moment of the random variable. Markov's inequality draws a tail bound for a random variable from its expectation. {{Theorem |Theorem (Markov's Inequality)| :Let <math>X</math> be a random variable assuming only nonnegative values. Then, for all <math>t>0</math>, ::<math>\begin{align} \Pr[X\ge t]\le \frac{\mathbf{E}[X]}{t}. \end{align}</math> }} {{Proo..." current
- 10:1310:13, 7 September 2026 diff hist +15,812 N 高级算法 (Fall 2026)/Limited independence Created page with "= <math>k</math>-wise independence = Recall the definition of independence between events: {{Theorem |Definition (Independent events)| :Events <math>\mathcal{E}_1, \mathcal{E}_2, \ldots, \mathcal{E}_n</math> are '''mutually independent''' if, for any subset <math>I\subseteq\{1,2,\ldots,n\}</math>, ::<math>\begin{align} \Pr\left[\bigwedge_{i\in I}\mathcal{E}_i\right] &= \prod_{i\in I}\Pr[\mathcal{E}_i]. \end{align}</math> }} Similarly, we can define independence between..." current
- 10:1210:12, 7 September 2026 diff hist +49,292 N 高级算法 (Fall 2026)/Hashing and Sketching Created page with "=Balls into Bins= The following is the so-called balls into bins model. Consider throwing <math>m</math> balls into <math>n</math> bins uniformly and independently at random. This is equivalent to a random mapping <math>f:[m]\to[n]</math>. Needless to say, random mapping is an important random model and may have many applications in Computer Science, e.g. hashing. We are concerned with the following three questions regarding the balls into bins model: * birthday problem..." current
- 10:1210:12, 7 September 2026 diff hist +245 高级算法 (Fall 2026) →Lecture Notes
2 September 2026
- 16:0316:03, 2 September 2026 diff hist −1 高级算法 (Fall 2026)/Fingerprinting →Freivalds Algorithm current
- 16:0116:01, 2 September 2026 diff hist +347 高级算法 (Fall 2026) →Lecture Notes
- 09:1909:19, 2 September 2026 diff hist −2 高级算法 (Fall 2026) →Lecture Notes
- 09:1909:19, 2 September 2026 diff hist +6,210 N 高级算法 (Fall 2026)/Finite Field Basics Created page with "=Field= Let <math>S</math> be a set, '''closed''' under binary operations <math>+</math> (addition) and <math>\cdot</math> (multiplication). It gives us the following algebraic structures if the corresponding set of axioms are satisfied. {|class="wikitable" !colspan="7"|Structures !Axioms !Operations |- |rowspan="9" style="background-color:#ffffcc;text-align:center;"|'''''field''''' |rowspan="8" style="background-color:#ffffcc;text-align:center;"|'''''commutative<br>rin..." current
- 09:1809:18, 2 September 2026 diff hist +38,283 N 高级算法 (Fall 2026)/Fingerprinting Created page with "= Checking Matrix Multiplication= thumb|360px|right|The evolution of time complexity <math>O(n^{\omega})</math> for matrix multiplication. Let <math>\mathbb{F}</math> be a feild (you may think of it as the filed <math>\mathbb{Q}</math> of rational numbers, or the finite field <math>\mathbb{Z}_p</math> of integers modulo prime <math>p</math>). We suppose that each field operation (addition, subtraction, multiplication, division) has u..."
- 09:1809:18, 2 September 2026 diff hist +228 高级算法 (Fall 2026) →Lecture Notes
17 June 2026
- 04:0504:05, 17 June 2026 diff hist +34,076 N 组合数学 (Fall 2026)/Matching theory Created page with "== Systems of Distinct Representatives (SDR)== A '''system of distinct representatives (SDR)''' (also called a '''transversal''') for a sequence of (not necessarily distinct) sets <math>S_1,S_2,\ldots,S_m</math> is a sequence of <font color=red>''distinct''</font> elements <math>x_1,x_2,\ldots,x_m</math> such that <math>x_i\in S_i</math> for all <math>i=1,2,\ldots,m</math>. === Hall's marriage theorem === If the sets <math>S_1,S_2,\ldots,S_m</math> have a system of dist..." current
- 04:0404:04, 17 June 2026 diff hist +141 组合数学 (Spring 2026) →Lecture Notes
20 May 2026
- 13:3313:33, 20 May 2026 diff hist +26,029 N 组合数学 (Fall 2026)/Ramsey theory Created page with "== Ramsey's Theorem == === Ramsey's theorem for graph === {{Theorem|Ramsey's Theorem| :Let <math>k,\ell</math> be positive integers. Then there exists an integer <math>R(k,\ell)</math> satisfying: :If <math>n\ge R(k,\ell)</math>, for any coloring of edges of <math>K_n</math> with two colors red and blue, there exists a red <math>K_k</math> or a blue <math>K_\ell</math>. }} {{Proof| We show that <math>R(k,\ell)</math> is finite by induction on <math>k+\ell</math>. For the..." current
- 13:3213:32, 20 May 2026 diff hist +137 组合数学 (Spring 2026) →Lecture Notes
13 May 2026
- 08:4908:49, 13 May 2026 diff hist +51,460 N 组合数学 (Fall 2026)/Extremal set theory Created page with "== Sunflowers == An set system is a '''sunflower''' if all its member sets intersect at the same set of elements. {{Theorem|Definition (sunflower)| : A set family <math>\mathcal{F}\subseteq 2^X</math> is a '''sunflower''' of size <math>r</math> with a '''core''' <math>C\subseteq X</math> if ::<math>\forall S,T\in\mathcal{F}</math> that <math>S\neq T</math>, <math>S\cap T=C</math>. }} Note that we do not require the core to be nonempty, thus a family of disjoint sets is..." current
- 08:4808:48, 13 May 2026 diff hist +13 组合数学 (Spring 2026) →Lecture Notes
- 08:4608:46, 13 May 2026 diff hist +475 组合数学 (Spring 2026) →Lecture Notes
- 08:4208:42, 13 May 2026 diff hist 0 组合数学 (Spring 2026) →Lecture Notes
6 May 2026
- 05:0105:01, 6 May 2026 diff hist +18,939 N 组合数学 (Fall 2026)/Extremal graph theory Created page with "== Forbidden Cliques == Extremal graph theory studies the problems like "how many edges that a graph <math>G</math> can have, if <math>G</math> has some property?" === Mantel's theorem === We consider a typical extremal problem for graphs: the largest possible number of edges of '''triangle-free''' graphs, i.e. graphs contains no <math>K_3</math>. {{Theorem|Theorem (Mantel 1907)| :Suppose <math>G(V,E)</math> is graph on <math>n</math> vertice without triangles. Then <m..." current
- 05:0005:00, 6 May 2026 diff hist +158 组合数学 (Spring 2026) →Lecture Notes
17 April 2026
- 13:1813:18, 17 April 2026 diff hist +27,151 N 组合数学 (Fall 2026)/The probabilistic method Created page with "== The Probabilistic Method == The probabilistic method provides another way of proving the existence of objects: instead of explicitly constructing an object, we define a probability space of objects in which the probability is positive that a randomly selected object has the required property. The basic principle of the probabilistic method is very simple, and can be stated in intuitive ways: *If an object chosen randomly from a universe satisfies a property with posi..." current
- 13:1813:18, 17 April 2026 diff hist 0 组合数学 (Spring 2026) →Lecture Notes
- 13:1713:17, 17 April 2026 diff hist +157 组合数学 (Spring 2026) →Lecture Notes
16 April 2026
- 08:1308:13, 16 April 2026 diff hist +5,139 N 概率论与数理统计 (Spring 2026)/Weierstrass Approximation Theorem Created page with "[https://en.wikipedia.org/wiki/Stone%E2%80%93Weierstrass_theorem '''魏尔施特拉斯逼近定理''']('''Weierstrass approximation theorem''')陈述了这样一个事实:闭区间上的连续函数总可以用多项式一致逼近。 {{Theorem|魏尔施特拉斯逼近定理| :设 <math>f:[a,b]\to\mathbb{R}</math> 为定义在实数区间 <math>[a,b]</math> 上的连续实值函数。对每个 <math>\epsilon>0</math>,存在一个多项式 <math>p</math> 使得对..." current
- 08:1208:12, 16 April 2026 diff hist +7,005 N 概率论与数理统计 (Spring 2026)/Threshold of k-clique in random graph Created page with "在 Erdős-Rényi 随机图模型 <math>G(n,p)</math> 中,一个随机无向图 <math>G</math> 以如下的方式生成:图 <math>G</math> 包含 <math>n</math> 个顶点,每一对顶点之间都独立同地以概率 <math>p</math> 连一条无向边。如此生成的随机图记为 <math>G\sim G(n,p)</math>。 固定整数 <math>k\ge 3</math>,考虑随机图 <math>G\sim G(n,p)</math> 包含 <math>K_k</math>(<math>k</math>-团,<math>k</math>-clique)子图..." current
- 08:1208:12, 16 April 2026 diff hist +430 概率论与数理统计 (Spring 2026) →Lectures
8 April 2026
- 08:5908:59, 8 April 2026 diff hist +14,440 N 组合数学 (Fall 2026)/Existence problems Created page with "== Existence by Counting == === Shannon's circuit lower bound=== This is a fundamental problem in in Computer Science. A '''boolean function''' is a function in the form <math>f:\{0,1\}^n\rightarrow \{0,1\}</math>. [http://en.wikipedia.org/wiki/Boolean_circuit Boolean circuit] is a mathematical model of computation. Formally, a boolean circuit is a directed acyclic graph. Nodes with indegree zero are input nodes, labeled <math>x_1, x_2, \ldots , x_n</math>. A circuit h..." current
- 08:5908:59, 8 April 2026 diff hist +87 组合数学 (Spring 2026) →Lecture Notes
- 08:5408:54, 8 April 2026 diff hist +8 组合数学 (Spring 2026) →Lecture Notes
- 08:5208:52, 8 April 2026 diff hist +114 组合数学 (Spring 2026) →Lecture Notes
- 08:4508:45, 8 April 2026 diff hist +17,231 N 组合数学 (Fall 2026)/Cayley's formula Created page with "== Cayley's Formula == We now present a theorem of the number of labeled trees on a fixed number of vertices. It is due to [http://en.wikipedia.org/wiki/Arthur_Cayley Cayley] in 1889. The theorem is often referred by the name [http://en.wikipedia.org/wiki/Cayley's_formula Cayley's formula]. {{Theorem|Cayley's formula for trees| : There are <math>n^{n-2}</math> different trees on <math>n</math> distinct vertices. }} The theorem has several proofs, including the bijectio..." current
- 08:4008:40, 8 April 2026 diff hist +141 组合数学 (Spring 2026) →Lecture Notes
- 08:3808:38, 8 April 2026 diff hist +11,838 N 概率论与数理统计 (Spring 2026)/Average-case analysis of QuickSort Created page with "[http://en.wikipedia.org/wiki/Quicksort '''快速排序'''('''Quicksort''')]是由Tony Hoare发现的排序算法。该算法的伪代码描述如下(为方便起见,假设数组元素互不相同——更一般情况的分析易推广得到): '''''QSort'''''(A): 输入A[1...n]是存有n个不同数字的数组 if n>1 then '''pivot''' = A[1]; 将A中<pivot的元素存于数组L,将A中>pivot的元素存于数组R; \\保持内部元素之..." current