506 reputation
1412
bio website
location Seattle, WA
age
visits member for 3 years
seen 11 hours ago

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


Dec
15
revised Check Whether A Boolean Formula Has One Satisfying Assignment
added 3 characters in body
Nov
26
revised Proof of: if L is in NP then its complement is coNP-Complete
changed title to match claim in question
Nov
26
suggested approved edit on Proof of: if L is in NP then its complement is coNP-Complete
Nov
14
comment Using up letters on a refrigerator is NP-complete
The duplicates can be treated as distinct entities as far as set intersection and union are concerned. It's still the same problem.
Nov
14
revised Using up letters on a refrigerator is NP-complete
showed how EXACT COVER maps directly to the poster's problem, linked to Karp's 21 problems on Wikipedia
Nov
14
answered Using up letters on a refrigerator is NP-complete
Nov
13
revised Is knowing the size of a minimum vertex cover equivalent to finding a minimal cover?
NP-complete -> NP-hard; punctuation and spelling
Nov
13
suggested approved edit on Is knowing the size of a minimum vertex cover equivalent to finding a minimal cover?
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 approved edit on Why do we stop at exponentiation stage in arithmetic of natural numbers?
Oct
17
suggested rejected 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 approved edit on Why are there only a few known Ramsey numbers?
May
30
answered Mixed Q horn SAT
Dec
17
awarded  Yearling