Editorial Ilmu Komputer & AI
Open AccessOA2026
Penemuan Tumpang Tindih Tabel Tanpa Batasan Bentuk: Pendekatan Subhipergraf Umum Maksimum
Memperkenalkan SALTO dan HyperSplit untuk tumpang tindih tabel berbentuk arbitrer dan tak bersambung
Ge Lee; Shixun Huang; Zhifeng Bao; Felix Naumann; Shazia Sadiq; Yanchang Zhaoยท 2026ยท DOI 10.48550/arXiv.2603.14419
Masalah inti
Memahami bagaimana dua tabel saling tumpang tindih sangat penting untuk banyak tugas pengelolaan data, namun hal ini tetap menantang karena tabel sering berbeda dalam urutan baris dan kolom serta tidak memiliki metadata yang andal. Penelitian sebelumnya mendefinisikan tumpang tindih persegi panjang terbesar, yang mengidentifikasi wilayah bersambung maksimal dari sel yang cocok di bawah permutasi baris dan kolom. Namun, tumpang tindih nyata jarang berbentuk persegi panjang; banyak kecocokan yang valid mungkin berada di luar satu blok bersambung mana pun. Makalah ini memperkenalkan Shape-Agnostic Largest Table Overlap (SALTO), gagasan umum baru tentang tumpang tindih yang menangkap tumpang tindih berbentuk arbitrer dan tak bersambung antar tabel. Penulis mengatasi kompleksitas kombinatorial permutasi baris dan kolom dengan memodelkan setiap tabel sebagai hipergraf dan merumuskan komputasi SALTO sebagai masalah subhipergraf umum maksimum. Mereka membuktikan ekuivalensinya dan menunjukkan masalah tersebut NP-hard untuk diaproksimasi.
Inovasi
Eksperimen pada dataset dunia nyata menunjukkan bahwa HyperSplit menemukan tumpang tindih lebih efektif dan efisien daripada state of the art. Secara spesifik, HyperSplit menemukan tumpang tindih yang lebih besar pada hingga 78,8% kasus dibandingkan metode baseline. Penulis juga melakukan tiga studi kasus untuk menunjukkan dampak praktis pada tiga tugas: deteksi salinan lintas sumber, deduplikasi data, dan perbandingan versi. Dalam deteksi salinan lintas sumber, HyperSplit mengidentifikasi tabel yang disalin bahkan ketika baris dan kolom diacak. Untuk deduplikasi data, ini membantu menggabungkan catatan duplikat dengan kecocokan tak bersambung. Dalam perbandingan versi, ini mengungkap perubahan antar versi tabel dengan menemukan subhipergraf umum terbesar. Optimasi berbasis toleransi memungkinkan penyetelan untuk skalabilitas, mencapai konvergensi lebih cepat dengan kehilangan akurasi yang terbatas.
Memahami bagaimana dua tabel saling tumpang tindih sangat penting untuk banyak tugas pengelolaan data, namun hal ini tetap menantang karena tabel sering berbeda dalam urutan baris dan kolom serta tidak memiliki metadata yang andal. Penelitian sebelumnya mendefinisikan tumpang tindih persegi panjang terbesar, yang mengidentifikasi wilayah bersambung maksimal dari sel yang cocok di bawah permutasi baris dan kolom. Namun, tumpang tindih nyata jarang berbentuk persegi panjang; banyak kecocokan yang valid mungkin berada di luar satu blok bersambung mana pun. Makalah ini memperkenalkan Shape-Agnostic Largest Table Overlap (SALTO), gagasan umum baru tentang tumpang tindih yang menangkap tumpang tindih berbentuk arbitrer dan tak bersambung antar tabel. Penulis mengatasi kompleksitas kombinatorial permutasi baris dan kolom dengan memodelkan setiap tabel sebagai hipergraf dan merumuskan komputasi SALTO sebagai masalah subhipergraf umum maksimum. Mereka membuktikan ekuivalensinya dan menunjukkan masalah tersebut NP-hard untuk diaproksimasi.
Untuk menyelesaikan SALTO, penulis mengusulkan HyperSplit, algoritma branch-and-bound yang disesuaikan untuk hipergraf yang diinduksi tabel. HyperSplit menggabungkan tiga inovasi utama:
Mengapa penting
Makalah ini membuktikan bahwa komputasi SALTO NP-hard untuk diaproksimasi, menyoroti kesulitan yang melekat pada masalah ini. HyperSplit mengatasi hal ini dengan pendekatan branch-and-bound yang memanfaatkan struktur hipergraf untuk memangkas ruang pencarian secara efektif. Kelas label sadar hipergraf menghindari enumerasi permutasi eksplisit, yang akan bersifat faktorial dalam jumlah baris dan kolom. Penyempurnaan terpandu insidensi menggunakan konektivitas baris-kolom untuk menghilangkan kecocokan parsial yang tidak layak lebih awal, secara signifikan mengurangi ruang pencarian. Optimasi berbasis toleransi memberikan pertukaran antara akurasi dan kecepatan, membuat algoritma skalabel untuk tabel besar. Studi kasus menunjukkan bahwa SALTO menangkap tumpang tindih yang terlewat oleh pendekatan persegi panjang, menghasilkan kinerja yang lebih baik dalam tugas dunia nyata. Pekerjaan selanjutnya dapat mengeksplorasi optimasi lebih lanjut dan aplikasi di domain lain.
Siapa yang sebaiknya membaca
Praktisi dan peneliti ilmu komputer
Membuka konten memberโฆ