user avatar
user avatar
user avatar
vesii
  • Member for 3 years, 6 months
  • Last seen this week
5 votes
0 answers
98 views

Prove: Self-organizing list that uses Move-to-Front is 2-Competitive

3 votes
2 answers
144 views

Satisfiable CNFs where each clause contains logarithmically many different literals

3 votes
2 answers
386 views

The idea behind the state of Imperative languages

3 votes
2 answers
40 views

There exists some number $x$ so in any run of BFS from vertex $w$, so the distance from $u$ to $v$ in BFS tree is always $x$

2 votes
1 answer
70 views

In every DFS run on $G$, in every step of DFS, the $G_{\pi}$ is a forest

2 votes
1 answer
304 views

Is the Shakespeare Programming Language Turing complete?

2 votes
1 answer
44 views

Given graph $G=(V,E)$ and weight function $w\,:\,E\to\mathbb{N}$, function $f(G,w)$ finds the heaviest clique in the graph, prove $L(M)=CLIQUE$

2 votes
1 answer
51 views

How many Huffman codes can be written for a set of n characters?

1 vote
1 answer
51 views

Prove $|d_{s}(u)-d_{s}(v)|\leq1$ in BFS

1 vote
1 answer
75 views

How to prove that the reduction relation is not symmetric

0 votes
1 answer
35 views

If in a given text the frequency of the letter A is 0.5, then the number of bits encoding in the Hoffman code for the text is 1

0 votes
0 answers
26 views

Prove that union of connected sets is a non-connected set

0 votes
0 answers
16 views

Give examples of data structure usage which can be used and cannot be used in amortized analysis

-1 votes
0 answers
33 views

What is an expression language?