Pertanyaan yang diberi tag «complexity-theory»

Buku teks saya mengatakan: "Kami mendefinisikan fungsif:N→Nf:N→Nf\colon \mathbb{N}\to\mathbb{N} sebagai berikut: f(1)=2f(1)=2f(1)=2 dan f(i+1)=2f(i)1.2f(i+1)=2f(i)1.2f(i+1)=2^{f(i)^{1.2}} . Perhatikan bahwa diberikan nnn , kita dapat dengan mudah menemukan di O(n1.5)O(n1.5)O(n^{1.5}) waktu jumlah iii sehingga nnn terjepit di antara f(i)f(i)f(i) dan f(i+1)f(i+1)f(i+1) ." Bagaimana saya dapat meyakinkan diri sendiri bahwa kita dapat dengan mudah menemukan …

10 complexity-theory  algorithm-analysis  nondeterminism 

Saya telah mempelajari koefisien korelasi peringkat Spearman ρ=∑i(xi−x¯)(yi−y¯)∑i(xi−x¯)2∑i(yi−y¯)2−−−−−−−−−−−−−−−−−−−√ρ=∑i(xi−x¯)(yi−y¯)∑i(xi−x¯)2∑i(yi−y¯)2\qquad \displaystyle \rho = \frac{\sum_i(x_i-\bar{x})(y_i-\bar{y})}{\sqrt{\sum_i (x_i-\bar{x})^2 \sum_i(y_i-\bar{y})^2}} . untuk dua daftar dan . Apa kompleksitas dari algoritma tersebut?x1,…,xnx1,…,xnx_1, \dots, x_ny1,…,yny1,…,yny_1, \dots, y_n Karena algoritma seharusnya menghitung pengurangan, apakah mungkin menjadi ?nnnO(n)O(n)O(n)

10 complexity-theory  time-complexity  space-complexity 

Apakah dengan akses oracle ke lebih besar dari sekedar ? Seperti yang saya pahami NP ^ {NP} hanyalah mesin turing yang dapat membuat permintaan ke mesin NP lain jika demikian daripada NP dapat mensimulasikan NP ^ {NP} ? Apakah ada yang salah dengan argumen ini?NPNPNPN P N P N P …

10 complexity-theory 

Ada beberapa HAIOO -Notasi, seperti O ( n )O(n)O(n) atau O ( n2)O(n2)O(n^2) dan seterusnya. Saya bertanya-tanya, apakah ada variasi dari mereka dalam kenyataan seperti O ( 2 n2)O(2n2)O(2n^2) atau O ( logn2)O(log⁡n2)O(\log n^2) , atau apakah itu secara matematis salah. Atau akankah hal yang benar untuk mengatakan bahwa adalah …

9 complexity-theory  time-complexity  optimization  big-o-notation 

Banyak kelas kompleksitas memiliki masalah "lengkap". Apakah ada masalah lengkap untuk kelas kompleksitas masalah yang dapat diselesaikan dalam waktu ?O ( 1 )O(1)O(1) Suatu komplikasi adalah bahwa kelas ini tergantung pada model perhitungan; masalah dapat dipecahkan dalam waktu dalam satu model perhitungan yang masuk akal tetapi tidak pada yang lain, …

9 complexity-theory  time-complexity  constant-time 

Saya memposting ini di MathUnderflow tetapi tidak mendapat jawaban, jadi saya pikir saya akan mencobanya di sini, Saya membaca kertas tua Rabin dan Fischer [akan memposting tautan bila memungkinkan] di mana antara lain, kompleksitas eksponensial ganda dari aritmatika Presburger terbukti. Buktinya bergantung pada keberadaan formula secara informal menyatakan " x …

9 complexity-theory  reference-request  logic 

Saya memiliki satu set titik yang didefinisikan dalam ruang metrik - jadi saya dapat mengukur 'jarak' antara titik tetapi tidak ada yang lain. Saya ingin menemukan titik paling sentral dalam himpunan ini, yang saya definisikan sebagai titik dengan jumlah minimum jarak ke semua titik lainnya. Perhitungan metrik lambat, jadi harus …

9 complexity-theory  computational-geometry  lower-bounds  search-problem 

