Pertimbangkan grafik dengan simpul dan derajat maksimum . Saya ingin menemukan jika grafik mempunyai geng, di mana dan keduanya kecil dibandingkan dengan . Saya hanya perlu menemukan satu klik seperti itu (atau menyatakan tidak ada)Δ snnnΔΔ\Deltassss≤Δs≤Δs \leq \Deltannn Ada cara mudah untuk...
Mari tentukan masalah SAT: Diberikan , rumus 3-CNF yang memuaskan, dan , rumus 2-CNF ( dan didefinisikan pada variabel yang sama). Apakah memuaskan?( 3 , 2 )s(3,2)s(3,2)_sF3F3F_3F2F2F_2F3F3F_3F2F2F_2F3∧ F2F3∧F2F_3 \wedge F_2 Apa kompleksitas masalah ini? (Apakah sudah dipelajari...
Misalkan Alice menerima himpunan bagian dan Bob menerima T ⊆ { 1 , ... , n } . Dijanjikan bahwa | S ∩ T | = 1 . Apa kompleksitas komunikasi acak untuk menentukan elemen umum S ∩ T ?S⊆ { 1 , ... , n }S⊆{1,…,n}S \subseteq \{1,\dots,n\}T⊆ { 1 , ... , n }T⊆{1,…,n}T \subseteq \{1,\dots,n\}| S∩ T| =...
Misalkan adalah subgraph interval maksimum yang diinduksi dari grafik . Jika， Lalu berapakah jumlah terkecil ?G = ( V , E ) n = | V | V ( H )HHHG = ( V, E)G=(V,E)G=(V,E)n = | V|n=|V|n=|V|V( H)V(H)V(H) Jumlahnya paling banyak： pertimbangkan seperangkat lubang terpisah.43 n / 43n/43n/4444 Bisakah...
Apa saja aplikasi Kompleksitas Kolmogorov dalam Teori Angka dan pada bidang terkait bukti? (Monograf oleh Li & Vitanyi tidak memiliki banyak aplikasi yang terkait dengan Teori Angka.) Salah satu bukti bagus yang saya temui adalah bukti keberadaan bilangan prima tak terbatas, menggunakan...
Apakah ada generalisasi game GO yang dikenal sebagai Turing lengkap? Jika tidak, apakah Anda memiliki beberapa saran tentang aturan (generalisasi) yang masuk akal yang dapat digunakan untuk mencoba membuktikan bahwa itu Turing lengkap? Yang jelas adalah bahwa permainan harus dimainkan di papan...
Katakanlah saya memiliki variabel acak satu bit , dan biarkan menjadi bilangan alami. Saya ingin urutan variabel acak stn 0 = X 0 , X 1 , … , X n = XX∈ { 0 , 1 }X∈{0,1}X \in \{0,1\}nnn0 = X0, X1, ... , Xn= X0=X0,X1,…,Xn=X0 = X_0, X_1, \ldots, X_n = X H( X | { X 0, ... ,...
Saya tertarik pada bagaimana seseorang membuktikan bahwa kalimat itu relativis. Tentu saja, membuktikan bahwa sebuah kalimat tidak terelatifkan adalah sederhana, seperti yang terlihat dalam hasil Baker-Gill-Solovay; tetapi bagaimana seseorang membuktikan bahwa suatu kalimat memang relatif, yaitu,...
Saat menelusuri posting CStheory.se lama , saya menemukan posting blog yang menarik tentang masalah kematian matriks . Kecuali saya salah mengartikan masalah, ini menyatakan bahwa dengan memberikan koleksi terbatas matriks 3 x 3 dengan entri integer untuk setiap nilai matriks, kita harus memutuskan...
Diberi grafik , berapakah jumlah minimum tepi yang perlu kita hapus untuk membuat segitiga grafik bebas? Bagi mata saya yang tidak terlatih, ini tampaknya merupakan masalah yang sulit.GGGGGG Apakah masalah ini diketahui sebagai NP-complete? Bagaimana dengan analog untuk grafik berorientasi (yaitu,...
(Saya memposting pertanyaan ini di CS sepuluh hari yang lalu, tanpa jawaban sejak saat itu - jadi saya posting di sini.) Setiap rumus CNF dapat diubah dalam waktu polinomial menjadi rumus 3-CNF dengan menggunakan variabel baru. Tidak selalu mungkin jika variabel baru tidak diperbolehkan (misalnya,...
Saya mencari referensi tentang `mengurangi 'pengurangan Turing ke banyak-satu pengurangan. Dalam benak saya ada pernyataan tentang bentuk berikut (pernyataan yang serupa juga akan memuaskan saya): Dalil. Jika , maka A ≤ 2 f m B t t .A≤fTBA≤TfB\mathsf{A}\leq_T^f \mathsf{B}A≤2fmBttA≤m2fBtt\mathsf...
Catatan: Saya memposting pertanyaan serupa tentang grafik yang tidak diarahkan . Diberikan Sebuah digraf tanpa beberapa sisi atau loopGGG Node sumbersss N target nodettt Panjang jalur maksimallll Saya mencari - Sebuah subgraf yang berisi simpul dan tepi apa pun di (dan hanya itu), yang...
Apa algoritma tercepat yang dikenal untuk memfaktorkan polinomial dengan variabel dan derajat total ≤ d ? Di sini, n tumbuh dan d diperbaiki. Sebagian besar pekerjaan tampaknya mempertimbangkan kasus ketika d tumbuh dan n diperbaiki. Saya tertarik pada hasil, baik di bidang terbatas maupun...
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...
Salah satu cara untuk membuktikan NP CoNp adalah untuk menunjukkan bahwa untuk setiap sistem bukti proposisi dihitung dalam waktu polinomial, terdapat sebuah keluarga tautologies yang membutuhkan panjang bukti yang super polinomial (wrt panjang tautologi yang terbukti). Hasil seperti itu dari Haken...
Sebuah kode otentikasi pesan (MAC) didefinisikan oleh tiga algoritma yang efisien , yang memenuhi berikut (definisi diambil dari bagian 4.3 dari Katz -Lindell book ):(Gen,MAC,Verif)(Gen,MAC,Verif)(\mathsf{Gen}, \mathsf{MAC}, \mathsf{Verif}) Pada input , algoritma menghasilkan kunci...
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...
Saya sedang bekerja untuk mencoba mempartisi grafik triangulasi menjadi subgraph yang terhubung dengan beberapa jaminan pada jumlah tepi antar-partisi. Berikut adalah contoh grafik triangulasi yang telah dipartisi menjadi 4 "cluster": Apa yang saya inginkan pada awalnya adalah algoritma yang dapat...