Atau algoritma umum untuk masalah shutdown mungkin ada.
Tapi, seperti biasa, ada nuansa.
Jika tertarik, saya minta kucing.
Pendahuluan
Pada tahun 1936, Alan Turing membuktikan bahwa tidak ada algoritma umum yang menganalisis algoritma lain dan menunjukkan apakah program akan hang atau tidak.
Saya ingin segera menandai semua e dan menggambarkan istilah yang digunakan oleh saya sehingga tidak ada pengertian.
Program macet - algoritme akan bekerja dalam jumlah tak terbatas waktu, terlepas dari kecepatan eksekusi perintah, dan komputasi paralel. Tidak peduli seberapa besar superkomputer kita, algoritme akan selalu berjalan dalam jumlah waktu yang tak terbatas.
Menjalankan program dalam waktu yang terbatas - algoritma pada mesin apa pun akan menyelesaikan perhitungannya tidak peduli seberapa besar mereka. Misalnya, jika suatu algoritma berjalan 300 juta tahun, ini tidak berarti ia hang, hanya perlu berjalan 300 juta tahun pada sumber daya saat ini dan SELALU berakhir.
Sekarang kamu bisa melanjutkan.
Bukti Turing dapat digambarkan sebagai berikut: ada oracle S (algoritma) tertentu pada input yang deskripsi algoritma N dan input data X disediakan. Program berhenti dan mengembalikan 1 jika algoritma N tidak berhenti, menerima X pada input.
Program tidak berhenti sebaliknya, jika algoritma N berhenti setelah menerima input X. Jika kita memasukkan deskripsi diri kita ke oracle kita, akan ada kontradiksi dan algoritma akan kontradiksi dengan sendirinya. Detailnya dapat ditemukan di
wiki .
Oracle ada tetapi dia membutuhkan saudara
Anda tidak bingung oleh fakta bahwa oracle harus membeku jika algoritma yang dianalisa berhenti, saya langsung bingung dengan fakta ini, jadi untuk bukti kita akan sedikit memperbaiki kesimpulan dari oracle. Biarkan oracle kembali 1 atau 0. Nah, jadi, Anda bertanya, tidak ada yang berubah jika kita menulis pada pseudo-code:
If ((N)==0){
While (true){
}
}
, , :
, , :
S1 0 1 0 1 , .
S2 0 1 , . 1 1 , 0 . 0 , 1 .
, . .
, , . , , .
, . , .
:
If ((N)==0){
While(true){
}
}
If ((N)==0){
While(true){
}
}
.
.
, . , . - , .
, , . , .