Setahu saya tidak ada algoritma kasus terburuk yang memecahkan masalah berikut:O(n)O(n)O(n) Dengan urutan panjang terdiri dari bilangan bulat terbatas, temukan permutasi di mana setiap elemen kurang dari atau sama dengan penggantinya.nnn Tetapi apakah ada bukti bahwa itu tidak ada, dalam model komputasi transdichotomous ? Perhatikan bahwa saya tidak membatasi rentang …

9 complexity-theory  sorting  computation-models  lower-bounds 

Pertimbangkan masalah berikut: Input : daftar X,YX,YX,Y bilangan bulat Sasaran : menentukan apakah ada bilangan bulat xxx yang ada di kedua daftar. Misalkan kedua daftar X,YX,YX,Y ukuran Y adalah nnn . Apakah ada algoritma deterministik, linear-waktu untuk masalah ini? Dengan kata lain, dapatkah Anda menyelesaikan masalah ini dalam waktu O(n)O(n)O(n) …

9 algorithms  complexity-theory  lower-bounds 

Bagaimana kami dapat memastikan bahwa kami terus membuat pernyataan yang kuat dan valid tentang kelas kompleksitas ketika menggunakan Mesin Turing oracle? Menurut pemahaman saya (berdasarkan definisi yang diberikan dalam buku teks pengantar tentang subjek) mesin oruring Turing dapat menentukan status keanggotaan string sehubungan dengan bahasa oracle dalam satu langkah perhitungan. …

9 complexity-theory  oracle-machines 

Valiant & Vazirani membuktikan bahwa SAT dapat direduksi menjadi SAT UNIK di bawah pengurangan probabilistik acak dalam waktu polinomial. Calabro et al . menunjukkan bahwa UNIK k-SAT sama sulitnya dengan k-SAT. Sekarang pertanyaannya adalah, jika seseorang menunjukkan bahwa UNIK k-SAT ada di P, apakah itu menyiratkan P = NP? Referensi …

9 complexity-theory  satisfiability  p-vs-np 

Saya bertanya-tanya apakah masalah ini memiliki nama: Diberikan grafik sederhana yang ujung-ujungnya berwarna merah, biru dan hijau, , apakah ada pewarnaan simpul sedemikian rupa sehingga setiap sisi memiliki titik akhir dengan warna yang sama?G=(V,B∪R∪G)G=(V,B∪R∪G)G=(V,B\cup R\cup G)c:V→{B,R,G}c:V→{B,R,G}c:V\to \{B,R,G\} Juga, apakah ini dikenal sebagai NP-complete? Ini juga dapat dilihat sebagai kasus khusus …

9 algorithms  complexity-theory  graphs  satisfiability  colorings 

Pertanyaan ini adalah tentang persimpangan teori probabilitas dan kompleksitas komputasi. Satu pengamatan utama adalah bahwa beberapa distribusi lebih mudah dihasilkan daripada yang lain. Misalnya masalah Dengan diberi nomor nnn , kembalikan nomor terdistribusi secara seragam dengan .0 ≤ i &lt; niii0≤i&lt;n0≤i&lt;n0 \leq i < n mudah dipecahkan. Di sisi lain, …

9 complexity-theory  reference-request  probability-theory  probabilistic-algorithms 

Sebuah bahasa formal LLL lebih alfabet ΣΣ\Sigma adalah himpunan bagian dari Σ∗Σ∗\Sigma^* , yaitu, satu set kata-kata di atas alfabet itu. Dua bahasa resmi LLL dan L′L′L' adalah sama, jika sesuai set extensionally sama sebagai subset dari L∪L′L∪L′L\cup L' . Seseorang dapat menggunakan bahasa dalam teori kompleksitas untuk memformalkan konsep …

9 complexity-theory  formal-languages  reference-request 

Seperti yang dinyatakan dalam pertanyaan, bagaimana kita membuktikan bahwa ?NTIME(f(n))⊆DSPACE(f(n))NTIME(f(n))⊆DSPACE(f(n))\textbf{NTIME}(f(n)) \subseteq \textbf{DSPACE}(f(n)) Adakah yang bisa mengarahkan saya ke bukti atau menguraikannya di sini? Terima kasih!

9 complexity-theory  time-complexity  space-complexity