連結成分のラベリング

2値画像で、隣り合ってつながった前景の画素の塊（連結成分）ごとに異なる番号（ラベル）を付ける画像処理。画像を2回走査し、1回目で仮のラベルとラベルどうしの対応を記録し、2回目でまとめる方法がよく使われる。

概念URI

https://comcomponent.com/knowledge/connected-component-labeling/

別名・表記

Connected-component labeling / ラベリング処理

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• 連結成分のラベリングはGNATproveで確認できます。2回の走査によるラベリングで実行時エラーがないことをGNATproveで証明した。対応表の添字と要素を同じ型にすると、代表を探すループは不変条件なしで証明できる。仮ラベルの数が上限を超える場合は失敗を返す。結果の正しさ、代表を探す処理の終了、仮ラベルの数が上限を超えないことは証明しておらず、結果はテスト、乱数の画像での塗りつぶしとの比較、Cの実装との比較で確かめた / 確度: 条件付きの関係 / 確認日: 2026-11-10 出典 出典

この概念を扱う記事

• 画像処理の境界外アクセスをSPARKで証明する ── 2値化・平滑化・ラベリングとCとの速度比較(言及)

一次資料

• https://doi.org/10.1145/321356.321357

このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。