Ilmu Komputer Teoritis

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 

Teorema Fáry mengatakan bahwa grafik planar sederhana dapat digambar tanpa penyilangan sehingga setiap sisi adalah segmen garis lurus. Pertanyaan saya adalah apakah ada teorema analog untuk grafik bilangan persimpangan terbatas . Secara khusus, dapatkah kita mengatakan bahwa grafik sederhana dengan bilangan persimpangan k dapat digambar sehingga ada penyilangan k dalam …

9 graph-theory  co.combinatorics  planar-graphs 

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 

baru-baru ini, Craig Gentry menerbitkan skema enkripsi kunci publik pertama (lebih dari ruang plaintext {0,1}) yang sepenuhnya homomorfis, yang berarti bahwa seseorang dapat mengevaluasi secara efisien dan kompak AND dan XOR pada plaintext terenkripsi tanpa mengetahui kunci dekripsi rahasia. Saya bertanya-tanya apakah ada cara yang jelas untuk mengubah cryptosystem kunci …

9 cr.crypto-security  circuit-complexity  homomorphic-encryption 

Apakah ada permutasi dan ukuran polinomial (dalam ) konteks tata bahasa gratis yang menggambarkan bahasa hingga lebih dari alfabet ?π1,π2π1,π2\pi_1,\pi_2|w|=n|w|=n|w|=n{wπ1(w)π2(w)}{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\}{0,1}{0,1}\{0,1\} PEMBARUAN: Untuk satu permutasi ππ\pi dimungkinkan. ππ\pi adalah pembalikan atau modifikasi pembalikan yang relatif kecil.

9 fl.formal-languages  grammars  context-free 

Saya merujuk pada pertanyaan di sini: algoritma yang kuat terlalu rumit untuk diterapkan . Jika suatu algoritma kuat, tetapi terlalu rumit untuk diimplementasikan, bagaimana Anda bisa yakin bahwa algoritma itu benar? Tanpa implementasi, Anda tidak akan dapat menguji algoritme dalam skenario dunia nyata, dan algoritme yang sedemikian kompleks dapat berisi …

9 ds.algorithms  implementation 

Contoh perhitungan terkenal yang terinspirasi oleh fenomena alam adalah komputer kuantum dan komputer DNA. Apa yang diketahui tentang potensi dan / atau keterbatasan komputasi dengan hukum atau gravitasi Maxwell? Yaitu, menggabungkan solusi "cepat" alami ke persamaan Maxwell atau masalah n-body secara langsung ke dalam algoritma tujuan umum?

9 computability  machine-models  physics  natural-computing 

Dalam pengalaman saya, bahasa yang peka konteks dan automata terbatas linier sering dilewati atau dilompati dalam mata kuliah teori komputabilitas, dan bahkan ditinggalkan dari beberapa buku teks terkemuka, meskipun automata terbatas dan pushdown menerima banyak perhatian. Tentunya harus ada alasan bagus mengapa BBA diberikan lebih sedikit fokus daripada rekan-rekan mereka?

9 computability  fl.formal-languages  automata-theory 

Saya ingin tahu di mana saya bisa berpaling untuk pengantar k-SAT yang bagus dan lembut (ini mungkin untuk ahli matematika yang mungkin tidak memiliki latar belakang ilmu komputer yang baik). Saya juga ingin tahu makalah yang mungkin mensurvei atau menjelaskan metode saat ini yang digunakan untuk menyelesaikan k-SAT. Akhirnya, saya …

9 reference-request  sat  survey 

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 

Saya kesulitan menemukan algoritme atau menerbitkan makalah tentang triangulasi poligon bersilangan (juga poligon dengan struktur lubang). Bisakah ada yang memandu saya untuk menemukan makalah / algoritma yang dipublikasikan? PS: tolong beri tag pada seseorang pertanyaan ini dengan tepat, saya tidak punya poin reputasi yang cukup untuk melakukannya.

9 ds.algorithms  reference-request  cg.comp-geom 

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 

Untuk proyek yang sedang saya kerjakan, saya harus membuat pohon spanning acak dengan tinggi terikat. Pada dasarnya saya melakukan hal berikut: 1) Menghasilkan spanning tree 2) Periksa kelayakan, jika layak simpan. 1) Mulai dari pohon spanning minimum (Prim atau Kruskal) Saya menambahkan tepi yang tidak ada dan ini menciptakan siklus, …

9 ds.algorithms  graph-algorithms  random-walks 

Singkatnya: Dengan asumsi permutasi satu arah ada, dapatkah kita membangun yang tidak memiliki pintu jebakan? Info lebih lanjut: Permutasi satu arah adalah permutasi yang mudah dihitung, tetapi sulit untuk dibalik (lihat wiki tag fungsi satu arah untuk definisi yang lebih formal). Kami biasanya mempertimbangkan keluarga permutasi satu arah, , di …

9 cr.crypto-security  one-way-function