Menurut buku Teori Topologi Grafik oleh Gross dan Tucker, diberikan embedding seluler grafik pada suatu permukaan (dengan 'permukaan' yang saya maksudkan adalah bola dengan beberapa pegangan, dan di bawah S n mengacu pada bola dengan tepat n handle), seseorang dapat mendefinisikan multigraf ganda...
Saya tertarik pada pertanyaan apakah NP sama dengan coNP atau tidak. Saya sangat menghargai saran tentang publikasi yang bagus untuk membaca topik ini. Sebagai catatan, saya tahu bahwa pertanyaan ini terkait erat dengan pertanyaan apakah P sama dengan NP atau tidak (sehingga jika NP! = CoNP maka...
Beberapa latar belakang: Saya tertarik untuk menemukan batas bawah (atau hasil kekerasan) "kurang dikenal" untuk masalah Belajar dengan Kesalahan (LWE), dan generalisasi seperti Belajar dengan Kesalahan atas Cincin. Untuk definisi spesifik, dll., Ini adalah survei yang bagus oleh Regev:...
Masalah terbuka yang sangat menarik dalam studi ukuran kompleksitas fungsi Boolean adalah dugaan sensitivitas vs blok sensitivitas. Untuk latar belakang tentang sensitivitas versus sensitivitas blok Anda dapat melihat posting blog berikut S. Aaronson di http://www.scottaaronson.com/blog/?p=453...
Apakah permainan informasi yang sempurna ini dimainkan pada grafik yang diketahui / dipelajari? Diberikan grafik , dua pemain bergantian memilih tepi atau simpul yang terisolasi. Jika pemain memilih tepi e = ( u , v ) dua simpul u dan v dihapus bersama dengan tepi insidennya. Jika pemain memilih...
Saya mencoba memahami protokol bitcoin dalam konteks keamanan kriptografi komputasi. Pertanyaannya adalah permintaan referensi untuk dasar artikel kriptografi di bitcoin. Pertanyaan pertama saya adalah protokol bitcoin kriptografi abstrak apa yang coba diimplementasikan? Apakah kita memiliki...
Bagian dari kesulitan untuk mengetahui lebih lanjut tentang masalah ini adalah bahwa masalah pencocokan grafik berbeda dari sepupunya yang jauh lebih terkenal, masalah pencocokan, tetapi sulit dibedakan dari itu ketika menggunakan mesin pencari. Diberikan dua grafik G=(V,E)G=(V,E)G=(V,E) dan...
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
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...
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,...
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...
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...
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 (
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...
Dilambangkan dengan tingkat keluar minimal dalam G , dan oleh δ - ( G ) yang minimal dalam derajat.δ+(G)δ+(G)\delta^+(G)GGGδ−(G)δ−(G)\delta^-(G) Dalam pertanyaan terkait , saya telah menyebutkan perluasan Ghouila-Houri dari teorema Dirac pada siklus Hamilton , yang menunjukkan bahwa jika maka G...
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,...
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...
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...
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...
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...