Set Matrix Zeroes

class Solution:
    def setZeroes(self, matrix: List[List[int]]) -> None:
        """
        Set Matrix Zeroes - O(1) Space Solution

        Time Complexity: O(mn)
        Space Complexity: O(1)
        """
        if not matrix or not matrix[0]:
            return

        m, n = len(matrix), len(matrix[0])

        # 第一行・第一列の元の状態チェック
        first_row_zero = any(matrix[0][j] == 0 for j in range(n))
        first_col_zero = any(matrix[i][0] == 0 for i in range(m))

        # 内部要素の0を検出してフラグ設定
        for i in range(1, m):
            for j in range(1, n):
                if matrix[i][j] == 0:
                    matrix[i][0] = 0  # 行フラグ
                    matrix[0][j] = 0  # 列フラグ

        # フラグに基づいて内部要素を0に設定
        for i in range(1, m):
            for j in range(1, n):
                if matrix[i][0] == 0 or matrix[0][j] == 0:
                    matrix[i][j] = 0

        # 第一行の処理
        if first_row_zero:
            for j in range(n):
                matrix[0][j] = 0

        # 第一列の処理
        if first_col_zero:
            for i in range(m):
                matrix[i][0] = 0

from typing import List, Any

class Solution:
    def set_zeroes_production(self, matrix: List[List[int]]) -> None:
        """
        業務開発向け実装（型安全・エラーハンドリング重視）

        Args:
            matrix: 2D integer matrix to modify in-place

        Raises:
            TypeError: 入力型が不正な場合
            ValueError: 入力値が制約を満たさない場合

        Time Complexity: O(mn)
        Space Complexity: O(1)
        """
        # 入力検証
        self._validate_matrix_input(matrix)

        # エッジケース処理
        if self._is_empty_matrix(matrix):
            return

        m, n = len(matrix), len(matrix[0])

        try:
            # 境界状態の分析
            first_row_zero = any(matrix[0][j] == 0 for j in range(n))
            first_col_zero = any(matrix[i][0] == 0 for i in range(m))

            # フラグマーキング
            for i in range(1, m):
                for j in range(1, n):
                    if matrix[i][j] == 0:
                        matrix[i][0] = 0
                        matrix[0][j] = 0

            # フラグ適用
            for i in range(1, m):
                for j in range(1, n):
                    if matrix[i][0] == 0 or matrix[0][j] == 0:
                        matrix[i][j] = 0

            # 境界処理
            if first_row_zero:
                for j in range(n):
                    matrix[0][j] = 0

            if first_col_zero:
                for i in range(m):
                    matrix[i][0] = 0

        except Exception as e:
            raise RuntimeError(f"Algorithm execution failed: {e}") from e

    def _validate_matrix_input(self, matrix: Any) -> None:
        """型安全な入力検証"""
        if not isinstance(matrix, list):
            raise TypeError("Matrix must be a list")

        if not matrix:
            return  # 空行列は有効

        if not isinstance(matrix[0], list):
            raise TypeError("Matrix must be a 2D list")

        # 矩形チェック・型チェック・制約チェック
        expected_cols = len(matrix[0])
        for i, row in enumerate(matrix):
            if not isinstance(row, list) or len(row) != expected_cols:
                raise ValueError(f"Matrix must be rectangular")

            for j, element in enumerate(row):
                if not isinstance(element, int):
                    raise TypeError(f"Element at [{i}][{j}] must be integer")

                if element < -2**31 or element >= 2**31:
                    raise ValueError(f"Element out of 32-bit range")

    def _is_empty_matrix(self, matrix: List[List[int]]) -> bool:
        """空行列判定"""
        return not matrix or not matrix[0]