[論文レビュー] Data Reductions for the Strong Maximum Independent Set Problem in Hypergraphs

Ernestine Großmann, Christof Schulz+2 more|arXiv (Cornell University)|Feb 11, 2026

Graph Theory and Algorithms被引用数 0

ひとこと要約

tldr: 本論文は、ハイパーグラフにおける強 MIS 問題の九つのデータ削減規則を導入し、前処理により元のサイズの約22%までインスタンスを縮小でき、約6.76秒で実現することを示し、ソルバの速度向上（最大53倍）、追加インスタンスの解法を可能にする。

ABSTRACT

This work addresses the well-known Maximum Independent Set problem in the context of hypergraphs. While this problem has been extensively studied on graphs, we focus on its strong extension to hypergraphs, where edges may connect any number of vertices. A set of vertices in a hypergraph is strongly independent if there is at most one vertex per edge in the set. One application for this problem is to find perfect minimal hash functions. We propose nine new data reduction rules specifically designed for this problem. Our reduction routine can serve as a preprocessing step for any solver. We analyze the impact on the size of the reduced instances and the performance of several subsequent solvers when combined with this preprocessing. Our results demonstrate a significant reduction in instance size and improvements in running time for subsequent solvers. The preprocessing routine reduces instances, on average, to 22% of their original size in 6.76 seconds. When combining our reduction preprocessing with the best-performing exact solver, we observe an average speedup of 3.84x over not using the reduction rules. In some cases, we can achieve speedups of up to 53x. Additionally, one more instance becomes solvable by a method when combined with our preprocessing.

研究の動機と目的

• ハイパーグラフにおける MIS の動機づけと研究、最大1頂点しか各ハイパーエッジに選べない強い変種に焦点を当てる。
• ハイパーグラフの強い MIS に特化した新しいデータ削減規則を九つ開発・評価する。
• 前処理がインスタンスサイズとその後のソルバ性能に与える影響を評価する。
• 前処理主導の解法を促進する実験的フレームワークとオープンソース実装を提供する。）
• method：
• methodについての項目は以下のとおりです。

提案手法

• ハイパーグラフにおける MIS およびその ILP/対称 dual（エッジカバー）形式を定式化する。
• 強 MIS を保持するためのハイパーグラフ用の九つの厳密なデータ削減規則（エッジベースおよび頂点ベース）を導入する。
• 各削減を再起動する前提の事前定義された反復フレームワークで整理する。
• ILP（ハイパーグラフと clique 展開を用いたグラフ）と3つのグラフ MIS ソルバ、さらに ILP ベースのベースラインで削減を評価する。
• 必要に応じてグラフ MIS ソルバを適用するためにハイパーグラフをグラフへ変換する clique 展開を使用する。
• 削減とソルバーを含むオープンソース実装を提供する（GitHub リンクあり）。

実験結果

リサーチクエスチョン

• RQ1 九つの削減規則は、ハイパーグラフの強 MIS インスタンスのサイズを効果的に削減できるか。
• RQ2 削減は得られたインスタンスに対する各種正確 MIS ソルバの性能にどのように影響するか。
• RQ3 異なるソルバと組み合わせた場合の平均および最悪の速度向上はどのくらいか。
• RQ4 削減により、従来の方法では解けなかったインスタンスを解けるようになるか。

主な発見

• 平均して、削減ルーチンはインスタンスを元のサイズの22%に縮小する。
• 削減前処理には平均約6.76秒を要する。
• 削減を用いると、試験した手法全体で平均ソルバ速度は1.9倍の向上を示す。いくつかのインスタンスでははるかに大きな利得がある。
• 観測された最大の速度向上は Red-ILP において、削減なしで解く場合と比較して3.84倍。
• 個々のインスタンスで最大速度向上は53倍に達する。
• 場合によっては、削減を適用したときにのみインスタンスが解けるようになる。