feat: search_roi parametro find() per limitare area di ricerca

Equivalente a Halcon set_aoi: matching opera su crop locale, coord
output ri-traslate al sistema scena. Costo proporzionale a w*h del
ROI invece di W*H scena intera.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

pm2d/_jit_kernels.py

@@ -110,62 +110,6 @@ if HAS_NUMBA:
                     acc[y, x] *= inv
         return acc
 
-    @nb.njit(cache=True, parallel=True, fastmath=True, boundscheck=False)
-    def _jit_score_bitmap_greedy(
-        spread: np.ndarray,
-        dx: np.ndarray, dy: np.ndarray, bins: np.ndarray,
-        bit_active: np.uint8,
-        min_score: nb.float32,
-        greediness: nb.float32,
-    ) -> np.ndarray:
-        """Score bitmap con early-exit greedy (no rescore background).
-
-        Per ogni pixel iteriamo le N feature; abortiamo non appena diventa
-        impossibile raggiungere `min_required` count anche aggiungendo
-        tutte le feature rimanenti. min_required = greediness * min_score * N.
-
-        greediness=0 → nessun early-exit (equivalente a kernel base).
-        greediness=1 → exit non appena hits + remaining < min_score * N.
-        Tipico: 0.7-0.9 → 2-4x speed-up senza perdere match.
-        """
-        H, W = spread.shape
-        N = dx.shape[0]
-        acc = np.zeros((H, W), dtype=np.float32)
-        if N == 0:
-            return acc
-        min_req = greediness * min_score * N
-        inv_N = nb.float32(1.0 / N)
-        for y in nb.prange(H):
-            for x in range(W):
-                hits = 0
-                for i in range(N):
-                    b = bins[i]
-                    mask = np.uint8(1) << b
-                    if (bit_active & mask) == 0:
-                        # Nessun chance per questa feature
-                        if hits + (N - i - 1) < min_req:
-                            break
-                        continue
-                    ddy = dy[i]
-                    yy = y + ddy
-                    if yy < 0 or yy >= H:
-                        if hits + (N - i - 1) < min_req:
-                            break
-                        continue
-                    ddx = dx[i]
-                    xx = x + ddx
-                    if xx < 0 or xx >= W:
-                        if hits + (N - i - 1) < min_req:
-                            break
-                        continue
-                    if spread[yy, xx] & mask:
-                        hits += 1
-                    else:
-                        if hits + (N - i - 1) < min_req:
-                            break
-                acc[y, x] = nb.float32(hits) * inv_N
-        return acc
-
     @nb.njit(cache=True, parallel=True, fastmath=True, boundscheck=False)
     def _jit_score_bitmap_rescored(
         spread: np.ndarray,      # uint8 (H, W)
@@ -241,10 +185,6 @@ if HAS_NUMBA:
         _jit_score_bitmap(spread, dx, dy, b, np.uint8(0xFF))
         bg = np.zeros((32, 32), dtype=np.float32)
         _jit_score_bitmap_rescored(spread, dx, dy, b, np.uint8(0xFF), bg)
-        _jit_score_bitmap_greedy(
-            spread, dx, dy, b, np.uint8(0xFF),
-            np.float32(0.5), np.float32(0.8),
-        )
         _jit_popcount_density(spread)
 
 else:  # pragma: no cover
@@ -258,9 +198,6 @@ else:  # pragma: no cover
     def _jit_score_bitmap_rescored(spread, dx, dy, bins, bit_active, bg):
         raise RuntimeError("numba non disponibile")
 
-    def _jit_score_bitmap_greedy(spread, dx, dy, bins, bit_active, min_score, greediness):
-        raise RuntimeError("numba non disponibile")
-
     def _jit_popcount_density(spread):
         raise RuntimeError("numba non disponibile")
 
@@ -309,28 +246,6 @@ def score_bitmap_rescored(
     return np.maximum(0.0, out).astype(np.float32)
 
 
-def score_bitmap_greedy(
-    spread: np.ndarray, dx: np.ndarray, dy: np.ndarray, bins: np.ndarray,
-    bit_active: int, min_score: float, greediness: float,
-) -> np.ndarray:
-    """Score bitmap con early-exit greedy. Per coarse-pass aggressivo.
-
-    Non applica rescore background: usare quando la scena ha basso clutter
-    o quando si vuole mass-prune varianti via top-level rapidamente.
-    """
-    if HAS_NUMBA and len(dx) > 0:
-        return _jit_score_bitmap_greedy(
-            np.ascontiguousarray(spread, dtype=np.uint8),
-            np.ascontiguousarray(dx, dtype=np.int32),
-            np.ascontiguousarray(dy, dtype=np.int32),
-            np.ascontiguousarray(bins, dtype=np.int8),
-            np.uint8(bit_active),
-            np.float32(min_score), np.float32(greediness),
-        )
-    # Fallback: kernel base senza early-exit
-    return score_bitmap(spread, dx, dy, bins, bit_active)
-
-
 def popcount_density(spread: np.ndarray) -> np.ndarray:
     if HAS_NUMBA:
         return _jit_popcount_density(np.ascontiguousarray(spread, dtype=np.uint8))

pm2d/line_matcher.py

@@ -40,7 +40,6 @@ from pm2d._jit_kernels import (
     score_by_shift as _jit_score_by_shift,
     score_bitmap as _jit_score_bitmap,
     score_bitmap_rescored as _jit_score_bitmap_rescored,
-    score_bitmap_greedy as _jit_score_bitmap_greedy,
     popcount_density as _jit_popcount,
     HAS_NUMBA,
 )
@@ -575,7 +574,7 @@ class LineShapeMatcher:
         verify_threshold: float = 0.4,
         coarse_angle_factor: int = 2,
         scale_penalty: float = 0.0,
-        greediness: float = 0.0,
+        search_roi: tuple[int, int, int, int] | None = None,
     ) -> list[Match]:
         """
         scale_penalty: se > 0, riduce lo score per match a scala diversa da 1.0:
@@ -583,11 +582,30 @@ class LineShapeMatcher:
         Utile se l'operatore vuole che match "identico al template anche per
         dimensione" abbia score più alto di match "stessa forma, dimensione
         diversa". scale_penalty=0 (default) = comportamento shape puro.
+
+        search_roi: (x, y, w, h) limita la ricerca a una regione della scena.
+        Equivalente a Halcon set_aoi: il matching opera su crop locale e le
+        coordinate output sono ri-traslate al sistema scena originale. Usare
+        quando si conosce a priori l'area in cui il pezzo può apparire (es.
+        feeder a posizione fissa) → costo proporzionale a w·h invece di W·H.
         """
         if not self.variants:
             raise RuntimeError("Matcher non addestrato: chiamare train() prima.")
 
-        gray0 = self._to_gray(scene_bgr)
+        gray_full = self._to_gray(scene_bgr)
+        # Applica ROI di ricerca: restringe scena a crop, ricorda offset per
+        # ri-traslare le coordinate dei match a fine pipeline.
+        if search_roi is not None:
+            rx, ry, rw, rh = search_roi
+            H_s, W_s = gray_full.shape
+            rx = max(0, int(rx)); ry = max(0, int(ry))
+            rw = max(1, min(int(rw), W_s - rx))
+            rh = max(1, min(int(rh), H_s - ry))
+            gray0 = gray_full[ry:ry + rh, rx:rx + rw]
+            roi_offset = (rx, ry)
+        else:
+            gray0 = gray_full
+            roi_offset = (0, 0)
         grays = [gray0]
         for _ in range(self.pyramid_levels - 1):
             grays.append(cv2.pyrDown(grays[-1]))
@@ -647,20 +665,10 @@ class LineShapeMatcher:
                 end = min(n, i + half + 1)
                 neighbor_map[vi_c] = vi_sorted[start:end]
 
-        # Pruning varianti via top-level (parallelizzato) - solo coarse.
-        # greediness > 0: usa kernel greedy con early-exit (no rescore bg)
-        # per il pruning. ~2-4x speed-up sul top con greediness=0.8.
-        use_greedy_top = greediness > 0.0
-
+        # Pruning varianti via top-level (parallelizzato) - solo coarse
         def _top_score(vi: int) -> tuple[int, float]:
             var = self.variants[vi]
             lvl = var.levels[min(top, len(var.levels) - 1)]
-            if use_greedy_top:
-                score = _jit_score_bitmap_greedy(
-                    spread_top, lvl.dx, lvl.dy, lvl.bin, bit_active_top,
-                    top_thresh, greediness,
-                )
-            else:
             score = _jit_score_bitmap_rescored(
                 spread_top, lvl.dx, lvl.dy, lvl.bin, bit_active_top,
                 bg_cache_top[var.scale],
@@ -822,8 +830,11 @@ class LineShapeMatcher:
                 if ncc < verify_threshold:
                     continue
 
+            # Ri-traslo coord da spazio crop ROI a spazio scena originale.
+            cx_out = cx_f + roi_offset[0]
+            cy_out = cy_f + roi_offset[1]
             poly = _oriented_bbox_polygon(
-                cx_f, cy_f, tw * var.scale, th * var.scale, ang_f,
+                cx_out, cy_out, tw * var.scale, th * var.scale, ang_f,
             )
             # Penalità scala opzionale: score degrada con distanza da 1.0
             if scale_penalty > 0.0 and var.scale != 1.0:
@@ -831,7 +842,7 @@ class LineShapeMatcher:
                     0.0, 1.0 - scale_penalty * abs(var.scale - 1.0)
                 )
             kept.append(Match(
-                cx=cx_f, cy=cy_f,
+                cx=cx_out, cy=cy_out,
                 angle_deg=ang_f,
                 scale=var.scale,
                 score=score_f,