Tugas nomor

10

Diberi angka sedemikian rupa sehingga apakah ada penetapan angka yang merupakan permutasi dari sedemikian rupaA 1A 2. . . A k k Σ i = 1 A i = k ( 2 k + 1 ) i 1 , i 2 , . . . , I 2 k 1 , 2 , . . . , 2 kkSEBUAH1SEBUAH2...SEBUAHksaya=1kSEBUAHsaya=k(2k+1)saya1,saya2,...,saya2k1,2,...,2k

saya1+saya2SEBUAH1saya3+saya4SEBUAH2...saya2k-1+saya2kSEBUAHk

?

Saya tidak dapat menemukan algoritma yang efisien dan yang menyelesaikan masalah ini. Tampaknya menjadi masalah kombinatorial. Saya tidak dapat menemukan masalah NP-Complete yang sama. Apakah masalah ini terlihat seperti masalah NP-Complete yang diketahui atau dapatkah dipecahkan dengan algoritma polinomial?

gprime
sumber
Sudahkah Anda membuat kemajuan dalam masalah ini?
Yuval Filmus
Saya lupa menyebutkan bahwaSEBUAH1SEBUAH2...SEBUAHk
gprime
Terkait masalah , juga tanpa jawaban yang memuaskan. (Mungkin tidak jelas pada pandangan pertama bagaimana mereka terkait, tetapi jika , masalahnya setara dengan menemukan permutasi sehingga .1 ... 2 N i 2 a - 1 - i 2 a = A iK=2N1...2Nsaya2Sebuah-1-saya2Sebuah=SEBUAHsaya
Peter Shor

Jawaban:

8

Masalah ini sangat lengkap dengan NP.

Misalkan semua aneh. Maka kita tahu bahwa karena adalah ganjil, salah satu dari dan adalah genap dan yang lainnya ganjil. Kita dapat mengasumsikan bahwa aneh dan adalah genap. Dengan membiarkan dan , kita dapat menunjukkan bahwa ini setara dengan meminta dua permutasi, dan , dari angka sehingga .i 2 j - 1 + i 2 j = A j i 2 j - 1 i 2 j i 2 j - 1 i 2 j π j = 1SEBUAHjsaya2j-1+saya2j=SEBUAHjsaya2j-1saya2jsaya2j-1saya2jπj=12(saya2j-1+1)σj=12(saya2j)πσ1...nπj+σj=12(SEBUAHj+1)

Masalah ini dikenal sebagai NP-complete; lihat masalah cstheory.se ini dan makalah W. Yu, H. Hoogeveen, dan JK Lenstra ini dirujuk dalam jawabannya.

Peter Shor
sumber
6

Berikut ini adalah petunjuk untuk memulai: karena jumlah semua angka dari hingga 2 k adalah tepat k ( 2 k + 1 ) , solusinya hanya mungkin jika faktanya i 1 + i 2 = A 1 , i 3 + i 4 = A 2 dan seterusnya. Jadi mengingat saya 1 kita tahu saya 2 , dan seterusnya. Juga, 3 A j4 k - 1 .12kk(2k+1)i1+i2=A1i3+i4=A2i1i23Aj4k1

Yuval Filmus
sumber
Jadi bagaimana saya harus memilih untuk memulai dengan? Saya tidak melihat solusinya. Tapi terima kasih untuk properti 3 A j4 k - 1i13Aj4k1
gprime
2
Jika diurutkan, kita tahu 3 A 1 , 10 A 1 + A 2 , 21 A 1 + A 2 + A 3 , dan sebagainya. Apakah kriteria ini, bersama-sama dengan Σ i A i = k ( 2 k + 1 ) , cukup? Jika ya, mungkin ada algoritma sederhana untuk masalah ini. Ai3A110A1+A221A1+A2+A3iAi=k(2k+1)
Peter Shor
Ya, mereka disortir. Saya akan mencoba menggunakan ini ...
gprime
@PeterShor Anda juga harus mempertimbangkan batasan dari arah yang berlawanan, yaitu , dan seterusnya dan seterusnya. Melihat masalah secara anekdot, tampaknya algoritma serakah yang sederhana harus menemukan solusi ketika ada, dan gagal tepat ketika tidak ada - tetapi saya mengalami kesulitan untuk membuktikannya. 4n1An,8n6An1+An
torquestomp
@torquestomp: Anda meningkatkan poin yang bagus. Sebenarnya, batas dari satu arah juga menyiratkan batas dari yang lain, tetapi itu sama sekali tidak jelas pada pandangan pertama. Saya melihat masalah yang sama, dan tidak dapat menemukan algoritma yang sederhana (tetapi juga tampak seperti analog dari kriteria ini memang cukup).
Peter Shor
0

Ini masalah yang cocok, dan bisa diselesaikan dengan menggunakan algoritma Edmond. Lihat wikipedia

Akan
sumber
1
Gagasan Stackexchange adalah untuk memiliki T&J yang selengkap mungkin. Apakah Anda dapat memperluas jawaban Anda menjadi lebih dari sekadar tautan ke wikipedia?
Luke Mathies
Bisakah Anda menguraikan? Saya gagal melihat bagaimana saya dapat menggunakan algoritma itu untuk menyelesaikan pertanyaan saya.
gprime
1
Sebenarnya, bagi saya sepertinya kasus khusus pencocokan 3, yang NP-lengkap. Ini tidak berarti bahwa masalah OP adalah NP-complete.
Peter Shor
Mungkinkah itu pencocokan bipartit? Saya akan melihat ke dalam 3-matching untuk melihat apakah saya bisa mengetahuinya. Terima kasih!
gprime