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
81 votes
3 answers
55k views

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

21 votes
4 answers
570 views

Complexity classes where $C^C = C$

1 vote
1 answer
227 views

Finding the two edge-disjoint paths, minimizing the sum of their lengths

1 vote
1 answer
177 views

Boolean constraints for a connected component of a graph

51 votes
6 answers
58k views

How to prove greedy algorithm is correct

1 vote
1 answer
252 views

Check whether a regular expression is correct

12 votes
1 answer
2k views

Algorithm to test whether a language is regular

0 votes
1 answer
128 views

MAX-LP: maximize number of linear inequalities satisfied

22 votes
6 answers
2k views

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

28 votes
2 answers
47k views

How to prove that a language is context-free?

2 votes
1 answer
223 views

Set of Pareto-optimal paths, in a graph where edges have both length and cost

7 votes
2 answers
406 views

Integral solutions to circulation problem

13 votes
3 answers
6k views

Closest pair of points between two sets, in 2D

2 votes
0 answers
44 views

Path that stays within a convex polyhedron

4 votes
0 answers
240 views

Simple example of exponential gap between monotone and non-monotone circuits

128 votes
15 answers
16k views

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

4 votes
2 answers
329 views

Regular language as finite union of periodic sets

3 votes
2 answers
476 views

Data structure for interval subset queries

1 vote
0 answers
68 views

Express polynomial as sum of two lower-degree polynomials, modulo another

33 votes
3 answers
7k views

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

1 vote
2 answers
295 views

Linear programming vs integer linear programming

-1 votes
1 answer
96 views

Equivalence of Horn formulas tractable?

35 votes
5 answers
9k views

Enumerate all non-isomorphic graphs of a certain size

1 vote
0 answers
21 views

Shortest sequence of jobs, with dependencies, subject to capacity constraints

1 vote
1 answer
17 views

Probability of selecting a particular set, by sampling without replacement from a categorical distribution

2 votes
1 answer
734 views

Enumerate all solutions to integer programming problem

15 votes
3 answers
3k views

Cast to boolean, for integer linear programming

15 votes
2 answers
2k views

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

2 votes
1 answer
520 views

Generate random matrix and its inverse

4 votes
1 answer
281 views

Nodes in a binary search tree that span a range