Dalam kompleksitas pohon keputusan fungsi boolean, metode batas bawah yang sangat diketahui adalah untuk menemukan (perkiraan) polinomial yang mewakili fungsi. Paturi memberikan karakterisasi untuk fungsi simetris boolean (parsial dan total) dalam hal kuantitas yang dilambangkan :ΓΓ\Gamma...
Pertanyaan ini muncul dalam konteks kriptografi, tetapi di bawah ini saya akan menyajikannya dalam hal teori kompleksitas, karena orang-orang di sini lebih mengenal yang terakhir. Pertanyaan ini terkait dengan Masalah dalam NP tetapi tidak dalam Average-P / poly dan Beating Nonuniformity oleh...
Saya telah difasilitasi oleh ledakan luar biasa dalam Analisis Lancar dan dikejutkan oleh pernyataan di makalah Analisis Lancar dari Pemrograman Integer . Ini menyatakan bahwa Integer Linear Programming dalam Smoothed P jika Polynomially Bounded. Ini penting benar berdasarkan kebajikan bahwa...
Pertimbangkan ruang Hilbert . Dasar Produk Yang Tidak Dapat Diubah (UPB) adalah sekumpulan vektor produk sedemikian rupa sehingga:H= H1⊗ ⋯ ⊗ HnH=H1⊗⋯⊗HnH = H_1 \otimes \dots \otimes H_n| vsaya⟩ = | v1saya⟩ ⊗ ⋯ ⊗ | vnsaya⟩|vsaya⟩=|vsaya1⟩⊗⋯⊗|vsayan⟩\vert v_i \rangle = \vert v_i^1 \rangle \otimes...
Tentukan model komputasi MPostBQP agar identik dengan PostBQP kecuali kami mengizinkan pengukuran qubit secara polinomial banyak sebelum pengukuran pasca-seleksi dan akhir. Bisakah kita memberikan bukti yang menunjukkan bahwa MPostBQP lebih kuat daripada PostBQP? Tentukan MPostBQP [k] untuk...
Saya memiliki grafik yang hanya terdiri dari grafik bintang. Grafik bintang terdiri dari satu simpul pusat yang memiliki tepi ke setiap simpul lain di dalamnya. Mari H 1 , H 2 , ... , H n menjadi grafik bintang yang berbeda dari ukuran yang berbeda yang hadir dalam G . Kami menyebutnya himpunan...
Inilah masalah yang telah mengganggu saya untuk sementara waktu. Katakanlah string adalah urutan 1s dan 0s, dan string wildcard adalah urutan 1, 0, dan? S. Semua string dan string wildcard memiliki panjang yang sama. Ini adalah wildcard UNIX standar; 10 ?? 1 cocok 10011, 10111, dll - a? cocok...
Saya ingin tahu apakah masalah berikut memiliki nama, atau hasil apa pun yang terkait dengannya. Misalkan adalah grafik berbobot di mana menunjukkan bobot tepi antara dan , dan untuk semua , . Masalahnya adalah untuk menemukan subset dari simpul yang memaksimalkan jumlah dari bobot tepi yang...
Karena ini hari Jumat, saatnya untuk pertanyaan CW. Saya mencari heuristik yang banyak digunakan dalam masalah optimisasi. Untuk membatasi ruang lingkup ke heuristik yang lebih 'ramah teori', berikut adalah aturannya (ada yang arbitrer, ada yang tidak) Ini harus menjadi metode yang didefinisikan...
Tampaknya dalam bahasa kueri populer untuk basis data relasional, dimungkinkan untuk membuat kueri yang akan membutuhkan banyak sumber daya untuk menjawab. Dalam praktiknya, admin basis data mengelola ini dengan membatasi jumlah memori per kueri , dan memeriksa kueri yang telah berjalan lama jika...
Kami memiliki satu set, , dari daftar elemen dari set N = { 1 , 2 , 3 , . . . , n } . Setiap elemen dari N muncul dalam satu daftar di L . Saya mencari struktur data yang dapat melakukan pembaruan berikut:L.LLN= { 1 , 2 , 3 , . . . , n }N={1,2,3,...,n}N = \{ 1, 2, 3, ..., n \}NNNL.LL :...
Salah satu masalah utama dalam penghitungan grafik adalah menentukan 'bentuk' grafik, misalnya kelas isomorfisme dari grafik tertentu. Saya menyadari sepenuhnya bahwa setiap grafik dapat direpresentasikan sebagai matriks simetris. Namun, untuk mendapatkan bentuknya, Anda memerlukan kumpulan...
Bahkan jika itu bukan poin penting, saya tidak melihat literatur tentang pertanyaan ini. Apakah ada hasil relativisasi? Tidakkah cukup mudah untuk membuktikan inklusi yang ketat dengan mengadaptasi teorema hierarki waktu non-deterministik dengan mengeksplorasi semua jalur yang mungkin dari mesin...
Saya bertanya-tanya apakah urutan deklarasi tipe induktif dapat berpengaruh. Misalnya dalam Coq, Anda dapat menentukan Natdengan: Inductive Nat := | O : Nat | S : Nat -> Nat. atau Inductive Nat := | S : Nat -> Nat | O : Nat. Ini mungkin akan mengubah urutan parameter dalam...
Di beberapa area penelitian di CS kami mendapat beberapa hasil yang sangat menarik. Sekarang kami berpikir untuk menerbitkannya. Dalam kelompok kita, filosofi adalah untuk menerbitkan hal-hal kecil dalam makalah konferensi, yang ok tapi bukan yang terbaik. Sekarang saya berpikir untuk mengumpulkan...
Definisikan mesh dalam 3D sebagai kumpulan tetrahedra yang terhubung dengan interior terpisah (jadi tetrahedra hanya berbagi k-face, ). Diberikan grafik yang arbitrer, adakah prosedur yang efisien untuk menguji apakah dapat ditanamkan sebagai sebuah mesh?k ≤ 2k≤2k \le 2 Di sini, penyisipan adalah...
Saya menghargai petunjuk atau ketentuan yang dapat membantu saya memulai ke arah yang benar. Kami memiliki grafik berarah dan panjang untuk setiap tepi yang dapat dianggap positif. Ada adalah awal simpul khusus dan akhir simpul .G=(V,E)G=(V,E)G=(V,E)lijlijl_{ij}ijijijsssttt Untuk setiap tepi ,...
Karena tidak ada jawaban yang diberikan, bendera telah ditetapkan yang meminta agar pertanyaan ini dikonversi ke wiki komunitas. Komentar oleh Aaron Sterling, Sasho Nikolov, dan Vor telah disintesis menjadi resolusi berikut, yang terbuka untuk diskusi wiki komunitas: Terselesaikan: ...
Dalam Fasilitas berkapasitas Lokasi Masalah (CFLP) , kita diberi satu set klien dan satu set fasilitas potensial . Setiap klien memiliki permintaan yang harus dilayani oleh satu atau lebih fasilitas terbuka. Setiap fasilitas memiliki biaya pembukaan dan memiliki kapasitas , yang merupakan...
AAA3×33×33 \times 34×44×44 \times 4aijaija_{ij}BBBB per ( A ) = det ( B )per(A)=det(B)per(A)=det(B)\operatorname{per}(A) = \det(B)BBBper(A)=det(B)per(A)=det(B)\operatorname{per}(A) = \det(B) Beberapa batasan dapat berupa kasus-kasus berikut: Kasus (1)(1)(1) Hanya linear functionals...