NP-hardness dari penutup dengan potongan persegi panjang (Google Hash Code 2015 Test Round)


11

Putaran Tes Google Hash Code 2015 ( pernyataan masalah ) bertanya tentang masalah berikut:

  • input: kisi dengan beberapa kotak yang ditandai, ambang , area maksimalMTNAN
  • Output: total luas kemungkinan terbesar dari serangkaian persegi panjang menguraikan dengan koordinat bilangan bulat di sehingga setiap persegi panjang mencakup setidaknya kotak ditandai dan setiap persegi panjang memiliki wilayah paling .MTA

Dalam terminologi Google, grid adalah pizza, kotak yang ditandai adalah ham, dan persegi panjang yang terpisah adalah irisan.

Kami dapat dengan jelas menguraikan masalah ini menjadi masalah keputusan dengan menambahkan input tambahan dan membiarkan jawabannya menjadi "apakah ada seperangkat persegi panjang terputus-putus yang memenuhi kondisi yang luas totalnya setidaknya kotak".nNn

Pertanyaan saya: sementara masalah Google meminta para kandidat untuk menemukan solusi yang "sebaik mungkin" untuk masalah perhitungan pada contoh spesifik, saya pikir ada kemungkinan bahwa masalah umum (dalam frasa keputusannya) adalah NP-complete. Namun, saya tidak dapat menemukan pengurangan untuk menunjukkan kekerasan NP. (Keanggotaan NP segera.) Bagaimana membuktikan bahwa masalah ini sulit NP?

Beberapa contoh mengikuti, untuk membantu memvisualisasikan masalah. Pertimbangkan dengan4 kotak { 0 , 1 , 2 , 3 } × { 0 , 1 , 2 , 3 } , dengan kotak yang ditandai ( 1 , 1 ) , ( 0 , 2 ) dan ( 2 , 2 ) , diwakili grafis dengan4{0,1,2,3}×{0,1,2,3}(1,1)(0,2)(2,2)X untuk mengindikasikan kotak yang ditandai:

..X.
.X..
..X.
....

Set (persegi panjang paling banyak 6 kotak) dan T = 1 (setidaknya satu persegi ditandai per persegi panjang), solusi optimal (yang mencakup seluruh grid) adalah dengan mengambil persegi panjang berikut:A=66T=1

aaAa
bBcc
bbCc
bbcc

Pada kisi berikut, dengan dan T = 2 :A=3T=2

XXX
.X.
...

Seseorang tidak dapat melakukan lebih baik daripada hanya mencakup tiga kotak:

AAA
.X.
...

atau

XBX
.B.
.b.

(ingat bahwa persegi panjang di partisi tidak dapat tumpang tindih).

Dengan orang lain melihat pertanyaan ini, kami mencoba reduksi dari pengemasan bin, mencakup masalah, siklus 3-SAT, dan Hamiltonian, dan kami tidak berhasil membuatnya bekerja.

Jawaban:


10

Ini adalah sketsa pengurangan dari MONOTONE CUBIC PLANAR 1-3 SAT:

Definisi [Masalah SAT 1-3]:
Input: Rumus 3-CNF , di mana setiap klausul C j berisi tepat tiga literal: C j = ( j , 1j , 2j , 3 ) . Pertanyaan: Apakah ada tugas yang memuaskan untuk φ sehingga setiap klausa C jφ=C1C2...CmCjCj=(j,1j,2j,3)
φCj mengandung tepat satu literal sejati.

Masalahnya tetap NP-lengkap bahkan jika semua literal dalam klausa adalah positif (MONOTONE), jika grafik dibangun menghubungkan klausa dengan variabel adalah planar (PLANAR) dan setiap variabel terkandung dalam tepat 3 klausa (CUBIC) (C. Moore dan JM Robson, Masalah ubin keras dengan ubin sederhana, Komputasi Diskrit. Geom. 26 (2001), 573-590.).

T=3,A=6

A+

masukkan deskripsi gambar di sini

xixi=TRUExi=FALSE

masukkan deskripsi gambar di sini

CjLi,1,Li,2,Li,3

masukkan deskripsi gambar di sini

Terakhir, kita dapat membuat shift dan menghidupkan gadget untuk membawa sinyal sesuai dengan grafik planar yang mendasarinya dan menyesuaikan titik akhir:

masukkan deskripsi gambar di sini

HA .

H/3AH/3 ) dan tidak ada ham yang tetap terbuka.

H/3AH/3

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.