Thank you, Dublin! Thank you Dublin and Athlone for using ad-free Google search from http://meami.org/ Thanks, M. Musatov ... 24 Apr 2010 20:32 uncountable set maps 1 to 1 to a countable set Trying to understand the countable set and uncountable in context of Turing machine. To me it looks like powerset of some countable set like set of strings is countable. Am I missing something? Here goes my understanding. Let us say S1 is set of all strings over alphabet {a,b,c}. So S1 will be something ... 24 Apr 2010 23:49 The decision time is bounded by a polynomial in |x| and k.QED Since no example is known of a problem which is stronglysimple and not p-simple no application of theorem 4 can be provided which is different from the application given at the end of theorem 3. As a conclusion of this paragraph we may observe thatthe results provided insofar have a twofold implication. Qn one side... 20 Apr 2010 16:01 CRYPT32.DLL _CryptVerifyCertificateSignatureEx@32 _CryptMsgVerifyCountersignatureEncodedEx@40 _CryptEncodeObject@20 _CryptDecodeObject@28 _CryptEncodeObjectEx@28 _CryptDecodeObjectEx@32 _CryptFormatObject@36 _CryptQueryObject@44 _CryptInitOIDFunct CRYPT32.DLL _CryptVerifyCertificateSignatureEx(a)32 _CryptMsgVerifyCountersignatureEncodedEx(a)40 _CryptEncodeObject(a)20 _CryptDecodeObject(a)28 _CryptEncodeObjectEx(a)28 _CryptDecodeObjectEx(a)32 _CryptFormatObject(a)36 _CryptQueryObject(a)44 _CryptInitOIDFunctionSet@8 _CryptInstallOIDFunctionAddress(a)24 _CryptGetOIDFuncti... 18 Apr 2010 20:50 Solve SAT By Hand Hi, I wrote an applet, with wich you can solve a SaT instance by hand. It is based on multiplication, and maybe you can find a sequence of multiplications, where the maximum number of minterms becomes minimal. http://tokis-edv-service.de/index.php/beispiele/solving-sat-by-hand Best Regards Thorsten ... 18 Apr 2010 09:44 Hey Adamk and Bacle, I found your mom's C-HOLE! (I be here all ze week...!) (C hole. (v [...] C e[ ...]) (C p e). (n p C) [...] (reduction- relation. js0. (--> (P (v_first v_other [...] v_last) H S). (P (v_last) H S) [...] --mmm ... 17 Apr 2010 19:39 (C hole. (v [...] C e[ ...]) (C p e). (n p C) [...] (reduction-relation. js0. (--> (P (v_first v_other [...] v_last) H S). (P (v_last) H S) [...] On Apr 15, 11:58 am, Chip Eastham wrote: On Apr 15, 12:14 pm, Pubkeybreaker wrote: On Apr 15, 11:43 am, Michael Hennebry wrote: On Apr 15, 10:20 am, recoder wrote: On Apr 15... 17 Apr 2010 19:39 What book is this? The course description at http://cca-net.de/vasco/ct/ has a really nice-looking syllabus. And I especially like the section underneath that labelled Contents. It does appear to be a table of contents, but of what book, exactly? Anybody identify it? Thanks, -- John Forkosh ( mailto: j(a)f.com where j=john an... 17 Apr 2010 14:06 Results 1 - 10 for IF the program outputs a complete math proof AND each step of the proof is legal AND the conclusion is that S does (or does not) have a subset summing to 0 THEN OUTPUT "yes" (or "no") and HALT . (0 . 27) seconds 14 hours ago - C Results 1 - 10 for IF the program outputs a complete math proof AND each step of the proof is legal AND the conclusion is that S does (or does not) have a subset summing to 0 THEN OUTPUT "yes" (or "no") and HALT .. (0 .. 27) seconds 14 hours ago - Cheap Talk - If he does not know the state, the receiver makes a... 17 Apr 2010 02:07 Anticon .co |\ / |/ \ n.___.i | | a._|__.t ... 16 Apr 2010 11:41