Skip to main content
Juho's user avatar
Juho's user avatar
Juho's user avatar
Juho
  • Member for 12 years, 3 months
  • Last seen this week
10 votes

Initial temperature in simulated annealing algorithm

10 votes

What is the complexity of this matrix transposition?

10 votes

Why is Radix Sort $O(n)$?

10 votes
Accepted

How to implement the details of shotgun hill climbing to make it effective?

10 votes
Accepted

NP-completeness: Reduce to or reduce from?

9 votes
Accepted

Characterisation of graphs that are not 3-colorable

9 votes

What's an example of an unsatisfiable 3-CNF formula?

9 votes
Accepted

Why choose D* over Dijkstra?

9 votes
Accepted

Why do most scientists believe that P≠NP?

9 votes

What is the branch of Computer Science that studies how Anti Virus programs work?

9 votes
Accepted

Can the heaviest edge ever be in an MST?

9 votes

In SAT, do we require an assignment for arbitrary variables?

9 votes

Why do we care about random Boolean SAT formula?

9 votes

Is it a problem to be a programmer with no knowledge about computational complexity?

9 votes
Accepted

Why graph planarity is important

9 votes
Accepted

Is 3-colouring NP-hard for 5-colourable graphs?

8 votes

An FPT algorithm for Hamiltonian cycle running parameterized by treewidth

8 votes
Accepted

Graph Families that are easy to color

8 votes

When to use SAT vs Constraint Satisfaction?

8 votes

Multicore SAT Solver

7 votes
Accepted

Are there dynamic programming examples that run in exponential time?

7 votes
Accepted

3-SAT problem with number of clauses equal to number of variables

7 votes

Why is the halting problem unsolvable by a turing machine?

7 votes

Using software to calculate the complexity of an algorithm

7 votes
Accepted

How can I argue that $3\mathsf{SAT}\leq_p \mathsf{IndSet}$ is polynomial in time?

7 votes
Accepted

Runtime of the optimal greedy $2$-approximation algorithm for the $k$-clustering problem

7 votes

Forward checking vs arc consistency on 3-SAT

7 votes
Accepted

Approximation of minimum bandwidth on binary trees

7 votes

Error in the use of asymptotic notation

7 votes

What parts of linear algebra are used in computer science?

1
2
3 4 5
14