Ilmu Komputer Teoritis

Dapatkah sifat membagi dan menaklukkan FFT digeneralisasi ke transformasi lain (z Transform, kicau, dll) secara otomatis? Apakah ada algoritma yang mengambil deskripsi transformasi (saya tidak tahu informasi apa yang dibutuhkan) dan dapat menghasilkan fungsi seperti FFT yang cepat?

10 ds.algorithms 

Teorema Zone mengatakan bahwa jika kita menusuk susunan garis n dengan garis lain, kompleksitas total zonanya , himpunan semua wajah 0, 1, dan 2 yang bersebelahan dengannya adalah O (n). Konstanta yang sebenarnya adalah kira-kira 6n setidaknya seperti yang dinyatakan dalam berbagai buku teks, dan buktinya adalah dengan induksi dengan …

10 cg.comp-geom 

Apakah mungkin (slash dapat Anda berikan contoh) untuk mengurangi kompleksitas komputasi dari suatu masalah dengan menggunakan algoritma paralel yang tidak memerlukan sejumlah prosesor relatif terhadap ukuran input?

10 cc.complexity-theory  dc.parallel-comp 

Secara khusus, saya meminta sumber daya untuk mempelajari tentang sistem pembelajaran mesin yang dapat memperbarui jaringan kepercayaan masing-masing (atau yang setara) selama operasi. Saya bahkan telah menemukan beberapa, meskipun saya gagal untuk membookmark mereka. Seperti yang Anda bayangkan, ini adalah topik yang agak sulit untuk dicari di internet.

10 reference-request  machine-learning  lg.learning  ai.artificial-intel  online-learning 

DFA atau NFA membaca melalui string input dengan satu kepala, bergerak dari kiri ke kanan. Tampaknya wajar untuk bertanya-tanya tentang mesin negara-terbatas yang memiliki banyak kepala , yang masing-masing bergerak melalui input dari kiri ke kanan, tetapi tidak harus di tempat yang sama dalam input dengan yang lain. Mari kita …

10 fl.formal-languages  automata-theory  regular-language  nfa 

Saya telah tertarik pada berbagai topik seperti Combinatory Logic, Lambda Calculus, Functional Programming untuk sementara waktu dan telah mempelajarinya. Namun, tidak seperti "Theory of Computation" yang berusaha menjawab pertanyaan "computability" yaitu, hal-hal yang dapat / tidak dapat dihitung dengan berbagai kendala, saya berjuang untuk menemukan analog untuk "Theory of Programming" …

10 soft-question  pl.programming-languages  lambda-calculus  big-picture  combinatory-logic 

Sudah diketahui sejak awal 70-an bahwa dan tidak sama (karena tidak ditutup di bawah polinomial-waktu banyak -satu pengurangan, berbeda dengan ). Sejauh yang saya tahu, masih terbuka apakah satu kelas adalah himpunan bagian dari yang lain, atau mereka tidak dapat dibandingkan, yang berarti bahwa dan keduanya kosong.N PNP{\bf NP}E =DTsayaM.E( …

10 cc.complexity-theory  complexity-classes  np-complete 

Tidak diketahui apakah atau P ⊈ C S L , di manaP⊆ CSL.P⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL adalah himpunan semua bahasa yang dapat ditentukan dalam waktu polinomial pada mesin Turing deterministik, danPPP adalah kelas bahasa konteks-sensitif, yang dikenal setara dengan N S P A C E ( O ( n ) ) …

10 cc.complexity-theory  fl.formal-languages  polynomial-time 

Misalkan HA L TnHALTnHALT_n menunjukkan string dengan panjang 2n2n2^n sesuai dengan tabel kebenaran dari penghentian masalah untuk input panjang nnn . Jika urutan kompleksitas Kolmogorov K( HA L Tn)K(HALTn)K(HALT_n) adalah O(1)O(1)O(1) , maka salah satu string saran akan sering digunakan tanpa batas, dan TM dengan string yang dikodekan keras akan …

10 cc.complexity-theory  reference-request  computability  lower-bounds 

Misalkan saya memiliki sirkuit boolean yang menghitung beberapa fungsi f : { 0 , 1 } n → { 0 , 1 } . Asumsikan sirkuit terdiri dari AND, OR, dan NOT gerbang dengan fan-in dan fan-out paling banyak 2.CCCf: { 0 , 1 }n→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n …

10 ds.algorithms  circuit-complexity  boolean-functions  circuits 

Masalah parametrized k-FLIP SAT didefinisikan sebagai: Input: rumus 3-CNF dengan variabel dan penugasan kebenaran Parameter: Pertanyaan: dapatkah kita mengubah penugasan menjadi penugasan yang memuaskan untuk membalik nilai kebenaran paling banyak variabel ?φφ\varphinnnσ: [ n ] → { 0 , 1 }σ:[n]→{0,1}\sigma : [n] \to \{0,1\} kkk σσ\sigmaσ′σ′\sigma'φφ\varphi kkk Masalahnya jelas …

10 parameterized-complexity  fixed-parameter-tractable 

Katakanlah saya bekerja dalam teori tipe homotopy dan satu-satunya objek penelitian saya adalah kategori konvensional. Ekivalensi sini diberikan oleh functors dan G : C ⟶ D yang menyediakan ekuivalensi kategori C ≃ D . Ada isomorfisme alami α : n a t ( F G , 1 C ) dan …

10 type-theory  ct.category-theory  dependent-type  equivalence  homotopy-type-theory 

Slackness komplementer (CS) umumnya diajarkan ketika berbicara tentang dualitas. Ini membangun hubungan yang bagus antara primal dan kendala ganda / variabel dari sudut pandang matematika. Dua alasan utama untuk menerapkan CS (seperti yang diajarkan di kursus pascasarjana dan buku teks): Untuk memeriksa optimalitas LP Untuk membantu memecahkan masalah dual Mengingat …

10 ds.algorithms  approximation-algorithms  linear-programming  primal-dual 

Saya tertarik dengan sedikit generalisasi DFA. Seperti biasa kita memiliki set-negara QQQ , alfabet terbatas ΣΣ\Sigma , sebuah aksi Σ∗Σ∗\Sigma^* didefinisikan pada QQQ oleh δ:Q×Σ→Qδ:Q×Σ→Q\delta : Q\times\Sigma\rightarrow Q , dan kondisi awal q0q0q_0 ; tapi bukannya biasa set terminal, kita mengambil keluarga (Ti)i∈1..n(Ti)i∈1..n(T_i)_{i\in 1..n} himpunan bagian dari . DFA Multi-bahasaQQQMMM …

10 automata-theory  dfa 

Apa hasil canggih tentang kompleksitas kueri dari rumus 2-DNF pembelajaran PAC yang tepat dengan kueri sampel dan di bawah distribusi yang seragam ? Atau ada yang tidak sepele yang terikat padanya? Karena saya sama sekali tidak terbiasa dengan teori belajar dan pertanyaan ini dimotivasi oleh bidang yang berbeda, jawabannya mungkin …

10 reference-request  lg.learning  boolean-functions