Ilmu Komputer Teoritis

saya bertanya-tanya apakah mereka merupakan pendekatan merumuskan Kendaraan-Routing-Masalah dengan Time-Windows ( VRPTW ) (sebagai masalah keputusan) sebagai contoh SAT / SMT? (alternatif: TSP) Misalnya: "Apakah ada solusi yang valid mengunjungi semua pelanggan dalam jendela waktu mereka dengan n = 10 kendaraan?" Masalah keputusan ini bisa bermanfaat untuk langkah pertama meminimalkan …

9 ds.algorithms  reference-request  sat  reductions  tsp 

Sebagai tindak lanjut dari pertanyaan saya sebelumnya , yang diselesaikan oleh Hsien-Chih Chang, berikut adalah upaya lain untuk menemukan generalisasi yang sesuai dari teorema Ramsey. (Anda tidak perlu membaca pertanyaan sebelumnya; posting ini mandiri.) Parameter: bilangan bulat 1 ≪ d≪ k ≪ n1≪d≪k≪n1 \ll d \ll k \ll n diberikan, …

9 reference-request  co.combinatorics  ramsey-theory 

Pertama bertanya pada math.SE tanpa balasan. Misalkan saya memiliki grafik planar, dengan penanaman planar, bagaimana cara menemukan dekomposisi pohon? Apa dekomposisi pohon optimal dari -by- kotak persegi? Tidak sepenuhnya yakin bagaimana mendefinisikan "optimal", tetapi harus membedakan antara dekomposisi dengan satu tas besar dan dekomposisi dengan banyak tas besar.dddddd

9 ds.algorithms  graph-theory  graph-algorithms  treewidth  integer-lattice 

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 

Ketika saya melihat melalui " Pendekatan Pemrograman Dinamis untuk Masalah Sequencing " oleh Michael Held dan Richard M. Karp, saya datang dengan pertanyaan berikut: mengapa kompleksitas algoritma mereka untuk TSP adalah (hlm. 199), maksud saya kemana mereka mengambil faktor ? Jika saya mengerti benar berarti jumlah penambahan untuk setiap himpunan …

9 ds.algorithms  tsp  exp-time-algorithms 

Alice dan Bob membagi harta paman Charlie milik almarhum mereka (koleksi terbatas XXXbarang diskrit) sesuai dengan keinginannya. Pertama A memilih item, lalu B, lalu A, dan seterusnya. Alice dan Bob masing-masing memiliki fungsi utilitas tambahan uA,uBuA,uBu_A, u_B, sehingga jika Alice berakhir dengan set Y⊆XY⊆XY \subseteq X, utilitasnya adalah ∑y∈YuA(y)∑y∈YuA(y)\sum_{y \in …

9 gt.game-theory 

Ini adalah versi khusus dari pertanyaan sebelumnya: Kompleksitas Menemukan Komposisi Eigend dari Matriks . Untuk matriks simetris NxN, diketahui bahwa waktu O (N ^ 3) cukup untuk menghitung dekomposisi eigen. Pertanyaannya adalah: bisakah kita mencapai kompleksitas sub-kubik? Terima kasih.

9 ds.algorithms  time-complexity  matrices  linear-algebra  na.numerical-analysis 

Saya mencari struktur data, yang pada dasarnya adalah pohon peta, di mana peta di setiap node berisi beberapa elemen baru, serta elemen-elemen di peta node induknya. Dengan peta di sini yang saya maksud adalah peta pemrograman dengan kunci dan nilai, seperti peta di STL atau dict dengan python. Misalnya, mungkin …

9 ds.data-structures  tree  hash-function 

Bagaimana Anda bisa memaksa suatu pihak untuk jujur ​​(mematuhi aturan protokol)? Saya telah melihat beberapa mekanisme seperti komitmen, bukti dan lain-lain, tetapi mereka tampaknya tidak menyelesaikan seluruh masalah. Sepertinya saya bahwa struktur desain protokol dan mekanisme tersebut harus melakukan pekerjaan. Apakah ada yang punya klasifikasi yang baik itu. Sunting Saat …

9 cr.crypto-security  gt.game-theory 

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 

Baru-baru ini saya berpikir tentang "mengimpor" beberapa pertanyaan terkait fisika ke dalam kuantum CS: Gagasan fenomena hukum-daerah dalam sistem Hamilton biasanya merupakan singkatan dari Hamiltonian lokal pada beberapa kisi, yang groundstate menunjukkan properti di mana keterjeratan suatu wilayah tertutup sebanding dengan permukaan wilayah, dan bukan volumenya (seperti yang akan terjadi). …

9 quantum-computing  big-picture 

Misalkan kita diberi grafik dan parameter k , ϵ . Apakah ada rentang nilai untuk k (atau itu bisa dilakukan untuk semua k ) yang dimungkinkan untuk menguji apakah G adalah ε -far dari memiliki set independen ukuran setidaknya k dalam waktu O ( n + poly ( 1 / …

9 ds.algorithms  graph-theory  reference-request  property-testing 

Kami biasanya menyebut algoritma "algoritma yang baik" jika waktu runnning adalah polinomial dalam kasus terburuk. Tetapi dalam beberapa kasus (misalnya algoritma Simplex), meskipun kasus terburuk dari algoritma adalah eksponensial, itu bisa bekerja dengan sangat baik dalam praktiknya. Adakah contoh (deterministik) untuk situasi ini selain dari algoritma Simplex?

9 ds.algorithms 

Diketahui bahwa NP-Complete Problem yang disebut Subset Sum memiliki FPTAS. Saya bertanya-tanya apakah ada masalah Lengkap PSPACE yang juga memiliki FPTAS? Terima kasih sebelumnya.

9 ds.algorithms  space-bounded  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