Pertanyaan yang diberi tag «examples»

EDIT AT 10/12/08: Saya akan mencoba mengubah pertanyaan sehingga menarik minat lebih banyak orang untuk berbagi pendapat. Kami MEMBUTUHKAN kontribusi Anda! Posting ini terinspirasi oleh yang ada di MO: Contoh keyakinan salah yang umum dalam matematika . Daftar besar kadang-kadang menghasilkan sejumlah besar jawaban yang kualitasnya sulit dikendalikan, tetapi setelah …

62 big-list  examples 

Tujuan dari pertanyaan ini adalah untuk mengumpulkan contoh-contoh dari ilmu komputer teoretis di mana penggunaan komputer secara sistematis sangat membantu dalam membangun dugaan yang mengarah pada teorema, memalsukan pendekatan dugaan atau bukti, membangun / memverifikasi (bagian dari) bukti. Jika Anda memiliki contoh spesifik, tolong jelaskan bagaimana itu dilakukan. Mungkin ini …

55 proofs  survey  examples 

Adakah contoh alami masalah optimasi yang diketahui yang lebih mudah menghasilkan solusi optimal daripada mengevaluasi kualitas solusi kandidat yang diberikan? Demi konkret, kami dapat mempertimbangkan masalah optimisasi waktu-terpecahkan polinomial dari bentuk: "diberikan x, minimalkan ", di mana adalah, katakanlah, # P-hard. Masalah seperti itu jelas ada (misalnya, kita bisa memiliki …

10 cc.complexity-theory  optimization  examples 

Pada 1965 artikel " Pada kompleksitas komputasi algoritma " oleh Hartmanis dan Stearns, penulis menduga bahwa jika real-time Turing Machine menghitung jumlah riil , misalnya, basis 10, maka adalah salah bilangan rasional atau nomor transendental.rrrrrrr Apakah ada bilangan transendental yang dapat dihitung yang tidak dapat dihitung oleh mesin Turing real-time …

10 cc.complexity-theory  reference-request  examples 

Biarkan menjadi alfabet, yaitu himpunan terbatas yang tidak kosong. String adalah setiap urutan elemen (karakter) hingga dari Σ . Sebagai contoh, { 0 , 1 } adalah alfabet biner dan 0110 adalah string untuk alfabet ini.ΣΣ\SigmaΣΣ\Sigma{ 0 , 1 }{0,1} \{0, 1\}011001100110 Biasanya, selama mengandung lebih dari 1 elemen, jumlah …

9 big-list  encoding  examples