アカウント名:
パスワード:
まだ実装か実行が完了してないのか、それとも、もう網羅したのか気になります。１５個しかないと証明されちゃったわけではないということならそのプログラムが完成動作したらどんどん見つかるんですかね。それとも、無限に実行時間がかかるようなアルゴリズムなのでしょうか。
無限に実行時間がかかるなら定義上アルゴリズムではありえないと思いますが。アルゴリズムとは必ず停止することが保証された手続きです。
じゃあ、円周率を計算するロジックはアルゴリズムじゃなくてなんて言うんですかね
ソースは 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 に対して定義できるっていえばご満足かしら?)
平面充填五角形が有限個であることが証明されていないのなら、nが無限大のときに「停止しないかもしれない」アルゴリズムは存在し得るでしょう。
> アルゴリズムは最終的に必ず停止しなければならないとする定義もある。
そのwikipediaさんに「も」って書いてあるじゃねーか。
それこそ[要出典]以外の何物でもない。
> nが無限大のときに
チューリングマシンの空でない入力テープは有限でなければならないから、無限大というのは有効な入力ではないよ。無限に使う可能性があるのはあくまでも作業領域。無限の長さの入力テープが許されるなら、その計算能力は神託機械と同値になる(無限の入力を神託として使える)。
＞神託機械
Exadataが頭によぎるのでホントあの会社やめて欲しい。
> (計算量の上界を n に対して定義できるっていえばご満足かしら?)
それを言わなければ満足できたんだけど。再帰的だが原始再帰的でない関数の出力を計算するアルゴリズムは存在する(必ず有限時間で停止する手続きを書ける)が、具体的にいつ停止するか予想することはできない(計算量の上界が存在しない)。証明を一言でいうと、もし予想ができたら、それをもとに停止問題が解けてしまう。
いや上界は定義できる。計算不可能なだけで。計算量の上界はBB(n)以下だが、BB(n)は計算不可能というだけ。
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
犯人は巨人ファンでA型で眼鏡をかけている -- あるハッカー
すべての平面充填五角形を特定できるというアルゴリズム (スコア:2)
まだ実装か実行が完了してないのか、それとも、もう網羅したのか気になります。
１５個しかないと証明されちゃったわけではないということなら
そのプログラムが完成動作したらどんどん見つかるんですかね。
それとも、無限に実行時間がかかるようなアルゴリズムなのでしょうか。
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 で止めれば停止するとか、そういう条件があればアルゴリズムですよね。
(計算量の上界を n に対して定義できるっていえばご満足かしら?)
平面充填五角形が有限個であることが証明されていないのなら、nが無限大のときに「停止しないかもしれない」
アルゴリズムは存在し得るでしょう。
Re: (スコア:0)
> アルゴリズムは最終的に必ず停止しなければならないとする定義もある。
そのwikipediaさんに「も」って書いてあるじゃねーか。
Re: (スコア:0)
それこそ[要出典]以外の何物でもない。
Re: (スコア:0)
> nが無限大のときに
チューリングマシンの空でない入力テープは有限でなければならないから、無限大というのは有効な入力ではないよ。無限に使う可能性があるのはあくまでも作業領域。無限の長さの入力テープが許されるなら、その計算能力は神託機械と同値になる(無限の入力を神託として使える)。
Re:すべての平面充填五角形を特定できるというアルゴリズム (スコア:1)
＞神託機械
Exadataが頭によぎるのでホントあの会社やめて欲しい。
Re: (スコア:0)
> (計算量の上界を n に対して定義できるっていえばご満足かしら?)
それを言わなければ満足できたんだけど。再帰的だが原始再帰的でない関数の出力を計算するアルゴリズムは存在する(必ず有限時間で停止する手続きを書ける)が、具体的にいつ停止するか予想することはできない(計算量の上界が存在しない)。
証明を一言でいうと、もし予想ができたら、それをもとに停止問題が解けてしまう。
Re: (スコア:0)
いや上界は定義できる。計算不可能なだけで。計算量の上界はBB(n)以下だが、BB(n)は計算不可能というだけ。