aste123's user avatar
aste123's user avatar
aste123's user avatar
aste123
  • Member for 7 years, 6 months
  • Last seen more than a week ago
9 votes
5 answers
11k views

Disprove that "if $p$ is a prime number, then $2^p-1$ is also a prime number"?

3 votes
4 answers
8k views

$A \Delta C = B \Delta C$, then prove that $A = B$ where $\Delta$ is a symmetric difference operation.

3 votes
1 answer
322 views

How to compute $p(x)=\prod_{k=0}^{n-1}(x-z_k)$ using the FFT with complexity of O(nlog^2 n)?

2 votes
1 answer
4k views

Is a self-loop in directional graph considered as a cycle?

2 votes
1 answer
764 views

How to check deterministically that the stack is empty in a PDA?

2 votes
1 answer
704 views

Single state PDA for $L = \{ a^nb^n \mid n\ge 0 \}$

2 votes
1 answer
139 views

Should this be conditional or biconditional?

2 votes
1 answer
2k views

Complexity of LUP decomposition of tri-diagonal matrix to solve an equation?

1 vote
2 answers
826 views

How to formally prove whether this function is onto or not?$ K(x) = x^ 2$ where $x \ge 0$.

1 vote
1 answer
101 views

What is the meaning of these first order predicate statements?

1 vote
1 answer
787 views

Prove that there exists a path between two vertices such that length of path is less than equal to n-1

1 vote
2 answers
78 views

How to find that $\exists !xP(x) \equiv \exists x(P(x) \land \forall y(P(y) \rightarrow y=x))$ when only LHS is given?

1 vote
1 answer
988 views

Equivalent classes of sets (Is my solution correct)?

1 vote
1 answer
34 views

Unable to get a terminal at the start for the GNF

0 votes
3 answers
230 views

Difference (minus) of asymptotic notations.

0 votes
1 answer
54 views

How to prove that $(L_1L_2)' = (L_2)'(L_1)'$

0 votes
1 answer
597 views

How to show that two vertices in a connected component are in the same set? (bi conditional)

0 votes
1 answer
34 views

5 tosses of a fair coin with a few conditions

0 votes
0 answers
62 views

How to evaluate chirp transform in O(nlgn) time? [duplicate]

0 votes
1 answer
1k views

Prove that determinant of a 2x2 symmetric positive definite matrix is positive by "completing the square" method.