Saya tertarik pada contoh konstruksi dalam teori kompleksitas yang lebih baik daripada konstruksi acak. Satu-satunya contoh konstruksi yang saya tahu adalah di bidang kode koreksi kesalahan. Kode aljabar-geometri lebih baik dalam beberapa rentang parameter daripada kode acak. Orang dapat dengan...
Ada banyak contoh dalam kombinatorik dan ilmu komputer di mana kita dapat menganalisis masalah grafik-teoretis tetapi untuk analog hypergraph masalah, alat kita kurang. Menurut Anda mengapa masalah sering menjadi jauh lebih sulit di atas hypergraph 3-seragam daripada lebih dari 2-seragam grafik?...
Biarkan menjadi bahasa bebas konteks. Tentukan menjadi penutupan sebelum dan postfix dari L , dengan kata lain, ppc (L) mengandung semua L 's prefiks dan postfixes, dan karenanya L sendiri. Pertanyaan saya: jika L bebas konteks dan memiliki tata bahasa yang tidak ambigu, apakah hal yang sama...
f,gf,gf,gf(n)logf(n)=o(g(n))f(n)logf(n)=o(g(n))f(n) \log f(n) = o(g(n))DTIME(f(n))⊊DTIME(g(n))DTIME(f(n))⊊DTIME(g(n)) DTIME(f(n)) \subsetneq DTIME(g(n))f,gf,gf,gf(n+1)=o(g(n))f(n+1)=o(g(n))f(n+1)=o(g(n))itu adalah Ada banyak hasil (lama dan saat ini) yang menggunakan teorema hierarki waktu untuk...
Posting terkait dengan: /mathpro/59631/lovasz-theta-function-and-independence-number-of-product-of-simple-odd-cycles Seberapa jauh Lovasz terikat dari kapasitas nol-kesalahan grafik reguler? Adakah contoh di mana ikatan Lovasz diketahui tidak sama dengan kapasitas nol-kesalahan pada grafik biasa?...
Program rentang adalah cara linier-aljabar menentukan fungsi boolean yang diperkenalkan di sini . Baru-baru ini, model ini digunakan untuk menunjukkan bahwa metode musuh negatif memberikan karakterisasi yang ketat (setidaknya hingga ) dari kompleksitas kueri.catatann /
Pertimbangkan masalah Set yang Mendominasi dalam grafik umum, dan biarkan menjadi jumlah simpul dalam grafik. Algoritma pendekatan serakah memberikan jaminan perkiraan faktor 1 + log n , yaitu mungkin untuk menemukan dalam waktu polinomial solusi S sedemikian rupa sehingga | S | ≤ ( 1 + log n ) o p...
Untuk menjawab "masalah apa yang dapat diselesaikan dengan komputasi", kami mengembangkan teori komputabilitas. Untuk masalah yang dapat dihitung, apakah ada teori untuk menjawab pertanyaan "apakah program yang saya dapatkan paling sederhana"? Saya tidak berpikir kompleksitas komputasi menjawab...
Mari adalah graf terhubung dengan node dan tepi . Biarkan menunjukkan (bilangan bulat) dari grafik , dengan total bobot dalam grafik. Berat rata-rata per node adalah . Biarkan menunjukkan penyimpangan dari simpul dari mean. Kami memanggilyang ketidakseimbangan node .GGGG = ( V, E)G=(V,E)G = (V,E)V=...
Kita tahu bahwa log dari peringkat matriks 0-1 adalah batas bawah dari kompleksitas komunikasi deterministik, dan log dari peringkat perkiraan adalah batas bawah dari kompleksitas komunikasi acak. Kesenjangan terbesar antara kompleksitas komunikasi deterministik dan kompleksitas komunikasi acak...
Meskipun pemisahan eksponensial antara kompleksitas kueri-kuantum kesalahan terbatas ( Q(f)Q(f)Q(f) ) dan kompleksitas kueri deterministik ( D(f)D(f)D(f) ) atau kompleksitas kueri acak terbatas ( R(f)R(f)R(f) ) diketahui, mereka hanya berlaku untuk fungsi parsial tertentu. Jika fungsi parsial...
Saya seorang mahasiswa master yang berfokus pada sistem terdistribusi tetapi juga tertarik pada ilmu komputer teoretis. Saya bertanya-tanya apakah ada representasi formal dari sistem terdistribusi di atas mesin turing? Artinya, apakah mungkin untuk memperluas (membuat varian) konsep mesin turing...
Mencoba memungkinkan untuk penyimpanan efisien daftar elemen. Awalan dibagikan sehingga hemat ruang. Saya mencari cara yang sama untuk menyimpan pohon secara efisien. Saya ingin dapat memeriksa keanggotaan dan menambahkan elemen, mengetahui apakah pohon yang diberikan adalah subtree dari beberapa...
Pembaruan: Tampaknya masalah ini telah dipelajari dan diselesaikan baru-baru ini, lihat artikel wiki ini: http://en.wikipedia.org/wiki/Tree_walking_automaton Dan juga survei ini: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Misalkan alih-alih seperangkat kata yang biasa, {0,1} *,...
Kita tahu bahwa menemukan convex hull dari nnn poin di pesawat memiliki batas bawah dari Ω ( n logn )Ω(ncatatann)\Omega(n\log n) pada waktu berjalan. Namun, jika titik-titik tersebut diberikan dalam urutan di mana mereka terjadi sepanjang beberapa poligon sederhana yang memiliki titik-titik...
Serakah adalah istilah non-formal, tetapi bisa jadi (tidak yakin, itu sebabnya saya bertanya) bahwa untuk masalah tertentu, kerakusan dapat dirumuskan secara matematis dan dengan demikian terbukti bahwa tidak ada algoritma serakah yang optimal ada. Apakah ini
Dalam makalah seminal Bernstein dan Vazirani "Teori Kompleksitas Kuantum", mereka menunjukkan bahwa transformasi kesatuan dimensi dapat secara efisien didekati dengan produk dari apa yang mereka sebut "rotasi dekat-sepele" dan "pergeseran fase dekat-sepele".ddd "Rotasi Near-trivial" adalah matriks...
Ada cukup banyak pekerjaan pada masalah komputasi untuk pesanan parsial (misalnya, pengakuan, nomor lompatan, pengakuan grafik komparatif, dll ...). Saya ingin tahu apa pekerjaan khusus untuk kisi telah dilakukan. Saya telah mencari-cari dan tidak menemukan banyak pekerjaan serupa untuk...
Mengingat grafik diarahkan dan dua simpul . Sepasang jalur sederhana dari ke adalah edge disjoint jika mereka tidak berbagi edge.G=(V,E)G=(V,E)G = (V,E)s,t∈Vs,t∈Vs,t \in Vp1,p2p1,p2p_1,p_2sssttt Menggunakan aliran maks, mudah untuk memutuskan apakah ada sepasang jalur disjoint ujung dari ke ....
CATATAN : Pertanyaan telah dinyatakan kembali dalam jawaban saya: Dengan asumsi sekarang kita dapat menemukan leluhur saudara kandung terendah dalam waktu O ( 1 )O(1)O(1) , dapatkah JST benar-benar dilakukan dalam O ( logn )O(logn)O(\log n) ? Quadtrees adalah indeks spasial yang efisien. Saya...