Ilmu Komputer Teoritis

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 kompleksitas yang masalah ini selesai. Adakah …

8 cc.complexity-theory 

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 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 membuat partisi kira-kira segitiga k (mungkin ada beberapa kesalahan asalkan …

8 graph-theory  graph-algorithms  planar-graphs  partition-problem  delaunay-triangulation 

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 .1n1n1^nGenGen\mathsf{Gen}k≥nk≥nk \ge n Pada input dihasilkan oleh , dan beberapa pesan , algoritma menghasilkan tag . Kami …

8 cr.crypto-security 

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 A\leq_m^{2^f}\mathsf B^{tt} di mana " " dan " ≤ f m …

8 cc.complexity-theory  reference-request  complexity-classes 

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, digraf tanpa tepi paralel) dan diarahkan 3-siklus? Referensi akan …

8 cc.complexity-theory  graph-algorithms  np-hardness 

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 merupakan bagian dari setidaknya satu jalur …

8 graph-algorithms 

(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, rumus satu klausa: ).(x1∨x2∨x3∨x4)(x1∨x2∨x3∨x4)(x_1 \lor …

8 cc.complexity-theory  complexity-classes  sat 

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 apakah ada produk hingga dari matriks yang …

8 cc.complexity-theory  matrix-product 

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, …

8 it.information-theory  shannon-entropy 

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, bahwa itu benar relatif terhadap oracle mana pun? Adakah teknik yang diketahui untuk mencapai …

8 cc.complexity-theory  reference-request  relativization 

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⊆ { …

8 communication-complexity 

Saya tahu bahwa secara umum, kepuasan polinomial multivariat setara dengan 3-SAT; Namun, saya bertanya-tanya apakah ada teknik yang baik dalam kasus kuadratik, khususnya jika ada solusi waktu polinomial. Saya kira pertanyaan yang lebih umum adalah, adakah kelas polinomial multivarian yang masalah kepuasannya dapat dipecahkan secara efisien?

8 cc.complexity-theory  polynomials  polynomial-time  quadratic 

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 …

8 reference-request  extremal-combinatorics  interval-graphs 

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 sebelumnya?)

8 cc.complexity-theory  reference-request  np-hardness  sat