As far as being "miniresearch", I suppose time will tell. While not the same as FLT, it does have some interest accruing. But, you are correct about it being...
1152
Dan Pehoushek
danpehous@...
Jun 8, 2000 6:53 pm
As far as being "miniresearch", I suppose time will tell. While not the same as FLT, it does have some interest accruing. But, you are correct about it being...
1153
Jeffrey Considine
jconsidi@...
Jun 8, 2000 7:01 pm
... I'm glad to hear it was useful! I take it the shortest flowset approach you mention below works as a good splitting heuristic? ... If I recall correctly,...
1154
Michiro Nasu
nasukun@...
Jun 11, 2000 5:21 pm
Dear Vlad and all, We take pleasure in announcing that we finally completed a hamiltonian experiment program named "Ariadne". Ariadne tests arbitrary 100 or...
1155
Vladimir Z. Nuri
vznuri@...
Jun 11, 2000 7:24 pm
hi Dan, nothing intended by my comment about a "miniresearch program". it was intended to convey that it's tricky to build an entire research agenda (i.e. ...
1156
Dan Pehoushek
danpehous@...
Jun 14, 2000 2:23 am
... No problem, Vlad. I think #p == #q is useful, and the generalization pointed out shows just how enlightening pspace can be many areas of arithmetic. As for...
1157
Dan Pehoushek
danpehous@...
Jun 14, 2000 2:24 am
... No problem, Vlad. I think #p == #q is useful, and the generalization pointed out shows just how enlightening pspace can be many areas of arithmetic. As for...
1158
Dan Pehoushek
danpehous@...
Jun 15, 2000 7:37 pm
Well, you'd think I would know better by now. Hold the horses on poly time GI, as I've got a complaint from one of the people I showed it too. I will get back...
1159
Dan Pehoushek
danpehous@...
Jun 16, 2000 6:34 pm
Oleg's generalization is "neat". As for the name of #P=#Q, it was my conjecture, but, I prefer to call it #P=#Q. Better to call it that, than use my name, in...
1160
Michiro Nasu
nasukun@...
Jun 16, 2000 7:11 pm
Sorry. In my previous mail, the phone number was wrong. Correctly, (81)48-574-3585. M.N....
1161
Dattaraj J. Rao
jagrao@...
Jun 21, 2000 9:30 am
Hello, This is the link to our new CAD Software site that provides free CAD Software in Java that can be tested online. It also has tutorial and books and also...
1162
Stas Busygin
busygin@...
Jun 21, 2000 1:54 pm
Hello All! A new promising algorithm for maximum-weight clique was designed, implemented, and successfully tested! It uses an original idea on finding optimum...
1163
Stas Busygin
busygin@...
Jun 24, 2000 6:21 pm
Hi Michiro! I have tried your Ariadne100 solver. It seems that you have the same problem with memory requirements as upon HCP->SAT01 conversion -- `timing...
1164
Dan Pehoushek
danpehous@...
Jun 24, 2000 7:25 pm
A little more on the method for GI. First of all, it does not work in general, but it did enlighten on a discovery by R. Mathon, from 1979. First, the...
1165
Michiro Nasu
nasukun@...
Jun 25, 2000 3:17 am
Hi Stas and all! Thanks for your reply. There are so many things that i must learn from you, but here I answer for just one issue. ... We assume that any...
1166
Stas Busygin
busygin@...
Jun 25, 2000 12:49 pm
... So you mean O(size^log(size)), not log(size) time. Well, then I have a great opponent for your game -- see its C code below. It generates mentioned graphs...
1167
Michiro Nasu
nasukun@...
Jun 25, 2000 2:37 pm
Hi Stas and all! I received 2 mails from you but I for the first try to answer to the first one. ... You are quite right. I tested the sample graph and Ariadne...
1168
Michiro Nasu
nasukun@...
Jun 25, 2000 3:29 pm
Sorry! Found some mistakes in my previous mail. I intended working off-line but it was not so... http://www.geocities.com/nasukun/Hamilon/Draft2_3.html ->...
1169
Michiro Nasu
nasukun@...
Jun 25, 2000 4:32 pm
Thanks! I recognized "MIS" is surely "maximal independent set". I might be a little vague in mind. M.N....
1170
Vladimir Z. Nuri
vznuri@...
Jun 27, 2000 12:25 am
hi everyone, great to see the dialogue on the list.. I may have missed this in an earlier post.. what is QUALEX?? stas: could you elaborate on the following...
1171
Vladimir Z. Nuri
vznuri@...
Jun 27, 2000 12:31 am
here's a really first-rate article on the new field of econophysics, the combination of physics and economics, nonlinear science, numerical techniques for...
1172
Vladimir Z. Nuri
vznuri@...
Jun 27, 2000 2:12 am
here's a very high quality web based digest of science articles related to complexity. points to articles in mainstream publications such as science, nature,...
1173
Stas Busygin
busygin@...
Jun 27, 2000 5:42 pm
... Thanx, Vladimir. Indeed, I've made a crucial advance on NP-hard solving recently but there was no feedback before yours. Summer moves on and seems there is...
1174
Vladimir Z. Nuri
vznuri@...
Jun 28, 2000 5:45 am
hi stas.. well I'm intrigued by your comments. they remind me of one of the strategies contemplated but never pursued relative to p vs. np problems. one way to...
1175
Stas Busygin
busygin@...
Jun 28, 2000 10:04 am
... In my case it's a strategy to confirm or to refute that maximum cliques can be designated from eigenpairs of the contradiction matrix. The more hidden a...
1176
Klaus D. Witzel
kwitzel@...
Jun 28, 2000 10:29 am
... Of course they are pursued, for example by me. But unless there is something remarkable to report... ... ;-) /Klaus...
1177
Michiro Nasu
nasukun@...
Jun 28, 2000 3:46 pm
Hi Stas and all! I touched your work. That's truly remarkable and splendid. I admit the SAT01 is surely a persuasive concept. Well you wrote, ... We don't...
1178
Dan Pehoushek
danpehous@...
Jun 28, 2000 8:06 pm
Not to put a damper on Stas's enthusiastic investigation, but, if he sees no easy extension to enable counting of solutions, then I am afraid, its just another...
1179
Stas Busygin
busygin@...
Jun 28, 2000 8:28 pm
Hi Michiro! ... Thanx for a praise! ... The problem is that you have no opportunity to test large instances in this case. But as you can see at TSPLIB: ...
1180
Stas Busygin
busygin@...
Jun 28, 2000 9:08 pm
Hi Dan! I know your point. If I'll pay attention to counting, I'll let you know. Meanwhile, I tend to disregard boolean techniques now, at least if it's not a...
