여러 개의 oracle 테이프가있는 Turing 기계에 대한 명확한 참조가 있습니까?


10

대부분의 문헌은 특정 문제에 대해 단일 oracles가있는 기계에 관한 것으로 보이지만, 여러 oracles가있는 기계를 고려한 논문이 몇 개있는 것으로 보입니다. 그러한 기계에 대해 알려진 것에 대한 개요를 제공하는 좋은 논문이나 논문이 있습니까? 특히 저는 여러 개의 oracles를 가진 P에 관심이 있습니다.


3
유한 수 N의 oracles 만 원하는 경우, 복합 oracle의 첫 번째 log (N) 비트를 사용하여 조회 할 서브 오라클을 표시하여 N-in-1 복합 Oracle을 정의 할 수 있습니다. 뭔가 빠졌습니까?
Niel de Beaudrap

그렇습니다. 그러나 저는 특정한 오라클에 관심이 있으니, 복합적인 객체 라기보다는 별도로 고려하는 것이 더 자연스러운 것 같습니다. 나는이 방향으로 좋은 결과가있을 것이라고 생각했습니다.
Joe Fitzsimons

1
호기심을 위해서, 단일 오라클 시스템에 대해 다중 오라클을 사용하면 더 많은 계산 능력이 추가됩니까? 가장 복잡한 클래스의 언어에 해당하는 오라클을 사용하기 때문에 아니요. 또한 고정 된 수의 오라클을 사용하면 시스템 속도가 일정하게 느려집니다.
Marcos Villagra

1
나는 다른 사람을 포용하는 가장 강력한 오라클에 대한 Marcos의 의견을 듣고 있습니다.
Daniel Apon

1
TM이 쿼리 할 오라클을 선택할 수있는 무한한 많은 오라클을 허용 할 생각입니까? 이러한 설정을 사용하면 각 오라클이 다른 오라클 Q보다 엄격하게 약한 오라클과 Q 자체간에 흥미로운 차이점이있을 수 있습니다.
András Salamon

답변:


5

다음은 암호화에 의해 동기 부여 된 단일 및 다중 오라클 간의 차이점을 제시하는 최신 논문입니다.

도널드 비버와 조안 페이 겐 바움. 다중 오라클 쿼리에서 인스턴스 숨기기 . STACS 1990. 컴퓨터 과학의 Springer 강의 노트, 1990 년 415/1990, 37-48, DOI : 10.1007 / 3-540-52282-4_30


단지 질문, 나는 오라클이 어떤 (인식 된) 보안상의 이유로 오라클을 서로 붕괴시킬 수없는 경우에만 의미가 있다고 생각합니다.
Ahmed Masud

3

MIT ( PDF )의 Nancy Lynch의 다중 Oracle 테이프가있는 로그 스페이스 머신 특히 PDF 페이지 5의 정리 2.2는 찾고있는 유형일 수 있습니다. 머신 당 다른 수의 오라클 테이프로 정의 된 계층에 대한 섹션도 있습니다.

사실 이후의 면책 조항 : 비슷한 질문처럼 보이며 여기에 대한 답변이 더 비슷 합니다 .

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.