Masalah SUBSET-SUM yang menarik


8

Saya tahu varian masalah SUBSETSUM berikut: ( Elberfeld at., 2010 ), NP-complete , dan NEXP-complete ( tautan ).S U B S E T S U M S U C C I N C T - S U B S E T S U MUNARY-SUBSETSUMLSUBSETSUM.SUCCsayaNCT-SUBSETSUM.

Baru-baru ini, saya juga mengalami masalah -complete ( Halaman 16: Schaefer and Umans, 2008 ). G E N E R A L I Z E D - S U B S E T S U MΣ2halGENERSEBUAHL.sayaZED-SUBSETSUM.

Apakah Anda tahu beberapa varian masalah SUBSETSUM (non-sepele) yang menarik lainnya? Secara khusus, - atau - menyelesaikan masalah untuk beberapa . Π p l l > 1ΣlhalΠlhall>1


Beberapa definisi:

UNSEBUAHRY-SUBSETSUM.={0n#0saya1##0sayaksaya{1,...,k}jsayasayaj=n}.

SUBSETSUM.={S#Sebuah1##Sebuahksaya{1,...,k}jsayaSebuahj=S}, di mana dan adalah angka biner.a jSSebuahj

GENERSEBUAHL.sayaZED-SUBSETSUM.={kamu#v#t(x)(y)[kamux+vyt]}, mana dan adalah bilangan bulat vektor, adalah bilangan bulat, dan dan adalah vektor biner dengan panjang yang sama dengan dan .v t x y u vkamuvtxykamuv


2
salah satu favorit saya adalah PIGEONHOLE-SUBSETSUM yang ada di TFNP ( sciencedirect.com/science/article/pii/030439759190200L ). Yang menarik lainnya adalah EQUALITY-SUBSETSUM ( sciencedirect.com/science/article/pii/S0022000001917842 )
Marcos Villagra

@MarcosVillagra: Terima kasih atas komentar Anda. PIGEONHOLE-SUBSETSUM terlihat menarik. Apakah Anda tahu versi keputusan PIGEONHOLE-SUBSETSUM?
Abuzer Yakaryilmaz

2
Tidak ada versi keputusan karena batas atas pada penjumlahan memaksa masalah untuk selalu memiliki solusi, maka versi keputusan itu sepele. Buktinya (bahwa selalu ada solusinya) tidak sulit, merupakan penerapan prinsip pigeonhole. Ini adalah referensi yang bagus oleh Papadimitriou ( cs.berkeley.edu/~christos/papers/On%20the%20Complexity.pdf ).
Marcos Villagra

2
Satu masalah besar yang terbuka adalah untuk membuktikan apakah PIGEONHOLE-SUBSETSUM selesai untuk PPP.
Marcos Villagra

@MarcosVillagra: Terima kasih atas komentar Anda lebih lanjut. Apa yang ada dalam pikiran saya sebenarnya adalah "apakah ada versi masalah keputusan yang nontrivial tapi masih alami dari PIGEONHOLE-SUBSETSUM?". Sebagai contoh, salah satu versi masalah keputusan dari faktorisasi bilangan bulat adalah sebagai berikut: diberi bilangan bulat N dan bilangan bulat M dengan 1 ≤ M ≤ N, apakah N memiliki faktor d dengan 1 <d <M ( en.wikipedia.org/ wiki / Integer_factorization )?
Abuzer Yakaryilmaz

Jawaban:


1

Penghargaan utama harus diberikan kepada John Fearnley !

Berikut ini adalah masalah lengkap PSPACE yang diberikan dalam (John Fearnley, Marcin Jurdzinski: Reachability dalam Two-Time Timed Automata Is PSPACE-Complete. ICALP (2) 2013: 212-223) :

di mana

SUBSETSUM-GAME={S (a1,b1)(e1,f1)(an,bn)(en,fn)},
  • dan masing - masing a i , b i , e i , dan f i adalah bilangan asli ( 1 i n ); dan,Sai,bi,eifi1in
  • untuk setiap , terdapat y = ( y 1 , ... , y n ) × n i = 1 { e i , f i } sehingga S = Σ n i = 1x=(x1,,xn)×i=1n{ai,bi}y=(y1,,yn)×i=1n{ei,fi} .S=i=1n=xi+yi

Demikian pula, kita dapat mendefinisikan beberapa masalah lengkap untuk setiap tingkat hierarki polinomial (PH). Tetapi, tentu saja, jika lengkap pada beberapa level PH, kita perlu melepaskan kondisi hanya memiliki dua bilangan alami setelah setiap kuantifier.

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.