Forums › English Language Forums › Off-Topic › Gremlin Chatter

Search

I'm offering 100,000 CE to anyone who can PROVE or provide a counter example to the Collatz Conjecture.

34 replies [Last post]
Fri, 07/05/2013 - 07:22
Crossproduct

I'm offering 100,000 CE to anyone who can PROVE or provide a counter example to the Collatz Conjecture.

Take any natural number n. If n is even, divide it by 2 to get n / 2. If n is odd, multiply it by 3 and add 1 to obtain 3n + 1. Repeat the process indefinitely. The conjecture is that no matter what number you start with, you shall always eventually reach 1

http://en.wikipedia.org/wiki/Collatz_conjecture

So can you do it?

Fri, 07/05/2013 - 09:04
#1
Narfle's picture
Narfle

Well, if you accept 0 as a natural number, then the Collatz Conjecture doesn't work because 0 divided by 2 is still 0. Can haz 100k ce, plox? ;)

Fri, 07/05/2013 - 09:51
#2
Narfle's picture
Narfle
ellaboration

I'm not in any way connected to mathematics as a field, but it seems there is some debate as to whether or not 0 is included among the natural numbers, and that leaves the door open to its use as a counter example since 0 is even. Flaw in how natural numbers are defined rather than in the Collatz Conjecture, but I didn't find anything that limited the conjecture to "a-natural-number-as-long-as-we're-defining-natural-numbers-as-not-including-0." At any rate, interesting problem.

[EDIT: And I guess alternatively, if there were a way to prove 0 as an odd number (I have no idea if such a proof might exist as I again am not a mathematician), if you are including 0 as a natural number it would be another example of the conjecture being true since 0 x 3 +1 = 1. Neat!]

Fri, 07/05/2013 - 13:45
#3
Crossproduct
If mathematicians suddenly

If mathematicians suddenly turned an about face on centuries of standardization and declared 0 a natural number then this problem would simply be restated with "positive integer" instead of "natural number". Sorry :) .

Fri, 07/05/2013 - 13:50
#4
Redlawlsy's picture
Redlawlsy
Lawls

Woah... Smart person thread... My brain is about to explode.

Fri, 07/05/2013 - 14:42
#5
The-Mighty-Potato's picture
The-Mighty-Potato
Wow, why do much ce? :P

How I feel about not being able to answer the question.

(Only video I could find).

http://www.youtube.com/watch?v=GEAdzddDo8E

Fri, 07/05/2013 - 18:09
#6
Lavuntim's picture
Lavuntim
MAN

Dude I am raging soooooooooooo much!,!,!,!,!,!,,,,,!,!,,,,,,,!!!!!!!!!

I did the number 1245 and it took a zillion calculations to do and I ended up with 0 RAGEEEE

BTW it is impossible to find a counter because of this:

Example:

1--> trivial solution

2-->2/2=1-->(collatz conjectue satisfied)

3-->33+1=10-->10/2-->53+1-->16=2^4-->(collatz conjectue satisfied)

4-->2^2-->(collatz conjectue satisfied)

5-->5*3+1=16=2^4---->(collatz conjectue satisfied)

6-->3(since collatz conjectyre is true for 3 it is true for 6 as well)

7-->22-->11-->34-->17-->52-->26-->13-->40-->20-->10-->5 which is satisifying collatz conjecture -->(collatz conjectue satisfied)

8-->2^3-->(collatz conjectue satisfied)

9-->28-->14-->7 which is satisifying collatz conjecture -->(collatz conjectue satisfied)

10-->we arlready encountered 0 in the above simplifications(SO satisfies Collatz conjecture)

SO every number can be ultimately reduced to the form 2^k using the collatz conjecture function and thus the loop definitely terminates

Can ize have tha 100k ce plox? Since I went to the trouble to calculate the number 1245... :|

My IGN is Xfight

Fri, 07/05/2013 - 19:47
#7
Usevnsevnsixfivfor's picture
Usevnsevnsixfivfor
@Xfight

If someone in the planet has enough time to find a counter example then that person deserves that much CE. That's why Crossproduct isn't giving away free CE. Anyways, I don't know a counter example.

Fri, 07/05/2013 - 20:12
#8
Thowardz's picture
Thowardz
Screw this! ARRRRRRRRRRRGH!!! MY BRAIN!!!

Such a hard question!!! I don't have time for this....

Sat, 07/06/2013 - 04:44
#9
Crossproduct
@Xfight

Xfight, you've shown that 1 through 10 and 1245 converge, however you have to show the sequence converges for all natural numbers. One way you can prove a problem like this is by induction, assume starting with a number n it converges, and then show that (n+1) converges.

Sat, 07/06/2013 - 10:21
#10
Akdetroit
narfle

@narfle , some mathematicians barely recognize 0 as a real number, because technically it is just a value we use to signify abscence of quantifyable matter.

Sun, 07/07/2013 - 01:00
#11
Crossproduct
some mathematicians barely

