I’m working on what I’m sure is a fairly basic proof in graph theory. I must prove that $Every$ $graph$ $G$ $contains$ $a$ $path$ $with$ $\delta(G)$ $edges$. $\delta(G)$ is the minimum degree of the graph $G$. I did ask a very premature question a few days ago about this proof, which was simply a result […]

The substitution lemma in lambda-calculus is proved by the following way, but I just did not understand the application of induction hypothesis in it. The lemma as shown below, where x and y are distinct and x is not among the free variables of L: M[x:=N][y:=L] equals M[y:=L][x:=N[y:=L]] to prove that in the case where […]

A question (Problem $7.4$) in my textbook (Mathematical Methods in the Physical Sciences – 3rd Edition by Mary L. Boas P578) asks me to Use $$\int_{x=-1}^{1}(P_L(x)\cdot\text{any polynomial of degree < L})\,\mathrm{d}x=0\tag{A}$$ to prove that $$\displaystyle\int_{x=-1}^{1}P_L(x)P_{L-1}\acute (x)\,\mathrm{d}x=0\tag{1}$$and gives the hint: $\color{#180}{\fbox{What is the degree of $P_{L−1}(x)$}}$? Also, show that $$\displaystyle\int_{x=-1}^{1}P_L\acute(x)P_{L+1} (x)\,\mathrm{d}x=0\tag{2}$$ Where $P_L(x),P_{L-1}(x)$ represent any general […]

First and foremost, apologies in advance for using an abuse of notation by placing the Dirac measure inside an integral for which I was told that this should not be done from a previous question asked by me. But given the circumstances, I have no choice. This is essentially a word by word copy of […]

I’m a novice at proofs so I like to write out everything, so please bear with me!. I understand that this is a biconditional statement, and I will have to prove it in the forward and reverse direction. To prove that every Cauchy sequence contained in F has a limit point that is also contained […]

I’ve a function that looks like the one mentioned in Collatz Conjecture $$ f(n)= \begin{cases} 1 & \text{if $n=1$}\\ \tfrac12n & \text{if $n \equiv 0 \ \ $ (mod 2)}\\ 3n+1 & \text{if $n \equiv 1 \ $ (mod 2) }\\ \end{cases} \\ , \forall \ \ n \in \mathbb{Z}^+ $$ I want to prove […]

My profesor is always complaining that my proofs are very long and difficult to read because I never use notation, meaning I say everything in words. Tired of that I decided to study logic by myself and develop my proofs by using the methods of logic. The problem to me now is that I don’t […]

this time I want to solve this problem: Let $f: \mathbb{R}^{n} \to \mathbb{R}$ be differentiable (may be not in $C^{1}$) and $f(0)=0$, show that there exists $g_{i} : \mathbb{R}^{n} \to \mathbb{R}$ such that: $$f(x)= \sum_{i=1}^{n} x^{i}g_i $$ then, I thought in Taylor decomposition, but the thing is that I can’t use that here because I […]

Here is the problem in full: A heap has $x$ marbles, where $x$ is a positive integer. The following process is repeated until the heap is broken down into single marbles: choose a heap with more than 1 marble and form two non-empty heaps from it. One will contain $n$ marbles and the other $m$ […]

I have a final coming up in few days, and the professor mentioned the CYK algorithm. I want to be prepared for the final. I’m trying to find out how to prove the algorithm has worst case running time of $n^3$. Thanks

Intereting Posts

How to deal with this double summation?
Proof of a theorem saying that we can make a measurable function continuous by altering it by a set of arbitarily small measure
Uniqueness of minimal polynomial: $f(x)$ divides $g(x)$
How many matrices in $M_n(\mathbb{F}_q)$ are nilpotent?
Evaluation of $\int_{0}^{\frac{\pi}{2}}\left(\frac{1+\sin 3x}{1+2\sin x}\right)dx$ and $\int_{0}^{2} \left(\sqrt{1+x^3}+\sqrt{x^2+2x}\right)dx$
What is the probability that a point chosen randomly from inside an equilateral triangle is closer to the center than to any of the edges?
Counting the number of 4 letter words that can be made from a given multiset of 11 letters
Antisymmetric Relations
Prove that If $f$ is polynomial function of even degree $n$ with always $f\geq0$ then $f+f'+f''+\cdots+f^{(n)}\geq 0$.
Proving that the unit ball in $\ell^2(\mathbb{N})$ is non-compact
Permutations to satisfy a challenging restriction
Help with integrating $\displaystyle \int_0^{\infty} \dfrac{(\log x)^2}{x^2 + 1} \operatorname d\!x$ – contour integration?
Prove that the equation $\tan (z)=z$ has only real roots.
every permutation is either even or odd,but not both
irrationality of $\sqrt{2}^{\sqrt{2}}$.