Pertanyaan yang diberi tag «algebra»

Apa yang diketahui tentang kelas bahasa yang dikenali oleh automata terbatas yang memiliki keadaan awal dan penerima yang sama? Ini adalah bagian yang tepat dari bahasa biasa (karena setiap bahasa tersebut berisi string kosong), tetapi seberapa lemah itu? Apakah ada karakterisasi aljabar sederhana? Ditto untuk bahasa yang dikenali oleh automata …

13 fl.formal-languages  automata-theory  algebra  regular-language 

Saya punya pertanyaan tentang polinomial derajat rendah dan probabilitas: Apa (perilaku asiptotik dari) probabilitas yang polinomial * acak, , lebih dari GF (2), dengan derajat dan n variabel memiliki .halhalp≤ d≤d\le db i a s ( p ) ≜ | Prx ∈ { 0 , 1 }n( p ( x …

13 randomness  pr.probability  algebra  polynomials 

Saya mencari daftar tentang kompleksitas yang diketahui atau tidak diketahui dari berbagai masalah teori / aljabar. Sebagai contoh, GCD di terbuka,NC1NC1NC^1 anjak piutang dalam terbuka,PPP komputasi berkas cohomology yaitu -Hard# P#P\#P , Arora dan Barak menyatakan bahwa varian anjak piutang adalah lengkap (meskipun ini tidak jelas berdasarkan diskusi di An …

12 cc.complexity-theory  big-list  algebra  open-problem 

Diberikan dua permutasi dan atas elemen (yaitu, anggota ), apa kompleksitas menghitung urutan subkelompok yang dihasilkan oleh ? Atau hanya memutuskan apakah subkelompok itu berurutan(yaitu, semua )?ggghhhnnnSnSnS_ng, hg,hg,hn !n!n!SnSnS_n

10 cc.complexity-theory  algebra  gr.group-theory 

Kita dapat melakukan konvolusi dalam untuk plus / multiplikasi polinomial dengan FFT. Namun, pendekatan itu tampaknya tidak terlalu umum untuk cincin pada umumnya. Apakah ada kemajuan selama konvolusi naif untuk cincin max / plus?O ( n logn )HAI(ncatatan⁡n)O(n\log n)O ( n2)HAI(n2)O(n^2) Saya harus mencatat bahwa seseorang dapat mengubah soft-max / …

10 algebra  polynomials  fft  convolution 

Akhir-akhir ini, saya menjadi tertarik pada geometri aljabar dan mulai membaca tentangnya. Saya masih tahu sedikit tentang bidang ini, tetapi saya ingin tahu apakah itu ada hubungannya dengan bidang utama saya, teori jenis dan bahasa pemrograman. Saya tahu topologi aljabar memiliki banyak aplikasi dalam teori tipe (teori tipe homotopy, dan …

9 pl.programming-languages  type-theory  algebra 

Biarkan menjadi alfabet terbatas. Untuk bahasa tertentu yang sintaksis monoid adalah gagasan terkenal dalam teori bahasa formal. Selanjutnya, monoid mengenali bahasa jika ada morfisme sedemikian rupa sehingga .L ⊆ A ∗SEBUAHAAL ⊆ A∗L⊆A∗L \subseteq A^{\ast} M L φ : A ∗ → M L = φ - 1 ( φ …

9 fl.formal-languages  automata-theory  regular-language  algebra  monoid 

Asumsikan kita beroperasi di bidang yang terbatas. Kami diberi p polinomial tetap besar (x) (dari, katakanlah, derajat 1000) di atas bidang ini. Polinomial ini diketahui sebelumnya dan kami diizinkan untuk melakukan perhitungan menggunakan banyak sumber daya dalam "tahap awal." Hasil ini dapat disimpan dalam tabel pencarian yang cukup kecil. Pada …

9 cc.complexity-theory  ds.algorithms  algebra  algebraic-complexity  polynomials 

pengantar Saya sedang menulis tesis PhD saya tentang Abstrak Delta Modeling (ADM), deskripsi aljabar abstrak modifikasi (dikenal sebagai delta ) yang dapat bertindak atas produk (seperti dalam 'produk perangkat lunak'). Ini dapat digunakan untuk mengatur satu set produk terkait ('lini produk') sebagai produk inti sederhana dan satu set delta yang …

9 pl.programming-languages  algebra  monoid 

Salah satu masalah utama dalam penghitungan grafik adalah menentukan 'bentuk' grafik, misalnya kelas isomorfisme dari grafik tertentu. Saya menyadari sepenuhnya bahwa setiap grafik dapat direpresentasikan sebagai matriks simetris. Namun, untuk mendapatkan bentuknya, Anda memerlukan kumpulan permutasi baris / kolom, yang membuat matriks sedikit kurang cocok. Ini juga agak sulit untuk …

9 graph-theory  co.combinatorics  algebra 

Saya mencari untuk menulis survei tentang metode yang mewakili dinamika perhitungan berbasis negara dalam kerangka kerja coalgebras. Sejauh ini saya sudah berhasil menemukan makalah tentang representasi coalgebra DFA, NFA, mesin Mealy, mesin Moore, tata bahasa bebas konteks, dan bahkan sistem kuantum sederhana. Saya belum menemukan sumber yang bagus untuk merepresentasikan …

9 automata-theory  turing-machines  algebra  automated-theorem-proving 

Saya kurang memiliki latar belakang dalam ilmu komputer teoretis tetapi saya ingin memahami seperti apa objek teoritis yang sesuai dengan konsep C ++ . Pada dasarnya, konsep C ++ memungkinkan untuk mendefinisikan sekumpulan tipe yang memenuhi daftar kendala. Jadi, dari sudut pandang teoretis, sesuai dengan konsep C ++, atau kira-kira …

8 pl.programming-languages  type-theory  algebra  ct.category-theory 

Apa algoritma tercepat yang dikenal untuk memfaktorkan polinomial dengan variabel dan derajat total ≤ d ? Di sini, n tumbuh dan d diperbaiki. Sebagian besar pekerjaan tampaknya mempertimbangkan kasus ketika d tumbuh dan n diperbaiki. Saya tertarik pada hasil, baik di bidang terbatas maupun rasional.nnn≤ d≤d\leq dnnnddddddnnn

8 cc.complexity-theory  algebra  factoring 

Saya harap pertanyaan ini tidak terlalu naif untuk situs ini. Dalam matematika (topologi, geometri, aljabar) adalah umum bagi seseorang untuk membedakan antara dua objek dengan menghasilkan invarian aljabar atau numerik, dan membuktikan bahwa dua objek memiliki nilai yang berbeda. Saya bertanya-tanya sejauh mana ini telah dicoba dengan kelas kompleksitas (atau …

8 cc.complexity-theory  complexity-classes  algebra 

Teorema fixpoint Tarski menyatakan, bahwa fixpoint operator monoton pada kisi lengkap adalah kisi lengkap. Sebagai akibatnya, kami memiliki fixpoint terbesar yang unik dan fixpoint paling unik untuk operator monoton pada kisi lengkap. Fixpoint bisa unik tetapi secara umum bisa banyak. Pertanyaan saya adalah, di bawah kondisi apa fungsi monoton dapat …

8 algebra  lattice  order-theory