Skip to main content
Theoretical Computer Science
Zirui Wang's user avatar
Zirui Wang's user avatar
Zirui Wang's user avatar
Zirui Wang
  • Member for 13 years, 11 months
  • Last seen more than a month ago
Profile Activity
Stats
551
reputation
5k
reached
2
answers
6
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
9
bronze badges
Top tags
View all tags
0
Score
5
Posts
62
Posts %
0
Score
3
Posts
38
Posts %
0
Score
2
Posts
25
Posts %
0
Score
1
Posts
12
Posts %
0
Score
1
Posts
12
Posts %
0
Score
1
Posts
12
Posts %
Top posts
question
23
Starting SAT solver papers
Aug 3, 2011
question
7
Is there a PSPACE-intermediate language?
Aug 6, 2011
question
4
Can you make a different learner?
Jun 30, 2011
question
3
Given PSPACE $\ne$ EXP, is there a non-PSPACE-hard language in EXP - PSPACE?
Aug 7, 2011
question
1
Separating the QIP hierarchy
Dec 27, 2010
answer
0
Can testing show the absence of bugs?
Jul 6, 2011
answer
0
Are $PSPACE$-complete problems inherently less tractable than $NP$-complete problems?
Jul 26, 2011
question
-5
Is halting that hard? [Yes] [closed]
Nov 5, 2011
Top network posts
View all network posts
71
Is there an intuitive reason for a certain operation to be associative?
27
Is there a statement whose undecidability is undecidable?
18
Example of an algorithm that lacks a proof of correctness
15
Every member of an ordinal is an ordinal
13
In LyX, how to have itemize inside a proof?