Hi all. I've taken a pretty long hiatus from the group, but I hope to be back on a semi-regular basis again as I'll be heading back to school again in...
Hi Mike, Glad to see you back! In the text below: ... do you mean something along the following lines: You have a function convert that given integers n and b...
Hi, I would like to understand why is the recognition problem for chordal graphs in co-SL (complement of symmetric logspace). In [1] , the author argues that...
Hi Piotr! For your example, I'd have to say no--it is not representative of what I was poorly explaining. ... One place I used this technique was in a class...
Hi Nimish. I realize you wrote this way back in July. But while I'm reading up on the subject a bit, I was wondering (if you still watch this group), what the...
... chordal ... chordal ... ST ... of ... vertices s ... reduction. ... (2) ... Hello, hope the following helps. Consider the given characterization of chordal...
qfish status report code shaking progress is good the exe is down to 86k and the space usage on many samples is way down, as is the time usage code is way way...
Hi Mike A i have a good satisfier program greedy two clause generation performs well posted model to an "unsatisfiable" 2006 benchmark posted a crufty version...
Hi Daniel. I'm still not sure what the relevance of you being "notarrested" (I'm not even sure what is meant by that term), but as long as what you post to the...
dear mike 3) is not too big hillberg is a cleaned up version of qfish (125k program for converting conjunctive normal form boolean expressions into series of...
hillberg is partially named after hilbert, congress, and the thing the titanic ran into. am trying unsuccessfully to find a library computer with a working...
... ...which contains zero negations?! This would be a great achievement, Dan! Have you considered read-once or read-k-times programs (formulae), they also...
hi klaus aside from reading the input cnf file, theres only one serious minus used in the entire program, having to do with unstack the global data structure ...
... Hi Daniel. I double-checked our file settings and according to them you should be able to upload your file. Maybe a bad network connection? It may be...
Hello all, I have a question. Consider a probabilistic algorithm A deciding a language with one-sided error (if it says NO, it's definitely right, but YES...
thank you mike hillberg5.cpp was successfully uploaded today the program is located in the cnfto2cnfs\hillberg\hillberg5.cpp the goal is complete verification...
thanks for the theory list as a posting place. at least its a shot at educating some people. ( nasal whine: why does it always feel like no one else in america...
Hi Dan & all, David Patterson recently suggested to enhance compilers by autotuners, whose "[search] space of optimization alternatives is large". This looks...
...who's tired of seeing "investment tips" in a computer science theory group? And of course, there's the "I earned a CS degree without EVER attending a single...
... theory ... No, you aren't. ... attending ... LEARN ... that ... dogshit. You're talking to a zombie; these kind of messages are not only sent by non-living...
Hi Dan, what clause types and what formula structure do you generate for factorizations? I'd be interested in your generator, is it possible you upload the...
Hi all. No you're not alone Keith. I just banned 5 of them. What Yahoo needs is a system where I can select a certain user as a spammer-- like "sugarjulia"...
Dear Friends, If possible, go, please, to my page http://www.andrebarbosa.eti.br/P_different_NP_Proof_Eng.htm and send me remarks. The beginning of the proof...
Hi all. I wanted to get some feedback about whether the Computer Science Theory group should adopt a 'first-post moderation' system? In this system, a new...
Having problems with message search?
Fill out this form to ensure your group is one of the first to be migrated to the new message search system.
