Pertanyaan yang diberi tag «proofs»

Dalam kursus pengantar saya untuk pemrograman, kita belajar tentang metode Inisialisasi-Pemeliharaan-Pemutusan untuk membuktikan suatu algoritma melakukan apa yang kita harapkan. Tapi kami hanya perlu membuktikan bahwa suatu algoritma yang sudah diketahui benar, benar. Kami tidak pernah diminta untuk menunjukkan bahwa suatu algoritma tidak benar. Apakah ada contoh algoritma klasik yang …

15 ds.algorithms  proofs 

Menurut makalah ini , yang membahas perpanjangan nondeterministik dari Strong Exponential Time Hypothesis (SETH), "[...] Williams baru-baru ini menunjukkan hipotesis terkait tentang kompleksitas Merlin-Arthur dari k-TAUT adalah salah". Namun, makalah itu hanya mengutip komunikasi pribadi. Bagaimana SETH versi MA terbukti salah? Saya menduga itu melibatkan algebrizing formula, tetapi tidak punya …

13 sat  proofs  nondeterminism 

Saya membaca kertas "Fast Paxos" oleh Leslie Lamport dan terjebak dengan bukti kebenaran dari Paxos klasik dan Fast Paxos. Untuk konsistensi, nilai vvv dipilih oleh koordinator dalam fase 2a2a2a di babak iii harus memuaskan CP(v,i):CP(v,i):CP(v,i): Untuk setiap rondej&lt;ij&lt;ij < i , tidak ada nilai selainvvv telah atau mungkin belum dipilih …

13 ds.algorithms  dc.distributed-comp  proofs 

Ada beberapa bukti untuk batas bawah loglinear untuk elemen keunikan / masalah perbedaan (berdasarkan pohon perhitungan aljabar atau argumen permusuhan), tapi saya mencari satu yang cukup sederhana untuk digunakan dalam kursus pertama dalam analisis dan desain algoritma. "Tingkat kesulitan" yang sama dengan batas bawah untuk penyortiran akan baik-baik saja. Juga, …

13 cc.complexity-theory  lower-bounds  proofs 

Dalam bab 10 dari HAC (10.4.2) , kita melihat protokol identifikasi Feige-Fiat-Shamir yang terkenal berdasarkan pada bukti nol-pengetahuan menggunakan kesulitan (diduga) mengekstraksi modulo akar persegi modulo komposit yang sulit untuk faktor. Saya akan memberikan skema dengan kata-kata saya sendiri (dan mudah-mudahan bisa beres). Mari kita mulai dengan skema yang lebih …

12 cr.crypto-security  proofs  zero-knowledge 

Pertama-tama, pemahaman saya tentang teorema ketidaklengkapan Gödel (dan logika formal pada umumnya) sangat naif, juga pengetahuan saya tentang ilmu komputer teoretis (artinya hanya satu mata kuliah yang diambil saat saya masih sarjana), jadi pertanyaan ini mungkin saja sangat naif. Sejauh yang saya bisa temukan, provabilitas P versus NP adalah masalah …

11 np-hardness  proofs  p-vs-np 

Pada tahun 1996, masalah terbuka lama diselesaikan oleh komputer; yaitu, bahwa aljabar Robbins dan aljabar Boolean adalah sama. Buktinya ditemukan oleh teorema teorema otomatis. Selain itu, bukti teorema Four color yang diketahui mengandung komponen yang dihasilkan komputer. Tujuan dari pertanyaan ini adalah untuk membuat daftar bukti yang (sepenuhnya atau sebagian) …

11 soft-question  big-list  proofs  automated-theorem-proving 

Saya telah belajar tentang bukti interaktif akhir-akhir ini dan saya bertanya-tanya apakah semuanya itu tidak lebih dari rasa ingin tahu teoretis, atau apakah itu memiliki aplikasi praktis. Saya pikir saya akan memulai dengan sebuah contoh yang terpikir oleh saya di kamar mandi: Belakangan ini diberitakan bahwa "Angka Tuhan" = 20. …

11 proofs  puzzles  interactive-proofs 

Saya telah mengembangkan algoritma SAT untuk sementara waktu, dan telah mencapai titik di mana saya ingin membagikannya. Saya tidak tahu banyak orang di bidang ilmu komputer, dan saya tidak yakin persis ke mana harus berpaling. Saya bertanya-tanya sumber daya apa yang tersedia untuk seseorang dengan algoritma yang sedang mempertimbangkan untuk …

11 sat  soft-question  proofs 

Setelah membaca Efek sebagai Sesi, Sesi sebagai Efek , saya bertanya-tanya bagaimana bukti kesetaraan antara keduanya terjadi, atau bahkan, bukti jenis Sesi menjadi Jenis dan Sistem Efek. Dengan cara yang lebih umum, bagaimana seseorang dapat membuktikan hubungan (misalnya kesetaraan) antara "kelas" * jenis yang berbeda? Apakah tes ekspresif seperti yang …

8 type-theory  proofs  type-systems 

Saya selalu bertanya-tanya apakah bukti dalam ilmu komputer akan dianggap sebagai bukti yang cukup dari proposisi jika mereka perlu mengambil hukum fisik? Sebagai contoh, saya bertanya-tanya apa yang akan terjadi jika seseorang suatu hari nanti membuktikan P! = NP dengan asumsi hukum kedua termodinamika. Apakah ini akan menyelesaikan perdebatan P! …

8 proofs 

Saya ingat membaca posting blog yang menampilkan dua versi dari bukti yang sama, satu ditulis oleh manusia dan yang lainnya oleh mesin, dan meminta pembaca untuk mengatakan mana yang mana. Mencoba google post lagi, sepertinya saya tidak dapat menemukan kata kunci yang tepat; kebanyakan hal hanya mengarahkan saya ke halaman …

8 proofs  proof-assistants