Pertanyaan yang diberi tag «reference-request»

Quantum Computation adalah bidang penelitian aktif yang bertujuan untuk mengambil keuntungan dari fisika kuantum (misalnya keterikatan kuantum) untuk memajukan kemampuan efisiensi komputer (tidak mengubah tesis Church-Turing ). Apa eksperimen paling signifikan yang telah dilakukan untuk menunjukkan teori komputasi kuantum (seperti qubit dan teleportasi)?

17 reference-request  quantum-computing 

Misalkan Anda diberi grafik yang terhubung, sederhana, tidak berarah H. Masalah pemotongan bebas-H didefinisikan sebagai berikut: Diberikan grafik sederhana, tidak terarah G, adakah potongan (partisi simpul menjadi dua set non-kosong, L, R) sedemikian rupa sehingga grafik yang diinduksi oleh set-potong (L dan R) keduanya tidak mengandung subgraph isomorfik ke H …

17 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Saya menyadari setidaknya dua pendekatan teoretis yang berbeda untuk memahami basis data relasional: aljabar / kalkulus relasional Codd, dan teori kategori. Apakah ada hubungan antara kedua pendekatan ini? Apakah mereka dalam beberapa hal setara? Apakah ada pekerjaan pendahuluan yang menjelaskan bagaimana kedua kerangka kerja ini menjelaskan basis data relasional? Latar …

17 reference-request  ct.category-theory  db.databases  relational-structures 

Latar Belakang . Saya seorang mahasiswa sarjana yang tertarik dalam penelitian yang berkaitan dengan teori kategori, monad dan Haskell, dan saya ingin mencari topik untuk tesis sarjana saya di bidang itu. Saya telah melihat kertas Eugenio Moggi , " Pengertian Komputasi dan Monad ", 1991, dan saya belum mengerti banyak …

17 reference-request  pl.programming-languages  big-picture  ct.category-theory  monad 

Diketahui bahwa persimpangan dari tiga matroid umum adalah NP-hard ( sumber ), yang dilakukan melalui reduksi dari siklus Hamiltonian. Pengurangan menggunakan satu matroid grafis dan dua matroid konektivitas. Kasus khusus dari masalah yang sedang saya kerjakan dapat diselesaikan dengan persimpangan beberapa matroid grafis, tetapi saya belum dapat menemukan, apakah masalah …

16 reference-request  np-hardness  reductions 

Saya tertarik untuk menyortir array nilai integer positif L=v1,…,vnL=v1,…,vnL = v_1, \ldots, v_n dalam waktu linier (dalam model RAM dengan ukuran biaya seragam, yaitu, bilangan bulat dapat memiliki ukuran logaritmik tetapi operasi aritmatika pada mereka diasumsikan ambil satuan waktu). Tentu saja, ini tidak mungkin dengan algoritma pengurutan berbasis perbandingan, jadi …

16 reference-request  time-complexity  sorting 

Banyak publikasi ilmu komputer dari tahun 1950-an dan 1960-an mengandung spekulasi filosofis yang menarik tentang sifat pikiran dan makna informasi dalam kaitannya dengan dunia fisik. Contoh terkenal adalah "Turing Test", Zuse's "Menghitung Ruang", Wheeler's "itu dari bit" dll. Dewasa ini tema-tema semacam itu banyak dibahas dalam buku-buku sains populer, tetapi …

16 reference-request  soft-question  philosophy 

Grafik campuran adalah grafik yang mungkin memiliki tepi terarah dan tidak berarah. Grafiknya yang tidak diarahkan mendasari diperoleh dengan melupakan orientasi dari tepi yang diarahkan, dan di arah lain orientasi dari grafik campuran diperoleh dengan menetapkan arah ke setiap tepi yang tidak diarahkan. Seperangkat tepi membentuk siklus dalam grafik campuran …

16 ds.algorithms  reference-request  graph-theory  graph-algorithms  directed-acyclic-graph 

Menghitung segitiga dalam grafik umum dapat dilakukan secara sepele dalam waktu dan saya pikir melakukan lebih cepat itu sulit (referensi diterima). Bagaimana dengan grafik planar? Prosedur langsung berikut ini menunjukkan bahwa hal itu dapat dilakukan dalam waktu . Pertanyaan saya ada dua:O(n3)O(n3)O(n^3)O(nlogn)O(nlog⁡n)O(n\log{n}) Apa referensi untuk prosedur ini? Bisakah waktu dibuat …

16 reference-request  graph-algorithms  planar-graphs 

Saya akan memperkenalkan masalah saya dengan sebuah contoh. Katakanlah Anda sedang merancang sebuah ujian, yang terdiri dari satu set tertentu dari nnn pertanyaan independen (bahwa calon bisa mendapatkan benar atau salah). Anda ingin memutuskan skor untuk diberikan pada masing-masing pertanyaan, dengan aturan bahwa calon dengan skor total di atas ambang …

16 reference-request  boolean-functions 

Biarkan menjadi digraf (tidak harus DAG) dan biarkan . Apa kompleksitas menghitung jumlah sederhana jalan di . GGGs , t ∈ V( G )s,t∈V(G)s,t \in V(G) s - ts-ts-tGGG Saya berharap masalahnya menjadi # -lengkap tetapi belum dapat menemukan referensi yang tepat. PP{\mathsf P} Juga perhatikan bahwa sejumlah pertanyaan serupa …

16 ds.algorithms  reference-request  counting-complexity 

Saya mencoba memahami kompleksitas fungsi yang dapat diekspresikan melalui ambang pintu dan ini membawa saya ke . Secara khusus, saya tertarik dengan apa yang saat ini diketahui tentang pembelajaran di dalam T C 0 , karena saya bukan ahli di bidang ini.TC0TC0\mathsf{TC}^0TC0TC0\mathsf{TC}^0 Apa yang saya temukan sejauh ini adalah: Semua …

16 cc.complexity-theory  reference-request  cr.crypto-security  lg.learning  boolean-functions 

Saya tertarik jika ada artikel eksposisi yang bagus atau survei yang dapat saya rujuk ketika saya menulis tentang operator kelas kompleksitas : operator yang mengubah kelas kompleksitas dengan melakukan hal-hal seperti menambahkan quantifiers ke dalamnya. Contoh operator Berikut ini dapat diartikan sebagai daftar minimum operator yang jawabannya harus dapat diuraikan. …

16 reference-request  complexity-classes 

Sebuah penutup tepi adalah bagian dari tepi grafik sehingga setiap titik dari grafik berdekatan dengan setidaknya satu tepi penutup. Dua makalah berikut mengatakan bahwa menghitung penutup tepi adalah #P -lengkap : FPTAS Sederhana untuk Menghitung Penutup Tepi dan Menghasilkan Tepi Tepi dari Grafik Jalur . Namun, kecuali saya melewatkan sesuatu, …

16 reference-request  graph-algorithms  counting-complexity  proofs 

Hanya ada sedikit informasi yang dapat saya temukan pada masalah NP-lengkap untuk menyelesaikan persamaan linear diophantine dalam bilangan bulat non-negatif. Artinya, apakah ada solusi dalam non-negatif dengan persamaan , di mana semua konstanta positif? Satu-satunya penyebutan penting dari masalah ini yang saya ketahui adalah dalam Teori Pemrograman Linear dan Integer …

16 cc.complexity-theory  reference-request  np-hardness  counting-complexity