Pertanyaan yang diberi tag «approximation-algorithms»

Masalah jalur penjual keliling satu dimensi, tentu saja, sama dengan penyortiran, dan dengan demikian dapat diselesaikan dengan tepat dengan perbandingan dalam waktu , tetapi dirumuskan sedemikian rupa sehingga perkiraan serta tepat solusi masuk akal. Dalam model perhitungan di mana input adalah bilangan real, dan pembulatan ke bilangan bulat dimungkinkan, mudah …

21 ds.algorithms  approximation-algorithms  sorting  tsp 

Akhir-akhir ini saya mulai mencari algoritma perkiraan untuk masalah NP-hard dan saya bertanya-tanya tentang alasan teoritis untuk mempelajarinya. (Pertanyaannya tidak dimaksudkan sebagai peradangan - saya hanya ingin tahu). Beberapa teori yang benar-benar indah telah keluar dari studi tentang algoritma aproksimasi - hubungan antara teorema PCP dan kekerasan aproksimasi, dugaan UGC, …

21 ds.algorithms  approximation-algorithms  big-picture  application-of-theory 

Untuk konkret pertimbangkan LP untuk menyelesaikan permainan zero-sum dua pemain di mana setiap pemain memiliki tindakan. Misalkan setiap entri dari matriks hasil A paling banyak 1 dalam nilai absolut. Untuk kesederhanaan, jangan membuat asumsi sparsity.nnnAAA Misalkan runtime tersedia untuk memperkirakan nilai game ini.TTT Salah satu teknik untuk mendekati nilai ini …

19 ds.algorithms  approximation-algorithms  online-learning  linear-programming 

Apakah mungkin untuk menguji secara algoritmik apakah bilangan yang dihitung rasional atau bilangan bulat? Dengan kata lain, apakah mungkin bagi perpustakaan yang mengimplementasikan angka yang dapat dihitung untuk menyediakan fungsi isIntegeratau isRational? Saya menduga itu tidak mungkin, dan bahwa ini entah bagaimana terkait dengan fakta bahwa tidak mungkin untuk menguji …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Ketika kami mempertimbangkan algoritma aproksimasi untuk masalah minimisasi, kesenjangan integral dari formulasi IP untuk masalah ini memberikan batas yang lebih rendah dari rasio aproksimasi untuk kelas algoritma tertentu (seperti pembulatan atau algoritma primal-dual). Bahkan, ada banyak masalah yang rasio perkiraan terbaiknya cocok dengan kesenjangan integral. Beberapa algoritma mungkin memiliki rasio …

18 ds.algorithms  approximation-algorithms  linear-programming  integrality-gap 

Saya telah diberitahu bahwa ada beberapa waktu algoritma polinomial baik untuk mendekati jumlah jalur sederhana dalam grafik diarahkan dari yang diberikan mulai vertex untuk diberikan berakhir vertex . Adakah yang tahu referensi yang bagus tentang hal ini?sssttt Latar belakang: menghitung jumlah persis jalur dalam grafik umum adalah # P-complete tetapi …

17 ds.algorithms  reference-request  graph-algorithms  approximation-algorithms  counting-complexity 

Masalah yang kami pertimbangkan di sini adalah perpanjangan dari masalah pewarnaan interval yang terkenal. Alih-alih interval kami menganggap persegi panjang memiliki sisi yang sejajar dengan sumbu. Tujuannya adalah untuk mewarnai persegi panjang menggunakan jumlah warna minimum sehingga setiap dua persegi panjang yang tumpang tindih diberi warna yang berbeda. Masalah ini …

17 ds.algorithms  approximation-algorithms  cg.comp-geom  graph-colouring  online-algorithms 

