Pertanyaan yang diberi tag «cc.complexity-theory»

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 eksponensial dengan .N PNPNP\mathsf{NP}NPNP\mathsf{NP}≤n≤n\leq nnnn Catatan: (1) Baik jawaban …

8 cc.complexity-theory  graph-theory  graph-algorithms  np-complete  graph-classes 

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 rasional.nnn≤ d≤d\leq dnnnddddddnnn

8 cc.complexity-theory  algebra  factoring 

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 

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 

(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 

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 

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 

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 

Teori kompleksitas tampaknya dibangun di sekitar masalah keputusan daripada fungsi. Siapa yang memperkenalkan ini terlebih dahulu dan apa alasan pilihan ini? Misalnya, kertas "Jalur, pohon, dan bunga" Edmond umumnya dikreditkan sebagai sumber gagasan mewakili sekumpulan masalah "yang dapat ditelusuri" dan ini adalah jalan yang telah kita ambil.PTimePTime\mathsf{PTime}

8 cc.complexity-theory  reference-request 

Saat mendiskusikan pertanyaan yang saya ajukan di sini , @NealYoung dan saya menghadapi masalah lain, yaitu menilai kompleksitas masalah di bawah ini: Diberikan grafik yang tidak terarah yang terhubung, menemukan subset ukuran-maksimum dari tepi sedemikian rupa sehingga setiap simpul memiliki paling banyak dua. Saya telah menemukan beberapa makalah tentang kompleksitas …

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

Dalam makalah "Pengkodean CNF yang Efisien untuk Memilih 1 dari Objek N", para penulis memperkenalkan teknik "variabel komandan" mereka untuk mengkodekan kendala, dan kemudian berbicara tentang masalah lubang kubah. Karena kesalahan saya mungkin ada dalam pemahaman tingkat rendah, izinkan saya menyatakan apa yang saya pikir saya ketahui sebelum mengajukan pertanyaan: …

8 cc.complexity-theory  sat  proof-complexity 

Ini dimotivasi oleh pertanyaan saya sebelumnya, algoritma perkiraan waktu Super-polinomial untuk MAX-3SAT . Untuk banyak masalah pengoptimalan, untuk masing-masing masalah ini kita memiliki kemungkinan yang tidak dapat diperkirakan sebagai batas bawah dengan asumsi beberapa dugaan teori kompleksitas yang diyakini secara luas. Dengan kata lain, tidak ada algoritma waktu polinomial untuk …

8 cc.complexity-theory  approximation-algorithms 

Jawaban yang Diterima Jawaban Scott Aaronson telah "diterima" (terutama karena itu satu - satunya jawaban!) Ringkasan jawaban satu kalimat Generalisasi yang wajar dan wajar dari pertanyaan P versus NP tidak jelas lebih mudah diselesaikan daripada P versus NP itu sendiri. Satu halangan terhadap jawaban umum . Pertanyaan awal mengasumsikan bahwa …

8 cc.complexity-theory  decidability