Raul wrote: > By leaving out the word *one*, I left my sentence open to an > interpretation which had little or nothing to do with my intended > meaning. (Sorry about that.)
(That is alright, anyone can make a mistake.) Raul also wrote: > ((Honestly, though, I am surprised that you were not already aware of > this aspect of SAT-3. How could SAT-3 have an equivalence to SAT-n > without multiple clauses?)) :D I do not recall stating anything about, or even mentioning, a k-SAT problem, at all. Do you? I do remember quoting from the paper which mentions only the 3-SAT problem; see below. (Do not blame me, I am just the messenger.) Is the forum's number one fan of the "Markets are efficient if and only if P = NP" paper now trying to attack it? If so, then maybe this is an indication that the poor dead horse has been beaten long enough. No? Then hurry up, program the market and run it, executing suitable OCO orders as necessary, before the restless regulators storm TD's facilities and shut down their WebBroker platform, WebBroker More Ways to Trade https://www.td.com/ca/en/investing/direct-investing/trading/webbroker/ ;) On Tue, Sep 10, 2019 at 7:53 PM Jose Mario Quintana < [email protected]> wrote: > > Raul wrote, > > > Significant SAT-3 problems involve more than clause. > > What happened? According to your favorite paper, > > "Karp (1972) shows that 3-SAT is itself NP-complete, and it remains NP-complete even if the number of solutions is guaranteed to be either zero or one (Valiant and Vazirani (1985)), so we will focus our attention on trying to use the efficiency of the market to decide a 3-SAT problem. Here is how we will program the market to solve an arbitrary 3-SAT problem... " > > Please do not tell us now that all was a mistake; that would be such a terrible disappointment. > > Donna wrote, > > > see for example TD Direct Investing: > > > What Conditional Order Types are available in WebBroker? > > > WebBroker allows you to place three types of conditional orders – One-Cancels-Other (OCO), One-Triggers-Another (OTA), First-Triggers-One-Cancels-Other (FTOCO). > > > > I wrote, > > Lo and behold, according to Donna, OCO orders are now a reality! Maybe you can go ahead and program the market using WebBroker? > > > P.S. Do not forget to let us know what happens. > > Are you sharpening your market programming skills yet? > > On Wed, Sep 11, 2019 at 11:15 AM Raul Miller <[email protected]> wrote: > > On Tue, Sep 10, 2019 at 7:53 PM Jose Mario Quintana > <[email protected]> wrote: > > Raul wrote, > > > Significant SAT-3 problems involve more than clause. > > > > What happened? According to your favorite paper, > > Somehow what I posted was not what I intended to say. > > I intended to say: > > "Significant SAT-3 problems involve more than one clause." > > By leaving out the word *one*, I left my sentence open to an > interpretation which had little or nothing to do with my intended > meaning. (Sorry about that.) > > ((Honestly, though, I am surprised that you were not already aware of > this aspect of SAT-3. How could SAT-3 have an equivalence to SAT-n > without multiple clauses?)) > > Anyways, hopefully, this time I am posting what I intend to say... > > Thanks, > > -- ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
