pengantar Saya sedang menulis tesis PhD saya tentang Abstrak Delta Modeling (ADM), deskripsi aljabar abstrak modifikasi (dikenal sebagai delta ) yang dapat bertindak atas produk (seperti dalam 'produk perangkat lunak'). Ini dapat digunakan untuk mengatur satu set produk terkait ('lini produk')...
Tolong permisi kesederhanaan judul, saya mungkin telah mengorbankan kejelasan di altar keringkasan. Orang dapat melihat bahwa memasukkan elemen-elemen dari array ke pohon pencarian biner dan membacanya kembali membutuhkan (pada penyisipan) perbandingan yang sama seperti menjalankan Quicksort pada...
Dalam pengantar makalah ini Akhirnya Objek Linearizable Bersama (PODC'10) , penulis telah menyajikan pernyataan berikut tanpa referensi: Akan tetapi, linierabilitas dapat dicapai jika dan hanya jika konsensus dapat diselesaikan. Di sini, kemampuan linierisasi adalah sifat konsistensi terkuat...
Mari menjadi keluarga subset -element dari alam semesta terbatas benda. Sebuah keluarga dari subset -element dari , dengan , adalah - Memukul-set dari jika untuk setiap terdapat setidaknya satu set seperti bahwa .FFFdddUUUHHHkkkUUU1≤k<d1≤k<d1 \le k < d(k,d)(k,d)(k,d)FFFV∈FV∈FV \in FW∈HW∈HW...
Saya mencari kompleksitas pemenuhan rumus atau dari rumus mana adalah rumus dari bentuk: Dimana adalah konstanta dalam , dan domain variabel juga .∃ x 1 , ... , x m ∀ y 1 , ... , y n , ϕ ϕ ϕ : = ϕ ∧ ϕ | ¬ ϕ | ϕ → ϕ | ψ ψ : = t > t | t∀ y1, ... , yn, ∃ x1, ... , xm, ϕ∀y1,…,yn,∃x1,…,xm,ϕ\forall...
PERSAMAAN LINEAR DIOPHANTINE (diberikan bilangan asli , adakah bilangan asli dan sedemikian sehingga ?) Dapat dipecahkan dalam waktu polinomial.a , b , cSebuah,b,ca, b, cxxxyyya x + b y+ c = 0Sebuahx+by+c=0ax + by + c = 0 PERSAMAAN DIOPHANTIN KUADRATIK ( ) adalah NP-complete ( masalah keputusan...
Algoritma Berkowitz menyediakan sirkuit ukuran polinomial dengan kedalaman logaritmik untuk penentu matriks kuadrat menggunakan kekuatan matriks. Algoritma secara implisit menggunakan pembatalan. Apakah pembatalan penting untuk mencapai sirkuit ukuran polinomial dengan kedalaman logaritmik atau...
Sudah diketahui bahwa keberadaan fungsi satu arah diperlukan dan cukup untuk banyak kriptografi (tanda tangan digital, generator pseudorandom, enkripsi kunci pribadi, dll.). Pertanyaan saya adalah: Apa konsekuensi teori-kompleksitas dari keberadaan fungsi satu arah? Misalnya, OWF menyiratkan bahwa...
Misalkan P! = NP. Kami tahu bahwa kami dapat membuat instance 3-SAT mudah kapan saja. Kami juga dapat menghasilkan apa yang kami yakini sebagai contoh sulit (karena algoritme kami tidak dapat menyelesaikannya dengan cepat). Apakah ada sesuatu yang mencegah himpunan instances keras, dari menjadi...
Nash Equilibria tidak dapat dihitung secara umum. Suatu keseimbangan -Nash adalah seperangkat strategi di mana, mengingat strategi lawan, masing-masing pemain memperoleh dalam dari hasil maksimum yang diharapkan. Menemukan keseimbangan -Nash, diberikan dan permainan, adalah .ϵ ϵ ϵ P P A...
Saya tahu pekerjaan Shannon dengan entropi, tetapi belakangan ini saya telah bekerja pada struktur data yang ringkas di mana entropi empiris sering digunakan sebagai bagian dari analisis penyimpanan. Shannon mendefinisikan entropi dari informasi yang dihasilkan oleh sumber informasi diskrit...
Ada masalah yang dapat diputuskan, ada beberapa yang tidak dapat diputuskan, ada yang dapat diputuskan, dll. Dalam hal ini saya bertanya-tanya apakah masalah dapat menjadi meta-diputuskan. Ini berarti (setidaknya di kepala saya) kita tidak bisa mengatakan apakah itu dapat ditentukan atau...
Saya mencoba menemukan grafik dengan properti-properti itu untuk studi saya, tetapi sayangnya saya tidak dapat menemukan grafik tersebut. Adakah yang tahu kalau ada grafik itu, atau mengapa tidak mungkin
Misalkan saya memiliki poin dalam R d . Ini menginduksi diagram Voronoi. Jika saya menetapkan masing-masing k menunjuk label ± , ini menginduksi fungsi biner pada R d . Pertanyaan: berapakah dimensi VC dari semua fungsi biner yang mungkin diinduksi oleh beberapa titik k dan beberapa pelabelan...
Saya sedang memecahkan masalah "memadukan" set gambar yang tumpang tindih. Set ini dapat diwakili oleh grafik tertimbang yang tidak diarahkan seperti yang ini: Setiap node mewakili gambar. Gambar yang tumpang tindih dihubungkan oleh tepi. Bobot tepi mewakili ukuran area yang tumpang tindih (...
Karena kedua bukti menggunakan argumen diagonal, saya bertanya-tanya apakah ada hubungan yang tidak jelas antara keberadaan himpunan tak terbatas yang tak terhitung dan ketidakpastian masalah penghentian. Apakah masalah penghentian bisa ditentukan jika semua set dapat
Ini masalah tetangga terdekat. Diberikan real (sangat besar !), Plus target real , cari dan yang paling dekat dengan . Kami mengizinkan pra-pemrosesan / pengindeksan yang dari (hingga ), tetapi pada waktu kueri (diberikan ), hasilnya harus dikembalikan dengan sangat cepat (misalnya, waktu). n p a...
Apakah ada algoritma yang dikenal untuk masalah berikut yang mengalahkan algoritma naif? Input: matriks AAA dan vektor b,cb,cb,c , di mana semua entri A,b,cA,b,cA,b,c adalah bilangan bulat tidak negatif. x∗x∗x^*max{cTx:Ax≤b,x∈{0,1}n}max{cTx:Ax≤b,x∈{0,1}n}\max \{ c^T x : Ax \le b, x \in \{...
Berapa banyak siklus yang ada dalam grafik vertex sehingga grafik tidak memiliki siklus .CkCkC_k n C m ( m > k )( k ≥ 3 )(k≥3)(k \geq 3)nnn CmCmC_m ( m > k )(m>k)(m>k) Misalnya , , maka grafik akan memiliki paling banyak dua sehingga tidak akan memilikik = 3 C 3 G C k ( k > 3 ) .n =...
Do Alam Bukti , perelatifan dan Algebrization juga mempengaruhi pemisahan kelas kompleksitas lain seperti dll?L ≠ NL ≠ NP≠ c o NP≠ P.H≠ P.SPA CEL≠NL≠NP≠coNP≠PH≠PSPACEL\neq NL\neq NP\neq coNP \neq PH\neq PSPACE Misalnya bukti alami penghalang harus mempengaruhi bukti karena akan memisahkan P ≠ N P...