Pertanyaan yang diberi tag «np-hardness»

Pertimbangkan masalah berikut, Mengingat satu set bilangan positif { a 1 , ... , a n } dimana k ≥ 3 adalah konstanta, kita ingin partisi set ke m himpunan bagian dari ukuran k sehingga produk dari jumlah setiap bagian dimaksimalkan.n=kmn=kmn = k m{a1,…,an}{a1,…,an}\{ a_1, \dots, a_n \}k≥3k≥3k \ge 3mmmkkk …

12 cc.complexity-theory  np-hardness  application-of-theory  polynomial-time 

Pertanyaan ini mirip dengan masalah NP-hard pada pohon : Ada sejumlah besar masalah NP-lengkap yang dapat ditelusuri pada cographs . Apakah ada masalah yang diketahui yang tetap melengkapi NP ketika dibatasi untuk cographs? Untuk lebih tepatnya saya tertarik pada contoh-contoh di mana input semata-mata terdiri dari tanda kutip, tidak tertimbang …

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

Lagi-lagi masalah pembagian-tepi yang kerumitannya membuat saya penasaran, termotivasi oleh pertanyaan saya sebelumnya . Input: grafik kubik G = ( V, E)G=(V,E)G=(V,E) Pertanyaan: apakah ada partisi ke E 1 , E 2 , ... , E s , sehingga subgraph disebabkan oleh masing-masing E i adalah salah cakar (yaitu K …

12 cc.complexity-theory  graph-theory  np-hardness  co.combinatorics 

Lebar pohon mengukur seberapa dekat grafik dengan pohon. Beberapa masalah NP-hard dapat dilakukan pada grafik dengan lebar pohon yang dibatasi. Jika masalah tetap NP-keras pada pohon maka lebar pohon tidak dapat menyelamatkan kita. Ini adalah motivasi di balik salah satu pertanyaan saya sebelumnya yang menanyakan masalah NP-hard pada pohon. Ada …

12 np-hardness  directed-acyclic-graph 

Pertanyaan berikut ini menggunakan ide-ide dari kriptografi yang diterapkan pada teori kompleksitas. Yang mengatakan, itu adalah pertanyaan-kompleksitas teori murni, dan tidak ada pengetahuan kripto apa pun yang diperlukan untuk menjawabnya. Saya sengaja menulis pertanyaan ini dengan sangat informal. Karena tidak memiliki detail, kemungkinan ini dinyatakan sedikit salah. Silakan tunjukkan koreksi …

12 cc.complexity-theory  complexity-classes  np-hardness  p-vs-np 

Perbaiki kelompok terbatas . Saya tertarik pada masalah keputusan berikut: input adalah beberapa elemen dengan urutan parsial pada mereka, dan pertanyaannya adalah apakah ada permutasi dari elemen yang memenuhi pesanan dan sedemikian rupa sehingga komposisi elemen dalam order menghasilkan elemen netral grup .G eGGGGGGeee Secara resmi, masalah -test adalah sebagai …

11 np-hardness  sorting  gr.group-theory  partial-order  order-theory 

Saya berpikir tentang kelas bahasa ini: adalah grafik, adalah bilangan alami dan adalah bilangan kromatis dariL = { ⟨ G , k ⟩ | GL.={⟨G,k⟩∣GL =\{ \langle G,k \rangle \mid G kkkkkkG }G}G\} Saya menganggap sebagai (1) "tidak ada pewarnaan warna k-1" dan (2) "ada pewarnaan warna k ". Sekarang, …

11 cc.complexity-theory  np-hardness  complexity-classes 

Pertama-tama, pemahaman saya tentang teorema ketidaklengkapan Gödel (dan logika formal pada umumnya) sangat naif, juga pengetahuan saya tentang ilmu komputer teoretis (artinya hanya satu mata kuliah yang diambil saat saya masih sarjana), jadi pertanyaan ini mungkin saja sangat naif. Sejauh yang saya bisa temukan, provabilitas P versus NP adalah masalah …

11 np-hardness  proofs  p-vs-np 

Apakah masalah ini sudah dipelajari sebelumnya? Diberikan grafik tak berarah metrik G (panjang tepi memenuhi ketidaksamaan segitiga), temukan seperangkat S simpul sedemikian rupa sehingga MST (G [S]) dimaksimalkan, di mana MST (G [S]) adalah pohon rentang minimum dari subgraf yang diinduksi oleh S. Apakah masalah ini sudah dipelajari sebelumnya? Apakah …

11 ds.algorithms  graph-algorithms  np-hardness  approximation-algorithms 

Saya mencari masalah NP-hard sangat untuk pengurangan. Sejauh ini saya telah menemukan masalah berikut: Masalah 3-partisi masalah bin-packing Pencocokan numerik 3 dimensi TSP Setiap masalah NP-lengkap tanpa data numerik, misalnya, KEPUASAN, SIKLUS HAMILTONIAN, 3-KOLABURITAS. Apakah ada yang tahu daftar masalah NP-hard sangat? Jika tidak, mari kita membangun satu di sini. …

11 np-hardness  big-list  hamiltonian-paths 

Apakah ada dengan properti berikut:L ∈ N PL∈NPL\in {\bf NP} Diketahui bahwa menyiratkan .P = N PL ∈ PL∈PL\in {\bf P}P = N PP=NP{\bf P}={\bf NP} Tidak ada (dikenal) waktu polinomial pengurangan Turing dari (atau beberapa masalah -Lengkap) ke .N P LSA TSATSATN PNP{\bf NP}L.LL Dengan kata lain, jika algoritma …

11 cc.complexity-theory  np-hardness  reductions 

Ini mirip dengan SAT, kecuali bahwa kita tahu penugasan masing-masing variabel, tetapi tidak tahu penugasan operator boolean apa pun. Dalam hal itu, apakah menemukan penugasan masing-masing operator sehingga ekspresi mengevaluasi nilai boolean yang diberikan masalah NPC? Sebenarnya, saya bertanya-tanya apakah menemukan penugasan operator aritmatika untuk memenuhi ekspresi aritmatika integer (misalnya, …

11 cc.complexity-theory  np-hardness 

Masalah 3-Clique Partition adalah masalah menentukan apakah simpul dari sebuah grafik, misalnya , dapat dipartisi menjadi 3 klik. Masalah ini NP-hard dengan pengurangan sederhana dari masalah 3-colorability. Tidak sulit untuk melihat bahwa jawaban untuk masalah ini mudah ketika diam ( G ) = 1 atau diam ( G ) > …

11 cc.complexity-theory  graph-theory  np-hardness  clique 

Nurikabe adalah teka-teki isian kisi-kisi berbasis kendala, mirip dengan Minesweeper / Nonograms; angka ditempatkan pada kisi yang harus diisi dengan nilai on / off untuk setiap sel, dengan masing-masing angka menunjukkan wilayah terhubung 'on' sel dengan ukuran itu, dan beberapa kendala kecil pada wilayah sel 'off' (itu harus terhubung dan …

11 cc.complexity-theory  np-hardness  puzzles 

Pertanyaan ini dimotivasi oleh pertanyaan yang diajukan pada stackoverflow . Misalkan Anda diberi rooted tree (yaitu ada root dan node punya anak dll) pada n node (berlabel 1 , 2 , … , n ).TTTnnn1,2,…,n1,2,…,n1, 2, \dots, n Setiap simpul memiliki bobot bilangan bulat non-negatif yang terkait: w i .iiiwiwiw_i …

11 cc.complexity-theory  reference-request  np-hardness  tree  application-of-theory