{"id":1448,"date":"2011-05-22T10:58:29","date_gmt":"2011-05-22T14:58:29","guid":{"rendered":"http:\/\/mat.tepper.cmu.edu\/blog\/?p=1448"},"modified":"2011-05-22T10:58:29","modified_gmt":"2011-05-22T14:58:29","slug":"thats-got-to-be-true-doesnt-it","status":"publish","type":"post","link":"https:\/\/mat.tepper.cmu.edu\/blog\/index.php\/2011\/05\/22\/thats-got-to-be-true-doesnt-it\/","title":{"rendered":"That’s got to be true… doesn’t it?"},"content":{"rendered":"

Back in 1996, Harvey Greenberg, longtime faculty member at the University of Colorado at Denver, began putting together a collection of myths and counterexamples in mathematical programming<\/a>.\u00a0 While generally I find mathematical programming to be quite intuitive, there turn out to be lots of things that I think must be true that are not.\u00a0 Consider the following:<\/p>\n

    \n
  1. The duality theorem applies to infinite LPs.<\/li>\n
  2. Simulated annealing converges more slowly than steepest descent when there is a unique optimum.<\/li>\n
  3. In linear programming, a degenerate basis implies there is a (weakly) redundant constraint.<\/li>\n
  4. If f<\/em> has continuous nth-order derivatives, local behavior of f<\/em> can be approximated by Taylor’s series.<\/li>\n
  5. The problem of finding integer x<\/em> such that Ax<\/em> = b, where A is an m by n integer matrix and b a length m integer vector, is NP-complete.<\/li>\n<\/ol>\n

    Amazingly none of these are true!\u00a0 Reading through the myths and counterexamples reminds me of how much I “know” is really false.<\/p>\n

    The Myths and Counterexamples document is hosted by the INFORMS Computing Society<\/a> as part of its Mathematical Programming Glossary<\/a>, and Harvey periodically updates the Myths site (with the last update being in February 2010).\u00a0 If you have shown that something that seems obvious is actually false, be sure to let Harvey know about it.\u00a0 And the next time you are doing a proof and are tempted to make a claim because “it is well known that…” or “obviously…”, perhaps you should check out the site first.<\/p>\n

    Thanks to @fbahr<\/a> and the folks at Reddit’s SYSOR<\/a> for reminding me of the value of a project I have followed for about fifteen years so far!<\/p>\n","protected":false},"excerpt":{"rendered":"

    Back in 1996, Harvey Greenberg, longtime faculty member at the University of Colorado at Denver, began putting together a collection of myths and counterexamples in mathematical programming.\u00a0 While generally I find mathematical programming to be quite intuitive, there turn out to be lots of things that I think must be true that are not.\u00a0 Consider … Continue reading “That’s got to be true… doesn’t it?”<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[6,46],"tags":[],"class_list":["post-1448","post","type-post","status-publish","format-standard","hentry","category-blogs-and-web","category-research"],"jetpack_featured_media_url":"","_links":{"self":[{"href":"https:\/\/mat.tepper.cmu.edu\/blog\/index.php\/wp-json\/wp\/v2\/posts\/1448","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/mat.tepper.cmu.edu\/blog\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/mat.tepper.cmu.edu\/blog\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/mat.tepper.cmu.edu\/blog\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/mat.tepper.cmu.edu\/blog\/index.php\/wp-json\/wp\/v2\/comments?post=1448"}],"version-history":[{"count":0,"href":"https:\/\/mat.tepper.cmu.edu\/blog\/index.php\/wp-json\/wp\/v2\/posts\/1448\/revisions"}],"wp:attachment":[{"href":"https:\/\/mat.tepper.cmu.edu\/blog\/index.php\/wp-json\/wp\/v2\/media?parent=1448"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/mat.tepper.cmu.edu\/blog\/index.php\/wp-json\/wp\/v2\/categories?post=1448"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/mat.tepper.cmu.edu\/blog\/index.php\/wp-json\/wp\/v2\/tags?post=1448"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}