이 논문은 비가환 유리 공식의 동일성 검사 문제에 대한 새로운 결과를 제시한다.
주요 내용은 다음과 같다:
비가환 유리 공식의 인버전 높이에 따른 히팅 셋을 구성한다. 인버전 높이 휴가 최대 log s인 비가환 유리 공식에 대해 크기가 (ns)^(휴O(1)) log^2(ns)인 히팅 셋을 결정론적으로 구성할 수 있다.
이를 통해 블랙박스 환경에서 비가환 유리 공식의 동일성 검사 문제를 결정론적 준다항식 시간에 해결할 수 있다.
또한 화이트박스 환경에서 비가환 유리 공식의 동일성 검사 문제를 결정론적 준NC 시간에 해결할 수 있다.
이 결과는 비가환 유리 공식의 동일성 검사 문제에 대한 기존 연구 결과를 크게 개선한 것이다. 특히 블랙박스 환경에서 결정론적 준다항식 시간 내 알고리즘을 제시했다는 점에서 의미가 크다.
Vers une autre langue
à partir du contenu source
arxiv.org
Idées clés tirées de
by V. Arvind,Ab... à arxiv.org 04-09-2024
https://arxiv.org/pdf/2309.15647.pdfQuestions plus approfondies