Pertanyaan yang diberi tag «complexity-theory»

Pertanyaan yang terkait dengan kompleksitas (komputasi) penyelesaian masalah

1
Apakah NP = coNP menyiratkan P = NP?
Kita tahu bahwa P = NP menyiratkan NP = coNP. Apakah implikasi sebaliknya berlaku? Apakah NP sama dengan BNP menyiratkan bahwa P sama dengan NP? Jika tidak, mengapa tidak? Saya mencari di Google tetapi tidak menemukan jawabannya.
2
Perangkat lunak untuk menguji homomorfisme grafik
Saya punya grafik GkGkG_k dan HkHkH_k dengan | V(Gk) | = | V(Hk)|2 k=n2 k|V(Gk)|=|V(Hk)|2k=n2k|\mathcal{V}(G_k)|=|\mathcal{V}(H_k)|^{2k}=n^{2k} dengan k∈Nk∈Nk\in\Bbb Nyang lulus pemeriksaan kewarasan seperti lemma tanpa homomorfisme. Apakah ada alat gratis dan mudah digunakan untuk menguji homomorfisme grafikGGG untuk HHH?
4
Siklus berat negatif vs siklus berat maksimum
Saya mengalami kesulitan memahami mengapa mudah mendeteksi siklus bobot negatif (Bellman Ford) tetapi sulit menemukan siklus bobot maksimum dalam grafik yang tidak diarahkan. Jika kita meniadakan bobot masing-masing sisi, kita dapat dengan mudah menemukan apakah ada siklus dengan berat total> 0. Namun, tidak mudah menemukan jika ada siklus dengan berat> …
1
Temukan simpul mana yang akan dihapus dari grafik untuk mendapatkan komponen terbesar terkecil
Diberikan grafik , cari simpul , yang penghapusan akan menghasilkan grafik dengan komponen terkecil terkecil. G=(V,E)G=(V,E)G = (V, E)kkk{v∗1,…,v∗k}{v1∗,…,vk∗}\{v^*_1,\dots,v^*_k\} Saya berasumsi untuk besardan besar masalahnya sulit (NP-keras), tapi saya tertarik pada nilai kecil ( ).n=|V|n=|V|n = |V|kkkkkkk∈{1,2,3,4}k∈{1,2,3,4}k \in \{1, 2, 3, 4\} Untuk , saya pikir mungkin untuk menemukan titik …
1
NEXP = Σ
Apakah diketahui apakah implikasi berlaku?NEXP=Σ2⟹NEXP=MANEXP=Σ2⟹NEXP=MA\mathsf{NEXP} = \Sigma_2 \implies \mathsf{NEXP} = \mathsf{MA} (Pertanyaan ini diinspirasi oleh .N E X P ⊆ P / p o l y ⇔ N E X P = M ANEXP⊆P/halHaily⇔NEXP=M.SEBUAH\mathsf{NEXP} \subseteq \mathsf{P/poly} \Leftrightarrow \mathsf{NEXP} = \mathsf{MA}
1
Kompleksitas Waktu dari Simulasi Mesin Turing Universal dan Teorema Hierarki Waktu
Saya punya sedikit masalah untuk memahami bukti Teorema Time Hierarchy (Hennie and Stearns, 1966) yang memastikan keberadaan bahasa yang dapat diterima dalam tetapi tidak dapat diterima dalam untuk fungsi apa pun , sehingga dapat dikonstruksi waktu danU(n)U(n)U(n)T(n)T(n)T(n)T(n),U(n)T(n),U(n)T(n),U(n)U(n)U(n)U(n) n≤T(n)=o(U(n)logT(n)).n≤T(n)=o(U(n)log⁡T(n)).n \leq T(n) = o\left(\frac{U(n)}{\log T(n)}\right). Bukti ini didasarkan pada keberadaan mesin Universal …
2
Mengapa seseorang sering membutuhkan ruang konstruksi dalam teorema Savitch?
Ketika teorema terkenal Savitch dinyatakan, orang sering melihat persyaratan bahwa dapat dibangun dalam ruang (yang menariknya, dihilangkan dalam Wikipedia). Pertanyaan sederhana saya adalah: Mengapa kita membutuhkan ini? Saya mengerti persyaratan untuk berada di , yang jelas dari buktinya. Tapi tidak ada bukti yang saya lihat sejauh ini secara eksplisit menggunakan …
1
Seberapa keras varian dari teka-teki Sudoku?
Sudoku adalah puzzle terkenal yang dikenal sebagai NP-complete dan ini adalah kasus khusus masalah yang lebih umum yang dikenal sebagai kotak Latin. Solusi yang benar dariN×NN×NN \times N kuadrat terdiri dari mengisi setiap baris dan setiap kolom dengan angka dari 111 untuk NNN dengan ketentuan bahwa setiap angka muncul tepat …
3
Bagaimana memahami pengurangan dari masalah 3-Warna menjadi umum
Masalah 3-Warna dapat dibuktikan NP-Complete memanfaatkan pengurangan dari 3SAT Graph Coloring (dari 3SAT) . Sebagai akibatnya, masalah 4-Warna adalah NP-Lengkap menggunakan pengurangan dari 3-Warna: Reduksi dari instance 3-Coloring: menambahkan simpul tambahan ke grafik masalah 3-Coloring, dan membuatnya berdekatan dengan semua simpul asli. Mengikuti alasan yang sama, masalah 5-Coloring, 6-Coloring, dan …
1
Buktikan atau bantah: BPP (0.90,0.95) = BPP
Saya benar-benar ingin bantuan Anda dengan membuktikan atau menyangkal klaim berikut: . Dalam teori kompleksitas komputasi, BPP, yang berarti waktu polinom probabilitas terbatasi-kesalahan adalah kelas masalah keputusan yang dipecahkan oleh mesin Turing probabilistik dalam waktu polinomial, dengan probabilitas kesalahan paling banyak untuk semua contoh . .BPP(0.90,0.95)=BPPBPP(0.90,0.95)=BPPBPP(0.90,0.95)=BPP1313\frac{1}{3}BPP=BPP(13,23)BPP=BPP(13,23)BPP=BPP(\frac{1}{3},\frac{2}{3}) Tidak langsung bahwa salah …
2
Grafik 3-colorability dapat direduksi sendiri
Saya tertarik pada reducibilitas diri sendiri dari masalah Grafik 3-Coloralibity. Definisi masalah Grafik 3-Coloralibity. Mengingat sebuah grafik diarahkan tidak terdapat cara untuk mewarnai node merah, hijau, dan biru yang ada node yang berdekatan memiliki warna yang sama?GGG Definisi reducibilitas diri. Bahasa dapat direduksi sendiri jika ada mesin turing oracle TM …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.