Pertanyaan yang diberi tag «reference-request»

Diberikan grafik terarah, kami ingin memutuskan apakah itu berisi siklus terarah dengan panjang genap. Makalah tahun 1997 oleh YUSTER dan ZWICK ini menyatakan bahwa masalahnya tidak diketahui dalam dan juga tidak diketahui lengkap.PPPNPNPNP Apakah ada hasil terbaru yang menyelesaikan kompleksitas masalah siklus genap dalam grafik yang diarahkan?

10 cc.complexity-theory  reference-request  graph-theory 

Saya mendengar hasil perkiraan pewarnaan grafik, tetapi tidak dapat menemukan sumbernya. Hasilnya adalah: Untuk setiap konstanta terdapat cukup besar sehingga mewarnai grafik -colorable dengan warna adalah NP-hard.k k h khhhkkkkkkhkhkhk Bisakah seseorang tolong tunjukkan saya ke makalah yang relevan?

10 reference-request  approximation-hardness  graph-colouring 

Saya menulis tesis master saya di CS dan saya bekerja dengan analisis alias. Hal yang saya tertarik adalah intraprocedural, analisis aliran must-and-alias yang sensitif untuk bahasa mirip Java. Saya mencari teks yang menggambarkan dasar-dasar dari subjek ini secara terperinci tetapi tidak dapat menemukan sesuatu yang benar-benar cocok. Saya selamat dari …

10 reference-request  pl.programming-languages  compilers  program-analysis 

Saya mencari referensi tentang kompleksitas masalah penyeimbangan rumus Boolean . Khususnya, Apakah diketahui bahwa rumus Boolean dapat diseimbangkan dalam ?AC0AC0\mathsf{AC^0} Apakah ada bukti sederhana keseimbangan Boolean yang menyeimbangkan berada di ?AC0AC0\mathsf{AC^0} Maksud "sederhana" yang saya maksud adalah bukti yang lebih sederhana daripada yang saya sebutkan di bawah ini, khususnya saya …

10 cc.complexity-theory  ds.algorithms  reference-request  lo.logic  boolean-formulas 

Baru-baru ini saya telah membaca sejumlah makalah CoLT yang layak. Meskipun saya tidak bergumul dengan makalah individual (setidaknya tidak lebih dari biasanya saya bergumul dengan makalah teori lainnya), saya tidak merasa memiliki pemahaman yang luas tentang bidang ini secara keseluruhan. Apakah ada teks standar, survei, atau catatan kuliah untuk memperkenalkan …

10 reference-request  machine-learning  lg.learning  survey  books 

Biarkan . Saya perlu membuat grafik sederhana G dengan ketebalan g sedemikian sehingga himpunan semua g- sepeda membentuk penutup tepi ganda G (yaitu, setiap tepi dibagi dengan tepat dua g- sepeda), dan sedemikian rupa sehingga persimpangan dari dua g- sepeda bisa berupa simpul, tepi, atau kosong. Grafik yang dihasilkan harus …

10 ds.algorithms  reference-request  graph-theory  co.combinatorics  pseudorandom-generators 

Representasi paling sederhana untuk grafik menggunakan matriks / daftar adjacency, yang berarti bahwa setiap node dan edge secara eksplisit diwakili. Pentingnya representasi implisit untuk grafik yang menunjukkan keteraturan yang kuat telah lama diakui. Misalnya, Galperin & Wigderson (1983), Papadimitriou & Yannakakis ( Catatan tentang Representasi Ringkas Grafik , 1986) mengeksplorasi …

10 ds.algorithms  reference-request  graph-theory  survey  binary-decision-diagrams 

Beberapa tahun yang lalu, saya menemukan aturan kiri berikut untuk kesetaraan dalam kalkulus berurutan: s ≐ t ⇝ θθ ( Γ ) ⊢ θ ( C)Γ , s ≐ t ⊢ Cs≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢C \frac{s \doteq t \leadsto \theta \qquad \theta(\Gamma) \vdash \theta(C)} {\Gamma, s \doteq t \vdash C} Di sini, menghitung …

10 reference-request  lo.logic  pl.programming-languages  proof-theory  sequent-calculus 

Dalam makalah Pada dua masalah teori informasi , Erd dan Rényi memberikan batas yang lebih rendah pada jumlah minimum penimbangan yang harus dilakukan seseorang untuk menentukan jumlah koin palsu dalam satu set koin.nnn Lebih formal: Koin palsu memiliki bobot lebih kecil dari koin kanan; bobot dan dari koin kanan dan …

10 ds.algorithms  reference-request  co.combinatorics  it.information-theory  randomized-algorithms 

JBV menyarankan saya mengubah beberapa komentar menjadi pertanyaan, jadi begini saja. Pertanyaan lain [1] menanyakan tentang aplikasi komputasi QM. Satu jawaban [2] adalah "simulasi mekanika kuantum secara efisien". Rupanya ide ini berasal dari tulisan Feynman awal tentang subjek; walaupun saya tidak punya referensi. Begitu: Pertanyaan. Apa bukti bahwa komputer kuantum …

10 reference-request  quantum-computing  application-of-theory 

Misalkan menjadi seperangkat Basis yang Tidak Saling Cocok (MUB) dalam C n , yaitu setiap B i adalah basis ortonormal dan untuk v ∈ B i , w ∈ B j , i ≠ j we punya | ⟨ V | w ⟩ | = 1B= { B1, ... , …

10 reference-request  quantum-information 

Apa batas terbaik saat ini untuk melakukan kueri penghitungan kisaran ruang setengah pada set poin dimensi, dinyatakan dalam bentuk tradeoff waktu / ruang. Menurut mani 1993 kertas Matousek ini (Teorema 6.2, pencarian Rentang dengan Efisien hirarkis Stek), kita dapat melakukan berbagai perhitungan untuk query yang merupakan persimpangan halfspaces, untuk , …

10 reference-request  ds.data-structures  cg.comp-geom 

Biarkan menjadi grafik dengan sisi positif (berbobot). Saya ingin mendefinisikan diagram Voronoi untuk satu set node / situs , untuk mengasosiasikan dengan simpul subgraph dari yang disebabkan oleh semua node ketat lebih dekat dengan daripada node lain dalam , mengukur panjang lintasan dengan jumlah bobot pada busur. adalah 's wilayah …

10 reference-request  graph-theory  cg.comp-geom 

Saya cukup akrab dengan teori di balik VC-Dimension, tetapi saya sekarang sedang melihat kemajuan (10 tahun terakhir) dalam teori pembelajaran statistik: rata-rata (lokal) Rademacher rata-rata, Massma's Finite Class Lemma Class, Numbering Covering, Chaining, Dudley's Teorema, Pseudodimension, Dimensi Penghancuran Lemak, Nomor Pengepakan, Komposisi Rademacher, dan mungkin hasil / alat lain yang …

10 reference-request  machine-learning  lg.learning  books  vc-dimension 

Dalam pencarian saya untuk makalah penelitian tentang sistem tipe untuk bahasa imperatif, saya hanya menemukan solusi untuk bahasa dengan referensi yang bisa berubah tetapi tanpa struktur kontrol imperatif asli seperti operator majemuk, loop atau kondisional. Jadi tidak jelas bagaimana bahasa imperatif dengan inferensi tipe parsial seperti http://rust-lang.org dapat diimplementasikan. Makalah …

10 reference-request  pl.programming-languages  type-theory  type-inference  imperative-programming