Pertanyaan yang diberi tag «reference-request»

Saya mengajar batas bawah saat ini, dan salah satu siswa ditanya tentang alasan nama A C . Penjelasan resmi adalah bahwa "A" adalah singkatan dari "Alternation".A C0SEBUAHC0AC^0A CSEBUAHCAC Samar-samar saya ingat diberi tahu bertahun-tahun yang lalu bahwa Nick Pippenger Steve Cook menamai setelah Nick Pippenger (kelas Nick), dan kemudian Nick …

17 cc.complexity-theory  reference-request  ho.history-overview 

Saya membaca tentang kelas graf yang Graph isomorfisma ( ) dalam P . Salah satu kasus tersebut adalah grafik valensi terikat (maksimum lebih dari derajat setiap simpul) seperti yang dijelaskan di sini . Tapi saya merasa terlalu abstrak. Saya akan berterima kasih jika ada yang bisa menyarankan saya beberapa referensi …

17 ds.algorithms  reference-request  graph-theory  graph-isomorphism 

Bertahun-tahun yang lalu saya mendengar bahwa menghitung NFA minimal (otomat hingga nondeterministik) dari DFA (deterministik) adalah pertanyaan terbuka, berlawanan dengan arah sebaliknya yang telah dikenal selama beberapa dekade dan diteliti dengan baik dengan efisien algoritma. Adakah yang datang dengan algoritma?O ( n lgn)O(nlg⁡n)O(n \lg n) Pencarian cepat memberi saya makalah …

17 ds.algorithms  reference-request  fl.formal-languages  automata-theory  optimization 

Konteks: hubungan antara logika dan automata Teorema Büchi menyatakan bahwa logika Orde Kedua atas string (MSO) Monadic menangkap kelas bahasa biasa. Buktinya benar-benar menunjukkan bahwa MSO eksistensial ( exist atau EMSO ) lebih dari string sudah cukup untuk menangkap bahasa biasa. Ini mungkin sedikit mengejutkan, karena, di atas struktur umum, …

17 reference-request  lo.logic  regular-language  finite-model-theory 

Jaringan switch (namanya diciptakan) dibuat dengan tiga jenis node: satu simpul Mulai satu simpul ujung satu atau lebih Switch node Node switch memiliki 3 pintu keluar: Kiri, Atas, Kanan; memiliki dua status L dan R dan status target TL atau TR . Setiap sakelar dapat dilintasi dengan aturan berikut: selalu …

17 ds.algorithms  reference-request  graph-algorithms  np 

Apa metode yang paling dikenal untuk konvolusi siklik dengan panjang atas bidang kecil, yaitu ketika | F | ≪ n ? Saya sangat tertarik pada bidang berukuran konstan, atau bahkan F = F 2 . Pernyataan dan referensi efisiensi asimptotik umum sangat dihargai.nnn| F | ≪n|F|≪n|\mathbb{F}| \ll nF = F2F=F2\mathbb{F} …

17 ds.algorithms  reference-request 

Metode musuh negatif ( A D V±SEBUAHDV±ADV^\pm ) adalah SDP yang mencirikan kompleksitas kueri kuantum. Ini adalah generalisasi dari metode permusuhan yang banyak digunakan ( A D VSEBUAHDVADV ), dan mengatasi dua penghalang yang menghalangi metode permusuhan: Hambatan pengujian properti: jika semua 0-instans adalah εε\epsilon -far dari semua 1-instans maka …

17 cc.complexity-theory  reference-request  quantum-computing  query-complexity  property-testing 

Saya telah diberitahu bahwa ada beberapa waktu algoritma polinomial baik untuk mendekati jumlah jalur sederhana dalam grafik diarahkan dari yang diberikan mulai vertex untuk diberikan berakhir vertex . Adakah yang tahu referensi yang bagus tentang hal ini?sssttt Latar belakang: menghitung jumlah persis jalur dalam grafik umum adalah # P-complete tetapi …

17 ds.algorithms  reference-request  graph-algorithms  approximation-algorithms  counting-complexity 

Sudah diketahui umum bahwa jika Anda melempar n bola ke dalam n bin, nampan yang paling banyak dimuat kemungkinan besar memiliki O ( logn )HAI(catatan⁡n)O(\log n) bola di dalamnya. Secara umum, orang dapat bertanya tentang m > nm>nm > n bola dalam nnn nampan. Sebuah makalah dari RANDOM 1998 oleh …

17 reference-request  pr.probability 

Bagaimana jika ada yang diketahui tentang kompleksitas parameter dari penghitungan angka perpotongan grafik (jumlah klik terkecil yang diperlukan untuk menutupi semua tepinya)? Sudah lama dikenal sebagai NP-complete, dan itu jelas FPT karena memiliki kernel: jika Anda dapat menutupi grafik dengan klik maka ada paling banyak 2 k lingkungan simpul tertutup …

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

Karena istilah ini kelebihan beban, definisi singkat terlebih dahulu. Poset adalah himpunan dianugerahi perintah parsial . Dengan dua elemen , kita dapat mendefinisikan (gabung) sebagai batas atas paling rendah mereka di , dan dengan cara yang sama mendefinisikan (bertemu) (gabung) sebagai batas bawah terbesar.XXX≤≤\lea,b∈Xa,b∈Xa,b \in Xx∨yx∨yx \vee yXXXx∧yx∧yx \wedge y …

17 reference-request  co.combinatorics  metrics  lattice  order-theory 

Saya baru mengenal teori bahasa pemrograman dan saya mencari sumber daya yang bagus tentang sumber daya untuk semantik formal bahasa pemrograman. Secara khusus mencari semantik operasional struktural. Saya mendapat beberapa rekomendasi buku. Tapi saya mencari sumber daya di tingkat yang lebih awal. Terutama tutorial, situs web, dan rekomendasi buku gratis …

17 reference-request  pl.programming-languages  semantics  formal-systems 

Saya mencari tahu apakah ada hasil umum tentang atau contoh tentang kelengkapan NP dari masalah menemukan solusi kedua untuk masalah NP-lengkap. Lebih tepatnya, saya tertarik dengan masalah apa pun dari formulir berikut: Diberikan solusi untuk contoh dari masalah NP-complete, apakah ada solusi untuk ?SSSsayaIIS′≠ SS′≠SS' \neq SsayaII Setiap contoh masalah …

17 cc.complexity-theory  reference-request  np-hardness  unique-solution 

Sejauh yang saya mengerti, semua tahu aturan pivot deterministik untuk algoritma simpleks memiliki input spesifik yang algoritma membutuhkan waktu eksponensial (atau setidaknya tidak polinomial) untuk menemukan yang optimal. Mari kita sebut contoh ini 'patologis' karena biasanya (yaitu pada sebagian besar input) algoritma simpleks berakhir dengan cepat. Saya ingat dari kursus …

17 cc.complexity-theory  reference-request  linear-programming  simplex 

Saat membaca makalah tentang menggunakan metode aljabar untuk mendeteksi beberapa subgraf yang diinduksi, tampak bahwa edge ideal adalah alat penting yang menghubungkan teori aljabar dan grafik komutatif. Karena saya tidak terbiasa dengan perhitungan objek aljabar, apakah ada referensi atau buku yang bagus tentang topik ini? Keistimewaan dalam merepresentasikan cincin R …

17 ds.algorithms  reference-request  algebra  algebraic-complexity