some mathematicians barely recognize 0 as a real number, because technically it is just a value we use to signify abscence of quantifyable matter.

Every mathematician in nearly a millennium has recognized 0 as a number, also as a REAL number.

Tue, 07/09/2013 - 07:03
#12
Thowardz's picture
Thowardz
(Bump)

I want to know the answer....
Is it really possible?

Wed, 07/10/2013 - 18:54
#13
Crossproduct
@Thowardz

The answer is we don't know if it's possible to prove, or to disprove it, it's an open problem. This problem is simple enough that potentially anyone can solve it, yet no one has.

Thu, 07/11/2013 - 15:05
#14
Popoixd's picture
Popoixd
This problem is simple enough

This problem is simple enough that potentially anyone can solve it, yet no one has.
Anyone can solve it but no one has.
I tried to READ the wiki page.
My brain exploded.
I tried to read this thread.
My brain exploded.

Mon, 07/22/2013 - 23:42
#15
Coalitu's picture
Coalitu
69

What do you mean by counter example and prove you have the ce( you just look like a troll...)

Tue, 07/23/2013 - 07:22
#16
Curious-Mewkat's picture
Curious-Mewkat

For the Conjecture to be wrong, n must be equal to (3n+1)/2^k for k is the number of times (3n+1) needs to be divided by 2 to reach n. n must also be a prime number.

By reconstructing the equation, n = 1/(3-2^k). The only natural number this equation could derive is n=2, for all natural values of k. This is however a flaw, because n=2 is not an odd number, thus it could not follow the equation, and can be immediately divided by 2.

To prove why 0 does not work, plot a graph of n = 1/(3-2^k). The graph will never touch n=0 as k lim-> infinite. Anyway 0 is not a natural number.

At least I disprove that the Conjecture will not work for all values.

Wed, 07/24/2013 - 12:07
#17
Crossproduct
What do you mean by counter

What do you mean by counter example and prove you have the ce( you just look like a troll...)

Here's your proof: http://cloud.steampowered.com/ugc/577869710575572816/C6F1E5C35EF84D1EF30...

A counter example in this case would be a number n, such that when going through the process you do not reach 1. A way this might happen is if while going through this process you come back to the same number and thus have found a loop. Say n1->n2->n3->n4->n1. That would be a successful counter example. The loop may be really long. Another possible counter example is if starting at a number n, the chain keeps growing, larger and larger and approaches infinity.

@Curious Mewkat
Wanted to point out that if n=(3n+1)/2^k, then solving for n yields n=1/(2^k-3).

Fri, 05/29/2015 - 13:11
#18
Gigawattx's picture
Gigawattx
I know this is an old thread, but...

Going off of what Curious-Mewkat said, for the given conjecture to be wrong, n must be a number such that:

n=(3n+1)/2^k (in which case we would have a repeating sequence)

and so:

n=1/((2^k)-3)

the only value of k that produces a natural number for n is k=2, which yields n=1(a trivial solution). Therefore, the conjecture must be true.

Fri, 05/29/2015 - 13:20
#19
Matikclocker's picture
Matikclocker
Ouch. This shall hurt.

1. THREAD NECROED!
2. You blew up my Clock Drive.
3. What are yo-
MALFUNCTION!
SYSTEM DRIVE DAMAGED.
IF THIS HAPPENS FIRST TIME...
WAIT FOR SYSTEM RESTART.
IF YOU EXPECTED THIS SITUATION...
SELF-DESTRUCT MATIKCLOCKER AND RESPAWN HIM.
CLOSING MATIKCLOCKER...

Fri, 05/29/2015 - 13:26
#20
Gbot-Vtwo's picture
Gbot-Vtwo
☢♜☠I AM THE BOI-OHAZARD!☠♖☣

Matikclocker is dead. Oopsies

Fri, 05/29/2015 - 15:21
#21
Deleted-Knight's picture
Deleted-Knight
Interesting Necro

I've actually put in a considerable amount of time trying to prove it back in High School. The discussion here isn't even scratching the surface (no offense). The are professional mathematicians who have made a lot more progress. People who are interested in proving it should do some research first*.
The generalized version (over all real numbers) has been proven to be undecideable. The tricky part about the original conjecture is that everything occurs in integer-land. We don't have as many mathematical tools for analyzing the behavior of integer-mapping algorithms.

*For example, all cycles that contain x odd iterations, where x is smaller than some number (forgot specific value) have been proven to not exist. That's not even close to the proof though. To prove it, you have to prove no cycle of any finite length exists AND the values do not increase indefinitely.

Sun, 05/31/2015 - 18:30
#22
Gigawattx's picture
Gigawattx
Sorry guys

I apologize for the necro...I saw the 100k CE reward and I figured I might throw out a response as a gimme :P. I'm not an expert on formal mathematical proofs, but I did notice something that I thought was pretty pertinent: the algorithm will cause your number to decrease and increase until you hit a power of 2, at which point it is halved until it reaches 1. So wouldn't you just need to show that your starting number n after some number p iterations will become a power of 2? Or, put another way ((3n+1)^b)/(2^k)=2^x, where b+k=p (your number of iterations)? In fact, I may try and whip up a python implementation that gets the corresponding powers of 2 for each n in a finite integer set and set if there's a pattern.