Saya bertanya-tanya apakah masalah yang waktu sublinear (dalam ukuran input) algoritma yang ada dapat dicirikan memiliki sifat-sifat tertentu. Ini termasuk waktu sublinear (mis. Pengujian properti, gagasan alternatif perkiraan untuk masalah keputusan), ruang sublinear (mis. Algoritma sketsa / streaming di mana mesin Turing memiliki pita baca-saja, ruang kerja sublinear, dan keluaran …

16 cc.complexity-theory  ds.algorithms  complexity-classes  approximation-algorithms 

sup AO PTsupSEBUAHHAIPT\sup\frac{A}{OPT}M.sayaNM.sayaNMINSEBUAHSEBUAHASEBUAHSEBUAHAO PTHAIPTOPTinf Ω - AΩ - OPTinfΩ-SEBUAHΩ-HAIPT\inf\frac{\Omega-A}{\Omega-OPT}ΩΩ\Omega itu memberikan rasio perkiraan yang sama untuk masalah seperti penutup simpul minimum dan set independen maksimum yang diketahui hanya realisasi berbeda dari masalah yang sama; ini memberikan rasio yang sama untuk versi max dan min dari masalah yang sama. Pada saat …

16 ds.algorithms  approximation-algorithms  approximation-hardness 

Diberikan seperangkat S dari matriks permutasi nxn (yang hanya sebagian kecil dari matriks permutasi n! Mungkin), bagaimana kita dapat menemukan subset ukuran-kecil T dari S sedemikian sehingga menambahkan matriks T memiliki setidaknya 1 di setiap posisi? Saya tertarik dengan masalah ini di mana S adalah subkelompok kecil dari S_n. Saya …

16 ds.algorithms  approximation-algorithms  set-cover  permutations 

Pertanyaan ini sebelumnya diposting ke Computer Science Stack Exchange di sini . Bayangkan Anda seorang penjual keliling yang sangat sukses dengan klien di seluruh negeri. Untuk mempercepat pengiriman, Anda telah mengembangkan armada drone pengiriman sekali pakai, masing-masing dengan jangkauan efektif 50 kilometer. Dengan inovasi ini, alih-alih bepergian ke setiap kota …

15 ds.algorithms  approximation-algorithms  tsp 

Ada studi tentang algoritma perkiraan untuk masalah lengkap NP dalam waktu Polinomial dan algoritma yang tepat dalam waktu eksponensial. Apakah ada studi tentang algoritma perkiraan untuk masalah lengkap NP dalam waktu subeksponensial dari formulir mana ? δ 2 ∈ ( 0 , 1 )2nδ22nδ22^{n^{\delta_2}}δ2∈(0,1)δ2∈(0,1)\delta_2\in(0,1) Saya terutama tertarik pada apa yang …

15 approximation-algorithms  approximation-hardness 

Pertimbangkan masalah berikut: Diberikan grafik kueri G=(V,E)G=(V,E)G = (V, E) dan grafik referensi , kami ingin menemukan pemetaan injeksi yang meminimalkan jumlah ujung-ujungnya ( v 1 , v 2 ) ∈ E sedemikian sehingga ( f ( v 1 ) , f ( v 2 ) ) ∉ E ′ …

15 cc.complexity-theory  ds.algorithms  graph-theory  approximation-algorithms  graph-isomorphism 

∑x∏ij∈Ef(xi,xj)∑x∏ij∈Ef(xi,xj)\sum_x \prod_{ij \in E} f(x_i,x_j)maxx∏ij∈Ef(xi,xj)maxx∏ij∈Ef(xi,xj)\max_x \prod_{ij \in E} f(x_i,x_j) Di mana maks atau jumlah diambil alih semua pelabelan , produk diambil dari semua sisi untuk grafik G = \ {V, E \} dan f adalah fungsi arbitrer. Kuantitas ini mudah ditemukan untuk grafik lebar pohon yang dibatasi dan pada umumnya …

15 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  counting-complexity 

Mempertimbangkan topik yang dibahas dalam konferensi seperti STOC, apakah ada algoritma atau kompleksitas peneliti aktif menggunakan COQ atau Isabelle? Jika demikian, bagaimana mereka menggunakannya dalam penelitian mereka? Saya berasumsi kebanyakan orang tidak akan menggunakan alat seperti itu karena buktinya terlalu rendah. Adakah yang menggunakan asisten bukti ini dengan cara yang …

14 cc.complexity-theory  approximation-algorithms  soft-question  proof-assistants