user avatar
user avatar
user avatar
Anand Kulkarni
  • Member for 11 years, 11 months
  • Last seen more than 11 years ago
5 votes
3 answers
453 views

Is there a way to solve an optimization problem where a decision variable shows up in an upper bound (or lower bound) of summation?

39 votes
5 answers
1k views

Is there a logic without induction that captures much of P?

40 votes
8 answers
18k views

Why go to theoretical computer science/research?

  • 171
5 votes
2 answers
365 views

Use of Lagrangian dual information to prove optimalitiy of a solution : Any example?

9 votes
5 answers
447 views

Results showing existence/non-existence of finite graphs with specific computable properties imply certain complexity results

  • 147
65 votes
5 answers
2k views

Problems that can be used to show polynomial-time hardness results

19 votes
1 answer
457 views

Visualizing Unique Games

12 votes
1 answer
666 views

Using Kolmogorov complexity to establish proof complexity lower bounds?

20 votes
2 answers
1k views

Succinct circuit representation of graphs

  • 5,973
23 votes
3 answers
1k views

What is known about solutions to sparse integer linear programming problems?

  • 681
20 votes
3 answers
536 views

Are recursive forms of Godel's statement possible?

93 votes
9 answers
19k views

What would it mean to disprove Church-Turing thesis?

8 votes
1 answer
1k views

What are some effective heuristics to find the number of Hamiltonian paths in a rectangular grid?

  • 191