Pertanyaan yang diberi tag «big-list»

Setelah diskusi tentang batas bawah untuk 3SAT [ 1 ], saya bertanya-tanya apa hasil batas bawah utama yang dirumuskan sebagai pertukaran ruang-waktu. Saya mengecualikan hasil seperti, katakanlah, teorema Savitch; entri yang bagus akan fokus pada satu masalah dan batasannya. Contohnya adalah: "Biarkan T dan S menjadi batas waktu berjalan dan …

13 cc.complexity-theory  ds.algorithms  big-list  space-time-tradeoff 

Saya mencari daftar tentang kompleksitas yang diketahui atau tidak diketahui dari berbagai masalah teori / aljabar. Sebagai contoh, GCD di terbuka,NC1NC1NC^1 anjak piutang dalam terbuka,PPP komputasi berkas cohomology yaitu -Hard# P#P\#P , Arora dan Barak menyatakan bahwa varian anjak piutang adalah lengkap (meskipun ini tidak jelas berdasarkan diskusi di An …

12 cc.complexity-theory  big-list  algebra  open-problem 

Apa masalah dengan properti berikut: 1) mereka adalah pembatasan (mungkin diketahui) masalah yang PSPACE-complete; 2) versi terbatasnya ada di PSPACE, tetapi ini merupakan masalah terbuka jika mereka PSPACE-complete (atau bahkan jika mereka NP-hard). Empat contoh dari "puzzle & C.": Kompleksitas 1x1 Rush Hour [1] (PSPACE-complete untuk blok ukuran 2x1); [ …

12 big-list  open-problem 

Algoritma apa yang bermanfaat yang ada di sana yang bekerja pada aliran data besar dan juga hasilnya cukup kecil dan satu dapat menghitung hasilnya untuk campuran dua aliran dengan entah bagaimana menggabungkan hasil mereka? Saya dapat menyebutkan beberapa: Hal-hal yang jelas seperti jumlah, min, maks, jumlah, top-K dll. Perkiraan algoritma …

12 ds.algorithms  big-list  data-streams 

Apa saja (tidak terkenal) pernyataan bahwa jika benar, PH harus runtuh? Balasan yang berisi pernyataan tingkat tinggi pendek dengan referensi dihargai. Saya mencoba mencari balik tanpa banyak hasil.

12 cc.complexity-theory  complexity-classes  big-list 

Saya mencari masalah NP-hard sangat untuk pengurangan. Sejauh ini saya telah menemukan masalah berikut: Masalah 3-partisi masalah bin-packing Pencocokan numerik 3 dimensi TSP Setiap masalah NP-lengkap tanpa data numerik, misalnya, KEPUASAN, SIKLUS HAMILTONIAN, 3-KOLABURITAS. Apakah ada yang tahu daftar masalah NP-hard sangat? Jika tidak, mari kita membangun satu di sini. …

11 np-hardness  big-list  hamiltonian-paths 

Pada tahun 1996, masalah terbuka lama diselesaikan oleh komputer; yaitu, bahwa aljabar Robbins dan aljabar Boolean adalah sama. Buktinya ditemukan oleh teorema teorema otomatis. Selain itu, bukti teorema Four color yang diketahui mengandung komponen yang dihasilkan komputer. Tujuan dari pertanyaan ini adalah untuk membuat daftar bukti yang (sepenuhnya atau sebagian) …

11 soft-question  big-list  proofs  automated-theorem-proving 

Semua museum dan pameran yang terkait dengan komputer yang saya sadari tampaknya hanya mencakup sejarah mesin komputasi, tetapi tidak membahas topik-topik ilmu komputer. Anda terlibat dalam pembuatan Museum Komputasi baru, disewa untuk mendidik, menghibur, dan menginspirasi masyarakat umum dalam beragam topik komputasi / ilmu komputer / komunikasi / matematika. Meskipun …

11 soft-question  big-list  ho.history-overview 

Saya seorang siswa CS. Kami melakukan teori grafik dalam satu saja. Saya menemukan itu menarik. Apa aplikasi nyata dari teori grafik di bidang ilmu komputer? Sebagai contoh, saya menemukan bahwa beberapa konsep dalam teori grafik dapat digunakan untuk merancang jaringan. Apa aplikasi serupa lainnya?

11 graph-theory  co.combinatorics  big-list  application-of-theory 

Saya bertanya-tanya apa daftar masalah komputasi alami saat ini yang tidak diketahui keunggulan kerumitannya dalam menggunakan komputer kuantum. Untuk memulai, saya pikir perhitungan jarak sunting adalah salah satu yang paling cepat dikenal sebagai algoritma kuantum yang paling dikenal klasik. Lebih tentatif, saya juga menyarankan menyortir sebagai masalah lain yang tidak …

11 ds.algorithms  quantum-computing  big-list 

Algoritme pendekatan dapat memberikan output hingga beberapa faktor konstan. Ini sedikit kurang memuaskan daripada algoritma yang tepat. Namun, faktor konstan diabaikan dalam kompleksitas waktu. Jadi saya bertanya-tanya apakah trik berikut ini mungkin atau digunakan, untuk menyelesaikan beberapa masalah :B∘AB∘AB \circ A Gunakan algoritme penyelesaian pemecahan masalah untuk mendapatkan solusi S …

11 ds.algorithms  big-list  approximation-algorithms 

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 penelitian utama dalam transaksi terdistribusi? Adakah teori dan solusi terkenal yang membutuhkan …

10 reference-request  big-list  dc.distributed-comp  db.databases 

Saya tertarik pada contoh konstruksi dalam teori kompleksitas yang lebih baik daripada konstruksi acak. Satu-satunya contoh konstruksi yang saya tahu adalah di bidang kode koreksi kesalahan. Kode aljabar-geometri lebih baik dalam beberapa rentang parameter daripada kode acak. Orang dapat dengan mudah membuat contoh buatan seperti itu. Saya tertarik pada contoh-contoh …

10 reference-request  big-list  derandomization  pr.probability 

Saya seorang ahli teori homotopy, tertarik pada ilmu komputer. Saya ingin bertanya aplikasi apa yang menarik dari aljabar homotopikal (kategori model, kategori tak terhingga, kategori sederhana, dll) dalam ilmu komputer teoretis?

9 big-list  algebraic-topology 

Biarkan menjadi alfabet, yaitu himpunan terbatas yang tidak kosong. String adalah setiap urutan elemen (karakter) hingga dari Σ . Sebagai contoh, { 0 , 1 } adalah alfabet biner dan 0110 adalah string untuk alfabet ini.ΣΣ\SigmaΣΣ\Sigma{ 0 , 1 }{0,1} \{0, 1\}011001100110 Biasanya, selama mengandung lebih dari 1 elemen, jumlah …

9 big-list  encoding  examples