![]() | |
![]() |
| | Thread Tools | Display Modes |
#21
| |||
| |||
|
|
The proof is trivial. 20 decimal digits have 10^20 distinct values. 64 binary digits have 2^64 distinct values. 10^20 > 2^64 > 10^19 |
#22
| |||
| |||
|
|
On Apr 9, 2:18 pm, Bob Badour <bbad... (AT) pei (DOT) sympatico.ca> wrote: The proof is trivial. 20 decimal digits have 10^20 distinct values. 64 binary digits have 2^64 distinct values. 10^20 > 2^64 > 10^19 Sorry Bob, I havenÂīt expressed myself right. The proof that no *binary conversion* algorithm will ever do is trivial. My question is really theoretical, how can I demonstrate from a given set of accepted axioms, that no other algorithm(excluding binary conversion) will ever do it. Stuff like "convert and compress, compress by xamanic enlightenment, compression by reiki" or anything else. My understanding is that a proof on the subset of all binary conversion algorithms mathematically doesnÂīt transfer to the super set of all algorithms.Even though I intuitively know thatÂīs true. But I understand this is way of topic, so I am off to comp.theory. Regards and thanks again, Rafael |
#23
| |||
| |||
|
|
On Apr 9, 12:44*pm, paul c <toledobythe... (AT) oohay (DOT) ac> wrote: Open up your calculator and look at the result of 2 to the power of 63. * I get 9,223,372,036,854,775,808. *Only nineteen digits. Yes, it proves pure binary conversion wonīt do it(2^64=18446744073709551616) the 18% Sampo talked about. But it doesnīt prove(demonstrates truth from a fixed set of given axioms) that no other algorithms will ever do it(although it serves as strong evidence for that). But thatīs the mathematician in me going off topic, I might debate that on alt.math or else. Thanks anyway, |
|
Y| >= |X| ie the cardinality of Y is greater than or equal to the cardinality of X if-and-only-if there exists an |
|
D| = 10^20 B| = 2^64 |
#24
| |||
| |||
|
|
You might also want to google the "pigeon hole principle" for some interesting related discussions. |
#25
| |||
| |||
|
|
Unless my trusty old TI-86 is losing precision in embarrassing places, I should also add that 64 bits doesn't quite suffice for 20 decimal digits; it has 18 per cent or so of the total range, so you'd have to go with 19 digits or three extra bits. |
#26
| |||
| |||
|
|
Any proof of that, or is it just another hypothesis ? My intuition tells me this is true, but I would like to see a proof of that. |
#27
| |||
| |||
|
|
On Apr 9, 5:21*pm, Keith H Duggar <dug... (AT) alum (DOT) mit.edu> wrote: You might also want to google the "pigeon hole principle" for some interesting related discussions. Hi Keith, I just read about it, and I am honored to have an answer from a MIT student. The insight I had was this(probably someone has refuted it already, but itīs still in my mind). Itīs possible to compress, using from the 256 possibilities of a byte 255 for values and one for concatenation. Assuming the concatenation byte as 11111111 10101101011110001110101111000101101011000110000111 11111111111111111 becomes 10101101011110001110101111000101101011000110000(11 111111)(meaning +)10100(20 in binary)*(assuming anything that comes after the byte of frequency is the repeated digit)1. Of course, that would require making numbers without the byte of 11111111 which would result in a new way for representing binary numbers.But in this method, I donīt see any problems. It would also mean repetition is frequent enough in this universe, which I am not sure. It would also mean that the frequency is high enough so all 20 digits numbers could be placed there. Which seems very unlikely, so I accept it as proved based on the unlikeliness of it all. But getting back to earth, I guess databases just use 9 bytes for the last 82% of the numbers that eventually need to be stored. Thanks, |
#28
| |||
| |||
|
|
No possible compression could work if you have N possible input values, but only M possible output values, with M < N. *This is obvious just by thinking about reversing the compression: with at most M distinct values in the compressed space, you can have at most M uncompressed values, meaning that some values from the original N can't be represented. |
![]() |
| Thread Tools | |
| Display Modes | |
| |