Pertanyaan yang diberi tag «reference-request»

Yang saya sebut penghitungan adalah masalah yang terdiri dari menemukan sejumlah solusi untuk suatu fungsi. Lebih tepatnya, diberi fungsi (tidak harus kotak hitam), perkiraan # { x ∈ N ∣ f ( x ) = 1 } = | f - 1 ( 1 ) | .f: N→ { 0 …

13 ds.algorithms  reference-request  counting-complexity  time-complexity 

kompleksitas komputasi melibatkan sejumlah besar Combinatorics dan teori bilangan, beberapa ilmu pengetahuan dari stokastik, dan jumlah aljabar yang muncul. Namun, sebagai seorang analis, saya bertanya-tanya apakah ada aplikasi analisis dalam bidang ini, atau mungkin ide-ide yang terinspirasi oleh analisis. Yang saya tahu yang sedikit sesuai dengan ini adalah transformasi Fourier …

13 cc.complexity-theory  reference-request  soft-question  big-picture 

Baru-baru ini, saya akan membahas pengantar Holographic Algorithms. Saya menemukan beberapa objek kombinatorial yang disebut Pfaffians. Saya tidak benar-benar tahu banyak tentang itu saat ini dan menemukan beberapa kegunaan mengejutkan yang bisa mereka lakukan. Sebagai contoh, saya jadi tahu bahwa mereka dapat digunakan untuk menghitung secara efisien jumlah pencocokan sempurna …

13 reference-request  co.combinatorics  counting-complexity 

Ketika mengeksplorasi berbagai teknik pembuktian batas bawah untuk algoritma terdistribusi, terpikir oleh saya bahwa varian berikut dari teorema Ramsey mungkin memiliki aplikasi - jika itu benar. Parameter: kkk , KKK , nnn diberikan, dan kemudian NNN dipilih cukup besar. Terminologi: mmm -subset adalah subset dari ukuran mmm . Misalkan A={1,2,...,N}A={1,2,...,N}A …

13 reference-request  co.combinatorics  ramsey-theory 

Ketika mencoba memecahkan masalah, saya akhirnya menyatakan bagian dari itu sebagai program linear integer berikut. Di sini adalah bilangan bulat positif yang diberikan sebagai bagian dari input. Subset tertentu dari variabel x i j diatur ke nol, dan sisanya dapat mengambil nilai integral positif:ℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,wℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,w\ell,m,n_{1},n_{2},\ldots,n_{\ell},c_{1},c_{2},\ldots,c_{m},wxijxijx_{ij} Memperkecil ∑mj=1cj∑ℓi=1xij∑j=1mcj∑i=1ℓxij\sum_{j=1}^{m}c_{j}\sum_{i=1}^{\ell}x_{ij} Tunduk pada: ∑mj=1xij=ni∀i∑j=1mxij=ni∀i\sum_{j=1}^{m}x_{ij}=n_{i}\,\,\forall i …

13 reference-request  linear-programming  polynomial-time  integer-programming  integrality-gap 

Ada dua jenis utama kegagalan prosesor dalam model komputasi terdistribusi: (1) Kegagalan kerusakan: prosesor berhenti, dan tidak pernah memulai lagi. (2) Kegagalan Bizantium: prosesor berperilaku berlawanan, jahat. Pertanyaanku adalah: Apa saja jenis kegagalan prosesor yang telah dipelajari, yang tidak berkurang menjadi rusak atau kegagalan Bizantium? Juga, pertanyaan yang lebih spesifik: …

13 reference-request  dc.distributed-comp 

