Pertanyaan yang diberi tag «reference-request»

Setiap planar , masing-masing, outerplanar graph memenuhi , masing-masing, , untuk setiap subgraf dari . Juga, grafik planar (luar) dapat dikenali dalam waktu polinomial.| E ′ | ≤ 3 | V ′ | - 6 | E ′ | ≤ 2 | V ′ | - 3 G ′ = …

16 reference-request  graph-theory  graph-algorithms 

Saya bertanya-tanya, apakah ada makalah atau penelitian yang berhubungan dengan automata yang terlihat jelas, tetapi membiarkan kata-kata, daripada huruf tunggal, untuk didorong ke tumpukan. Bergantian, konstruksi yang memungkinkan untuk simbol harus didorong pada -transitions bisa mencapai tujuan yang sama.ϵϵ\epsilon Jelas, variasi seperti itu dapat dibentuk, tapi saya bertanya-tanya apakah itu …

16 reference-request  fl.formal-languages  automata-theory  context-free  context-free-languages 

π 1 : A × B → A π 2 : A × B → BA×B≜∀α.(A→B→α)→αA×B≜∀α.(A→B→α)→α A \times B \triangleq \forall\alpha.\; (A \to B \to \alpha) \to \alpha π1:A×B→Aπ1:A×B→A\pi_1 : A \times B \to Aπ2:A×B→Bπ2:A×B→B\pi_2 : A \times B \to B Ini tidak terlalu mengejutkan, meskipun pembacaan alami dari tipe …

16 reference-request  pl.programming-languages  dependent-type  parametricity 

Saat membaca blog Dick Lipton, saya menemukan fakta berikut di dekat akhir posting Bourne Factor : Jika, untuk setiap , ada hubungan bentuk mana , dan masing-masing , b_k dan c_k adalah poli (n) dengan panjang bit, kemudian anjak memiliki polinomial sirkuit berukuran.nnn(2n)!=∑k=0m−1akbckk(2n)!=∑k=0m−1akbkck (2^n)! = \sum_{k=0}^{m-1} a_k b_k^{c_k} m=poly(n)m=poly(n)m = …

16 ds.algorithms  reference-request  factoring  comp-number-theory 

Diberikan simpul tak berarah titik, apa batas runtime paling dikenal untuk menemukan subgraph yang merupakan k × k -biclique? Apakah ada algoritma parametrized yang lebih cepat daripada algoritma waktu dari "menebak" satu sisi biclique dan melihat apakah setidaknya ada simpul lain yang muncul pada semuanya?nnnk×kk×kk\times k(nk)poly(n)(nk)poly(n)\binom{n}{k}\mbox{poly}(n)kkk

16 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

Apakah naskah berikut tersedia untuk umum? Dana Scott, 1969, Sebuah teori fungsi yang dikomputasi dari tipe yang lebih tinggi . Catatan seminar yang tidak diterbitkan, 7 halaman, University of Oxford. Ada diskusi dari makalah ini di bagian 8.1.2, Jenis sebagai set , di Cardone & Hindley, 2006 Sejarah Lambda-calculus dan …

16 reference-request  lo.logic  type-theory  domain-theory 

Ambil grafik terarah mana tepinya didekorasi dengan bilangan alami. Kami ingin himpunan semua jalur P antara dua simpul v 1 dan v 2 sedemikian rupa sehingga setiap tepi berurutan di jalur dihiasi dengan bilangan alami yang lebih besar dari bilangan alami yang menghiasi tepi sebelumnya.GGGPPPv1v1v_1v2v2v_2 Aplikasi untuk ini adalah jadwal …

16 ds.algorithms  reference-request  graph-algorithms  terminology 

Sudah diketahui bahwa rumus acak -CNF atas variabel dengan klausa tidak memuaskan (yaitu mereka kontradiksi) dengan probabilitas tinggi, untuk konstanta yang cukup besar . Dengan demikian, rumus acak -CNF (untuk cukup besar) merupakan distribusi alami atas formula Boolean yang tidak memuaskan (atau setiap akhir, lebih dari tautologi, yaitu negasi kontradiksi). …

16 cc.complexity-theory  reference-request  lo.logic  sat  random-k-sat 

Diberikan poin dalam R d dan jarak l menemukan subset terbesar dari titik-titik ini sehingga jarak Euclidian tidak ada dua dari mereka melebihi l .p1,…,pnp1,…,pnp_1,\ldots,p_nRdRd\mathbb{R}^{d}llllll Apa kompleksitas masalah ini? Dalam grafik di atas titik-titik yang memiliki keunggulan setiap kali jarak dua titik paling banyak , masalahnya setara dengan menemukan klik …

16 ds.algorithms  reference-request  cg.comp-geom 

Misalkan Anda memiliki dua peserta kuat yang sewenang-wenang yang tidak saling mempercayai. Mereka memiliki akses ke komitmen bit (mis., Amplop tertutup berisi data yang dapat diberikan satu pemain kepada yang lain tetapi tidak dapat dibuka sampai pemain pertama memberikan kunci kedua). Bisakah Anda menggunakan ini untuk membangun protokol transfer yang …

16 reference-request  cr.crypto-security 

Grafik bebas-X adalah grafik yang tidak mengandung grafik dari X sebagai subgraf yang diinduksi. Sebuah lubang adalah siklus dengan setidaknya 4 simpul. Sebuah aneh-lubang lubang dengan jumlah ganjil simpul. Sebuah antihole adalah komplemen dari lubang. Grafik (ganjil-lubang, ganjil-antihole) -gratis adalah grafik sempurna; ini adalah Teorema Grafik Sempurna yang Kuat . …

16 reference-request  graph-theory  co.combinatorics  graph-classes 

Seperti di, area makalah dalam Jurnal ACM tentang Experimental Algorithmic JEA . Yang merupakan karya dasar? Apa hasil utamanya? Bagaimana mereka dikarakterisasi? Adakah koneksi menarik ke bidang ilmu komputer lainnya?

16 ds.algorithms  reference-request  experimental 

Apa yang harus saya baca untuk memahami masalah ini? Kekuatan sirkuit kuantum kecil-kedalaman. Apakah ? Dengan kata lain, dapatkah bagian "kuantum" dari algoritma kuantum apa pun dikompres ke kedalaman polylog (n), asalkan kami bersedia melakukan postprocessing klasik waktu polinomial? (Ini diketahui benar untuk algoritma Shor.) Jika demikian, membangun komputer kuantum …

16 cc.complexity-theory  reference-request  quantum-computing 

Saya menemukan beberapa buku tentang komputer, tetapi semuanya tentang teknologi. Saya ingin sesuatu yang lebih terkait dengan teori.

15 reference-request  soft-question  philosophy 

Saya seorang mahasiswa pascasarjana dalam matematika, dan ilmu komputer teoretis adalah domain yang saya tidak pernah mengerti tentang apa itu karena saya tidak dapat menemukan bacaan yang baik tentang topik tersebut. Saya ingin tahu apa sebenarnya domain ini, topik apa yang terkait, prasyarat apa yang diperlukan untuk memulai, dll. Untuk …

15 reference-request  soft-question  books