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
Ini ditulis dalam entri wiki dari Eksekusi Simbolik , tetapi saya tidak dapat menemukan referensi untuk itu. Adakah yang bisa menunjukkan saya pointer? Terima
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...
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 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...
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...
Diberikan himpunan dan B , hubungan difungsional ( ∼ ) ⊆ A × B di antara mereka didefinisikan sebagai hubungan yang memuaskan properti berikut:SEBUAHSEBUAHABBB ( ∼ ) ⊆ A × B(∼)⊆SEBUAH×B(\sim) \subseteq A \times B Jika dan a ′ ∼ b ′ dan a ∼ b ′ , maka a ′ ∼ b . a ∼ bSebuah∼ba \sim bSebuah′∼...
Biarkan menyatakan himpunan { 1 , . . . , n } dan C (n, k) menunjukkan himpunan semua k- kombinasi elemen dari [ n ] tanpa pengulangan. Misalkan p = p 1 p 2 . . . p k menjadi k -tupel dalam C ( n , k ) . Kami mengatakan bahwa permutasi π : [ n ] → [
Ini bukan pekerjaan rumah, meskipun sepertinya. Setiap referensi diterima. :-) Skenario: Ada bola yang nnn berbeda dan nampan yang nnn berbeda (dilabeli dari 1 ke nnn , dari kiri ke kanan). Setiap bola dilemparkan secara independen dan seragam ke dalam tempat sampah. Biarkan f(i)f(i)f(i) menjadi...
Pertimbangkan pertanyaan alami berikut: Dengan bahasa terbatas , apa yang menghasilkan tata bahasa L terkecil yang bebas konteks ?L.L.LL.L.L Kita bisa membuat pertanyaan yang lebih menarik dengan menentukan urutan bahasa , misalnya L n adalah himpunan semua permutasi dari { 1 , ... , n } :...
Saya tertarik pada masalah "terdekat" (dan "paling kompleks") dengan dugaan Collatz yang telah berhasil diselesaikan (yang menurut Erdos terkenal "matematika belum matang untuk masalah seperti itu"). Telah terbukti bahwa kelas masalah "Collatz-like" tidak dapat diputuskan. Namun, masalah yang...
Latar belakang : Saya datang ke akhir gelar master saya di Matematika dan akan memulai PhD di bidang Logika pada bulan Agustus. Semakin banyak saya belajar logika, semakin banyak ilmu komputer teoritis saya terkena, misalnya teori rekursi, kalkulus lambda, tetapi CS yang mendasarinya disikat di...
Saya sedang menyiapkan beberapa materi kursus tentang heuristik untuk optimisasi, dan telah mencari metode penurunan koordinat. Pengaturan di sini adalah fungsi multivarian yang ingin Anda optimalkan. memiliki properti yang terbatas pada variabel tunggal mana pun, mudah dioptimalkan. Jadi...
Apa kelas kompleksitas yang terkait dengan algoritma pencarian lengkap? (jika ada) Apakah NP atau PSPACE? Apakah ada model komputasi terbatas yang menangkap kelas algoritma pencarian lengkap mirip dengan model untuk pemrograman serakah dan
Seperti diketahui semua orang, SAT lengkap untuk kali banyak polynomial . Itu masih lengkap wrt banyak-satu pengurangan.N PNP\mathsf{NP}A C0SEBUAHC0\mathsf{AC^0} Pertanyaan saya adalah berapa kedalaman minimum yang diperlukan untuk reduksi? Lebih formal, Apa yang paling sehingga SAT adalah...
Apa kompleksitas query yang paling dikenal dari algoritma pembelajaran Goldreich-Levin? Catatan kuliah dari blog Luca Trevisan , Lemma 3, menyatakannya sebagai . Apakah ini yang paling dikenal dalam hal ketergantungan pada n ? Saya akan sangat berterima kasih untuk referensi ke sumber yang dapat...
Saya memulai PhD saya musim gugur ini dan saya berencana untuk bekerja dalam teori kompleksitas untuk tesis saya. Saya menyusun daftar makalah penting yang harus diketahui oleh setiap ahli teori kompleksitas. Makalah apa yang akan Anda sarankan untuk orang seperti saya? Dan tolong jelaskan secara...
Pertimbangkan ruang nnn dimensi {0,1}n{0,1}n\{0,1\}^n , dan mari menjadi batasan linear dari bentuk , di mana , dan .ccca1x1+a2x2+a3x3+ ... +an−1xn−1+anxn≥ka1x1+a2x2+a3x3+ ... +an−1xn−1+anxn≥ka_1x_1 + a_2x_2 + a_3x_3 +\ ...\ + a_{n-1}x_{n-1} + a_nx_n \geq kai∈Rai∈Ra_i \in...