Saya akan mempelajari catatan kursus di CIS 500: Yayasan Perangkat Lunak dan latihannya sangat menyenangkan. Saya hanya pada set latihan ketiga tetapi saya ingin tahu lebih banyak tentang apa yang terjadi ketika saya menggunakan taktik untuk membuktikan hal-hal sepertiforall (n m : nat), n + n = m...
Meskipun sudah beberapa tahun kuliah, saya masih bingung memilih topik penelitian. Saya telah mencari kertas dari berbagai daerah dan berbicara dengan profesor, dan saya mulai berpikir ini adalah pendekatan yang salah. Saya pernah membaca bahwa ini membantu untuk menemukan masalah yang menarik...
Ini adalah pertanyaan tentang kompleksitas rangkaian. (Definisi ada di bawah.) Yao dan Beigel-Tarui menunjukkan bahwa setiap rangkaian keluarga dari ukuran s memiliki keluarga rangkaian yang setara dengan ukuran s p o l y ( log s ) dari kedalaman dua , di mana gerbang keluaran adalah fungsi...
Pertanyaan saya sederhana: Apa waktu berjalan terburuk dari algoritma yang paling dikenal untuk menghitung komposisi eigend dari sebuah matriks ?n×nn×nn \times n Apakah eigendecomposition mengurangi perkalian matriks atau apakah algoritma paling dikenal (melalui SVD ) dalam kasus...
Ini adalah pertanyaan yang terkait dengan yang ini . Menempatkannya kembali dalam bentuk yang lebih sederhana setelah banyak diskusi di sana, yang rasanya seperti pertanyaan yang sama sekali berbeda. Bukti klasik dari ketidakpastian masalah penghentian tergantung pada menunjukkan kontradiksi...
Dapatkah setiap fungsi yang dapat dihitung dalam waktu pada mesin Turing pita tunggal menggunakan alfabet ukuran dapat dihitung dalam waktu pada mesin Turing single-tape menggunakan alfabet ukuran (katakanlah, dan kosong)?f:{0,1}∗→{0,1}f:{0,1}∗→{0,1}f : \{0,1\}^* \to \{0,1\}tttk=O(1)k=O(1)k =...
Saya ingin memahami Applicativedalam hal teori kategori. The dokumentasi untuk Applicativemengatakan bahwa itu functor longgar monoidal kuat . Pertama, Wikipedia halaman tentang functors monoidal mengatakan bahwa functor monoidal adalah baik longgar atau kuat . Jadi menurut saya salah satu sumber...
Adakah algoritme pengurutan perbandingan yang diketahui yang tidak direduksi menjadi jaringan pengurutan, sehingga setiap elemen dibandingkan dengan kali?O ( logn )O(logn)O(\log n) Sejauh yang saya tahu, satu-satunya cara untuk menyortir dengan perbandingan pada setiap elemen adalah dengan...
Apa saja aplikasi kode koreksi kesalahan dalam teori selain koreksi kesalahan itu sendiri? Saya mengetahui tiga aplikasi: Teorema Goldreich-Levin tentang bit inti keras, konstruksi ekstraktor Trevisan dan penguatan kekerasan fungsi boolean (oleh Sudan-Trevisan-Vadhan). Apa aplikasi 'serius' atau...
Hal ini umumnya percaya bahwa untuk semua ϵ>0ϵ>0\epsilon > 0 , adalah mungkin untuk kalikan dua n×nn×nn \times n matriks di O(n2+ϵ)O(n2+ϵ)O(n^{2 + \epsilon}) waktu. Beberapa diskusi ada di sini . Saya telah bertanya kepada beberapa orang yang lebih akrab dengan penelitian apakah mereka...
Mengapa kebanyakan orang lebih suka menggunakan banyak-satu reduksi untuk mendefinisikan kelengkapan NP daripada, misalnya, pengurangan
Bukti Adleman bahwa terkandung dalam P / p o l y menunjukkan bahwa jika ada algoritma acak untuk masalah yang berjalan dalam waktu t ( n ) pada input ukuran n , maka ada juga algoritma deterministik untuk masalah tersebut. yang berjalan dalam waktu Θ ( t ( n ) ⋅ n ) pada input berukuran n...
Saya mencari jawaban pasti untuk apakah generasi angka "benar-benar acak" Turing dapat dihitung. Saya tidak tahu bagaimana mengucapkannya dengan tepat. Pertanyaan StackExchange tentang "algoritma efisien untuk pembuatan angka acak" ini hampir menjawab pertanyaan saya. Charles Stewart mengatakan...
Biarkan PRIMES (alias pengujian awal ) menjadi masalah: Dengan bilangan alami , apakah n bilangan prima?nnnnnn Biarkan FAKTOR menjadi masalah: Dengan bilangan alami , m dengan 1 ≤ m ≤ n , apakah n memiliki faktor d dengan 1 < d < m ?nnnmmm1≤m≤n1≤m≤n1 \leq m \leq...
Ryan Williams baru saja memposting batas bawahnya pada ACC , kelas masalah yang memiliki sirkuit kedalaman konstan dengan fan-in dan gerbang tanpa batas DAN, ATAU, BUKAN dan MOD_m untuk semua kemungkinan yang ada. Apa yang istimewa dari gerbang MOD_m? Mereka memungkinkan seseorang untuk...
Saya seorang mahasiswa PhD tahun ketiga di bidang CS teoritis yang ingin saran untuk situasi yang sulit dengan penasihat saya. Penasihat saya sama sekali tidak terlibat dalam proyek penelitian saya. Secara khusus, saya telah memunculkan semua gagasan makalah saya, dan telah mengeksekusi...
Grafik adalah -choosable (juga dikenal sebagai -list-colorable ) jika, untuk setiap fungsi yang memetakan simpul ke set warna, ada penetapan warna sedemikian rupa, untuk semua simpul , , dan sedemikian rupa sehingga, untuk semua tepi , .k f k c v c ( v ) ∈ f ( v ) v w c ( v ) ≠ c ( w...
Ini adalah pos-silang dari math.stackexchange. Biarkan FACT menunjukkan masalah anjak bilangan bulat: diberikan cari bilangan prima dan bilangan bulat sehinggap i ∈ N , e i ∈ N , n = ∏ k i = 0 p e i i .n ∈ N ,n∈N,n \in \mathbb{N},halsaya∈ N ,pi∈N,p_i \in \mathbb{N},esaya∈ N ,ei∈N,e_i \in...
Apakah ada referensi (daring atau dalam bentuk buku) yang mengatur dan mendiskusikan teorema TCS dengan teknik bukti? Garey dan Johnson melakukan ini untuk berbagai jenis konstruksi widget yang diperlukan untuk bukti kelengkapan NP (terutama dalam bab 3 buku mereka), tetapi saya bertanya-tanya...
Baru-baru ini saya mendengar ini - "Mesin non-deterministik tidak sama dengan mesin probabilistik. Dalam istilah kasar, mesin non-deterministik adalah mesin probabilistik di mana probabilitas untuk transisi tidak diketahui". Saya merasa seolah-olah saya mengerti maksudnya tetapi saya benar-benar...