Skip to main content
Share Your Experience: Take the 2024 Developer Survey
D.W.'s user avatar
D.W.'s user avatar
D.W.'s user avatar
D.W.
Moderator
  • Member for 12 years, 2 months
  • Last seen this week
51 votes
6 answers
58k views

How to prove greedy algorithm is correct

81 votes
3 answers
55k views

Express boolean logic operations in zero-one integer linear programming (ILP)

28 votes
2 answers
47k views

How to prove that a language is context-free?

128 votes
15 answers
16k views

How to fool the "try some test cases" heuristic: Algorithms that appear correct, but are actually incorrect

6 votes
2 answers
14k views

How do I find a regular expression for a particular language?

31 votes
3 answers
9k views

Teaching NP-completeness - Turing reductions vs Karp reductions

35 votes
5 answers
9k views

Enumerate all non-isomorphic graphs of a certain size

33 votes
3 answers
7k views

Encoding 1-out-of-n constraint for SAT solvers

13 votes
3 answers
6k views

Closest pair of points between two sets, in 2D

5 votes
1 answer
4k views

Find point with smallest average distance to a set of given points

9 votes
3 answers
4k views

Kernelization trick, for neural networks

3 votes
0 answers
4k views

Applications of min spanning trees

15 votes
3 answers
3k views

Cast to boolean, for integer linear programming

6 votes
1 answer
3k views

Find all cycles through a given vertex

19 votes
1 answer
3k views

When to use SAT vs Constraint Satisfaction?

4 votes
1 answer
3k views

Find set of non-overlapping rectangles in a 2D grid

9 votes
4 answers
3k views

Can element uniqueness be solved in deterministic linear time?

22 votes
6 answers
2k views

Algorithm to test whether a language specified in algebraic form is context-free

12 votes
2 answers
2k views

Smallest DFA that accepts given strings and rejects other given strings

15 votes
2 answers
2k views

MIN-2-XOR-SAT and MAX-2-XOR-SAT: are they NP-hard?

4 votes
2 answers
2k views

Object recognition - given an image, does it contain a particular 3D object of interest?

22 votes
3 answers
2k views

Algorithm to minimize surface area, given volume

12 votes
1 answer
2k views

Algorithm to test whether a language is regular

20 votes
1 answer
2k views

Could min cut be easier than network flow?

11 votes
1 answer
2k views

Data structure for map on intervals

9 votes
1 answer
1k views

Given n strings, is one of them a substring of another?

6 votes
2 answers
1k views

Split-Find: maintaining dynamic graph connectivity information, under edge deletion

5 votes
1 answer
985 views

Comparing sets of vectors

5 votes
2 answers
976 views

Estimate entropy, based upon observed frequency counts

6 votes
1 answer
962 views

Algorithms to play randomized game