Pertanyaan yang diberi tag «reference-request»

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 ) …

15 reference-request  co.combinatorics  permutations 

Ini ditulis dalam entri wiki dari Eksekusi Simbolik , tetapi saya tidak dapat menemukan referensi untuk itu. Adakah yang bisa menunjukkan saya pointer? Terima kasih.

15 reference-request  lo.logic  program-analysis 

Diketahui bahwa meminimalkan ukuran ekspresi reguler adalah PSPACE-complete bahkan jika kita memiliki DFA sebagai spesifikasi bahasa . Apa hasil jika bahasanya terbatas? Satu dapat mempertimbangkan masalah ini dalam dua model: Input adalah semua string dalam bahasa, dan kami mengukur ukuran input dengan jumlah panjang semua string. Input adalah DFA, dan …

15 cc.complexity-theory  reference-request  fl.formal-languages  regular-expressions  dfa 

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 bekerja di area ini, tetapi saya belum melihat karakterisasi …

15 reference-request  machine-learning  lg.learning 

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 …

15 reference-request  pl.programming-languages  denotational-semantics  logical-relations 

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 yang sama. Ini berarti ruang vektor dan peta linier adalah …

15 reference-request  lo.logic  pl.programming-languages  type-theory  ct.category-theory 

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 telah menemukan referensi untuk hubungan logis yang berkencan sebelumnya …

15 reference-request  pl.programming-languages  denotational-semantics  logical-relations 

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 permainan algoritmik, yang merupakan topik populer di situs ini. Yang ingin …

15 reference-request  gt.game-theory  genetic-algorithms  evolutionary-game-theory 

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 relatif sederhana untuk itu? Bagaimana dengan algoritma yang tidak …

15 ds.algorithms  reference-request  graph-theory  graph-algorithms 

Beberapa latar belakang: Łukasiewicz logika bernilai tinggi dimaksudkan sebagai modal logika, dan Łukasiewicz memberikan definisi ekstensional dari operator modal: (yang ia kaitkan dengan Tarski).◊ A =de f¬ A → A◊SEBUAH=def¬SEBUAH→SEBUAH\Diamond A =_{def} \neg A \to A Ini memberikan logika modal yang aneh, dengan beberapa teorema paradoks, jika tidak tampak absurd, …

15 reference-request  lo.logic  proof-theory  linear-logic  modal-logic 

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, untuk mendapatkan Cauchy urutan . f …

15 reference-request  lo.logic  pl.programming-languages  denotational-semantics  metric-spaces 

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 K).

15 reference-request  lo.logic  proof-theory 

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 fpt?

15 cc.complexity-theory  reference-request  reductions  parameterized-complexity 

Saat membaca makalah " Sebuah teori aplikatif untuk FPH " Anda dapat menemukan bagian berikut: Mempertimbangkan teori yang mengkarakterisasi kelas kompleksitas komputasi, ada tiga pendekatan berbeda: dalam satu, fungsi yang dapat didefinisikan dalam teori adalah "otomatis" dalam kelas kompleksitas tertentu. Dalam akun seperti itu, sintaksis harus dibatasi untuk menjamin bahwa …

15 cc.complexity-theory  reference-request  complexity-classes  lo.logic  proof-complexity 

Saya tertarik pada pembuatan angka pseudo-acak untuk kriptografi. Selain Bab 5 dari Menezes / Oorschot / Vanstone ; Bab 8 dari Stinson ; dan Bab 3 dari Goldreich , di mana lagi saya bisa menemukan lebih banyak? Saya tertarik pada prinsip umum untuk mendesain PRNG (properti yang diinginkan, tes, dll).

15 cc.complexity-theory  reference-request  pseudorandomness