Larry Wasserman memiliki posting baru-baru ini di mana ia berbicara tentang "polisi p-value". Dia membuat poin yang menarik (semua penekanan pada saya) (premis miring yang saya tambahkan, dan jawabannya di bawah): Keluhan yang paling umum adalah bahwa fisikawan dan jurnalis menjelaskan arti...
Apa kompleksitas komputasi dari masalah berikut: diberikan dua kompleks matriks A dan B cek jika ada permutasi matriks P sehingga: B = P A P T .n × nn×nn\times nSEBUAHSEBUAHABBBPPPB = PA PT.B=PSEBUAHPT.B = P A P^T. Jika itu membantu, orang dapat berasumsi bahwa dan B adalah hermitian (atau...
Kita tahu bahwa pemecah SAT berbasis DPLL gagal menjawab dengan benar pada contoh tidak memuaskan (prinsip hole pigeon), misalnya pada "ada pemetaan injeksi dari n + 1 ke n ":PHPPHP\mathrm{PHP}n+1n+1n+1nnn PHPn+1n:=⎛⎝⋀i ∈ [ n + 1 ] ⋁j ∈ [ n ] halsaya , j⎞⎠∧⎛⎝⋀saya...
Jika kita memiliki grafik besar (terarah) dan pohon berakar lebih kecil , kompleksitas apa yang paling dikenal untuk menemukan subgraf isomorfik ke ? Saya menyadari hasil isomorfisma subtree di mana dan adalah pohon dan juga di mana adalah planar atau telah terikat treewidth (dan lain-lain) tetapi...
Latar Belakang Rumus baca-sekali atas satu set gerbang (juga disebut basis) adalah rumus di mana setiap variabel input muncul satu kali. Rumus baca-sekali biasanya dipelajari atas dasar De Morgan (yang memiliki gerbang 2-bit AND dan OR, dan gerbang 1-bit TIDAK) dan basis biner penuh (yang memiliki...
Pertimbangkan kumpulan set F = { F 1 , F 2 , ... , F n } diF={F1,F2,…,Fn}F=\{F_1,F_2,\dotsc,F_n\} atas set dasar U = { e 1 , e 2 , ... , e n } diU={e1,e2,…,en}U=\{e_1,e_2,\dotsc,e_n\} mana | F i | |Fi||F_i| ≪ ≪\ll nnn dan e i ∈ F iei∈Fie_i \in F_i , dan biarkan kkk menjadi bilangan bulat...
Ini adalah pertanyaan lanjutan untuk ini tentang grafik tak terbatas. Jawaban dan komentar untuk objek daftar pertanyaan dan situasi yang secara alami dimodelkan oleh grafik tak terbatas. Tetapi ada juga banyak teorema tentang grafik tak terbatas (lihat bab 8 dalam buku Diestel) yang, misalnya,...
Saya belajar sendiri metode formal. Saya mendengar bahwa metode formal digunakan (dan biasanya hanya digunakan) untuk membuat perangkat lunak misi kritis (seperti pengontrol reaktor nuklir, pengontrol penerbangan pesawat, pengontrol penyelidikan luar angkasa). Itu sebabnya saya tertarik untuk...
Sistem bukti probabilistik umumnya disebut sebagai pembatasan , di mana Arthur hanya dapat menggunakan bit acak dan hanya dapat memeriksa bit sertifikat bukti yang dikirim oleh Merlin (lihat, http://en.wikipedia.org/wiki/Interactive_proof_system#PCP ).M A f ( n ) g ( n )PCP[ f( n ) , g( n )...
Apakah ada algoritma waktu riffle shuffle linear waktu? Ini adalah algoritma yang mampu dilakukan oleh beberapa tangan yang sangat tangkas: membagi array input berukuran rata, dan kemudian menyatukan elemen dari dua bagian. Mathworld memiliki halaman singkat tentang riffle shuffle . Secara khusus,...
Saya umumnya tertarik pada metode pemaksaan yang digunakan oleh Baker-Gill-Solovay dan Cohen. Saya mencari banyak sumber yang bisa saya dapatkan mengenai teknik itu sendiri atau penggunaannya. Adakah yang punya
Untuk sistem tanpa tipe dependen, seperti sistem tipe Hindley-Milner, tipe tersebut sesuai dengan rumus logika intuitionistic. Di sana kita tahu bahwa modelnya adalah aljabar Heyting, dan khususnya, untuk menyangkal rumus, kita dapat membatasi pada satu aljabar Heyting di mana setiap rumus diwakili...
Sunting: Karena saya belum menerima tanggapan / komentar dalam seminggu, saya ingin menambahkan bahwa saya senang mendengar apa pun tentang masalah tersebut. Saya tidak bekerja di daerah itu, jadi meskipun itu pengamatan sederhana, saya mungkin tidak mengetahuinya. Bahkan komentar seperti "Saya...
Saya sedang membaca satu bab dalam LYAH yang tidak terlalu masuk akal bagi saya. Saya mengerti bahwa ritsleting dapat secara sewenang-wenang melintasi struktur seperti pohon, tetapi saya perlu klarifikasi. Juga, dapatkah resleting digeneralisasikan ke struktur data apa
Jika Anda melihat kombinator rekursif dalam lambda-kalkulus yang tidak diketik, seperti kombinator Y atau kombinator omega: Jelas bahwa semua kombinator ini akhirnya menduplikasi suatu variabel dalam definisi mereka.ωY==( λ x .xx )( λ x .xx )λ f.( λ x .f( xx ) )( λ x .f( xx )...
Pertimbangkan poset terbatas di atas item, dan predikat monoton yang tidak diketahui atas (yaitu, untuk , , jika dan maka ) . Saya dapat mengevaluasi dengan memberikan satu simpul dan mencari tahu apakah tahan atau tidak. Tujuan saya adalah untuk menentukan set node sedemikian rupa sehingga...
Latar Belakang Memori eksternal, atau model DAM, menentukan biaya suatu algoritma dengan jumlah I / Os yang dimilikinya (pada dasarnya, jumlah cache yang hilang). Waktu berjalan ini umumnya diberikan dalam hal , ukuran memori, dan B , jumlah kata yang dapat ditransfer ke memori pada satu waktu....
Pertanyaan ini adalah tentang logika proposisional dan semua kejadian "resolusi" harus dibaca sebagai "resolusi proposisional". Pertanyaan ini adalah sesuatu yang sangat mendasar tetapi telah mengganggu saya untuk sementara waktu. Saya melihat orang-orang menyatakan bahwa resolusi proposisional...
Diketahui bahwa meminimalkan ukuran ekspresi reguler adalah PSPACE-complete bahkan jika kita memiliki DFA sebagai spesifikasi bahasa . Apa hasil jika bahasanya terbatas? Satu dapat mempertimbangkan masalah ini dalam dua model: Input adalah semua string dalam bahasa, dan kami mengukur ukuran...
Saya berharap bahwa seseorang mungkin dapat menjelaskan kepada saya mengapa masalah subset produk sangat NP-hard sedangkan masalah subset sum lemah NP-hard. Subset Sum: Mengingat dan T , tidak terdapat subset X ' sehingga Σ i ∈ X ' x i = T .X={x1,...,xn}X={x1,...,xn}X =