Pertanyaan yang diberi tag «dc.parallel-comp»

1980-an memunculkan model komputasi paralel paralel PRAM dan BSP . Tampaknya masa kejayaan kedua model adalah selama akhir 80-an dan awal 90-an. Apakah area ini masih aktif dalam hal penelitian untuk algoritma paralel? Apakah ada model yang lebih baru dan lebih canggih untuk komputasi paralel? Apakah model umum masih populer, …

30 ds.algorithms  dc.parallel-comp  dc.distributed-comp 

Apakah ada analog paralel alami dengan pohon merah-hitam dengan sifat yang sama atau bahkan tidak terlalu buruk untuk pembaruan sementara cukup efisien dalam bekerja? Secara umum, apa yang terbaik yang dapat kita lakukan untuk pencarian paralel dengan pembaruan?

24 ds.algorithms  ds.data-structures  dc.parallel-comp  concurrency  dynamic-algorithms 

O ( log c n ) O ( n k ) c k n c 2 n kN CNC\mathsf{NC} menangkap gagasan tentang dapat diparalelkan secara efisien, dan salah satu interpretasinya adalah masalah yang dapat dipecahkan dalam waktu menggunakan prosesor paralel untuk beberapa konstanta , . Pertanyaan saya adalah apakah ada …

21 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  dc.parallel-comp 

Pertanyaan ini terutama terkait dengan masalah rekayasa-perangkat lunak praktis, tetapi saya ingin tahu jika para ahli teori dapat memberikan wawasan lebih dalam. Sederhananya, saya memiliki simulasi Monte Carlo yang menggunakan generator nomor pseudorandom, dan saya ingin memparalelkannya sehingga ada 1000 komputer yang menjalankan simulasi yang sama secara paralel. Karena itu …

20 cr.crypto-security  dc.parallel-comp  pseudorandom-generators 

Saya mencari survei yang bagus tentang algoritma dan kompleksitas aljabar linier (operasi seperti pangkat, kebalikan, nilai eigen, ... untuk Boolean, , dan matriks bilangan bulat / rasional) dengan penekanan pada paralel ( hierarki ) dan algoritma polytime. Saya tidak dapat menemukan yang baru. NCFhalFp\mathbb{F}_pNCNCNC Apakah Anda tahu survei terbaru atau …

20 cc.complexity-theory  ds.algorithms  reference-request  dc.parallel-comp  linear-algebra 

Dalam kelas kompleksitas , ada beberapa masalah yang diduga TIDAK berada di kelas , yaitu masalah dengan algoritma paralel deterministik. Masalah Arus Maksimum adalah salah satu contohnya. Dan ada masalah PERCAYA berada di , tetapi bukti belum ditemukan.N C N CPP\mathsf{P}NCNC\mathsf{NC}NCNC\mathsf{NC} Matching sempurna masalah adalah salah satu masalah mendasar yang …

20 cc.complexity-theory  ds.algorithms  reference-request  graph-algorithms  dc.parallel-comp 

Saya tertarik pada kompleksitas penyelesaian persamaan linear modulo k , untuk arbitrary k (dan dengan minat khusus pada kekuatan utama), khususnya: Masalah. Untuk sistem tertentu mmm linear persamaan di nnn tidak diketahui modulo kkk , jangan terdapat solusi? Dalam abstrak untuk makalah mereka Struktur dan pentingnya kelas-ruang MOD-MOD pada kelas …

19 cc.complexity-theory  dc.parallel-comp  linear-algebra  nt.number-theory 

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 

Kompleksitas rangkaian bounded depth adalah salah satu bidang penelitian utama dalam teori kompleksitas sirkuit. Topik ini memiliki asal dalam hasil seperti "fungsi paritas tidak dalam " dan "fungsi mod tidak dihitung oleh ", di mana adalah kelas bahasa yang dapat ditentukan oleh non-seragam, kedalaman konstan, ukuran polinomial, kipas-dalam tanpa batas …

17 cc.complexity-theory  circuit-complexity  lower-bounds  dc.parallel-comp  gct 

Apakah ada masalah menarik yang ada di tetapi tidak diketahui berada di N C 2 ? Dalam tulisan 'A Taksonomi Masalah Dengan Cepat Paralel Algoritma', Masak menyebutkan bahwa MIS dikenal hanya berada di N C 5 tapi ini sejak itu telah dibawa ke N C 2 . Saya bertanya-tanya apakah …

14 complexity-classes  dc.parallel-comp 

Dari komentar di salah satu pertanyaan saya di MathOverflow saya mendapatkan perasaan bahwa pertanyaan mengenai GCD berada di vs P ini mirip dengan pertanyaan mengenai Integer faktorisasi berada di P vs N P .N CNC\mathsf{NC}PP\mathsf{P}PP\mathsf{P}N PNP\mathsf{NP} Apakah ada sesuatu seperti "kuantum " algoritma untuk GCD karena ada kuantum polinomial waktu …

14 cc.complexity-theory  quantum-computing  dc.parallel-comp  nt.number-theory  comp-number-theory 

O ( log n )HAI(catatann)O({\log}n)O ( m + n )HAI(m+n)O(m+n) Apa algoritma paralel yang paling dikenal untuk st-konektivitas dalam grafik planar terarah? Silakan sebutkan waktu berjalan, algoritma deterministik / acak dan model PRAM yang digunakan (dengan asumsi jumlah prosesor adalah polinomial). Pertanyaan ini terkait dengan salah satu pertanyaan saya sebelumnya. …

13 ds.algorithms  graph-theory  dc.parallel-comp 

Latar belakang saya adalah teori / logika kompleksitas (di mana hanya ada satu proses sebagian besar waktu), dan dalam komputasi terdistribusi (di mana ada proses, dan satu atau lebih mungkin gagal dari waktu ke waktu). Namun, saya sekarang ingin dapat mengatakan sesuatu tentang proses pemijahan / membuat / memintal proses …

13 dc.parallel-comp  process-algebra 

Chong, Han dan Lam menunjukkan bahwa st-konektivitas tanpa arah dapat diselesaikan pada EREW PRAM dalam waktu dengan prosesor O ( m + n ) . Apa algoritma paralel paling dikenal untuk st-konektivitas diarahkan ? Silakan sebutkan waktu berjalan, algoritma deterministik / acak dan model PRAM yang digunakan (dengan asumsi jumlah …

13 dc.parallel-comp 

Singkatnya, pertanyaannya adalah: sejauh mana, kemampuan komputasi untuk tugas-tugas sulit benar-benar membantu Anda dalam menyelesaikan tugas-tugas mudah. (Mungkin ada berbagai cara untuk membuat pertanyaan ini menarik dan tidak sepele, dan di sini ada satu upaya seperti itu.) Pertanyaan 1: Pertimbangkan rangkaian untuk menyelesaikan SAT untuk rumus dengan n variabel. (Atau …

11 cc.complexity-theory  dc.parallel-comp