Skip to main content
Share Your Experience: Take the 2024 Developer Survey
Zirui Wang's user avatar
Zirui Wang's user avatar
Zirui Wang's user avatar
Zirui Wang
  • Member for 8 years, 1 month
  • Last seen more than a month ago
18 votes
5 answers
6k views

Example of an algorithm that lacks a proof of correctness

7 votes
1 answer
294 views

How to use an old SAT solver to discover a new one, as is done in The Golden Ticket?

6 votes
1 answer
2k views

Why are forks in the Blockchain eventually resolved?

5 votes
1 answer
775 views

Set theory and computer science

5 votes
1 answer
139 views

Factoring algorithms after number field sieves

4 votes
4 answers
632 views

How to Modify SAT Solvers to Produce Resolution Refutations for Unsatisfiable Instances?

3 votes
4 answers
603 views

Is the calculation of infinite sums solvable by a computer?

3 votes
1 answer
134 views

High-dimensional geometry and P vs. NP

2 votes
0 answers
189 views

Implementation of Babai's GI algorithm

2 votes
2 answers
454 views

Seeking nontrivial small SAT/UNSAT instances

2 votes
1 answer
88 views

Does SAT always have short analytic proofs?

2 votes
3 answers
411 views

Is there a TM that halts iff P = NP?

2 votes
1 answer
134 views

Is GNFS quasi-polynomial-time?

1 vote
2 answers
187 views

Bipartite graphs with min weights

1 vote
0 answers
61 views

Abstract algebra algorithms

1 vote
1 answer
96 views

Looking for a problem provably not in P

1 vote
1 answer
100 views

Encoding order relations in CNF

1 vote
1 answer
245 views

Does MiniSAT need exponential time?

1 vote
1 answer
113 views

CNF and small-depth circuits

1 vote
1 answer
173 views

Is inverse CNF polynomial?

0 votes
0 answers
93 views

Why do intuitionists accept the nonconstructive proof that the halting problem is undecidable? [duplicate]

0 votes
1 answer
103 views

Independence Implies P $\ne$ NP

0 votes
0 answers
200 views

CNF encoding of additions

0 votes
1 answer
88 views

Are there infinite possibilities to the outcome of the P vs. NP question?

0 votes
0 answers
16 views

Global-input-local-output p-time algorithms

0 votes
0 answers
57 views

Growth of the average numbers of peaks for the permutations of $n$ sticks

0 votes
2 answers
92 views

Is it possible to sort numbers in linear time and constant extra space?

-3 votes
1 answer
52 views

Exponential amount of information in polynomial size? Impossible!

-4 votes
3 answers
1k views

Halting problem in C++