1,621 reputation
411
bio website
location Hanover, Germany
age
visits member for 1 year, 10 months
seen 9 hours ago

2d
comment Simplifying Boolean Function with Karnaugh Map
You can convince yourself that your expression is wrong. ABCD should be 1 but is not according to your result.
Nov
17
revised If one shows that UNIQUE k-SAT is in P, does it imply P=NP?
added reference links
Nov
17
suggested suggested edit on If one shows that UNIQUE k-SAT is in P, does it imply P=NP?
Nov
15
awarded  Citizen Patrol
Nov
15
comment How many pure trees with a fixed number of nodes exist?
Have a look at this related post: math.stackexchange.com/questions/169155/…
Nov
14
answered linearize the quadratic constraint
Nov
14
comment Logic question needs solving, please
Sherlock Holmes (in "The Adventure of the Beryl Coronet"): ... when you have excluded the impossible, whatever remains, however improbable, must be the truth.
Nov
12
comment Smallest circle enclosing three disjoint circles
The problem is also called "Smallest Enclosing Disk of Disks" as described here: cccg.ca/proceedings/2004/16.pdf A C++ implementation: sonycsl.co.jp/person/nielsen/PT/seb/sebdisk.html
Nov
12
comment Smallest circle enclosing three disjoint circles
A related post: stackoverflow.com/questions/6976125/… The many downvotes indicate the complexity of the problem.
Nov
12
comment Smallest circle enclosing three disjoint circles
@Rahul: Are you sure? Enclosing is not the same as touching. Imagine 3 unit circles in a row. They can be enclosed by touching only two of them.
Nov
12
revised Smallest circle enclosing three disjoint circles
added 359 characters in body
Nov
12
revised Smallest circle enclosing three disjoint circles
added geometric construction
Nov
12
revised Smallest circle enclosing three disjoint circles
added GeoGebra picture
Nov
12
comment Smallest circle enclosing three disjoint circles
Do you assume that the three circles are fixed? Or can they be moved around? In the latter case, it would be a circle packing problem.
Nov
12
revised Smallest circle enclosing three disjoint circles
assumption about touch-point was wrong: removed
Nov
12
revised Smallest circle enclosing three disjoint circles
added note; removed wrong remark
Nov
12
answered Smallest circle enclosing three disjoint circles
Nov
7
answered Solve this proof using tautologies (no truth tables)
Nov
5
comment Quadratic programming for special equation issues
Yes, I used the "old" function. The new function is quite different from the old one and much more involved. Sorry, but I won't have the time to dig through your code.
Nov
5
revised Quadratic programming for special equation issues
added contour plot