이론 컴퓨터 과학

관련 분야의 이론 컴퓨터 과학자 및 연구자를위한 Q & A

1
동시성 액터 모델과 순차적 통신 프로세스의 차이점
동시성 액터 모델과 CSP (Communicating Sequential Processes) 동시성 모델 간의 실제 차이점을 둘러 보려고합니다. 지금까지 내가 생각해 낸 가장 좋은 점은 액터 모델이 노드의 수와 레이아웃을 변경할 수 있고 CSP에는 고정 된 노드 구조가 있다는 것입니다.
3
#P = FP의 결과
#P = FP의 결과는 무엇입니까? 실용적이고 이론적 인 결과에 관심이 있습니다. 실용적인 관점에서 저는 특히 인공 지능에 대한 결과에 관심이 있습니다. 논문이나 책에 대한 포인터는 환영 이상입니다. #P = FP가 P = NP를 의미한다고 말하지 마십시오. 이미 알고 있습니다. 또한, "알고리즘이 시간에 실행되면 실질적인 결과는 없을 것입니다 . 여기서 는 …
3
이완 계산이 어려운 때는 언제입니까?
가중 된 채색을 계산하여 다음과 같이 적절한 채색을 계산하는 문제를 완화한다고 가정합니다. 모든 적절한 채색은 가중치 1이되고 모든 부적절한 채색은 가중치 여기서 는 일정하고 는 끝 점이있는 가장자리의 수는 동일하게 표시됩니다. 마찬가지로 0으로 진행하고,이 그래프의 많은 어려운 적절한 착색제를 계수로 감소시킨다. c가 1이면 모든 채색의 무게가 같고 문제는 사소합니다. 그래프의 …
3
없는
에는 U P ∩ c o U P에 있지 않은 것으로 알려진 자연적인 문제가 있습니까?NP∩coNP엔피∩기음영형엔피NP \cap coNPUP∩coUP유피∩기음영형유피UP \cap coUP 분명히 큰 하나 모두가에 대해 알고있는 인수의 결정 버전입니다 (n은 가장 k에 크기의 요소가 않습니다)하지만 그건에서 사실상 U P ∩ C O U P .NP∩coNP엔피∩기음영형엔피NP \cap coNPUP∩coUP유피∩기음영형유피UP \cap coUP
3
국제 드래프트를 올바르게 플레이하는 것은 NP-hard입니까?
다음은 NP-hard 문제입니까? 국제 초안에 대한 보드 구성이 주어지면 단일 법적 조치를 찾으십시오.n × nn×nn\times n 미국 체커 (일명 영어 draughts)에 해당하는 문제 는 다항식 시간으로 사소하게 해결 될 수 있습니다. 이 두 게임 사이에는 세 가지 주요 차이점이 있습니다.n × nn×nn\times n 첫 번째이자 가장 중요한 차이점은“비행 왕”규칙입니다. 체커에서, …
3
SAT를 HornSAT로 번역
부울 공식 B를 Horn 절의 동등한 결합으로 변환 할 수 있습니까? HornSAT 에 관한 Wikipedia 기사는 그것이 그렇다는 것을 암시하는 것처럼 보이지만, 나는 어떤 참조도 쫓을 수 없었습니다. "다항식 시간"을 의미하는 것이 아니라 "모두"를 의미합니다.
4
경계 카디널리티 경계 주파수 세트 커버 : 근사 경도
다음 제한 사항의 최소 집합 적용 범위 문제를 고려하십시오 . 각 집합은 최대 요소를 포함 하고 유니버스의 각 요소는 최대 f 개의 세트 에서 발생 합니다.kkkfff 예 : 이고 f = 2 인 경우 최대 차수가 4 인 그래프의 최소 정점 커버 문제와 같습니다.k=4k=4k = 4f=2f=2f = 2 하자 ( …
3
Max-3SAT에 대한 정보 계산
3CNF 식의 경우 하자 에 대한 할당에 만족 조항의 최대 번호를 수 . 이는 최대 - 3SAT가 (P ≠ NP에 따라), 즉 입력 할 3CNF 식 아니 polytime 알고리즘 없다 근사 어려운 것으로 알려져 , 및 그 출력을 수 되도록 이내 으로부터의 곱셈 계수 , 여기서 은 절대 양의 상수CCCM(C)M(C)M(C)CCCCCCM′M′M'M(C)M(C)M(C)1+c1+c1+cM′M′M'c>0c>0c>0 …
5
순수 기능 프로그래밍 언어에 대한 주석이 달린 공식 검증 시스템이 있습니까?
ACSL (Ansi C Specification Language)은 C 코드를 공식적으로 검증 할 수있는 특수 주석으로 주석이 달린 C 코드의 스펙입니다. 나는 그것을 보지 않았지만 ACSL 검증기에 사용되는 공식적인 방법 은 Hoare Logic과 유사하다고 생각합니다. 그러나 Haskell과 같은 순수한 기능 언어의 경우 형식 검증에 어떤 형식의 형식이 사용 될지 상상할 수 없습니다. ACSL …
3
만족도 임계 값을 초과하는 SAT 에 대한 연구가 있습니까?
SAT 사례 의 잘 알려진 특성은 변수 개수 대한 절 개수 의 비율 , 즉 몫 입니다. 모든 에 대해 대한 임계 값 st \ 가 있으며 대부분의 인스턴스는 만족스럽고 대부분의 인스턴스는 만족스럽지 않습니다. 문제를 다 많은 연구가 있었다 , 충분히 작은 문제에 대한 ,m n ρ = m / …
4
NP의 자연 문제에 대해 가장 잘 알려진 결정 론적 시간 복잡성 하한
이론적 컴퓨터 과학에서 해결되지 않은 주요 문제에 대한 답 은 ? 문제는 NP의 특정 문제에 시간이 필요한 경우 개방되어 있음을 나타냅니다 .Ω ( n2)Ω(n2)\Omega(n^2) 답변 아래의 의견을 보면 궁금해졌습니다. 패딩 및 이와 유사한 트릭을 제외하고 NP 의 흥미로운 문제 에 대해 결정 론적 RAM 시스템 (또는 다중 테이프 결정 론적 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.