Theoretical Computer Science
Meta user
Network profile
412
reputation
2
14

Mark S

Hi, I'm just an amateur. I've been lurking for a while. I answered a question, some nice people voted up my answer and I appreciate it, so now creating an account.
6
answers
9
questions
~6k
people reached
  • Member for 1 year, 11 months
  • 76 profile views
  • Last seen Aug 9 at 23:26

Communities (15)

Top network posts

Top tags (27)

Score 8
Posts 5
Posts % 33
Score 7
Posts 3
Score 7
Posts 1
Score 7
Posts 1
Score 2
Posts 4
Score 0
Posts 3
View all tags →

Top posts (15) All Questions Answers | Votes Newest

13 Does Babai's quasipolynomial time $\mathsf{GI}$ algorithm actually generate the isomorphism? Dec 24 '17
9 What does a private coin $\mathsf{IP}$ protocol for Hilbert's Nullstellensatz look like? Aug 31 '17
7 Knot Recognition as a Proof of Work Sep 27 '17
4 If a root||nonce Proof-of-Work certificate is prime, can it be used in any other interesting proofs? Mar 21 '18
3 In light of Raz and Tal's results, what can we say about whether there's a BQP problem for each level of the polynomial hierarchy? Apr 13
2 Are Turing machines still useful as model of computation? Mar 29
2 On “The Power of the Prover” in Arora and Barak Apr 25 '18
2 Reference Request: soundness in a ZKP achieved by walking along a doubly-stochastic Markov chain? Mar 3 '18
1 What is the computational complexity of determining the mixing time of a Cayley graph? Jan 22
1 Can a hash preimage be used to amplify BPP probabilities? May 27
View all questions and answers →

Badges (16)

Gold

—

Silver

2

Rarest

Bronze

14

Rarest

View all badges →