mersenneforum.org  

Go Back   mersenneforum.org > Extra Stuff > Miscellaneous Math

Reply
 
Thread Tools
Old 2019-08-09, 18:55   #12
pinhodecarlos
 
pinhodecarlos's Avatar
 
"Carlos Pinho"
Oct 2011
Milton Keynes, UK

3·1,549 Posts
Default

Go to the computer stats and try to find one available with processed wus. Click on that wu to see its details. For example: https://boinc.thesonntags.com/collat...ultid=40998456
pinhodecarlos is online now   Reply With Quote
Old 2019-08-10, 05:00   #13
LaurV
Romulan Interpreter
 
LaurV's Avatar
 
Jun 2011
Thailand

22×17×127 Posts
Default

Down for maintenance :)
LaurV is offline   Reply With Quote
Old 2019-08-10, 07:20   #14
pinhodecarlos
 
pinhodecarlos's Avatar
 
"Carlos Pinho"
Oct 2011
Milton Keynes, UK

122716 Posts
Default

Code:
<core_client_version>7.9.3</core_client_version>
<![CDATA[
<stderr_txt>
Collatz Conjecture Sieve 1.40 Linux x86_64 for OpenCL
Written by Slicker (Jon Sonntag) of team SETI.USA
Based on the AMD Brook+ kernels by Gipsel of team Planet 3DNow!
Sieve code and OpenCL optimization provided by Sosiris of team BOINC@Taiwan
kernels_per_reduction=48
threads=7
lut_size=19
sleep=1
reduce_cpu=0
sieve_size=30
Collatz Config Settings:
verbose             1 (yes)
kernels/reduction   48
threads             2^7 (128)
lut_size            19 (4194304 bytes)
sieve_size          2^30 (51085096 bytes)
sleep               1
cache_sieve         1 (yes)
reducecpu           0 (no)
Processor Type      NVIDIA
Max Dimensions      3
Max Work Items      1024 1024 64
Max Work Groups     1024
Max Kernel Threads  1024
Device Vendor       NVIDIA Corporation
Name                TITAN V
Driver Version      418.67
OpenCL Version      OpenCL 1.2 CUDA
Device Vendor       NVIDIA Corporation
Name                TITAN V
Driver Version      418.67
OpenCL Version      OpenCL 1.2 CUDA
actual threads      128
6170811732209765980839 - 1179 steps @ 1.40482
6170811732237683321243 - 1334 steps @ 1.40489
6170811732233929053031 - 1528 steps @ 1.40492
6170811732534651731455 - 1608 steps @ 2.80589
6170811732889754196991 - 1727 steps @ 4.4327
6170811734370780556927 - 1833 steps @ 11.2197
6170811734412937127423 - 1851 steps @ 11.4509
6170811774127834587775 - 1970 steps @ 191.823
Start               6170811732191512363008
Stop                6170811784968070496256
Best                6170811774127834587775
Highest steps       1970
Total steps         396855723221023
CPU time            3.80772 seconds
Elapsed time        00:03:56
19:42:25 (25184): called boinc_finish

</stderr_txt>
]]>
pinhodecarlos is online now   Reply With Quote
Old 2019-08-19, 12:12   #15
dabler
 
dabler's Avatar
 
"David Barina"
Jul 2016
Brno

2116 Posts
Default

To whom it may concern, the situation is now clarified here.
dabler is offline   Reply With Quote
Old 2019-08-21, 17:17   #16
dabler
 
dabler's Avatar
 
"David Barina"
Jul 2016
Brno

418 Posts
Default Computational verification of Collatz problem

Would anyone be willing to implement this verification procedure effectively (in any programming language) and verify it for higher limits? The underlying operation should nicely fit to modern instruction sets (namely the TZCNT in BMI1 set).

Thanks,

David
dabler is offline   Reply With Quote
Old 2019-08-21, 18:03   #17
Uncwilly
6809 > 6502
 
Uncwilly's Avatar
 
"""""""""""""""""""
Aug 2003
101×103 Posts

