Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 5963

Informally, an algorithm is a set of explicit instructions used to solve a problem (e.g. Euclid's algorithm for computing the greatest common divisor of two integers). For more specific questions on algorithms, this tag may be used in conjunction with the approximation-algorithms, algorithmic-randomness and algorithmic-topology tags.

4 votes
Accepted

Finding a point that lies in a majority of polytopes

This problem is clearly in NP (guess which polytopes) and becomes NP-complete if we replace $2/3$ with $1/2$ and make it a decision problem, dropping the promise that such a $p$ exists. In particular …
Noah Stein's user avatar
  • 8,501
6 votes

Estimate the rank of a vector

Thus I'd guess that this problem is equivalent complexity-wise to #KNAPSACK (which is known to be #P complete but admits various types of approximation algorithms), but there are some details that would …
Noah Stein's user avatar
  • 8,501
7 votes

SDP Feasibility

Alex gave a good answer, but I would just like to highlight a subtle problem with your claim about polynomial time solvability of SDPs. This depends on having inner and outer bounding balls to the fe …
Noah Stein's user avatar
  • 8,501
4 votes

Examples of Super-polynomial time algorithmic/induction proofs?

The standard proofs of Sperner's Lemma are the first thing that comes to my mind in this context. They don't have exactly the form you mentioned; in particular they're not really inductive. Nonethel …
Noah Stein's user avatar
  • 8,501
14 votes
Accepted

Effective algorithm to test positivity

If by effective you mean "is this computable", then yes, the computational versions of Tarski-Seidenberg such as cylindrical algebraic decomposition give you a finite algorithm. (I suppose this is ass …
Noah Stein's user avatar
  • 8,501