482 reputation
1412
bio website
location Seattle, WA
age
visits member for 2 years, 10 months
seen yesterday

I am a computer programmer. Knowledge representation and algorithmic complexity are my main interests.


Oct
18
revised Why do we stop at exponentiation stage in arithmetic of natural numbers?
Used > to quote the question instead of indentation. If you display the page with large fonts, as I do because of my visual impairment, the indented quotation is displayed with a horizontal scrollbar instead of wrapping to the next line. The change wraps the text and gets rid of the scrollbar.
Oct
18
suggested suggested edit on Why do we stop at exponentiation stage in arithmetic of natural numbers?
Oct
17
suggested suggested edit on Why do we stop at exponentiation stage in arithmetic of natural numbers?
Sep
24
awarded  Autobiographer
Sep
17
answered “Job-scheduling” problem that minimizes the number of machines
Aug
29
answered Verifier and Certificate for coNP SUBSET-SUM
Aug
3
comment Proving Hamiltonian Cycle is NP Complete
@techno MJD described the verification process, which confirms that a proposed solution is correct. That is not the same thing as finding the solution itself.
Aug
3
comment Proving Hamiltonian Cycle is NP Complete
See cs.stackexchange.com/questions/9556/… .
Jul
15
revised Why are there only a few known Ramsey numbers?
added link, fixed grammar stutter, removed superfluous thanks
Jul
15
suggested suggested edit on Why are there only a few known Ramsey numbers?
May
30
answered Mixed Q horn SAT
Dec
17
awarded  Yearling
Dec
16
answered Minimum number of elements needed from n sets
Oct
31
answered Why do Integer Relation Algorithms (e.g. PSLQ) not solve the subset sum problem?
Oct
26
revised Why is the decision problem of the “Travelling Salesman” $\in \mathcal{NP}$?
fixed grammar
Oct
23
answered Why is the decision problem of the “Travelling Salesman” $\in \mathcal{NP}$?
Oct
15
awarded  Editor
Oct
15
revised $\Sigma_k^\text{P}$−SAT definition is not clear to me
MathJax'd the variables and algorithmic classes, added appropriate tags
Oct
15
suggested suggested edit on $\Sigma_k^\text{P}$−SAT definition is not clear to me
Oct
8
answered $\Sigma_k^\text{P}$−SAT definition is not clear to me