Pertanyaan yang diberi tag «reference-request»

Dalam komputasi terdistribusi, masalah konsensus tampaknya menjadi salah satu topik sentral yang telah menarik penelitian intensif. Secara khusus, makalah "Ketidakmungkinan Konsensus Terdistribusi dengan Satu Proses Kerusakan " menerima Penghargaan Kertas Pengaruh PODC tahun 2001 . Jadi mengapa masalah konsensus begitu penting? Apa yang dapat kita capai dengan konsensus baik dalam …

19 reference-request  big-picture  dc.distributed-comp 

Matriks disebut benar-benar teratur jika semua submatrians kuadratnya memiliki peringkat penuh. Matriks seperti itu digunakan untuk membangun superkonsentrator. Apa kompleksitas memutuskan apakah matriks yang diberikan benar-benar teratur di atas rasionalitas? Lebih dari bidang yang terbatas? Lebih umum, panggil sebuah matriks yang sama sekali reguler jika semua ukuran persegi dari kebanyakan …

19 cc.complexity-theory  reference-request  linear-algebra  matrices 

Menghitung konstanta Cheeger dari sebuah grafik , juga dikenal sebagai konstanta isoperimetri (karena pada dasarnya rasio area / volume minimum), dikenal sebagai NP-complete. Umumnya diperkirakan. Saya tertarik untuk mengetahui apakah algoritma polinom persis dikenal untuk kelas grafik khusus. Misalnya, apakah masih lengkap untuk grafik biasa ? Untuk grafik jarak-reguler ? …

19 ds.algorithms  reference-request  graph-algorithms 

Memprediksi pasar saham itu sulit! Bisakah TCS menjadikan sentimen ini lebih formal? Baru-baru ini saya mulai berpikir sedikit tentang keuangan, dan bertanya-tanya bagaimana pengetahuan tentang TCS dapat membantu. Hedge fund dan perusahaan investasi tampaknya menggunakan perdagangan algoritmik, pembelajaran mesin, dan AI sepanjang waktu, tetapi hasil TCS tampaknya sedikit. Secara khusus, …

19 cc.complexity-theory  reference-request  survey  ce.computational-finance  algorithmic-lens 

Saya tertarik pada model grafik acak yang mirip dengan grafik jaringan komputer nyata. Saya tidak yakin apakah model dipelajari dengan baik ( n simpul, setiap sisi yang mungkin dipilih dengan probabilitas p ) baik untuk mempelajari jaringan komputer nyata (bukan?).G(n,p)G(n,p)G(n,p)nnnppp model grafik acak apa yang berguna untuk memahami perubahan jaringan …

19 reference-request  graph-theory  co.combinatorics 

Apakah ada survei algoritma untuk menghitung interpolant? Bagaimana dengan makalah pada hanya satu algoritma? Kasus yang paling saya minati adalah A=¬p∧qA=¬p∧qA=\lnot p\land q dan C=qC=qC=q , ditambah kendala bahwa interpolant sekecil mungkin. (Saya tahu makalah McMillan dari 2005 , yang menjelaskan cara mendapatkan interpolant, sambil menghindari pembilang.) Latar belakang: teorema …

19 reference-request  lo.logic  proof-complexity  feasible-interpolation 

Saya ingin tahu apakah ada dugaan yang sudah lama tidak terbukti dalam TCS, yang kemudian dibuktikan dengan implikasi dari teorema lain, yang mungkin lebih mudah untuk dibuktikan.

18 reference-request  soft-question  big-list 

Masalah penghentian untuk mesin Turing mungkin adalah set kanonik yang tidak dapat ditentukan. Namun demikian, kami membuktikan bahwa ada algoritma yang memutuskan hampir semua instance dari itu. Masalah penghentian karena itu di antara koleksi yang berkembang dari mereka yang menunjukkan "lubang hitam" fenomena teori kompleksitas, dimana kesulitan dari masalah yang …

18 cc.complexity-theory  reference-request  computability  undecidability 

Saya ingin belajar tentang Kompleksitas Parametrized (baik di sisi algoritmik dan di sisi kekerasan). Buku / catatan kuliah apa yang bisa saya baca tentang hal ini?

18 reference-request  parameterized-complexity  fixed-parameter-tractable 

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 

Misalkan adalah pohon derajat konstan yang strukturnya tidak kita ketahui. Masalahnya adalah untuk mengeluarkan pohon dengan menanyakan pertanyaan dari formulir: "Apakah simpul terletak pada jalur dari simpul ke simpul ?". Asumsikan bahwa setiap permintaan dapat dijawab dalam waktu yang konstan oleh oracle. Kita tahu nilai , jumlah simpul di pohon. …

18 ds.algorithms  reference-request  graph-algorithms  oracles  query-complexity 

Apa algoritma efisien dikenal untuk menghitung penentu matriks bilangan bulat dengan koefisien dalam ZmZm\mathbb{Z}_m , cincin residu modulo mmm . Angka mmm mungkin bukan prima tetapi komposit (jadi perhitungan dilakukan dalam cincin, bukan bidang). Sejauh yang saya tahu (baca di bawah), kebanyakan algoritma adalah modifikasi dari eliminasi Gaussian. Pertanyaannya adalah …

18 ds.algorithms  reference-request  linear-algebra  comp-number-theory 

Saya melihat banyak penelitian tentang hiperkomputasi pada tahun 1990-an, tetapi dalam beberapa tahun terakhir tampaknya ada sedikit pekerjaan pada topik tersebut. Benarkah penelitian di bidang ini mereda? Jika demikian, apa alasannya? Apakah area ini secara meyakinkan terbukti tidak menjanjikan?

18 reference-request  computability  hypercomputation 

XORifikasi adalah teknik untuk membuat fungsi atau rumus Boolean lebih sulit dengan mengganti setiap variabel dengan XOR k ≥ 2 variabel berbeda x 1 ⊕ … ⊕ x k . xxxk ≥ 2k≥2k\geq 2x1⊕ ... ⊕ xkx1⊕…⊕xkx_1 \oplus \ldots \oplus x_k Saya menyadari penggunaan teknik ini dalam kompleksitas bukti, terutama …

18 cc.complexity-theory  reference-request  boolean-functions  proof-complexity 

Apakah teorema otomatis membuktikan dan mencari bukti lebih mudah dalam linear dan logika substruktural proposisi lainnya yang kurang kontraksi? Di mana saya dapat membaca lebih banyak tentang teorema otomatis yang dibuktikan dalam logika ini dan peran kontraksi dalam pencarian bukti?

18 reference-request  lo.logic  survey  automated-theorem-proving  linear-logic