Pertanyaan yang diberi tag «reference-request»

Adakah hasil yang diketahui pada kelas kompleksitas 1-in-3-SAT dengan jumlah kejadian variabel yang terbatas? Saya datang dengan pengurangan pelit berikut dengan Peter Nightingale, tapi saya ingin mengutip sesuatu jika ini diketahui. Inilah trik yang kami buat. Ini menunjukkan bahwa 1-in-3-SAT terbatas pada 3 kejadian per variabel adalah NP lengkap dan …

11 reference-request  sat  reductions 

Ada teori grafik algoritmik / teori bilangan / kombinatorik / teori informasi / teori permainan. Apakah ada analisis matematis algoritmik? Menurut wiki, analisis matematis mencakup teori diferensiasi, integrasi, ukuran, batas, deret tak hingga, dan fungsi analitik. Tidak masalah untuk fokus pada analisis nyata (wiki) yang berkaitan dengan bilangan real dan …

11 cc.complexity-theory  reference-request  soft-question  computability 

Saya seorang mahasiswa pascasarjana dalam ilmu komputer teoretis, dan khususnya, algoritma perkiraan. Sekarang saya menemukan bahwa saya lebih tertarik pada matematika murni (saya dapat mengatakan ini karena saya tampaknya lebih menikmati kursus matematika daripada kursus CS). Saya ingin bertanya apakah ada bidang dalam ilmu komputer teoretis yang cukup banyak matematika …

11 reference-request  soft-question 

Pertimbangkan masalah berikut: Dengan dua string x, y, tentukan apakah ada string homomorfisme f sedemikian rupa sehingga f (x) = y. Mudah untuk menunjukkan bahwa masalah ini ada di . Adakah hal lain yang bisa kita katakan tentang masalah ini? mis. Apakah itu dalam , atau bahkan ?NPNPNPc o NPcHaiNPcoNPPPP …

11 cc.complexity-theory  reference-request  fl.formal-languages 

Seperti yang kita ketahui, definisi kompleksitas komputasi algoritma hampir tanpa kontroversi, tetapi definisi kompleksitas komputasi real atau model komputasi atas real tidak dalam kasus seperti itu. Kita tahu model dan model Blum dan Smales dalam buku Computable Analysis. Dan tampaknya, model dalam Analisis Komputasi konsisten dengan model klasik, tetapi definisi …

11 cc.complexity-theory  reference-request  computability  computing-over-reals  computable-analysis 

Ada konstruksi yang sangat bagus oleh Conway angka surealis. Mereka adalah "angka" yang berisi bilangan real dan tata cara, benar-benar dipesan, dan memiliki semua properti bidang (kecuali mereka tidak membentuk himpunan tetapi kelas). Lihat misalnya pdf atau Wikipedia ini untuk pengantar. Mereka bahkan dapat digeneralisasikan dengan apa yang disebut "permainan", …

11 reference-request  gt.game-theory  implementation  board-games  combinatorial-game-theory 

Saya ingin tahu (terkait dengan pertanyaan lain ini ) apakah batas bawah diketahui untuk masalah pengujian berikut: seseorang diberi akses permintaan ke urutan nomor non-negatif an≥⋯≥a1an≥⋯≥a1a_n \geq \dots\geq a_1 dan ε∈(0,1)ε∈(0,1)\varepsilon \in (0,1) , dengan janji bahwa ∑nk=1ak=1∑k=1nak=1\sum_{k=1}^n a_k = 1 atau ∑nk=1ak≤1−ε∑k=1nak≤1−ε\sum_{k=1}^n a_k \leq 1-\varepsilon . Berapa banyak query …

11 reference-request  randomized-algorithms  property-testing 

Pertimbangkan grafik (masalahnya masuk akal untuk grafik langsung dan tidak langsung). Sebut M G matriks jarak G : M G [ i , j ] adalah jarak lintasan terpendek dari simpul i ke simpul j dalam G untuk fungsi agregasi tetap tertentu (misalnya + atau maks ).GGGMGMGM_GGGGMG[i,j]MG[i,j]M_G[i, j]iiijjjGGG+++maxmax\max Saya mengatakan …

11 ds.algorithms  reference-request  graph-algorithms  shortest-path 

Dalam Teorema Gratis! , Wadler mengatakan bahwa karakterisasi parametrik dapat diekspresikan kembali dalam hal transformasi alami yang lemah dan ini akan menjadi subjek makalah lebih lanjut. Kertas mana yang dia maksud? Pendekatan kategoris ke paramtericty saya tahu menggunakan transformasi dinatural seperti dalam Functorial Polymorphism oleh Bainbridge, Freyd, Scedrov dan PJ …

11 reference-request  ct.category-theory  parametricity 

Apakah klaim berikut diketahui? Klaim : Untuk setiap grafik dengan simpul ada pewarnaan sehingga setiap set independen diwarnai oleh paling banyak warna .n G O ( √GGGnnnGGGO ( n--√)O(n)O(\sqrt{n})

11 reference-request  graph-colouring 

Apakah Anda tahu masalah yang W [1] -dig bahkan untuk grafik derajat terbatas? Dimensi Metrik sulit pada grafik dengan derajat paling banyak 3, tetapi W [2] -dengan keras. Red-Blue Nonblocker dulunya adalah W [1] -berat pada grafik derajat terbatas tetapi ada kesalahan dalam pembuktiannya (buku Downey Fellows 2013), dan sulit …

11 reference-request  parameterized-complexity 

Saya membaca makalah Impagliazzo dan Wigderson yang terkenal pada tahun 1997. Karena saya baru di bidang ini dan makalah ini adalah versi konferensi singkat, saya mengalami kesulitan mengikuti bukti mereka. Secara khusus, beberapa teorema baru mereka tidak memiliki bukti. Sejauh pengetahuan saya, belum ada versi jurnal yang diterbitkan.P=BPPP=BPP\mathsf P=\mathsf{BPP} Saya …

11 cc.complexity-theory  reference-request  circuit-complexity  derandomization  pseudorandom-generators 

Saya mencari sumber daya (lebih disukai buku pegangan) tentang topik lanjutan dalam algoritma (topik di luar apa yang dicakup dalam buku teks algoritma seperti CLRS dan DPV). Jenis bahan yang dapat digunakan untuk mengajarkan topik dalam kursus algoritma seperti Erik Demaine dan kursus Algoritma Tingkat Lanjut David Karger . Sumber …

11 ds.algorithms  reference-request  survey  books 

Saya tertarik untuk mempelajari masalah lengkap Graph Isomorphism (GI). Dalam Makalah "Masalah Polinomi Setara dengan Isomorfisme Grafik" oleh Kellogg S. Booth, (1979), terbukti bahwa banyak masalah dasar adalah GI lengkap dengan menggunakan teknik penggantian Edge, teknik komposisi dll. Saya ingin belajar beberapa teknik yang digunakan dalam makalah baru-baru ini. Dapatkah …

11 cc.complexity-theory  reference-request  graph-isomorphism 

Sekarang ada kumpulan hasil pada pemisah dalam grafik, dari pemisah planar, pemisah pohon, grafik lebar pohon terikat, grafik genus terikat, dll, dll, dll. Apakah ada survei yang diperbarui yang baik tentang ini, dan aplikasi mereka?

11 reference-request  graph-algorithms  survey