Apakah ada alam masalah grafik -Lengkap, yang tetap -Lengkap bahkan ketika itu dibatasi untuk setiap polinomial-waktu kelas grafik dikenali? Untuk menghindari kasus yang mengalami kemunduran, mari kita perhatikan hanya kelas grafik padat , di mana jumlah grafik non-isomorfik -vertex tumbuh secara...
Pertimbangkan masalah berikut: Input: (G1, G2) di mana G1 dan G2 adalah grafik tidak terarah Pertanyaan: Apakah ukuran set independen max G1 setidaknya sama besar dengan ukuran set independen max G2? Ini sepertinya pertanyaan yang wajar untuk ditanyakan, namun saya belum dapat menemukan kelas...
Menurut BGS teorema [1], ada oracle sehingga .SEBUAHSEBUAHAPSEBUAH≠ NPSEBUAHPSEBUAH≠NPSEBUAHP^A\neq NP^A Jika operasi relativiasi adalah fungsi yang terdefinisi dengan baik, orang akan berharap bahwa dari seseorang akan dapat menyimpulkan bahwa , misalnya akan mengikuti dari BGS. Namun, masih...
Saya membacanya di sini bahwa ada keluarga fungsi yang memerlukan node pada jaringan saraf dengan paling banyak lapisan untuk mewakili fungsi sementara hanya perlu jika jaringan saraf memiliki setidaknya lapisan. Itu merujuk pada sebuah makalah oleh Hastad. Saya tidak menemukannya. Bisakah...
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...
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...
Ketika dugaan atau P ≠ N P diatur (misalnya oleh Clay Mathematical Institute oleh S. Cook, lihat di sini ) sistem aksiomatik matematika apa yang diasumsikan?P=NPP=NP\mathbf{P} = \mathbf{NP}P≠NPP≠NP\mathbf{P} \neq \mathbf{NP} Untuk membuktikan atau menyangkal pernyataan seperti itu, Anda perlu...
Apa saja contoh masalah yang diketahui berada dalam AMAM\mathsf{AM} (resp. MAMA\mathsf{MA} ) yang tidak diketahui berada dalam NPNP\mathsf{NP} atau dalam BPPBPP\mathsf{BPP} ? Untuk AMAM\mathsf{AM} , saya tahu dua contoh berikut: Grafik non-isomorfisme: Diberikan dua grafik berlabel GGG dan HHH ,...
Katakanlah Anda memiliki sejumlah set bilangan bulat ( ), dan Anda ingin menghitung persimpangan dari beberapa dari mereka ( ∩ S 1 , S 3 , S 7 mungkin query, tetapi Anda ingin untuk mendukung banyak pertanyaan seperti itu, atau bahkan mungkin semua pertanyaan yang mungkin)S1,S2...SnS1,S2...SnS_1,...
Diberikan bilangan aljabar , saya tertarik untuk menemukan perkiraan ℜ ( e α ) hingga presisi yang diberikan, di mana ℜ ( ) mengacu pada bagian nyata dari bilangan kompleks.αα\alphaR(eα)ℜ(eα)\Re(e^\alpha)R()ℜ()\Re() Secara formal, saya ingin menghitung bilangan rasional sehingga | ℜ ( e α ) - r...
Ketika kami mencoba membuat algoritma untuk masalah baru, bagi-dan-taklukkan (menggunakan rekursi) adalah salah satu pendekatan pertama yang kami coba. Tetapi dalam beberapa kasus, pendekatan ini tampaknya tidak membuahkan hasil karena masalahnya menjadi jauh lebih rumit ketika inputnya...
Ada beberapa teorema, kebanyakan dalam teori grafik dan optimasi kombinatorial, yang sering disebut sebagai penokohan yang baik. Mereka biasanya menempatkan properti di , dengan menunjukkan bahwa suatu properti dapat bertahan, atau ada beberapa kendala yang teridentifikasi dengan baik yang...
Asumsikan bahwa untuk masalah minimalisasi yang diberikan hanya dengan solusi integer, itu adalah -hard untuk memutuskan apakah solusi optimal adalah 5 atau 6. Yaitu, algoritma waktu polinomial dengan rasio perkiraan yang lebih baik dari 6/5 akan menyiratkan P = N P .NPNPNPP=NPP=NPP=NP 1) Apakah...
Tampaknya bagi saya bahwa tugas penghapusan kuadrat dapat direduksi menjadi tugas anjak piutang , tetapi tidak ada cara untuk mengurangi anjak piutang menjadi penghapusan kuadrat. Apakah ada cara untuk membuat "perasaan" ini lebih tepat, yaitu beberapa hipotesis umum yang diyakini akan dilanggar...
Saya melihat masalah ini: Sebuah peningkatan urutan non bilangan bulat positif m1,m2,...,mkm1,m2,...,mkm_1,m_2,..., m_k dikatakan n-realisasi jika set In={1,2,...,n}In={1,2,...,n}I_n=\{1,2,..., n\} dapat dibagi menjadi kkk saling himpunan bagian menguraikan S1,S2,...,SkS1,S2,...,SkS_1,S_2,...,S_k...
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...
vv_v[v]={0,1,…,v−1}[v]={0,1,…,v−1}[v] = \{0,1,\dots,v-1\}kkkkkkkkkvv_vs ∞ = lim k → ∞ s ksk=infM{δ∣∃c∀v(M decides k-SATv in 2vδ−c) time)}sk=infM{δ∣∃c∀v(M decides k-SATv in 2vδ−c) time)}s_k = \inf_M\{\delta \mid \exists c\forall v\;( M\text{ decides } k\text{-SAT$_v$ in }2^{v\delta-c})\text{ time})...
Model Standar fisika (model matematika yang memprediksi bos Higg), sejauh yang saya mengerti, model alam semesta kita yang paling lengkap. Dengan kata lain, ini adalah deskripsi terbaik dari permainan matematika yang akan dimainkan untuk membuat prediksi tentang hasil percobaan yang dilakukan di...
\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...
Adalah umum untuk mendefinisikan kelengkapan sehubungan dengan reduksi banyak-satu ruang log.PPP Saya mencari kelas kerumitan sedemikian rupa sehingga ada masalah - P lengkap dan banyak-satu pengurangan - C .C⊆LC⊆LC \subseteq \mathsf{L}PP\mathsf{P}CCC Berapakah pengurangan kelas banyak-satu...