Masalah gosip dalam sistem terdistribusi adalah sebagai berikut. Kami memiliki grafik dengan n simpul. Setiap simpul v memiliki pesan m v yang harus kirim ke semua node.GGGnnnvvvmvmvm_v Sekarang, pertanyaan saya adalah dalam konteks model jaringan ad-hoc (kami berasumsi bahwa sebuah node tidak memiliki pengetahuan sebelumnya tentang topologi jaringan, derajat masuk …

13 reference-request  dc.distributed-comp 

Pertanyaan Apa yang baru dalam struktur data murni fungsional sejak Okasaki? , dan jawaban epik jbapple, disebutkan menggunakan daftar perbedaan dalam pemrograman fungsional (sebagai lawan dari pemrograman logika), yang merupakan sesuatu yang baru-baru ini saya minati. Hal ini membuat saya menemukan implementasi daftar perbedaan untuk Haskell. Saya memiliki dua pertanyaan …

13 reference-request  ds.data-structures  pl.programming-languages  functional-programming  logic-programming 

Diketahui bahwa menentukan apakah triangulasi 3-manifold yang diberikan adalah 3-bola di NP, melalui kerja oleh Saul Schleimer pada tahun 2004: "Pengenalan bola terletak pada NP" arXiv: math / 0407047v1 [math.GT] . Saya bertanya-tanya apakah ini telah ditetapkan untuk melengkapi NP dalam lima atau enam tahun terakhir? Masalah analog, seperti masalah …

13 cc.complexity-theory  reference-request  open-problem  topology 

Latar Belakang: Dalam pembelajaran mesin, kami sering bekerja dengan model grafis untuk mewakili fungsi kepadatan probabilitas dimensi tinggi. Jika kita membuang batasan yang mengintegrasikan kepadatan (jumlah) ke 1, kita mendapatkan fungsi energi terstruktur grafik yang tidak dinormalisasi . Misalkan kita memiliki fungsi energi seperti itu, , didefinisikan pada grafik . …

13 reference-request  machine-learning  lg.learning  boolean-functions 

Dua pohon pencarian biner dikatakan setara secara linear ketika mereka setuju dalam traversal berurutan mereka. Teorema berikut menjelaskan mengapa rotasi pohon sangat mendasar: Biarkan A dan B menjadi pohon pencarian biner. Kemudian A dan B setara secara linier jika dan hanya jika mereka dihubungkan oleh urutan rotasi pohon. Saya perhatikan …

13 reference-request  ds.data-structures 

Sangat mudah untuk memverifikasi bahwa dengan grid d dimensi dari titik integer , dengan kedekatan reguler, orang dapat menemukan pemisah ukuran n d - 1 (cukup pilih sembarang hyperplane tengah, dan hapus semua simpulnya). Juga tidak terlalu sulit (tapi jelas tidak langsung) untuk memverifikasi bahwa setiap pemisah harus berukuran Ω …

13 reference-request  cg.comp-geom  lower-bounds 

Hal ini diketahui berkat Immerman dan Szelepcsényi bahwa jika f = Ω ( log ) (bahkan untuk fungsi yang dapat dibangun tanpa ruang).NSPACE(f)=coNSPACE(f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f=Ω(log)f=Ω(log)f=\Omega(\log) Dalam makalah yang sama, Immerman menyatakan bahwa hierarki bolak-balik logspace runtuh, ini berarti bahwa (definisi mesin turing bolak terbatas dan apa yang ada hierarki dapat …

13 cc.complexity-theory  reference-request  space-bounded  alternating-hierarchy 

Treewidth dan pathwidth adalah parameter populer, yang mengukur kedekatan grafik ke pohon atau jalur. Memang, tampaknya treewidth sangat populer sehingga ditampilkan di banyak makalah, buku, dan catatan kuliah yang memberikan (bahkan sangat lembut) pengantar aspek algoritmik treewidth (lihat misalnya buku Downey & Fellows). Biasanya, sumber daya ini menjelaskan bagaimana beberapa …

13 reference-request  graph-algorithms  parameterized-complexity 

Apakah diketahui apakah umpan balik mengatur masalah pada grafik planar tidak berarah dengan derajat terikat adalah -hard?NPNP\mathsf{NP}

13 cc.complexity-theory  reference-request  graph-algorithms  np-hardness