«independence» 태그된 질문

3
P에는 PA 또는 ZFC와 독립적 인 언어가 포함되어 있습니까? (TCS 커뮤니티 위키)
답 : 알 수 없습니다. 질문은 자연스럽고 개방적이며 명백히 어렵습니다. 이제 질문은 커뮤니티 위키입니다. 개요 이 질문은 복잡도 클래스 속하는 언어 피피P (이러한 언어를 허용하는 의사 결정 Turing Machine (TM))와 함께 두 개의 보완 서브 클래스 로 나누려고합니다 . 영지 언어 및 TM (유효성 / 이해가 가능한)과 암호 언어 및 …


1
노동 조합 폐쇄 계산
최대 1 개의 부분 집합 { 1 , 2 , … , n }으로 구성된 패밀리 가 주어 집니다. 연합 폐쇄 F는 다른 세트의 가정 인 C 1 개 이상의 세트의 조합을 고려하여 구성 될 수있는 모든 세트 함유 F를 . 작성자 | C | 우리는 C 의 집합 수를 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.