Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon.

Pages: 1-

Have some proofs /sci/

Name: Anonymous 2010-05-16 19:52

I like you /sci/ so I'm gonna post some good proofs, you guys had best fucking appreciate them.

Name: Anonymous 2010-05-16 19:54

Just gonna check I've worked out how to TeX on here, else this will make me look silly

[math] \sum_{i=1}^n \frac{1}{n^2} = \frac{\pi^2}{6}[\math]

Name: Anonymous 2010-05-16 19:57

Well, this is bullshit, you guys get jack shit
[eqn] n^2 [eqn]
n^2

[math] n^2 [math]

Name: Anonymous 2010-05-16 20:11

That's better, kk

Turan's theorem

Claim :

Let [eqn] G(V,E) [\eqn] be a graph with [eqn]|G|=|V|=n [\eqn] and [eqn] d_v = |\{w \in V\,:\,(v,w) \in E\}| [\eqn] is the degree of x.

Define [eqn] t = \frac{1}{n} \sum_{v \in V} d_v [\eqn] to be the average degree then we claim

[eqn] \alpha(G)  \geq \sum_{v \in V} \frac{1}{d_v + 1} \geq \frac{n}{t+1} [\eqn]

Proof :
We let < be a randomly chosen linear order on V and define [eqn] I_< = \{ v \in V \,:\, (v,w) \in E \Rightarrow v<w\} [\eqn], let [eqn]X_v[\eqn] be indicator random variable for [eqn] v \in I_<[\eqn] and [eqn] X = \sum_v X_v = |I_<|[\eqn]

Now as [eqn] v \in I_< [\eqn] only if it is the smallest element in it's neighbourhood we have

[eqn] \mathbb{E}(X_v) = \mathbb{P}(v \in I_<) = \frac{1}{d_v + 1} [\eqn]

And so by linearity of expectation

[eqn] \mathbb{E}(X) = \sum_v \frac{1}{d_v+1}[\eqn]

and so there must exist a specific ordering < with [eqn] |I_<| \geq sum_v \frac{1}{d_v+1}[\eqn]

But we notice that if an edge [eqn] (v,w) \in G|_{I_<} [\eqn] then [eqn] v<w[\eqn] and [eqn] w<v [\eqn], a contradiction, so [eqn] I_< [\eqn] is independent. Hence

[eqn]  \alpha(G)  \geq \sum_{v \in V} \frac{1}{d_v + 1} \geq \frac{n}{t+1} [\eqn]

Where the final inequality follows by the convexity of [eqn] \frac{1}{x} [\eqn]

QED

If this TeX fucked up I'll be pissy

Name: Anonymous 2010-05-16 22:17

>>4
Use slashes to close tags, not backslashes.  Backslashes are the \rm\TeX escape character.

Name: not OP 2010-05-19 15:36

Turan's theorem

Claim :

Let
G(V,E)
be a graph with
|G|=|V|=n
and
d_v = |\{w \in V\,:\,(v,w) \in E\}|
is the degree of x.

Define
t = \frac{1}{n} \sum_{v \in V} d_v
to be the average degree then we claim

\alpha(G)  \geq \sum_{v \in V} \frac{1}{d_v + 1} \geq \frac{n}{t+1}


Proof :
We let < be a randomly chosen linear order on V and define
I_< = \{ v \in V \,:\, (v,w) \in E \Rightarrow v<w\}
, let
X_v
be indicator random variable for
v \in I_<
and
X = \sum_v X_v = |I_<|


Now as
v \in I_<
only if it is the smallest element in it's neighbourhood we have

\mathbb{E}(X_v) = \mathbb{P}(v \in I_<) = \frac{1}{d_v + 1}


And so by linearity of expectation

\mathbb{E}(X) = \sum_v \frac{1}{d_v+1}


and so there must exist a specific ordering < with
|I_<| \geq sum_v \frac{1}{d_v+1}


But we notice that if an edge
(v,w) \in G|_{I_<}
then [eqn] v<w[\eqn] and [eqn] w<v [\eqn], a contradiction, so [eqn] I_< [\eqn] is independent. Hence

  \alpha(G)  \geq \sum_{v \in V} \frac{1}{d_v + 1} \geq \frac{n}{t+1}


Where the final inequality follows by the convexity of
\frac{1}{x}


Fix'd

Name: Anonymous 2010-05-19 15:38

3rd to last equation fix'd

then
v<w
and
  w<v
, a contradiction, so
I_<
is independent. Hence

Don't change these.
Name: Email:
Entire Thread Thread List