Pertanyaan yang diberi tag «cc.complexity-theory»

Seperti yang Anda semua tahu, ada keruntuhan berkelanjutan dari Krisis Keuangan tahun 2008. Saya berpikir tentang bagaimana teori kompleksitas cocok dengan semua ini, ketika saya menyadari saya tidak tahu kelas kompleksitas dasar yang berkaitan dengan Ekonomi Keuangan. Jadi pertanyaan saya adalah apa klasifikasi kompleksitas (jika ada) dari Teori Portofolio Markowitz …

9 cc.complexity-theory  gt.game-theory  ce.computational-finance 

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 Teorema ( Paturi ): Misalkan menjadi fungsi simetris non-konstan, dan melambangkan f k = …

9 cc.complexity-theory  quantum-computing  lower-bounds  boolean-functions  query-complexity 

Ini adalah pos yang dipisahkan dari Konsekuensi UP sama dengan NP , dan juga pertanyaan lanjutan untuk Kelas Kompleksitas Semantik vs. Sintaksis . Dalam posting di atas kita belajar tentang kelas semantik dan sintaksis . Secara singkat dinyatakan, ketika suatu kelas dapat dikarakteristikkan sebagai bahasa daun, kelas , maka suatu …

9 cc.complexity-theory  complexity-classes  big-picture 

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 memungkinkan beberapa putaran pengukuran dan pasca pemilihan sebelum kita melakukan pengukuran akhir. Pilih …

9 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs 

Biarkan menjadi seperangkat bentuk persegi panjang dimensional. Untuk dan , menjelaskan panjang dalam dimensi . Notasi yang sama digunakan untuk wadah . Masalah pengemasan orthogonal dimensional (OPP- ) adalah memutuskan apakah cocok dengan wadah tanpa tumpang tindih. Secara formal, masalahnya adalah untuk mengetahui apakah ada fungsi , sehinggaVVVDDDd∈{1,...,D}d∈{1,...,D}d \in \{1,...,D\}v∈Vv∈Vv …

9 cc.complexity-theory  reference-request  np-hardness  packing 

Apakah masalah keputusan berikut NP-complete: Misalkan adalah grafik yang tidak terarah dan b ≤ c dua bilangan bulat. Apakah mungkin untuk memilih untuk setiap simpul persis tetangga yang berbeda sehingga tidak ada simpul yang dipilih lebih dari kali.GGGb ≤ cb≤cb \le cb cGGGbbbccc Kasing dapat diselesaikan untuk setiap dalam waktu …

9 cc.complexity-theory  np-hardness  graph-algorithms 

Teori kompleksitas komputasi mengklasifikasikan masalah berdasarkan kesulitannya. Teori sistem kompleks membahas sistem yang menunjukkan perilaku yang tidak jelas muncul dari sifat-sifat bagian individu sistem. Contohnya termasuk sistem kacau, sistem adaptif yang kompleks, atau sistem nonlinier. Apakah ada jembatan formal antara bidang-bidang ini? Untuk apa nilainya, gagasan melakukan kriptografi dengan automata …

9 cc.complexity-theory  soft-question  big-picture 

Perkalian matriks menggunakan reguler - teknik (baris kolom dalam produk) mengambil multiplucations dan penambahan. Namun dengan asumsi entri berukuran sama (jumlah bit dalam setiap entri dari kedua matriks dikalikan) dari ukuran bit, operasi penambahan sebenarnya terjadi pada bit .O ( n 3 ) m O ( n 3 n m …

9 cc.complexity-theory  algebraic-complexity 

IP (2pfa) dan AM (2pfa) adalah kelas bahasa yang dikenali dengan kesalahan terbatas oleh versi koin pribadi dan publik, masing-masing, dari sistem bukti interaktif dengan verifier yang probabilistic automata terbatas dengan kepala input dua arah. Apakah ada properti penutup dari kelas-kelas ini yang diketahui?

9 cc.complexity-theory  interactive-proofs 

Adakah hasil yang diketahui yang menunjukkan bahwa keberadaan (atau tidak adanya) grafik berhingga dengan sifat komputabel spesifik menyiratkan hasil kompleksitas tertentu (seperti P = NP)? Inilah satu hasil yang sepenuhnya hipotetis : Jika grafik berhingga ada dengan tepi terdistribusi A, B, C dan D sehingga semua pencocokan maksimum mengandung semua …

9 cc.complexity-theory 

Saya bertanya-tanya apakah tugas mencari planar 3-warna diketahui sebagai kompleksitas atau lebih rendah? Ini terasa seperti itu akan menjadi konsekuensi intuitif berdasarkan hasil pemisah planar, namun di wikipedia , itu hanya menyebutkan set independen, pohon Steiner, siklus Hamilton, dan TSP. Di bawah ini saya sertakan beberapa alasan yang menurut saya …

9 cc.complexity-theory  graph-algorithms  planar-graphs  graph-colouring 

Hasil ini oleh Tavenas, Koiran dan lain-lain menunjukkan bahwa setiap polinomial yang dihitung oleh sirkuit ukuran sss dihitung oleh kedalaman-4 sirkuit homogen ukuran sd√sds^{\sqrt{d}} . Apakah ada hasil yang serupa untuk sirkuit Boolean atau kita tahu mengapa hal seperti itu tidak mungkin?

9 cc.complexity-theory  circuit-complexity  arithmetic-circuits 

Konteks : Ada beberapa makalah yang mempelajari implikasi dari kurva timelike tertutup (CTL) terhadap kompleksitas kuantum. Pada tahun 2008, Aaronson dan Watrous menerbitkan makalah terkenal mereka tentang topik ini yang menunjukkan bahwa bentuk perjalanan waktu tertentu dapat membuat komputasi klasik dan kuantum setara, yaitu komputer kuantum tidak memberikan keuntungan komputasi …

9 cc.complexity-theory  quantum-computing  big-picture 

Gagasan algoritma distilasi berikut berasal dari "Pada Masalah Tanpa Kernel Polinomial". Biarkan bahasa diberikan. Sebuah algoritma destilasi untuk L mengambil daftar yang diberikan string masukan { x i } i ∈ [ t ] dan menghitung output string yang y sehingga:L.LLL.LL{ xsaya}i ∈ [ t ]{xi}i∈[t]\{ x_i \}_{i \in [t]}yyy …

9 cc.complexity-theory  np-hardness  parameterized-complexity  polynomial-hierarchy  pspace 

Masalah Klasik: Biarkan nomor diberikan. Masalah -clique adalah sebagai berikut.kkkkkkk Diberikan grafik , apakah ada subset dari simpul sehingga setiap dua simpul berdekatan?S k SGGGSSSkkkSSS Masalah Hypergraph: Biarkan angka dan diberikan. Masalah -hyperclique adalah sebagai berikut.k ( c , k )ccckkk(c,k)(c,k)(c,k) Mengingat -uniform hipergraf , apakah di sana ada satu …

9 cc.complexity-theory  graph-theory  matrices  clique  fixed-parameter-tractable