Pertanyaan yang diberi tag «reference-request»

Apakah ada batas bawah non-sepele pada waktu berjalan algoritma grafik dalam RAM / PRAM / model perhitungan? Saya tidak mencari hasil NP-Hardness di sini. Berikut ini adalah hasil yang bisa saya temukan [lihat ref L92]: 3-Pewarnaan dari n-cycle membutuhkan waktu .Ω ( log∗n )Ω(catatan∗⁡n)\Omega(\log^*{n}) Saya ingin tahu apakah ada kemajuan …

8 cc.complexity-theory  reference-request  graph-algorithms  lower-bounds 

Penyortiran menggunakan perbandingan 2-elemen memiliki kompleksitas kasus terburuk asimptotik dari (dicapai oleh mergesort, heapsort, penyisipan biner, setidaknya ford-johnson), yang optimal.nlog2(n)nlog2⁡(n)n \log_2(n) Jika kita mengurutkan menggunakan perbandingan yang mengurutkan elemen k sebagai blok bangunan, teori informasi batas bawah adalah . Kita dapat dengan mudah mencapai dengan penyisipan k-ary.nlogk!(n)nlogk!⁡(n)n \log_{k!}(n)nlogk(n)nlogk⁡(n)n \log_k(n) Pertanyaan: …

8 cc.complexity-theory  ds.algorithms  reference-request  sorting 

Saya tertarik pada pointer ke algoritme (algoritme aproksimasi baik-baik saja) yang berupaya mempartisi grafik menjadi dua himpunan bagian sehingga jumlah bobot tepi dalam setiap subset sama (kurang-lebih) sama, dan jumlah bobot tepi antara keduanya himpunan bagian adalah (kurang-lebih) minimal. Petunjuk apa pun sangat dihargai.

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

Saya melihat ke dalam ML untuk menghasilkan kode yang lebih efisien (yaitu mengkompilasi waktu dan menjalankan heuristik waktu). Saya memiliki phd (compiler, hpc), tetapi sangat sedikit pengalaman ML. Saya akan sangat menghargai referensi untuk pekerjaan yang ada. Lebih penting lagi, teknik Pembelajaran Mesin mana yang harus saya jelajahi? setiap sampel …

8 reference-request  optimization  machine-learning  compilers 

Ada algoritma yang mudah untuk menghitung amplop atas dari susunan garis di pesawat. Lihat misalnya bagian 2.3 dalam survei, urutan Davenport-Schinzel dan aplikasi geometriknya . Adakah algoritma / struktur data yang diketahui untuk versi dinamis dari masalah yang sama? Artinya, kami ingin mempertahankan amplop atas dari serangkaian garis di pesawat …

8 ds.algorithms  reference-request  ds.data-structures  cg.comp-geom 

Algoritme / teknik matematika apa yang tersedia untuk persis / kira-kira menghitung jumlah set independen? Apakah / Apakah ada referensi yang baik / referensi yang baik tentang topik ini? Saya tertarik pada grafik reguler.

8 ds.algorithms  reference-request  graph-theory  approximation-algorithms  counting-complexity 

ini adalah penulisan ulang pertanyaan saya yang lain baru-baru ini [1] yang tidak dinyatakan dengan baik (memiliki penyederhanaan yang jelas, mea culpa) tapi saya pikir masih ada pertanyaan yang tidak penting di jantungnya. telah melihat masalah serupa dalam literatur tetapi tidak yang satu ini pada khususnya. akan menulisnya dalam bentuk …

8 cc.complexity-theory  reference-request  circuit-complexity  lower-bounds 

Gagasan diameter dibatasi MST adalah bahwa Anda menjaga semua simpul terhubung dan dalam jarak tertentu satu sama lain. Tetapi semua kertas yang saya lihat menjaga persyaratan bahwa Anda menghasilkan pohon, ketika memungkinkan siklus dapat membantu mengurangi diameter. Adakah yang tahu makalah yang mengeksplorasi ini? (Sulit untuk mencari.) Sebagai contoh, perhatikan …

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

Kami sedang mengerjakan kertas yang menyajikan beberapa algoritma untuk menemukan segitiga dan motif jaringan (subgraph ukuran konstan, juga dikenal sebagai graphlets) dalam pengaturan terdistribusi. Kami mencirikan pertukaran antara jumlah segitiga dalam grafik dan beban komunikasi yang diperlukan. Saya mencari referensi untuk pekerjaan yang dilakukan pada pertanyaan ini dalam model terpusat. …

8 reference-request  graph-theory  graph-algorithms 

Di kertas "tanda tangan pendek dari pasangan Weil" oleh Boneh, Lynn dan Shacham, saya akan melalui bukti keamanan sama seperti tanda tangan lainnya. Namun teknik yang digunakan dalam tulisan ini cukup unik. Alih-alih menggunakan penantang normal dan interaksi musuh, mereka membagi bukti menjadi 6 game di mana setiap game diperpanjang …

8 reference-request  cr.crypto-security 

Saya baru-baru ini menghadiri Workshop tentang Pseudorandomness di Chennai Mathematical Institute on Pseudorandomness. Venkat Guruswami membuat pernyataan yang indah berikut saat berbicara (tentang teori pengkodean): Sungguh luar biasa berapa banyak seseorang dapat membuktikan menggunakan fakta sederhana bahwa tingkat polinomial atas lapangan dapat memiliki paling d akar.dddddd Saya percaya ini juga …

8 reference-request  polynomials 

Penutupan leksikal adalah teknik implementasi dalam bahasa dengan fungsi kelas satu. Saya tertarik dengan deskripsi operasional sederhana dari penutupan fungsi. Adakah yang tahu deskripsi seperti itu?

8 reference-request  pl.programming-languages  semantics  compilers 

Saya mencari kerja pada sistem yang mirip dengan urutan urutan tinggi K. Dosen ("Sistem Urutan untuk Modal Logika", JSL 50 ). Satu-satunya karya yang saya sadari adalah karya terbaru oleh Iemhoff dan Metcalfe ("Teori bukti aturan yang dapat diterima", Annals of Pure and Applied Logic 159 (1-2), 2009). Apakah ada …

8 reference-request  lo.logic  proof-theory 

Kami diberi tumpukan yang menampung "item" dengan warna berbeda dan sebuah mesin yang dapat memproses banyak item dengan warna yang sama sekaligus. Pada setiap langkah, kita dapat menghapus satu item dari bagian atas setiap tumpukan dan memasukkannya ke dalam mesin kami (sehingga secara efektif mesin dapat memproses paling banyak item …

8 ds.algorithms  reference-request  scheduling 

Apa referensi terbaik untuk belajar mandiri di DATALOG? Saya terutama tertarik pada kekuatan ekspresif, hasil kompleksitas, metode evaluasi, ekstensi DATALOG dengan negasi dll. Apakah ada buku atau makalah yang mencakup semua ini?

8 reference-request  lo.logic  db.databases  logic-programming