Anggaplah kita berhadapan dengan bahasa pemrograman yang memiliki dukungan untuk tipe linier (istilah tipe linier dapat digunakan paling banyak sekali, jadi bisa dikatakan). Hal ini memungkinkan untuk menangani beberapa efek komputasi (seperti mutasi, bahkan mengubah jenis operan) dengan cara yang...
Seperti semua orang tahu, buku terkenal Garey dan Johnson (dan banyak lainnya) memberikan referensi yang sangat baik untuk teknik reduksi dalam pengaturan klasik. Apakah ada survei atau buku tentang topik teknik reduksi dalam algoritma parameter, katakanlah pengurangan
Saya telah menanyakan pertanyaan ini pada Stack Overflow beberapa waktu lalu: Masalah: Penjualan Bob . Seseorang menyarankan untuk mengirim pertanyaan di sini juga. Seseorang telah mengajukan pertanyaan terkait dengan masalah ini di sini - Berat minimum hutan hujan dari kardinalitas yang diberikan...
Saya mencari makalah dan artikel tentang modal logika substruktural - bukan pada semantik modalitas logika linier, tetapi pada logika substruktural ditambah dengan operator modal standar, misalnya substruktural K (sesuatu seperti MALL dengan operator kotak, keharusan dan aturan
Teorema titik tetap Banach mengatakan bahwa jika kita memiliki ruang metrik kosong yang tidak kosong , maka fungsi kontraktual yang seragam memiliki titik tetap unik . Namun, bukti teorema ini membutuhkan aksioma pilihan - kita perlu memilih elemen yang sewenang-wenang untuk memulai iterasi dari,...
Apa makalah / buku yang bagus untuk lebih memahami kekuatan Dekomposisi Modular dan propertinya? Saya sangat tertarik pada aspek algoritmik Dekomposisi Modular. Saya telah mendengar bahwa adalah mungkin untuk menemukan Dekomposisi Modular dari grafik dalam waktu linier. Apakah ada algoritma yang...
Sebuah set memukul dari keluarga adalah bagian dari sehingga untuk . Masalah untuk menemukan set minimum memukul keluarga yang diberikan adalah NP-hard secara umum, karena itu menggeneralisasi masalah vertex cover. Sekarang pertanyaan saya adalah:H ⋃ n i = 1 S i H ∩ S i ≠ ∅ 1 ≤ i ≤ nS= { S1, ... ,...
Ketinggian bintang (yang digeneralisasikan) dari suatu bahasa adalah bersarang minimum dari bintang-bintang Kleene yang diperlukan untuk mewakili bahasa dengan suatu ekspresi reguler yang diperluas. Ingatlah bahwa ekspresi reguler yang diperluas menggunakan alfabet terbatas memenuhi yang...
Saya mencoba memahami beberapa konsep tentang dekomposisi modular dan grafik lebar-klik . Dalam makalah ini ("Pada grafik P4-rapi"), ada bukti bagaimana menyelesaikan masalah optimasi seperti angka-klik atau angka-kromatik menggunakan dekomposisi Modular. Memecahkan masalah ini dengan menyusun...
Defungsionalisasi adalah transformasi program yang mengubah program tingkat tinggi menjadi program tingkat pertama. Idenya adalah bahwa diberikan suatu program, hanya ada banyak lambda-abstraksi, sehingga Anda dapat mengganti setiap lambda dengan id, dan setiap aplikasi fungsi dengan panggilan ke...
Latar Belakang Fungsi di adalah PAC dipelajari dalam waktu quasipolynomial dengan algoritma klasik yang membutuhkan O ( 2 l o g ( n ) O ( d ) ) dipilih secara acak query untuk belajar sirkuit kedalaman d [1]. Jika tidak ada algoritma faktorisasi 2 n o ( 1 ) maka ini adalah optimal [2]. Tentu saja,...
Bisakah Anda menunjukkan bagaimana membangun fungsi Ackerman (sebenarnya saya tertarik pada versi yang diusulkan oleh Rózsa Péter dan Raphael Robinson) melalui operator standar rekursif mu? Saya mencoba makalah asli oleh Péter dan Robinson, tetapi makalah Péter menggunakan bahasa yang berbeda dari...
Saya sebenarnya punya dua pertanyaan: Siapa yang pertama kali menggunakan hubungan logis untuk menghubungkan semantik? Saya melacak mereka kembali ke Reynold's " On the Relation Antara Direct dan Continuation Semantics ", tetapi saya tidak bisa mengklaim telah melakukan pencarian lengkap. Saya...
Saya menggunakan istilah judul dalam arti yang sangat longgar. Ada sejumlah besar pekerjaan pada teori permainan evolusioner, termasuk dasar matematisnya. Saya direkomendasikan "Game Evolusi dan Dinamika Populasi" tetapi belum menggali ke dalamnya. Ada juga sejumlah besar pekerjaan pada teori...
Diketahui melalui teorema aproksimasi universal bahwa jaringan saraf dengan bahkan satu lapisan tersembunyi dan fungsi aktivasi yang berubah-ubah dapat mendekati setiap fungsi kontinu. Apa model lain yang ada yang juga merupakan penduga fungsi
Suatu kategori memiliki biproduk ketika objek yang sama adalah produk dan produk ganda. Adakah yang menyelidiki teori pembuktian kategori dengan biproduk? Mungkin contoh paling terkenal adalah kategori ruang vektor, di mana jumlah langsung dan konstruksi produk langsung memberikan ruang vektor...
Masalah pemeliharaan pesanan (atau "mempertahankan pesanan dalam daftar") adalah untuk mendukung operasi: singleton: membuat daftar dengan satu item, mengembalikan pointer ke sana insertAfter: diberi pointer ke item, memasukkan item baru setelahnya, mengembalikan pointer ke item baru delete:...
Saya perlu menyimpan set elemen tipe a. Ketik sebagian memerintahkan, sehingga membandingkan dan sebuah 2 dapat kembali lebih kecil, lebih besar, sama atau tak tertandingi.a1a1a_1a2a2a_2 Satu masalah dengan hashtable adalah bahwa dua elemen yang sama dapat direpresentasikan secara berbeda, dan...
Masalah terkait: Teorema Veblen menyatakan bahwa "Sebuah grafik mengakui dekomposisi siklus jika dan hanya jika itu genap". Siklusnya adalah edge disjoint, tetapi tidak harus simpul disjoint. Dengan kata lain, "Kumpulan tepi grafik dapat dipartisi menjadi siklus jika dan hanya jika setiap titik...
Kelas kompleksitas BQP sesuai dengan subrutin kuantum waktu polinomial mengambil input klasik dan mengeluarkan output klasik probabilistik. Saran kuantum memodifikasi bahwa untuk memasukkan salinan beberapa status saran kuantum yang telah ditentukan tetapi dengan input klasik seperti biasa. Apa...