20FA16 Posts
Default

MOD Note: Three very small threads about the Collatz problem/conjecture have been merged.
Uncwilly is offline   Reply With Quote
Old 2019-08-21, 20:16   #18
Dylan14
 
Dylan14's Avatar
 
"Dylan"
Mar 2017

22·53 Posts
Default

I have written a program in python to implement this procedure: see the attached pdf with the code. I do indeed get the same sequence of n's with this as in the stackexchange post, but the σ's and ε's don't seem to match up. It appears for those in that post you have the values for n+1 (for example, for 27 you have σ = 7, ε = 2 which would yield n = 7*2^2 = 28).
Attached Files
File Type: pdf collatz.pdf (17.7 KB, 22 views)
Dylan14 is online now   Reply With Quote
Old 2019-08-22, 12:59   #19
dabler
 
dabler's Avatar
 
"David Barina"
Jul 2016
Brno

1000012 Posts
Default

Quote:
Originally Posted by Dylan14 View Post
I have written a program in python to implement this procedure: see the attached pdf with the code. I do indeed get the same sequence of n's with this as in the stackexchange post, but the σ's and ε's don't seem to match up. It appears for those in that post you have the values for n+1 (for example, for 27 you have σ = 7, ε = 2 which would yield n = 7*2^2 = 28).
There must be some +- 1 problem. Can you compare your code with my own implementation here? Basically, a single iteration of the do-while loop is the map taking the input (n,e) pair and computing the output (n,e) pair. I use (n, e) rather than (sigma, epsilon), but the meaning is the same.
dabler is offline   Reply With Quote
Old 2019-08-22, 15:16   #20
Dylan14
 
Dylan14's Avatar
 
"Dylan"
Mar 2017

22·53 Posts
Default

I checked my implementation with yours and it appears to be the same as mine. I managed to match your sigma and epsilon values in my python code by simply changing

Code:
decomp(n)
to

Code:
decomp(n+1)
so there was a n off by 1 issue in my code. So then my question is why are you keeping track of those values for n+1?


Also, your C code doesn't work in Windows using mingw64 - I get an assertion failed in line 25 of the code, regardless of the input. That is where you do the 3^n bit.
Dylan14 is online now   Reply With Quote
Old 2019-08-22, 17:22   #21
dabler
 
dabler's Avatar
 
"David Barina"
Jul 2016
Brno

3·11 Posts
Default

Quote:
Originally Posted by Dylan14 View Post
I checked my implementation with yours and it appears to be the same as mine. I managed to match your sigma and epsilon values in my python code by simply changing

Code:
decomp(n)
to

Code:
decomp(n+1)
so there was a n off by 1 issue in my code. So then my question is why are you keeping track of those values for n+1?

The reason is explained here.


Also, your C code doesn't work in Windows using mingw64 - I get an assertion failed in line 25 of the code, regardless of the input. That is where you do the 3^n bit.
Probably the long type on the platform has only 32 bits in size. On 64-bit Linux systems, the long is 64-bit type.
dabler is offline   Reply With Quote
Old 2019-08-26, 13:51   #22
dabler
 
dabler's Avatar
 
"David Barina"
Jul 2016
Brno

3·11 Posts
Default

Greetings,

My current single-threaded implementation gives the throughput about 3.99 × 10^9 128-bit numbers per seconds. Any help is welcome!
dabler is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Collatz 3x+1 problem Cybertronic Miscellaneous Math 4 2019-03-20 08:40
Collatz Conjecture Proof Steve One Miscellaneous Math 21 2018-03-08 08:18
this thread is for a Collatz conjecture again MattcAnderson MattcAnderson 16 2018-02-28 19:58
Collatz conjecture MattcAnderson MattcAnderson 4 2017-03-12 07:39
Related to Collatz conjecture nibble4bits Math 1 2007-08-04 07:09

All times are UTC. The time now is 14:59.

Sat Aug 15 14:59:39 UTC 2020 up 2 days, 11:35, 1 user, load averages: 1.76, 1.86, 1.79

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2020, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.