Pertanyaan yang diberi tag «reference-request»

Saya memiliki masalah yang ada di NEXP dan juga dapat diselesaikan dengan TM bergantian menggunakan waktu eksponensial dan hanya satu pergantian (mulai dalam keadaan eksistensial).NPNP^{\text{NP}} Adakah yang diketahui tentang NEXP ? Apakah setara dengan NEXP atau kelas lain? Apakah ada masalah lengkap selain yang umum (diberi mesin NEXP dan sebuah …

11 cc.complexity-theory  reference-request  complexity-classes  nexp 

Pertanyaan ini dimotivasi oleh pertanyaan yang diajukan pada stackoverflow . Misalkan Anda diberi rooted tree (yaitu ada root dan node punya anak dll) pada n node (berlabel 1 , 2 , … , n ).TTTnnn1,2,…,n1,2,…,n1, 2, \dots, n Setiap simpul memiliki bobot bilangan bulat non-negatif yang terkait: w i .iiiwiwiw_i …

11 cc.complexity-theory  reference-request  np-hardness  tree  application-of-theory 

Ini adalah kelanjutan dari pertanyaan saya sebelumnya tentang komunikasi batas bawah untuk fungsi boolean parsial . Dapatkah seseorang menyarankan referensi tentang batas bawah untuk komunikasi multi pihak non-deterministik? Saya telah mensurvei makalah di lapangan, tetapi semua orang tampaknya menunjukkan pemisahan jenis berikut: batas bawah untuk protokol acak dan batas atas …

11 cc.complexity-theory  reference-request  lower-bounds  communication-complexity  norms 

Biarkan menjadi distribusi lebih dari bitstring / pasangan label dan biarkan menjadi kumpulan fungsi bernilai boolean . Untuk setiap fungsi , misalkan: dan biarkan: OPT (C, D) = \ min_ {f \ dalam C} \ err (f, D) Katakan bahwa suatu algoritma A secara agnostik mempelajari C atas distribusi apa …

11 reference-request  machine-learning  lg.learning 

Sementara seorang mahasiswa S1 EE saya menghadiri beberapa kuliah yang menyajikan karakterisasi bagus sirkuit boolean dalam hal berapa banyak loop bersarang yang mereka miliki. Dalam kerumitannya, sirkuit boolean sering dianggap sebagai dag, tetapi dalam siklus perangkat keras yang sebenarnya adalah hal biasa. Sekarang, modulo beberapa teknis mengenai apa loop dan …

11 cc.complexity-theory  reference-request  circuit-complexity  machine-models  ar.hardware-architecture 

Dalam grafik, himpunan bebas adalah himpunan bagian verteks yang tidak mengandung tepi sebagai subgraf yang diinduksi. Masalah menemukan set independen terbesar dalam grafik adalah pertanyaan algoritmik yang mendasar, dan yang sulit pada saat itu. Mari kita pertimbangkan pertanyaan yang lebih umum untuk menemukan (ukuran) set bebas-H terbesar dalam sebuah grafik, …

11 ds.algorithms  reference-request  graph-theory  np-hardness  co.combinatorics 

Sangat mudah untuk melihat di banyak buku teks bukti pengurangan subjek dan normalisasi yang kuat untuk Sistem F, juga, kadang-kadang ada definisi Sistem F dengan pasangan, di mana (t, r) adalah istilah, bukan hanya pengkodean. Pertanyaannya adalah, apa yang akan menjadi referensi untuk sistem ini?

11 reference-request  lo.logic  type-theory  lambda-calculus  polymorphism 

Saya terutama tertarik pada penggunaannya dalam aplikasi pengecekan model. Saya memiliki Jaringan Antrian Terbuka, Tertutup dan Campuran dengan Kelas Pelanggan yang Berbeda oleh Baskett et al. Ada saran lain untuk bahan bacaan? Terima kasih.

11 reference-request  markov-chains  queueing-theory  model-checking 

Dilambangkan dengan tingkat keluar minimal dalam G , dan oleh δ - ( G ) yang minimal dalam derajat.δ+(G)δ+(G)\delta^+(G)GGGδ−(G)δ−(G)\delta^-(G) Dalam pertanyaan terkait , saya telah menyebutkan perluasan Ghouila-Houri dari teorema Dirac pada siklus Hamilton , yang menunjukkan bahwa jika maka G adalah Hamiltonian.δ+(G),δ−(G)≥n2δ+(G),δ−(G)≥n2\delta^+(G),\delta^-(G) \geq \frac{n}{2} Dalam komentarnya, Saeed mengomentari ekstensi …

11 reference-request  graph-theory 

Menurut buku Teori Topologi Grafik oleh Gross dan Tucker, diberikan embedding seluler grafik pada suatu permukaan (dengan 'permukaan' yang saya maksudkan adalah bola dengan beberapa pegangan, dan di bawah S n mengacu pada bola dengan tepat n handle), seseorang dapat mendefinisikan multigraf ganda dengan memperlakukan wajah dari grafik asli yang …

11 ds.algorithms  reference-request  graph-theory  cg.comp-geom  topological-graph-theory 

Apakah ada pekerjaan untuk memulihkan kemiringan segmen garis dari digitalisasi? Seseorang tidak dapat melakukan ini dengan akurasi sempurna, tentu saja; apa yang diinginkan adalah metode untuk mendapatkan dari garis digital interval dari kemungkinan kemiringan. (Gagasan garis digital yang saya gunakan adalah Rosenfeld's: himpunan pasangan mana berkisar di atas bilangan bulat …

11 reference-request  cg.comp-geom  cv.computer-vision  image-processing 

Saya akan sangat tertarik pada referensi ke teori fungsi submodular (dari dasar ke lanjutan). Secara khusus, saya sedang mempelajari perkiraan untuk masalah optimasi keras dan saya ingin mengembangkan dasar saya dalam fungsi submodular karena mereka relevan dengan masalah optimasi yang telah saya pelajari. Terima kasih sebelumnya.

11 ds.algorithms  reference-request  approximation-algorithms  optimization 

Salah satu konsekuensi paling praktis dari korespondensi "Curry-Howard-Lambek" adalah bahwa sintaks dari banyak lambda-calucli / logika dapat digunakan untuk melakukan konstruksi dalam kategori yang cukup terstruktur. Misalnya, Synthetic Differential Geometry memiliki model dalam topoi yang berisi dan menyematkan kategori manifold halus, sehingga Anda dapat menggunakan logika tingkat tinggi untuk membangun …

11 reference-request  pl.programming-languages  type-theory  ct.category-theory  constructive-mathematics 

Saya bertanya-tanya apakah seseorang dapat memberi saya intuisi di balik mengapa kepastian positif tipe data induktif menjamin normalisasi yang kuat. Untuk menjadi jelas, saya melihat bagaimana memiliki kejadian negatif mengarah pada perbedaan, yaitu dengan mendefinisikan: data X where Intro : (X->X) -> X kita dapat menulis fungsi yang berbeda. Tetapi …

10 reference-request  pl.programming-languages  type-theory  type-systems  dependent-type 

Saya berada dalam situasi di mana saya harus menunjukkan bahwa pemeriksaan ketik dapat dipilih untuk kalkulus yang diketik secara dependen yang sedang saya kerjakan. Sejauh ini, saya dapat membuktikan bahwa sistem ini sangat normal, dan dengan demikian kesetaraan definisi dapat ditentukan. Dalam banyak referensi yang saya baca, decidability dari typechecking …

10 reference-request  pl.programming-languages  type-theory  dependent-type  typed-lambda-calculus