최근에 연구에 다음과 같은 문제가 나타났습니다. 알고리즘 질문에 대한 전문가가 아니기 때문에 적절한 문제를 찾기 위해 Google에서 광범위하게 검색했습니다. 나는 3SAT가 어떻게 작동하는지 알지 못하며, ZOE가 정신적으로 유사하더라도 감소가 분명하지 않습니다. 또 다른 가능성은 실재의 실존 이론 일 것이다. 그것은 일치하는 것 같지 않지만 나는 그것에 대해 틀릴 수 있습니다.
문제 : 와 는 모두 선호 필드에서 행렬입니다. 의 임의의 인덱스 집합이 0으로 설정되어 있다고 가정합니다. 마찬가지로, 의 임의의 인덱스 집합이 0으로 설정되어 있습니다. 질문 : A B = I n 과 같이 및 의 나머지 인덱스를 채울 수 있습니까?
예 : = [ 0 1 2 0 ] , B = [ (B) 1 0 0 B 2 ] . 불가능합니다.
이것의 계산 복잡성은 무엇입니까 ( )?
문헌에서 유사한 결과를 어디에서 찾을 수 있는지에 대한 힌트 나 아이디어는 크게 감사하겠습니다.
편집 (이 게시물에 대해 완전히 잊어 버렸습니다) : arXiv에서 사용할 수있는 최근 연구에서 (인쇄에 관심이있는 사람이 있으면 알려주십시오) 우리는 문제가 유한 필드보다 NP-hard라는 것을 보여주었습니다.