계산 복잡성 클래스를 연구하기위한 가능한 동기 중 하나는 다양한 종류의 계산 자원 (무작위, 비결 정성, 양자 효과 등)의 힘을 이해하는 것입니다. 이 관점에서 보면 어떤 모델에서 어떤 계산이 가능한지 특성화하려는 시도에 대해 하나의 가능한 공리를 얻을 수있는 것처럼 보입니다. 실행 가능한 계산은 항상 다른 실행 가능한 계산을 서브 루틴으로 호출 …
나는 그 어리석은 것을 알고 있지만, 혼란스러워서 이것을 해결하는 데 도움이 필요합니다. 라고 가정 하면 모든 오라클 대해 있는데, 이는 인 일부 Oracle 가 존재한다는 사실과 상반 되므로피= N피피=엔피P=NPㅏㅏA피ㅏ= N피ㅏ피ㅏ=엔피ㅏP^A=NP^AㅏㅏA피ㅏ≠ N피ㅏ피ㅏ≠엔피ㅏP^A\neq NP^A피≠ N피피≠엔피P\neq NP 뭐가 문제 야? 감사!
나는 멈춤 오라클이 있다면 대부분의 문제는 사소한 것임을 이해한다 (또는 동등하게 하이퍼 계산이라고 생각한다). 그러나 튜링 머신에서는 Halting Problem을 나타내는 주장을 적용하는 것이 불가능합니다. 또한 Turing + oracle이 Turing + oracle의 Halting Problem을 결정하는 것은 불가능하다는 것을 보여줍니다. 중지 오라클로 해결할 수없는 실제적이고 실용적인 문제의 예가 있습니까? 참고 : "oracle"이란 …
oracle Turing Machine을 사용할 때 복잡한 클래스에 대해 건전하고 유효한 진술을 어떻게 계속할 수 있습니까? 내 이해에 따르면 (주제에 대한 입문 교과서에 제공된 정의를 기반으로) oracle Turing machine은 한 번의 계산 단계에서 oracle 언어에 대한 문자열의 멤버쉽 상태를 결정할 수 있습니다. 그러나 종종 사용되는 오라클 언어는 일정한 시간에 해결하기가 불가능합니다 …