Pertanyaan yang diberi tag «time-complexity»

Masalah umum Misalkan kita memiliki fungsi polinomial multivariat , dan beberapa fungsi linear ℓ i ( x ) . Apa yang diketahui tentang kompleksitas penyelesaian masalah pengoptimalan berikut?f( x )f(x)f(\mathbf{x})ℓi(x)ℓi(x)\ell_i(\mathbf{x}) MaximizeSubject to: f(x)ℓi(x)≤0 for all iMaximizef(x)Subject to: ℓi(x)≤0 for all i\begin{align*} \text{Maximize} & \;\; f(\mathbf{x}) \\ \text{Subject to: } & …

8 cc.complexity-theory  complexity-classes  time-complexity  linear-programming  polynomials 

Saya mencari lebih banyak masalah di dengan kompleksitas waktu klasik batas bawah. Beberapa orang mungkin bertanya-tanya bagaimana Anda dapat membuktikan batas bawah seperti itu. Lihat di bawah.PPP Batas Bawah Eksponensial: Klaim: Jika Anda memiliki masalah yaitu -complete di bawah pengurangan polinomial, maka ada konstanta sehingga tidak dapat dipecahkan dalam waktu. …

8 cc.complexity-theory  complexity-classes  time-complexity  lower-bounds  polynomial-time 

\newcommand{\cc}[1]{\mathsf{#1}} Apakah teorema di sepanjang baris berikut ini berlaku: Jika g(n)g(n)g(n) sedikit lebih besar dari f(n)f(n)f(n) , maka NTIME(g)∩coNTIME(g)≠NTIME(f)∩coNTIME(f)NTIME(g)∩coNTIME(g)≠NTIME(f)∩coNTIME(f)\cc{NTIME}(g) \cap \cc{coNTIME}(g) \neq \cc{NTIME}(f) \cap \cc{coNTIME}(f) ? Sangat mudah untuk menunjukkan bahwa NP∩coNP≠NEXP∩coNEXPNP∩coNP≠NEXP∩coNEXP\cc{NP} \cap \cc{coNP} \neq \cc{NEXP} \cap \cc{coNEXP} , setidaknya. Bukti: Asumsikan tidak. Kemudian NEXP∩coNEXP⊆NP∩coNP⊆NP∪coNP⊆NEXP∩coNEXP,NEXP∩coNEXP⊆NP∩coNP⊆NP∪coNP⊆NEXP∩coNEXP,\cc{NEXP} \cap \cc{coNEXP} \subseteq \cc{NP} \cap …

8 cc.complexity-theory  time-complexity  nondeterminism  time-hierarchy  hierarchy-theorems 

Dalam film Inception Cobb meminta Ariadne untuk merancang labirin yang membutuhkan waktu dua kali lebih banyak untuk merancang. Ini cocok untuk masalah umum di mana kita memiliki situasi di mana kita terbatas sumber daya dengan jumlah tertentu dan siapa pun yang akan memverifikasi bahwa masalah ini berada dalam kelas kompleksitas …

8 cc.complexity-theory  reference-request  time-complexity  space-complexity 

Jika berisi kelas masalah waktu superpolinomial, yaituNPNP\mathsf{NP} untuk beberapa fungsi , D T I M E ( t ) ⊆ N P ,t∈nω(1)t∈nω(1)t \in n^{\omega(1)}DTIME(t)⊆NPDTIME(t)⊆NP\mathsf{DTIME}(t) \subseteq \mathsf{NP} P⊊NPP⊊NP\mathsf{P} \subsetneq \mathsf{NP} Tetapi apakah ada konsekuensi menarik lain yang nontrivial (yaitu bukan konsekuensi dari ) jika nondeterminisme dapat mempercepat perhitungan deterministik?P⊊NPP⊊NP\mathsf{P} \subsetneq …

8 cc.complexity-theory  time-complexity  nondeterminism 

Untuk d⃗ ∈Nnd→∈Nn\vec{d} \in \mathbb{N}^n , misalkan Q(d⃗ )⊂NnQ(d→)⊂NnQ(\vec{d}) \subset \mathbb{N}^n adalah himpunan simpul dari kubus dimensi- nnn diskalakan ke arah koordinat ke- iii oleh didid_i , yaitu Q(d⃗ ={⟨±d1,…,±dn⟩}Q(d→={⟨±d1,…,±dn⟩}Q(\vec{d} = \{\langle \pm d_1, \ldots, \pm d_n\rangle\} . Pertimbangkan masalah berikut: Diberikan satu set titik dalam NnNn\mathbb{N}^n dan angka kkk …

8 cc.complexity-theory  reference-request  co.combinatorics  cg.comp-geom  time-complexity 

Adakah yang berpikir tentang kemungkinan bahasa pemrograman, dan kompiler, sehingga kompiler dapat secara otomatis melakukan analisis asimptotik kasus terburuk? Kasus penggunaan yang ada dalam pikiran saya adalah bahasa pemrograman tempat saya menulis kode, dan kompilasi. Kompilator memberi tahu saya bahwa kode saya berjalan di O (n ^ 2) (misalnya). Ini …

8 reference-request  pl.programming-languages  time-complexity  compilers  program-analysis 

Saya menggunakan perhitungan matriks Varians-Kovarian dalam program yang saya tulis (untuk Analisis Komponen Utama), dan saya bertanya-tanya apa kerumitannya. Sementara jelas dekomposisi Eigenvector menyebabkan hit kinerja terbesar, saya bertanya-tanya berapa banyak hit yang disebabkan oleh perhitungan Covariance Matrix. Waktu berjalan asimptotik yang saya perkirakan akan digunakan adalah menggunakan algoritma naif, …

8 time-complexity  linear-algebra  matrices