Pertanyaan yang diberi tag «time-complexity»

Latar Belakang Beberapa tahun yang lalu, ketika saya masih sarjana, kami diberi pekerjaan rumah tentang analisis diamortisasi. Saya tidak dapat menyelesaikan salah satu masalah. Saya telah menanyakannya dalam teori comp.the , tetapi tidak ada hasil yang memuaskan muncul. Saya ingat kursus TA bersikeras pada sesuatu yang tidak bisa dia buktikan, …

59 ds.algorithms  ds.data-structures  open-problem  time-complexity 

Adakah manfaat untuk menghitung kompleksitas waktu suatu algoritma menggunakan lambda calculus? Atau adakah sistem lain yang dirancang untuk tujuan ini? Referensi apa pun akan dihargai.

43 lambda-calculus  pl.programming-languages  time-complexity 

Pertanyaan saya sederhana: Apa waktu berjalan terburuk dari algoritma yang paling dikenal untuk menghitung komposisi eigend dari sebuah matriks ?n×nn×nn \times n Apakah eigendecomposition mengurangi perkalian matriks atau apakah algoritma paling dikenal (melalui SVD ) dalam kasus terburuk?O(n3)O(n3)O(n^3) Harap dicatat bahwa saya meminta analisis kasus terburuk (hanya dalam hal ), …

40 ds.algorithms  time-complexity  matrices  linear-algebra  na.numerical-analysis 

Beberapa dari Anda mungkin telah mengikuti pertanyaan ini , yang ditutup karena tidak menjadi level penelitian. Jadi, saya mengekstraksi bagian pertanyaan yang ada di tingkat penelitian. Di luar teknik "sederhana", seperti mengurangi menjadi penyortiran atau masalah lengkap EXPTIME, teknik apa yang telah digunakan untuk membuktikan batas bawah untuk kompleksitas waktu …

23 cc.complexity-theory  reference-request  fl.formal-languages  time-complexity  reductions 

Masalah Berhenti menyatakan bahwa tidak mungkin untuk menulis program yang dapat menentukan apakah program lain berhenti, untuk semua program input yang mungkin . Saya dapat, bagaimanapun, tentu saja menulis sebuah program yang dapat menghitung waktu berjalan dari program seperti: for(i=0; i<N; i++) { x = 1; } dan mengembalikan kompleksitas …

23 computability  time-complexity  formal-methods  se.software-engineering 

Ketika bermain-main dengan parsing LR noncanonical, saya memikirkan metode parsing (dengan tabel berukuran tak terbatas, yang membuatnya agak tidak taktis ) yang mampu mengurai persis tata bahasa yang tidak ambigu dalam waktu , dan saya bertanya-tanya apakah mungkin untuk melakukan yang lebih baik :O ( n2)HAI(n2)O(n^2) Bisakah semua tata bahasa …

22 reference-request  fl.formal-languages  time-complexity  parsing  context-free 

Saya mencari referensi untuk hasil berikut: Menambahkan dua bilangan bulat dalam representasi factored sama sulitnya dengan memfaktorkan dua bilangan bulat dalam representasi biner biasa. (Saya cukup yakin itu ada di luar sana karena ini adalah sesuatu yang saya tanyakan pada suatu saat, dan kemudian bersemangat ketika akhirnya saya melihatnya di …

22 cc.complexity-theory  reference-request  time-complexity  factoring  encoding 

Pertanyaan ini adalah tentang hubungan antara perkalian bilangan biner normal dan perkalian polinomial mod 2. Untuk membuat pertanyaan konkret, saya ingin tahu apakah ada solusi yang lebih baik untuk pertanyaan dari Knuth vol. 2, 3 edisi, halaman 420 dari yang diberikan dalam buku ini. "Dapatkah penggandaan modulin 2 polinomial difasilitasi …

22 ds.algorithms  reductions  time-complexity 

Apa yang diketahui tentang kompleksitas waktu dari masalah berikut, yang kita sebut 3-MUL? Diberikan himpunan dari bilangan bulat, apakah ada elemen sedemikian sehingga ?SSSnnna,b,c∈Sa,b,c∈Sa,b,c\in Sab=cab=cab=c Masalah ini mirip dengan masalah 3-SUM, yang menanyakan apakah ada tiga elemen sehingga (atau ekuivalen ). 3-SUM diperkirakan membutuhkan waktu kuadratatik dalam . Apakah ada …

22 cc.complexity-theory  ds.algorithms  time-complexity 

Apakah ada masalah alami dalam P yang terikat waktu berjalan paling dikenal adalah dari bentuk , di mana adalah konstanta irasional ?O ( nα)HAI(nα)O(n^\alpha)αα\alpha

21 cc.complexity-theory  time-complexity  polynomial-time 

Batas atas terbaik yang diketahui pada kompleksitas waktu penggandaan adalah terikat Martin Fürer , yang lebih dari kompleksitas penambahan waktu linear. Apakah kita memiliki bukti bahwa penambahan pada dasarnya lebih mudah daripada perkalian?nlogn2O(log∗n)nlog⁡n2O(log∗⁡n)n\log n2^{O(\log^* n)}

21 cc.complexity-theory  time-complexity 

Sudah diketahui bahwa palindrom dapat dikenali dalam waktu linier pada mesin Turing pita, tetapi tidak pada mesin Turing pita tunggal (dalam hal ini waktu yang dibutuhkan adalah kuadratik). Algoritma linear-waktu menggunakan salinan input, dan dengan demikian juga menggunakan ruang linier.222 Bisakah kita mengenali palindrom dalam waktu linier dari mesin Turing …

20 cc.complexity-theory  time-complexity  space-complexity  space-time-tradeoff 

Apa kompleksitas waktu (bukan kompleksitas kueri) dari algoritma Grover? Tampak jelas bagi saya bahwa itu adalah karena adaΩ( √Ω(log(N)N−−√)Ω(log⁡(N)N)\Omega(\log(N) \sqrt{N})iterasi dan setiap iterasi membutuhkan penggunaan operasi refleksi yang pada gilirannya membutuhkan waktuΩ(log(N))menggunakan setiap set standar gerbang universal.Ω(N−−√)Ω(N)\Omega(\sqrt{N})Ω(log(N))Ω(log⁡(N))\Omega(\log(N)) Masalahnya adalah, saya tidak dapat menemukan satu pun referensi yang mengatakan kompleksitas waktu …

19 reference-request  quantum-computing  time-complexity 

Tampaknya diketahui bahwa untuk menemukan jawaban atas kueri atas database relasional D , kita perlu waktu | D | | Q | , dan seseorang tidak dapat menyingkirkan eksponen | Q | .QQQDDD| D || Q ||D||Q||D|^{|Q|}| Q ||Q||Q| Karena bisa menjadi sangat besar, kami bertanya-tanya mengapa database bekerja sama …

19 cc.complexity-theory  time-complexity  descriptive-complexity  db.databases 

Misalkan f(n)f(n)f(n) menjadi kasus terburuk saat menjalankan masalah pada input ukuran nnn . Mari kita buat masalahnya agak aneh dengan memperbaiki f(n)=n2f(n)=n2f(n) = n^2 untuk n=2kn=2kn=2k tetapi f(n)=nf(n)=nf(n) = n untuk n=2k+1n=2k+1n=2k+1 . Jadi, apa batas bawah masalahnya? Cara saya memahaminya hanyalah batas bawah f(n)f(n)f(n) . Tetapi kita tahu bahwa …

19 cc.complexity-theory  time-complexity