2010-08-09 2 views
0

가능한 중복 : 절대적으로 엄청난 될
Programming Logic: Finding the smallest equation to a large number.Aleph-Null 세트의 임의의 숫자를 계산 가능한 가장 작은 숫자로 변환하는 알고리즘이 있습니까?

나는 알레프 - 널 세트에서 임의의 수 (모든 양의 정수)를 취할 것 알고리즘을 찾고 있어요 (가능성) 계산 가능한 숫자가 표현하려고하는 정수 값보다 적은 공간을 차지한다면 (특히 부동 소수점이 아닌) 계산 가능한 숫자로 단순화하려고 시도합니다. tetration/hyperoperators가 가장 적합 할 것입니다.

이와 비슷한 것이 있는지 누가 알 수 있습니까? 나는 오늘 아침에 꽤 많이 둘러 보았지만 아무 것도 찾을 수 없었다. C# 코드는 최적의 것이지만, 정말, 어떤 언어가 될 수

편집 : Programming Logic: Finding the smallest equation to a large number : http://mrob.com/pub/ries/index.html 유망 보이지만, 나는 그것이 큰 숫자를 처리하는 방법도 궁금하고 hyperoperators을 구현할 수 있다면. 나는 그것을 밖으로 시도 할 것이다. 합니다 (계산 가능한 수는 대표하려고하는 정수 값보다 적은 공간을 차지하는 경우) 에

+6

그래서 임의로 커질 수있는 무언가를 취하고이를 유한 크기로 가역적으로 압축하려고합니까? 그것은 pidgeonhole 원칙에 의해 불가능합니다. (덧붙여서 "Aleph-Null 세트"대신에 "자연수"또는 심지어 "양의 정수"를 쓰는 것이 사람들을 놀라게 할 가능성이 적습니다.) – Thomas

+0

"임의의 숫자를 취할 것"이란 무엇을 의미합니까? 사용자 (파일 또는 사용자)로부터의 입력이나 다른 방법으로 생각하십니까? –

+4

중복 된 http://stackoverflow.com/questions/3409363. 간단히 말해서, 이것은 숫자의 Kolmogorov 복잡도라고하며 결정 불가능합니다. 또한 http://stackoverflow.com/questions/1539286/ – sdcvvc

답변

1

(모든 양의 정수) 및 시도가 계산 가능한 수 로 단순화 (특히 부동하지 점) . tetration/hyperoperators를 포함하면 이 최적입니다.

예, 다시 아니요.

먼저 실제 컴퓨터에서 "모든 양의 정수"로부터 입력을 가져올 수 없습니다. 기껏해야, 표 현 길이가 하드 드라이브의 크기 인 정수를 가질 수 있습니다.

입력 내용이 물리적으로 I = [0, MAX] 집합으로 제한됩니다. 여기서 MAX는 물리적 상수입니다. 축하해,이 문제는 해결할 수.

당신은 정보 이론적 인 관점에서 이것을 고려할 수 있습니다. 각 구성원은 가능하고 표현 가능합니다. 압축성은 표현을 고려할 때 나타납니다. 각 표현이 고유하면 목표는 each i in I을 숫자 i의 엔트로피에 가장 가까운 표현으로 줄이는 것입니다.

또는 중복을 제거하면 다시 압축됩니다. 표현에 중복성이 있으면 압축 할 수 있습니다.

아마도 도메인 지식 일 것입니다. 고도로 압축 된 형식으로 숫자를 생성하는 수식을 작성할 수 있습니다. 하지만 그 숫자를 얻는 방법에있어서 특정 규칙 성에 의존하기 때문에 더 이상 자의식이 아닙니다.

+0

글쎄요, 이것은 이론적으로는 광산에 대한 이론적 인 조사입니다. 이론적으로 어떤 수에 대해서도 방정식을 생성 할 수있는 알고리즘을 찾고 싶습니다. 사실, 하드웨어에 의해 제한됩니다. 저는 압축을위한 규칙성에 의존하는 압축 알고리즘을 찾고 있지 않습니다. 숫자를 재생산하기 위해 해석 할 수있는 방정식을 생성하는 알고리즘을 찾고 있습니다. 가정은 그 숫자가 규칙 성을 갖지 않는다는 것입니다. –

+0

@Nich : 규칙 성 없음 -> 압축 없음 (평균). –

+0

@Nich : Information theory *는 압축에 적용되지만 더 광범위합니다. 당신은 명확한 계산을 할 수없는 임의의 문자열에 대한 Kolmogorov Complexity의 계산 영역에있는 것을 요구하고 있습니다. 임의의 정수의 엔트로피를 다른 표현으로 조사하는 데 시간을 할애해야합니다. 그러면 숫자에 대한 표현력을 최소화 할 수있는 합리적인 개념이 생깁니다. –