Saya menulis tesis master saya di CS dan saya bekerja dengan analisis alias. Hal yang saya tertarik adalah intraprocedural, analisis aliran must-and-alias yang sensitif untuk bahasa mirip Java. Saya mencari teks yang menggambarkan dasar-dasar dari subjek ini secara terperinci tetapi tidak dapat...
Saya mendengar hasil perkiraan pewarnaan grafik, tetapi tidak dapat menemukan sumbernya. Hasilnya adalah: Untuk setiap konstanta terdapat cukup besar sehingga mewarnai grafik -colorable dengan warna adalah NP-hard.k k h khhhkkkkkkhkhkhk Bisakah seseorang tolong tunjukkan saya ke makalah yang...
Diberikan grafik terarah, kami ingin memutuskan apakah itu berisi siklus terarah dengan panjang genap. Makalah tahun 1997 oleh YUSTER dan ZWICK ini menyatakan bahwa masalahnya tidak diketahui dalam dan juga tidak diketahui lengkap.PPPNPNPNP Apakah ada hasil terbaru yang menyelesaikan...
Dalam Bab 13 "Objek Atom" dari buku "Algoritma Terdistribusi" oleh Nancy Lynch, linearitas (juga dikenal sebagai atomisitas) terbukti menjadi properti yang aman. Dengan kata lain, properti jejak yang sesuai adalah nonempty, prefix-closed, dan limit-closed , sebagaimana didefinisikan dalam Bagian...
Apa definisi standar Planar 3-SAT? Saya telah melihat sejumlah definisi berbeda. Apa kertas asli yang mendefinisikannya dan membuktikannya sebagai
Apakah ada masalah yang dapat dipecahkan dalam waktu polinomial hanya jika P! = NP, dan sebaliknya dipecahkan dalam waktu (katakanlah) waktu?O ( 2n)O(2n)O(2^n) Contoh sederhana adalah: Jika P! = NP, hitung tes primality untuk angka n-bit acak, jika tidak, evaluasi posisi kasus terburuk acak dalam...
Saya mencoba menemukan distribusi di atas vektor acak, katakanlah , pada -satuan dimensi ruang (di mana ) yang meminimalkan \ max_ {i \ neq j} \ mathrm {Var} (x_i ^ T x_j) tunduk pada kendala \ mathbb {E} [x_i ^ Tx_j] = 0 .nnnx1,…,xnx1,…,xnx_1,\ldots, x_nkkkn>kn>kn > kE [ x T i x j ] =...
Latar Belakang: Pemrosesan transaksi telah menjadi topik penelitian tradisional dalam teori basis data. Saat ini transaksi terdistribusi dipopulerkan oleh sistem penyimpanan terdistribusi skala besar yang biasanya melibatkan partisi data (juga disebut sharding) dan replikasi data . Apa masalah...
Pada 1965 artikel " Pada kompleksitas komputasi algoritma " oleh Hartmanis dan Stearns, penulis menduga bahwa jika real-time Turing Machine menghitung jumlah riil , misalnya, basis 10, maka adalah salah bilangan rasional atau nomor transendental.rrrrrrr Apakah ada bilangan transendental yang dapat...
Kompleksitas bukti adalah area paling dasar dari teori kompleksitas komputasi. Tujuan utama dari area ini adalah untuk membuktikan , yaitu, setiap prover tidak dapat memberikan bukti ketidakpuasan formula input yang diberikan. NP≠ c o NPNP≠cHaiNPNP\neq coNP Grafik adalah salah satu model bukti...
Ini adalah fakta yang cukup terkenal yang berasal dari kontradiksi dari ketidaksetaraan (misalnya, ) dalam teori tipe Martin-Loef membutuhkan alam semesta.( 0 = 1 ) → ⊥(0=1)→⊥(0=1) \to \bot Buktinya juga cukup mudah - dengan tidak adanya alam semesta, kita dapat menghapus dependensi dari tipe...
Pertimbangkan masalah berikut: Diberikan matriks kami ingin mengoptimalkan jumlah penambahan dalam algoritma multiplikasi untuk komputasi .v ↦ M vM.M.Mv ↦ Mvv↦M.vv \mapsto Mv Saya menemukan masalah ini menarik karena hubungannya dengan kompleksitas perkalian matriks (masalah ini adalah versi...
Transduser yang dipertimbangkan di sini adalah Wikipedia yang disebut transduser keadaan terbatas . Perilaku transduser , yaitu, hubungan yang dihitungnya, ditulis : kata adalah output untuk iff .TTT[ T][T][T]yyyxxxx [ T] yx[T]yx[T]y Pertanyaan: Apakah masalah berikut dapat diputuskan:...
Di mana saya dapat menemukan pengantar untuk automata probabilistik dan apa yang mereka kenali (fungsi tertentu dari kata ke )? Apakah ada istilah standar untuk fungsi seperti itu yang dikenali oleh automata probabilistik, analog dengan "bahasa reguler" untuk apa yang dikenali deterministik finite...
Misalkan HA L TnHALTnHALT_n menunjukkan string dengan panjang 2n2n2^n sesuai dengan tabel kebenaran dari penghentian masalah untuk input panjang nnn . Jika urutan kompleksitas Kolmogorov K( HA L Tn)K(HALTn)K(HALT_n) adalah O(1)O(1)O(1) , maka salah satu string saran akan sering digunakan tanpa...
Misalkan adalah bahasa parameter untuk beberapa alfabet . The -slice dari adalah , himpunan contoh di yang memiliki parameter . Kelas kompleksitas berisi bahasa parameter sehingga untuk setiap , mungkin dengan algoritma yang berbeda dan waktu berjalan polinomial terikat untuk setiap . Setiap bahasa...
Motivasi : Ketika mengembangkan alat untuk versi data, kami akhirnya mencari ke dalam algoritma untuk "membedakan" dua set bilangan bulat, dengan menghasilkan serangkaian transformasi yang membawa satu set bilangan bulat ke yang lain. Kami dapat mengurangi masalah itu menjadi masalah sangat alami...
Istilah inversi program memiliki banyak corak makna, tetapi mungkin dimulai dengan karya J. McCarthy tahun 1956, The Inversion of Functions Defined oleh Turing Machines dalam konteks AI. Saat ini banyak koneksi antara inversi program dan bidang lain telah ditemukan, misalnya pemrograman reversibel...
Saya berada dalam situasi di mana saya harus menunjukkan bahwa pemeriksaan ketik dapat dipilih untuk kalkulus yang diketik secara dependen yang sedang saya kerjakan. Sejauh ini, saya dapat membuktikan bahwa sistem ini sangat normal, dan dengan demikian kesetaraan definisi dapat ditentukan. Dalam...
Saya bertanya-tanya apakah seseorang dapat memberi saya intuisi di balik mengapa kepastian positif tipe data induktif menjamin normalisasi yang kuat. Untuk menjadi jelas, saya melihat bagaimana memiliki kejadian negatif mengarah pada perbedaan, yaitu dengan mendefinisikan: data X where Intro :...