アカウント名:
パスワード:
まだ実装か実行が完了してないのか、それとも、もう網羅したのか気になります。15個しかないと証明されちゃったわけではないということならそのプログラムが完成動作したらどんどん見つかるんですかね。それとも、無限に実行時間がかかるようなアルゴリズムなのでしょうか。
無限に実行時間がかかるなら定義上アルゴリズムではありえないと思いますが。アルゴリズムとは必ず停止することが保証された手続きです。
じゃあ、円周率を計算するロジックはアルゴリズムじゃなくてなんて言うんですかね
ソースは Wikipedia(笑) https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%AB%E3%82%B4%E3%83%AA%E3%... [wikipedia.org] だけれども、クヌースに従うなら「computational method」らしい。
(さて、ここでアルゴリズムが停止するかどうかを判定しなければならないのだが、判定する前にはアルゴリズムとは呼べないという問題が...)
円周率の計算を n桁目で止めるなら手続きが停止する、とか、"i-block transitive tilings" の列挙(i = 2, 3, ...)をn で止めれば停止するとか、そういう条
> nが無限大のときに
チューリングマシンの空でない入力テープは有限でなければならないから、無限大というのは有効な入力ではないよ。無限に使う可能性があるのはあくまでも作業領域。無限の長さの入力テープが許されるなら、その計算能力は神託機械と同値になる(無限の入力を神託として使える)。
>神託機械
Exadataが頭によぎるのでホントあの会社やめて欲しい。
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
目玉の数さえ十分あれば、どんなバグも深刻ではない -- Eric Raymond
すべての平面充填五角形を特定できるというアルゴリズム (スコア:2)
まだ実装か実行が完了してないのか、それとも、もう網羅したのか気になります。
15個しかないと証明されちゃったわけではないということなら
そのプログラムが完成動作したらどんどん見つかるんですかね。
それとも、無限に実行時間がかかるようなアルゴリズムなのでしょうか。
Re: (スコア:0)
無限に実行時間がかかるなら定義上アルゴリズムではありえないと思いますが。アルゴリズムとは必ず停止することが保証された手続きです。
Re: (スコア:0)
じゃあ、円周率を計算するロジックはアルゴリズムじゃなくてなんて言うんですかね
Re: (スコア:1)
ソースは Wikipedia(笑)
https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%AB%E3%82%B4%E3%83%AA%E3%... [wikipedia.org]
だけれども、クヌースに従うなら「computational method」らしい。
(さて、ここでアルゴリズムが停止するかどうかを判定しなければならないのだが、判定する前にはアルゴリズムとは呼べないという問題が...)
円周率の計算を n桁目で止めるなら手続きが停止する、とか、"i-block transitive tilings" の列挙(i = 2, 3, ...)を
n で止めれば停止するとか、そういう条
Re:すべての平面充填五角形を特定できるというアルゴリズム (スコア:0)
> nが無限大のときに
チューリングマシンの空でない入力テープは有限でなければならないから、無限大というのは有効な入力ではないよ。無限に使う可能性があるのはあくまでも作業領域。無限の長さの入力テープが許されるなら、その計算能力は神託機械と同値になる(無限の入力を神託として使える)。
Re:すべての平面充填五角形を特定できるというアルゴリズム (スコア:1)
>神託機械
Exadataが頭によぎるのでホントあの会社やめて欲しい。