Dalam " Saran untuk Mahasiswa Pascasarjana " Manuel Blum : LEONID LEVIN percaya ketika saya melakukan itu, apa pun jawaban untuk P = NP? masalah, itu tidak akan seperti apa pun yang Anda pikir seharusnya. Dan dia telah memberikan beberapa contoh yang indah. Untuk satu, ia telah memberikan...
Penafian : sementara saya peduli tentang teori jenis, saya tidak menganggap diri saya ahli dalam teori jenis. Dalam kalkulus lambda yang diketik sederhana, tipe nol tidak memiliki konstruktor dan eliminator unik: Γ⊢M:0Γ⊢initial(M):AΓ⊢M:0Γ⊢initial(M):A\frac{\Gamma \vdash M \colon 0}{\Gamma \vdash...
Saya mencari implementasi algoritma untuk menghitung jalur lebar grafik. Telah diketahui bahwa menghitung lebar jalur setara dengan menghitung angka pencarian simpul, angka pemisahan titik, atau ketebalan interval grafik. Algoritma tidak harus sangat cepat; Saya ingin menjalankannya pada grafik...
Pertanyaan ini dimotivasi oleh pertanyaan MathOverflow oleh Peng Zhang . Valiant menunjukkan bahwa menghitung klik maksimal dalam grafik umum adalah # P-complete, tetapi bagaimana jika kita membatasi pada grafik yang tidak dapat dibandingkan (yaitu, kita ingin menghitung antichains maksimal dalam...
Algoritma DEFLATE populer menggunakan Huffman coding di atas Lempel-Ziv. Secara umum, jika kita memiliki sumber data acak (= 1 bit entropi / bit), tidak ada pengkodean, termasuk Huffman, yang cenderung memampatkannya secara rata-rata. Jika Lempel-Ziv "sempurna" (yang mendekati untuk sebagian besar...
Parity-L, juga dikenal sebagai L, adalah serangkaian bahasa yang dikenali oleh mesin Turing non-deterministik yang hanya dapat membedakan antara bilangan genap atau ganjil dari jalur "penerimaan". Pertanyaan terkait baru - baru ini diajukan oleh Niel de Beaudrap.⊕⊕\oplus Pertanyaan saya adalah...
Branch and bound adalah heuristik yang efektif untuk masalah pencarian, dan Wikipedia mencantumkan sejumlah masalah sulit di mana branch-and-bound telah digunakan. Namun, saya belum dapat menemukan referensi untuk menyarankan bahwa itu lebih dari sekedar "satu metode" untuk menyelesaikan masalah...
Bab 1 buku Metode Probabilistik, oleh Alon dan Spencer menyebutkan masalah berikut: Diberikan grafik , putuskan apakah konektivitas tepinya setidaknya n / 2 atau tidak.GGGn/2n/2n/2 Penulis menyebutkan adanya sebuah algoritma oleh Matula dan meningkatkan ke O ( n 8 / 3 log n )
Apakah ada masalah yang NP-lengkap ketika menggunakan geometri Euclidean tetapi didefinisikan dengan baik dan dipecahkan dalam waktu polinomial untuk beberapa geometri
O ( log n )HAI(catatann)O({\log}n)O ( m + n )HAI(m+n)O(m+n) Apa algoritma paralel yang paling dikenal untuk st-konektivitas dalam grafik planar terarah? Silakan sebutkan waktu berjalan, algoritma deterministik / acak dan model PRAM yang digunakan (dengan asumsi jumlah prosesor adalah...
Dalam makalah oleh Kempe-Kleinberg-Tardos, Penulis mengusulkan algoritma rakus berdasarkan fungsi submodular untuk menentukan paling berpengaruh node dalam grafik, dengan aplikasi untuk jaringan sosial.kkk Pada dasarnya algoritma berjalan sebagai berikut: S= e m p t y s e t S=emhalty setS = {\rm...
Biarkan a persegi matriks nyata dan dua vektor dan dengan panjang , sedemikian rupa sehingga {\ bf A} {\ bf x} = {\ bf b} . Memecahkan untuk {\ bf x} melalui standar Gaussian Elimination menghasilkan kompleksitas agregat hampir O (n ^ 3) . Namun, ada beberapa kasus di mana penyelesaian (atau \...
Dalam definisi traktabilitas parameter tetap (kuat), batas waktu adalah ekspresi dari bentuk mana instance input adalah ( x , k ) dengan parameter k , p adalah polinomial, dan f adalah fungsi yang dapat dihitung .f( k ) . p ( | x | ) ,f(k).hal(|x|),f(k).p(|x|),( x , k
Dalam pencarian saya yang berkelanjutan untuk mencoba mempelajari kalkulus lambda, Hindley & Seldin "Lambda-Calculus and Combinators an Introduction" menyebutkan makalah berikut (oleh Bruce Lercher) yang membuktikan bahwa satu-satunya ekspresi yang dapat direduksi yang sama (modulo alpha...
Saya menemukan masalah ini di bidang fisika yang cukup jauh dari ilmu komputer, tetapi sepertinya jenis pertanyaan yang telah dipelajari di CS, jadi saya pikir saya akan mencoba peruntungan saya menanyakannya di sini. Bayangkan Anda diberi satu set titik dan daftar beberapa jarak antara titik d i...
Fungsi Mobius μ(n)μ(n)\mu(n) didefinisikan sebagai , jika memiliki faktor prima kuadrat, dan jika semua primes berbeda. Apakah mungkin untuk menghitung tanpa menghitung faktorisasi utama ?μ(1)=1μ(1)=1\mu(1)=1μ(n)=0μ(n)=0\mu(n)=0nnnμ(p1…pk)=(−1)kμ(hal1...halk)=(-1)k\mu(p_1 \dots p_k)=...
Saya punya pertanyaan tentang reduksibilitas SERF dari Impagliazzo, Paturi dan Zane dan algoritma subeksponensial . Definisi SERF-reducibility memberikan yang berikut: Jika adalah SERF-dapat direduksi menjadi P 2 dan ada O ( 2 ε n ) algoritma untuk P 2 untuk setiap ε > 0 , maka ada O ( 2 ε n...
Saya tertarik pada pemodelan objek, dari pemrograman berorientasi objek, dalam teori tipe dependen. Sebagai aplikasi yang memungkinkan, saya ingin memiliki model di mana saya dapat menggambarkan berbagai fitur bahasa pemrograman yang penting. Saya hanya bisa menemukan satu makalah tentang objek...
Raz Paralel pretition teorema adalah hasil yang penting dalam PCP, inapproximation, dll Teorema ini fomalized sebagai berikut. G=(S,T,A,B,π,V)G=(S,T,A,B,π,V)G=(\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B},\pi,
Definisi angka Ramsey adalah sebagai berikut: Mari R(a,b)R(a,b)R(a,b) menjadi angka positif sehingga setiap grafik agar setidaknya mengandung baik klik pada simpul atau stabil set pada simpul.R(a,b)R(a,b)R(a,b)aaabbb Saya sedang mengerjakan beberapa perpanjangan Ramsey Numbers. Meskipun...