Skip to main content
Share Your Experience: Take the 2024 Developer Survey
Don Fanucci's user avatar
Don Fanucci's user avatar
Don Fanucci's user avatar
Don Fanucci
  • Member for 8 years
  • Last seen more than a month ago
8 votes
1 answer
326 views

$\mathsf{NL}$ versus $\mathsf{NL}[2]$

5 votes
1 answer
497 views

Prove that there is no computable enumeration of all decidable languages

5 votes
4 answers
10k views

Show that P is closed against the Kleene star

3 votes
1 answer
2k views

MST for a finite number of weights

2 votes
2 answers
225 views

Efficient algorithm for getting from 1 to n with 3 specific operations

2 votes
1 answer
432 views

Turing Machine with additional finite memory of size $n$

2 votes
1 answer
104 views

Analysis of brute force decoder in a $q$-ary erasure channel

2 votes
2 answers
1k views

non deterministic space hierarchy

2 votes
1 answer
57 views

$UP^{\ O}\neq P^{\ O}$ for some oracle $O$

2 votes
1 answer
830 views

distinguishing between CTL* formulas $A[FG p]$ and $AFAG p$ using transition system

2 votes
0 answers
27 views

Special Properties for Oracles in HSP

1 vote
0 answers
55 views

projection of arithmetic formulas to determinant

1 vote
0 answers
139 views

Construct DFA given oracle access to the language

1 vote
1 answer
102 views

$L\in NC^1$ iff there exists a sequence of poly sized formulas that decides $L$

1 vote
0 answers
195 views

Hamming code extension with additional parity bit

1 vote
0 answers
62 views

Is $f$ which returns the $n$-th word in $\overline{H_{TM,\epsilon}}$ computable?

0 votes
2 answers
329 views

Sorting algorithm which sorts half the possible inputs in linear time

0 votes
0 answers
383 views

find all edges in a weighed tree that are heaviest edges in some cycle

0 votes
0 answers
147 views

a problem with Suzuki-Kasami mutex algorithm

0 votes
1 answer
44 views

3 blocks CBC-MAC

0 votes
1 answer
2k views

2 means clustering

-1 votes
1 answer
428 views

The longest subarray sum divisible by $5$ in $O(n)$ time