Masalah optimisasi berkelanjutan yang mereduksi menjadi TSP


11

Misalkan saya diberi satu set terbatas poin di pesawat, dan diminta untuk menggambar kurva C ( P ) yang dapat dibedakan dua kali melalui p i , sedemikian sehingga perimeternya sekecil mungkin. Dengan asumsi p i = ( x i , y i ) dan x i < x i + 1 , saya dapat memformalkan masalah ini sebagai:p1,p2,..pnC(P)pipi=(xi,yi)xi<xi+1

Soal 1 (diedit sebagai respons terhadap komentar Suresh) Tentukan fungsi x ( t ) , y ( t ) dari parameter t sedemikian rupa sehingga arclength L = [ t 0 , 1 ] C2x(t),y(t)t diminimalkan, denganx(0)=x1,x(1)=xndan untuk semuati:x(ti)=xi, kita memilikiy(ti)=yi).L=[t0,1]x2+y2dtx(0)=x1,x(1)=xnti:x(ti)=xiy(ti)=yi)

Bagaimana saya membuktikan (atau mungkin menyangkal) bahwa Masalah 1 adalah NP-keras?

Mengapa saya curiga kekerasan NP Misalkan asumsi santai. Jelas, fungsi minimum arclength adalah tur keliling Salesman dari p i 's. Mungkin kendala C 2 hanya membuat masalah lebih sulit?C2piC2

Konteks Varian dari masalah ini telah diposting di MSE . Itu tidak menerima jawaban di sana dan di MO . Mengingat bahwa tidak masalah untuk menyelesaikan masalah, saya ingin mengetahui seberapa sulitnya.


1
Kendala yang tampaknya membuat masalah lebih mudah. Secara khusus, jika Anda sekarang menghilangkan batasan C 2 , mengapa masalah ini tidak diselesaikan secara sepele karena Anda menghubungkan titik dengan garis lurus? xi<xi+1C2
Suresh

1
Itu bukan fungsi. Jika Anda "memutar" dari ke p 2 , di bawah batasan bahwa x 1 < x 2 < x 3 , kurva Anda akan memotong garis vertikal dua kali. p3p2x1<x2<x3
Suresh

1
Tidak jelas, Anda perlu menyatakan apa yang Anda maksud dengan "menentukan" di sini. Ini bukan terminologi standar. Ini bahkan bukan masalah keputusan sehingga menggunakan istilah NP-hard tidak masuk akal.
Kaveh

1
@ Suresh, dapatkah Anda memperluas bagian output? Saya menduga bahwa maksud Anda mengeluarkan nama kutukan dari seperangkat kurva yang tak terhitung jumlahnya. Perhatikan bahwa dalam kasus itu, tidak jelas bahwa kurva optimal akan selalu berasal dari kelas itu. Di sisi lain, jika kita bermaksud menemukan yang terbaik atau yang baik di antara mereka (atau perkiraan hingga beberapa parameter yang diberikan ke kurva optimal) maka kelas kurva parametrik harus ditentukan, jika tidak pertanyaannya tidak lengkap dan tidak dapat dijawab.
Kaveh

1
Input / output bukan objek yang terbatas lagi, misalnya jika Anda benar - benar berurusan dengan bilangan nyata / fungsi maka masalah Anda adalah tipe yang lebih tinggi. Setiap objek tak terbatas diberikan oleh serangkaian tak terbatas perkiraan ke objek yang dimaksud. Halaman jaringan CCA berisi lebih banyak tautan jika Anda tertarik.
Kaveh

Jawaban:


12

C0C

C0C0pσ(1),,pσ(n)t1,,tntn[pσ(1),pσ(2)],,[pσ(n1),pσ(n)],[pσ(n),pσ(1)]lebih pendek, karena untuk setiap segmen garis lurus lebih pendek daripada kurva lain yang menghubungkan titik. Jadi untuk setiap pemesanan poin, kurva terbaik adalah solusi TSP, dan solusi TSP memberikan pemesanan poin terbaik.

CCkkϵ>0C+ϵe1/t2e11/x2(xe1/(1x)2)y=0x=0y=xx=1C


Ini persis argumen yang saya cari, untuk waktu yang lama! Bisakah Anda memberikan referensi untuk konstruksi yang membosankan?
PKG

1
Ini tidak sepenuhnya ketat, terutama karena di pesawat Anda bisa mendapatkan perkiraan yang baik untuk TSP dalam waktu polinomial.
Suresh

Saya pikir Anda dapat memperkirakan TSP hanya dalam faktor 2 dalam waktu poli?
PKG

@ PPKG Konstruksi mungkin memiliki nama, tapi saya khawatir kelas kalkulus saya terlalu lama bagi saya untuk mengingatnya. Saya baru ingat koneksi dasar disebut fungsi benjolan.
Gilles 'SO- berhenti bersikap jahat'

1
ϵ1/ϵ1+ϵ
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.