Pertanyaan yang diberi tag «proof-techniques»

Pertanyaan tentang metode dan teknik umum untuk membuktikan beberapa teorema. Saat menanyakan tentang bukti dari satu pernyataan, gunakan tag yang berkaitan dengan apa yang menjadi bukti.

3
Apakah ada sistem di balik keajaiban analisis algoritma?
Ada banyak pertanyaan tentang bagaimana menganalisis waktu berjalan algoritma (lihat, misalnya, analisis runtime dan analisis algoritma ). Banyak yang serupa, misalnya yang meminta analisis biaya loop bersarang atau algoritma Divide & Conquer, tetapi sebagian besar jawaban tampaknya dibuat khusus. Di sisi lain, jawaban untuk pertanyaan umum lainnya menjelaskan gambaran yang …
11
Memecahkan atau memperkirakan hubungan perulangan untuk urutan angka
Dalam ilmu komputer, kita sering harus memecahkan hubungan pengulangan , yaitu menemukan bentuk tertutup untuk urutan angka yang didefinisikan secara rekursif. Ketika mempertimbangkan runtimes, kita sering tertarik terutama pada pertumbuhan asimptotik urutan . Contohnya adalah Runtime dari fungsi rekursif-ekor melangkah ke bawah ke dari yang tubuhnya membutuhkan waktu :000nnnf(n)f(n)f(n) T(0)T(n+1)=0=T(n)+f(n)T(0)=0T(n+1)=T(n)+f(n)\qquad …
5
Bagaimana cara membuktikan bahwa suatu bahasa tidak bebas konteks?
Kami belajar tentang kelas bahasa bebas konteks . Ini dicirikan oleh tata bahasa bebas konteks dan automata pushdown sehingga mudah untuk menunjukkan bahwa bahasa yang diberikan adalah bebas konteks.CFLCFL\mathrm{CFL} Bagaimana saya menunjukkan yang sebaliknya? TA saya bersikeras bahwa untuk melakukannya, kami harus menunjukkan kepada semua tata bahasa (atau automata) bahwa …
10
Bagaimana cara membuktikan bahwa suatu bahasa tidak teratur?
Kami belajar tentang kelas bahasa reguler . Ini dicirikan oleh salah satu konsep antara ekspresi reguler, automata terbatas dan tata bahasa linier kiri, sehingga mudah untuk menunjukkan bahwa bahasa yang diberikan adalah reguler.REGREG\mathrm{REG} Bagaimana saya menunjukkan yang sebaliknya? TA saya telah bersikeras bahwa untuk melakukannya, kami harus menunjukkan untuk semua …
2
Apa itu coinduction?
Saya pernah mendengar tentang induksi (struktural). Ini memungkinkan Anda untuk membangun struktur yang terbatas dari yang lebih kecil dan memberi Anda prinsip-prinsip bukti untuk alasan tentang struktur tersebut. Idenya cukup jelas. Tapi bagaimana dengan coinduction? Bagaimana cara kerjanya? Bagaimana seseorang dapat mengatakan sesuatu yang konklusif tentang struktur yang tak terbatas? …
8
Bagaimana cara membuktikan suatu bahasa secara teratur?
Ada banyak metode untuk membuktikan bahwa suatu bahasa tidak teratur , tetapi apa yang harus saya lakukan untuk membuktikan bahwa beberapa bahasa itu teratur? Misalnya, jika saya diberi tahu bahwa adalah biasa, bagaimana saya bisa membuktikan bahwa berikut ini juga teratur?L ′LLLL′L′L' L′:={w∈L:uv=w for u∈Σ∗∖L and v∈Σ+}L′:={w∈L:uv=w for u∈Σ∗∖L and …
4
Apa teknik umum untuk mengurangi masalah satu sama lain?
Dalam teori komputasi dan kompleksitas (dan mungkin bidang lainnya), reduksi ada di mana-mana. Ada banyak jenis, tetapi prinsipnya tetap sama: menunjukkan bahwa satu masalah setidaknya sekeras beberapa masalah lainnya dengan memetakan contoh dari ke yang setara dengan solusi di . Pada dasarnya, kami menunjukkan bahwa setiap solver untuk juga dapat …
5
Bukti bahwa kode mati tidak dapat dideteksi oleh kompiler
Saya berencana untuk mengajar kursus musim dingin tentang berbagai topik, salah satunya akan menjadi penyusun. Sekarang, saya menemukan masalah ini sambil memikirkan tugas untuk diberikan sepanjang kuartal, tapi itu membuat saya bingung sehingga saya dapat menggunakannya sebagai contoh. public class DeadCode { public static void main(String[] args) { return; System.out.println("This …
7
Apakah ada bukti yang lebih intuitif tentang keraguan atas masalah penghentian daripada diagonalisasi?
Saya memahami bukti ketidaktentuan masalah penghentian (diberikan misalnya dalam buku teks Papadimitriou), berdasarkan diagonalisasi. Sementara buktinya meyakinkan (saya mengerti setiap langkahnya), itu tidak intuitif bagi saya dalam arti bahwa saya tidak melihat bagaimana seseorang akan mendapatkannya, mulai dari masalahnya sendiri. Dalam buku ini, buktinya seperti ini: "misalkan memecahkan masalah penghentian …
3
Mengapa Relativization menjadi penghalang?
Ketika saya menjelaskan bukti Baker-Gill-Solovay bahwa ada oracle yang dapat kita miliki, , dan sebuah oracle yang dengannya kita dapat memiliki kepada teman , muncul pertanyaan mengapa teknik seperti itu tidak cocok untuk membuktikan masalah , dan saya tidak bisa memberikan jawaban yang memuaskan.P=NPP=NP\mathsf{P} = \mathsf{NP}P ≠ N PP≠NPP≠NP\mathsf{P} \neq …
2
Adakah masalah khusus yang diketahui tidak dapat dipastikan karena alasan selain diagonalisasi, referensi-diri, atau reducibilitas?
Setiap masalah yang tidak dapat dipastikan yang saya ketahui termasuk dalam salah satu kategori berikut: Masalah yang tidak dapat dipastikan karena diagonalisasi (referensi diri tidak langsung). Masalah-masalah ini, seperti masalah penghentian, tidak dapat diputuskan karena Anda dapat menggunakan penentu yang konon untuk bahasa untuk membangun TM yang perilakunya mengarah pada …
2
Bagaimana membuktikan bahwa suatu bahasa bebas konteks?
Ada banyak teknik untuk membuktikan bahwa bahasa adalah tidak bebas konteks, tapi bagaimana saya membuktikan bahwa bahasa adalah bebas konteks? Teknik apa yang ada untuk membuktikan ini? Jelas, salah satu caranya adalah dengan menunjukkan tata bahasa bebas konteks untuk bahasa tersebut. Apakah ada teknik sistematis untuk menemukan tata bahasa bebas …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.