Saya menemukan buku Pairwise Independence and Derandomization pada subjek, tetapi lebih berorientasi pada penelitian daripada berorientasi pada tutorial. Saya baru mengenal subjek "Derandomisasi," dan karena itu, saya ingin tahu referensi mana yang harus dimulai? Saya lebih suka yang membahas...
Saya tertarik pada properti grafik berarah acak dengan tingkat out-fixddd . Saya membayangkan model grafik acak di mana setiap simpul memilih tetangga d (katakanlah, dengan penggantian) uar Pertanyaan : Adakah yang diketahui tentang distribusi stasioner dan waktu pencampuran jalan acak pada...
Biarkan dan pertimbangkan masalah keputusan0≤p≤10≤p≤10\le p\le 1 CLIQUE Input: integer , grafik dengan simpul dan edge Pertanyaan: apakah G berisi klik pada sekurang-kurangnya simpul s ?pp_p sssGGGttt⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil GGGsss Sebuah instance dari CLIQUE berisi proporsi...
Biarkan menjadi CCC . Mari menjadi bifunctor produk pada . Karena Cat adalah CCC, kita dapat menjilat :CCC(×)(×)(\times)CCC(×)(×)(\times) curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times...
Distribusi dikatakan ϵ -membodoh fungsi f jika | E x ∈ U ( f ( x ) ) - E x ∈ D ( f ( x ) ) | ≤ ϵ . Dan dikatakan menipu kelas fungsi jika menipu setiap fungsi di kelas itu. Hal ini diketahui bahwa ε ruang -biased menipu kelas paritas lebih himpunan bagian. (lihat
Pertanyaan ini terinspirasi oleh t-shirt Georgia Tech Algorithms and Randomness Center , yang menanyakan "Acak atau tidak ?!" Ada banyak contoh di mana pengacakan membantu, terutama ketika beroperasi di lingkungan permusuhan. Ada juga beberapa pengaturan di mana pengacakan tidak membantu atau...
Saat membaca makalah tentang menggunakan metode aljabar untuk mendeteksi beberapa subgraf yang diinduksi, tampak bahwa edge ideal adalah alat penting yang menghubungkan teori aljabar dan grafik komutatif. Karena saya tidak terbiasa dengan perhitungan objek aljabar, apakah ada referensi atau buku...
Di masa lalu, saya menerapkan model koordinasi menggunakan SAT dan kepuasan kendala reguler sebagai pekerja keras inti di mesin mereka. Melanjutkan pekerjaan ini, saya ingin membuat model lebih interaktif, dan cara terbaik yang saya lihat untuk melakukannya adalah dengan membuka pemecah kendala...
Sejauh yang saya mengerti, semua tahu aturan pivot deterministik untuk algoritma simpleks memiliki input spesifik yang algoritma membutuhkan waktu eksponensial (atau setidaknya tidak polinomial) untuk menemukan yang optimal. Mari kita sebut contoh ini 'patologis' karena biasanya (yaitu pada...
Katakanlah Anda membangun komputer yang akan menghitung keadaan semua atom di Semesta pada titik waktu tertentu di masa depan. Karena Universe, menurut definisi, adalah segala sesuatu yang ada (dan apa pun yang berinteraksi dengan yang lain), ia juga termasuk komputer yang Anda bangun. Bisakah Anda...
Sebuah perpanjangan linear dari poset P adalah pesanan linear pada unsur-unsur P , sehingga x ≤ y di P menyiratkan x ≤ y di L untuk semua x , y ∈ P .LLLPP\mathcal{P}PP\mathcal{P}x≤yx≤yx \leq yPP\mathcal{P}x≤yx≤yx \leq yLLLx,y∈Px,y∈Px,y\in\mathcal{P} Sebuah grafik ekstensi linear adalah grafik pada...
Diberikan jalan acak pada grafik, waktu sampul adalah yang pertama (jumlah langkah yang diharapkan) yang setiap titik telah tekan (tertutup) oleh jalan. Untuk grafik yang tidak diarahkan yang terhubung, waktu tutup diketahui dibatasi oleh . Ada digraf yang sangat terhubung dengan eksponensial waktu...
Mudah untuk melihat bahwa masalah apa pun yang dapat ditentukan dalam deterministic logspace ( ) berjalan paling banyak pada waktu polinomial ( P ). Banyak algoritma diketahui logspace (Misalnya: diarahkan st-konektivitas, planar grafik isomorfisma) berjalan dalam O ( n k ) di mana k gila-gilaan...
Saya mencari tahu apakah ada hasil umum tentang atau contoh tentang kelengkapan NP dari masalah menemukan solusi kedua untuk masalah NP-lengkap. Lebih tepatnya, saya tertarik dengan masalah apa pun dari formulir berikut: Diberikan solusi untuk contoh dari masalah NP-complete, apakah ada solusi...
Saya baru mengenal teori bahasa pemrograman dan saya mencari sumber daya yang bagus tentang sumber daya untuk semantik formal bahasa pemrograman. Secara khusus mencari semantik operasional struktural. Saya mendapat beberapa rekomendasi buku. Tapi saya mencari sumber daya di tingkat yang lebih awal....
Masalah yang kami pertimbangkan di sini adalah perpanjangan dari masalah pewarnaan interval yang terkenal. Alih-alih interval kami menganggap persegi panjang memiliki sisi yang sejajar dengan sumbu. Tujuannya adalah untuk mewarnai persegi panjang menggunakan jumlah warna minimum sehingga setiap dua...
Tampaknya ada banyak pekerjaan, untuk beberapa masalah NP-Hard, pada pengembangan algoritma tepat waktu eksponensial cepat (yaitu, hasil dari bentuk: Algoritma A memecahkan masalah dalam waktu O (c ^ n), dengan c kecil). Sepertinya ada cukup banyak pekerjaan di sepanjang garis-garis ini untuk...
Saya membaca buku Simon Peyton Jones, Implementasi Bahasa Pemrograman Fungsional dan ada satu pernyataan yang sedikit mengejutkan saya (di halaman 39): Untuk tingkat yang jauh lebih besar daripada kasus untuk bahasa imperatif, bahasa fungsional sebagian besar variasi sintaksis satu sama lain,...
Saya telah mencoba membaca " Mutiara Algoritma Fungsional desain ", dan kemudian " Aljabar Pemrograman ", dan ada korespondensi yang jelas antara rekursif (dan secara polinomi) didefinisikan tipe data dan objek kombinatorial, memiliki definisi rekursif yang sama dan kemudian memimpin untuk seri...
Karena istilah ini kelebihan beban, definisi singkat terlebih dahulu. Poset adalah himpunan dianugerahi perintah parsial . Dengan dua elemen , kita dapat mendefinisikan (gabung) sebagai batas atas paling rendah mereka di , dan dengan cara yang sama mendefinisikan (bertemu) (gabung) sebagai batas...