Sun, 05/31/2015 - 18:24
#23
Gbot-Vtwo's picture
Gbot-Vtwo
☢♜☠I AM THE BOI-OHAZARD!☠♖☣

It is ok, Giga. This was not a bad necro. :)

Sun, 05/31/2015 - 18:28
#24
Gigawattx's picture
Gigawattx
@Gbot-Vtwo

Thanks for the reassurance, lol xD. Heck, who wouldn't wanna cash in on this thing(even if it is a hopeless endeavor)!?

Sun, 05/31/2015 - 19:47
#25
Gbot-Vtwo's picture
Gbot-Vtwo
☢♜☠I AM THE BOI-OHAZARD!☠♖☣

A person who doesn't play the game? lol.

now here is a quote from cleverbot.

"You're a [kid-lover]."- Gbot
"Thanks for noticing!"- Cleverbot.

Mon, 06/01/2015 - 07:35
#26
Gigawattx's picture
Gigawattx
You don't play?

Perhaps a person who doesn't play wouldn't be interested, but perhaps they may become so. Suppose that some person(who doesn't play but lurks on the forms for whatever reason) solves this and is able to claim the CE. If they did a little googling, they'd probably come to understand that 100k CE is A LOT of in-game currency, and may, as a result of their findings, decide to give Spiral knights a try. Of course, it could be that the person remains disinterested even after such a search, which is why I left both possibilities open xD. If it was you that you were referring to specifically, may I ask why you don't play yet decide to remain on the forums?

Mon, 06/01/2015 - 09:53
#27
Matikclocker's picture
Matikclocker
Collatz Conjecture? Maybe Collapse Conjure?

I don't know how to conjure collapses, but this topic collapsed my drive.
Now I'm respawned. But 100000 crowns is a big deal... 1000 energy for this amount.

Mon, 06/01/2015 - 15:32
#28
Mechathglxclone's picture
Mechathglxclone
☢♜☠I AM THE BOI-OHAZARD!☠♖☣

Sorry. i meant to edit post, not make a new one. >:(

Mon, 06/01/2015 - 15:32
#29
Mechathglxclone's picture
Mechathglxclone
☢♜☠I AM THE BOI-OHAZARD!☠♖☣

"why you don't play yet decide to remain on the forums?" because Crazee Pi is here. If i had a youtube account i would be there all the time. This place is the only place i can talk to Pi. Otherwise i wouldn't even be here. He is one of my only friends other than Red-Galaxy.

Mon, 06/01/2015 - 16:01
#30
Hershey-Kiss's picture
Hershey-Kiss
the number is 719346205

the number is 719346205

Mon, 06/01/2015 - 16:02
#31
Hershey-Kiss's picture
Hershey-Kiss
im jk xD

im jk xD

Mon, 06/01/2015 - 16:36
#32
Deleted-Knight's picture
Deleted-Knight

Gigawattx,
I think you are misinterpreting the problem. The trajectories are not modeled by ((3n+1)^b)/(2^k).
n -> 3n+1 -> (3n+1)/2 -> (3n+1)/4 OR 3(3n+1)/2 + 1)/2 = (9n + 5)/4
Notice that (3n+1)^2 = 9n^2 + 6n + 1, which is not the same as 9n+5

You are correct in saying that proving it goes to a power of 2 would prove it goes to 1. That doesn't help though. Because you end up with this:
((3n+1)/2^(x1))3 + 1)/2^(x2))3 + 1)/2^(x3))3 + 1)/2^(x4))3 + 1)/2^(x5))... = 2^m

Like I said before, seriously do some research before you attempt anything. It will save you from wasting a good portion of your life. The problem is addictive, but very, very hard.

PS: If you do manage to prove it, 100,000 energy is worthless compared to what you would receive from the global mathematics community.

Mon, 06/01/2015 - 16:46
#33
Mechathglxclone's picture
Mechathglxclone
☢♜☠I AM THE BOI-OHAZARD!☠♖☣

^ That is so true. Just so true It makes me cry.

Wed, 06/03/2015 - 12:07
#34
Gigawattx's picture
Gigawattx
@deleted-Knight & @Mechathglxclone

@deleted-Knight
Sorry, that was my mistake. I didn't mean to the power of, I meant it as a counting number for each iteration the new n is odd(i'm talking about the ^b). I sort of mindlessly did that, since 2^k is the proper behavior for k iterations where n is even. Essentially, the way you wrote out that series is the way I intended it to be. For each odd n, n-->3n+1 and divide it by 2 x(1,2,3...) times until the next odd. Are there more profitable sources to look at other than wikipedia?

@Mechathglxclone
Who is Crazee Pi?

Powered by Drupal, an open source content management system