Hi Michiro! ... I think it's quite the contrary. It is SAT, whose formulation is awkward for solving process, should be converted to another formalism. I'll...
1272
Stas Busygin
busygin@...
Aug 1, 2000 10:48 am
Sorry, my statement that the system of equations determines a 2-factor is mistaken, actually it's not more than an N-permutation. Though, it's a 2-factor for...
1273
Stas Busygin
busygin@...
Aug 1, 2000 2:07 pm
My first paper about hard problems was "The Informational Approach to NP Problems Solving". Just in that paper SAT01 was introduced firstly. When I finished...
1274
Vladimir Z. Nuri
vznuri@...
Aug 2, 2000 1:53 am
... yes, La Jolla.. I forgot the spelling and spelled it phonetically. thanks to M.B. for the link to the NYT article ...
1275
Vladimir Z. Nuri
vznuri@...
Aug 2, 2000 2:22 am
a stock market theory called "elliot waves" was invented by Elliot in the 30's.. it contains some of the essential characteristic of the modern knowledge of...
1276
Vladimir Z. Nuri
vznuri@...
Aug 2, 2000 2:31 am
interesting writing on the plan & progress of finding mathematical formulas for human psychology especially in the area of finance... on Rabin who won a $.5M...
1277
Vladimir Z. Nuri
vznuri@...
Aug 2, 2000 2:42 am
hi to any new members. after a long hiatus I posted an ad for this group again to the newsgroups and got about 20 or so new people. I like to welcome any new...
1278
Gary Shannon
reboot@...
Aug 2, 2000 4:12 am
... From: "Vladimir Z. Nuri" <vznuri@...> To: <theory-edge@egroups.com> Sent: Tuesday, August 01, 2000 7:47 PM Subject: [theory-edge] new members ... ...
1279
Michiro Nasu
nasukun@...
Aug 2, 2000 10:07 am
Hi Stas! you wrote, ... it seems you almost hate SAT! :-) i agree that SAT is a bad guy. (our recent conclusion is terrible. "NP-complete on SAT is nothing but...
1280
Steve Long
steven.long@...
Aug 2, 2000 10:11 am
quantum physicist dr. brian greene (columbia u) in "the elegant universe" mentions using mirror symmetry of calabi-yau spaces in quantum physics to transform...
1281
Stas Busygin
busygin@...
Aug 2, 2000 5:11 pm
Hi Michiro! ... Earlier it was a strong intuitive feeling, but now I'm very close to an exact result based on the information theory that OR-clauses are the...
1282
Stas Busygin
busygin@...
Aug 2, 2000 5:20 pm
Hi Steve! ... Cool! Steve, could you explain in brief which type of equations was there? Recently, I described a use of continuous math for NP-hard problems in...
1283
Klaus D. Witzel
kwitzel@...
Aug 2, 2000 6:08 pm
Michiro wrote: stas wrote, ... the ... and ... in ... DIMACS ... Just a light slap in the face to a person who discovered Dubois' easiness near 2 years ago and...
1284
Michiro Nasu
nasukun@...
Aug 3, 2000 3:31 am
Hi Stas! you wrote, Earlier it was a strong intuitive feeling, but now I'm very close to an exact result based on the information theory that OR-clauses are...
1285
Michiro Nasu
nasukun@...
Aug 3, 2000 4:19 am
Hi Klaus! you wrote, Yeah, that's a nightmare: when I my favorite algorithm decides the DIMACS aim* instances, nothing looks exponential :-) But when the order...
1286
Stas Busygin
busygin@...
Aug 3, 2000 10:43 pm
Hi Michiro! ... Appox. in 10/98 I posted here some conversions to SAT01 including such ones for HCP and GI. After that there was an interest about which GI...
1287
Michiro Nasu
nasukun@...
Aug 4, 2000 12:44 am
Hi Stas! ... Appox. in 10/98 I posted here some conversions to SAT01 including such ones for HCP and GI. After that there was an interest about which GI...
1288
Michiro Nasu
nasukun@...
Aug 8, 2000 1:30 pm
Hi Klaus and all! you wrote, P.S. I am in the need of very, very hard SAT instances! Dubois for example is too easy to compute the condition for. Any help /...
1289
Michiro Nasu
nasukun@...
Aug 8, 2000 4:34 pm
sorry, please correct "(1) given graph G(V, E)" to "(1) given directed graph G(V, E)"....
1290
theory-edge@egroups.com
Aug 8, 2000 7:36 pm
Hello, This email message is a notification to let you know that a file has been uploaded to the Files area of the theory-edge group. File :...
1291
Stas Busygin
busygin@...
Aug 9, 2000 10:25 am
Hi Michiro! ... Actually, you don't need to use the second group of variables (corresponding to edges). The relation of contradiction can be expressed as (~a...
1292
theory-edge@egroups.com
Aug 9, 2000 10:43 am
Hello, This email message is a notification to let you know that a file has been uploaded to the Files area of the theory-edge group. File :...
1293
Michiro Nasu
nasukun@...
Aug 9, 2000 2:12 pm
Hi Stas! you wrote, ... thanks. i'll rewrite the algorithm at your suggestion. [HCP->SAT polynomial time transformation algorithm] (1) given graph G(V, E),...
1294
Michiro Nasu
nasukun@...
Aug 9, 2000 3:04 pm
i'm sorry. as Stas suggested variables of edges are disused. correctly, [HCP->SAT polynomial time transformation algorithm] (1) given graph G(V, E), |V|=n,...
1295
Stas Busygin
busygin@...
Aug 10, 2000 6:09 am
Hi Michiro! ... Ok, perhaps I'll design a text input format for 4-th version of the solver. Most likely it will be a definition of edges for the graph of...
1296
Michiro Nasu
nasukun@...
Aug 10, 2000 1:22 pm
Hi Stas! you wrote, ... bravo! that's great! a perfect machine? no, your aim should not only be that but an "almighty machine". what is the "SAT01" language or...
1297
Vladimir Z. Nuri
vznuri@...
Aug 11, 2000 3:20 am
... hi gary. did you hear of papers by danny hillis of thinking machines fame? he is an eclectic researcher who was one of the first to show that genetic...
1298
Vladimir Z. Nuri
vznuri@...
Aug 11, 2000 3:27 am
... Date: Wed, 2 Aug 2000 15:06:05 -0400 (EDT) From: Springer New York <ebultn@...> To: vznuri@... Subject: Springer e-Bulletin::...
1299
Gary Shannon
reboot@...
Aug 11, 2000 8:34 am
... From: "Vladimir Z. Nuri" <vznuri@...> To: <theory-edge@egroups.com> Cc: <vznuri@...> Sent: Thursday, August 10, 2000 8:27 PM ...
1300
Stas Busygin
busygin@...
Aug 11, 2000 10:52 am
Hi Michiro! ... There were reports about pairwise isomorphism of some NP-complete problems but actually I don't know any non-trivial (i.e., not like clique <->...
