Determining whether two finitely generated subsemigroups of Mn(Z) have a common element.
決定兩個有限生成的Mn(Z)子半群是否有相同的元素。