카테고리 보관물: cs

cs

Clique 문제의 제한된 버전? 고려 우리는 크기의 파벌 발견하라는 메시지가

입력이 크기입니다 파벌 문제의 다음 버전을 고려 우리는 크기의 파벌 발견하라는 메시지가 . 결정 절차는 입력 그래프를 다른 표현으로 변경할 수 없으며 입력 그래프 이외의 여분의 비트 이외의 다른 표현을 사용하여 답을 계산할 수 없습니다 . 여분의 비트는 예를 들어 무차별 대입 알고리즘에서 사용되어 절도에 대한 철저한 검색 상태를 추적 할 수 있지만 결정 절차는 여전히 문제를 결정하는 다른 방법으로 사용할 수 있습니다.

n

k

log(nk)

이 시점에서 이것의 복잡성에 대해 알려진 것이 있습니까? Clique의 다른 제한 사항에 대해 어떤 작업을 수행 한 적이 있습니까? 그렇다면 그러한 작업을 맡길 수 있습니까?



답변

이것은 로그 공간에서 NP- 완료 크리크 문제 를 해결할 수 있는지 묻는 것처럼 들립니다 . 튜링 머신을 사용하면 하나의 테이프 만 읽기 전용이며 입력 그래프를 저장합니다. 다른 테이프는 일부 상수 사용 가능한 공간이 있도록 됩니다. 이 모델에서 해결할 수있는 문제의 클래스를 결정 론적 로그 공간 이라고 합니다. ( wikipedia 또는 복잡한 동물원 참조 )

clgn

c

L

인지 여부는 알 수 없지만 긍정적 인 대답은 임을 암시 하므로 답을 찾지 못할 것입니다. 및 의미 의미, .

CLIQUEL

P=NP

LPNP

CLIQUEL

CLIQUEP

P=NP


문제를 잘못 해석 한 경우 편집 :

당신하고자하면 그 에서 도당 크기와 동일 (즉, 입력과 메모리 규모의 양 후 단순 브 루트 포스 알고리즘있다) 할 수 있습니다 루프를 통해 모든 노드 의 가능한 세트를 설정 하고 -clique 를 형성하는지 확인하십시오 . 더 나은 솔루션을 찾기위한 출발점은 [1]의 참조 일 수 있습니다.

k

lgnk=klgn

k

k

k

k


[1] Virginia Vassilevska, “도둑질 문제에 대한 효율적인 알고리즘” pdf 링크


답변