Banyak di sini mungkin menyadari batas bawah super-linear baru-baru ini Alon untuk jaring dalam pengaturan geometris alami [PDF] . Saya ingin tahu apa, jika ada, seperti batas bawah yang menyiratkan tentang perkiraan masalah Set Cover / Hitting Set yang terkait.
Untuk sedikit lebih spesifik, pertimbangkan keluarga ruang jangkauan, misalnya, keluarga:
: adalah set titik planar hingga, berisi semua persimpangan dengan garis
Jika, untuk beberapa fungsi yang linier atau super-linear, keluarga berisi ruang rentang yang tidak menerima jaring ukuran , apa, jika ada, apakah ini menyiratkan tentang Hit Minimum Tetapkan masalah terbatas pada keluarga ruang jangkauan ini?
Jawaban:
Jika ruang rentang memiliki -net dengan ukuran , maka celah integral dari hitting set fraksional (atau set penutup) adalah . Lihat karya Philip Long (di sini [Karya etal. Yang lebih lambat dari pekerjaan ini, dan menemukan kembali beberapa barangnya]). Lihat juga slide 13-16 di sini .ϵ f(1/ϵ) f(1/ϵ)/(1/ϵ)
Singkatnya, memiliki non-linear -nets, menunjukkan bahwa perkiraan masalah hitting-set / set cover yang relevan dalam lebih baik daripada faktor konstan akan sangat menantang.ϵ
sumber
Saya tidak yakin itu menyiratkan apa pun. Hasil utama mengalir ke arah lain yaitu dengan konstruksi Bronnimann / Goodrich atau Even / Rawitz / Shahar , jaring berukuran linier menyiratkan pendekatan faktor konstan untuk hitting set (untuk dimensi VC terbatas),
sumber