«cc.complexity-theory» 태그된 질문

P 대 NP 및 기타 리소스 제한 계산.

1
단색 성분 크기가
채색을 약간 완화하십시오. 즉, 소수의 인접한 정점에 동일한 색상을 할당 할 수 있습니다. 단색 성분은 동일한 색을받는 정점 세트에 의해 유도 된 서브 그래프에서 연결된 성분으로 정의되며, 가장 큰 단색 성분이 크기를 갖도록 그래프를 채색하는 데 필요한 최소 의 색λλ\lambdaCCC 을 묻는 것이 문제입니다. 보다 더 C . 이 설정에서 …
2
속 문제의 근사 성
속 문제의 근사성에 대해 현재 알려진 것은 무엇입니까? 예비 검색은 일정한 요인 근사 충분히 밀도 그래프의 사소한, 그리고이 있음을 알려줍니다 -approximation 알고리즘을 배제하고있다. 이 정보가 최신 정보입니까, 아니면 더 나은 범위가 있습니까?엔ϵnϵn^\epsilon
1
계산 문제의 중복 및 구조
그래프 이소 형과 같은 일부 계산 문제는 계산 상 딱딱 할 정도로 충분한 구조 또는 중복성을 갖지 않기 때문에 NP- 완료 될 수 없다고 널리 알려져있다 (NP- 하드). 나는 계산 문제의 구조와 중복 측정에 대한 다른 공식적인 개념에 관심이 있습니다. 계산 문제에 대한 공식적인 개념에 대해 알려진 주요 결과는 무엇입니까? …
1
Ruzzo-Simon-Tompa 오라클 액세스 메커니즘
NL⊈PNL⊈P\mathsf{NL} \nsubseteq \mathsf{P} 지금 회로 오라클 게이트 가족 고려 - 말을 , 다른 클래스 오라클 접속 LOGSPACE 포함하는 회로의 복잡성 클래스 에 기초하여 추가 오라클 게이트 통해 . 그러한 클래스로 알려진 Ladner-Lynch 논문과 정신적으로 유사한 병리학적인 예가 있습니까? 그러한 클래스에 필요한 RST와 같은 제한은 무엇입니까? 실제로 그러한 예가있는 경우, RST …
2
부울 변수 NP를 만족시키는 연산자를 찾는 데 문제가 있습니까?
이것은 각 변수의 할당은 알고 있지만 부울 연산자의 할당은 알지 못한다는 점을 제외하고는 SAT와 유사합니다. 이 경우 각 연산자의 할당을 찾고 있으므로식이 주어진 부울 값으로 NPC 문제를 평가합니까? 실제로, 정수 산술 표현 (예 : = 10) 을 만족시키기 위해 산술 연산자의 할당을 찾는 것이 NP가 완전한지 궁금합니다.111 op1op1op_1 333 op2op2op_2 …
2
직접 곱 정리의 변형
비공식적으로, 직접 제품 정리 는 함수 의 인스턴스를 계산하는 것이 한 번 계산하는 것보다 어렵다고 말합니다 .f f케이kk에프ff에프ff 일반적인 직접 제품 정리 (예를 들어, 치아의 XOR 명제)에서 보면 평균 케이스 복잡도 이고, (매우 약) 주장 크기의 회로에 의해 계산 될 수 더 이상의 확률 , 그런 다음 사본 에 의해 …
1
멤버십 쿼리 및 반례 모델에서 학습을위한 하한
Dana Angluin ( 1987 ; pdf )은 멤버십 쿼리와 이론 쿼리 (제안 된 함수에 대한 예)로 학습 모델을 정의합니다. 최소한 DFA로 표시되는 일반 언어 것을 취미 쇼 상태들이 함께 (제안 기능 DFAS을 어디) 다항식 시간에 학습 가능하다 최대 멤버십 쿼리와 이론 쿼리 ( 튜터가 제공하는 가장 큰 반대 예의 크기입니다). …
1
고정 직경 그래프 용 3 분할 분할
3-Clique Partition 문제는 그래프의 꼭짓점 (예 : )을 3 개의 clique로 분할 할 수 있는지 여부를 결정하는 문제입니다 . 이 문제는 3 색성 문제를 간단히 줄임으로써 NP-hard입니다. 또는 때이 문제에 대한 답이 쉬운 지 알기 어렵지 않습니다 . 문제는 때 자체에서 간단한 감소로 인해 NP-hard 상태로 남아 있습니다 (그래프 주어지고 …
3
P는 이해할 수없는 언어를 포함합니까? (TCS 커뮤니티 위키)
답 : 알려지지 않음 이 질문을 수정하는 데 도움을 주신 모든 분들께 감사드립니다. 이 위키의 정의는 최신 TCS 위키 " P에 PA 또는 ZFC와 독립적 인 언어가 포함되어 있습니까? (TCS 커뮤니티 위키) " 의 시작점을 제공했습니다 . 최신 위키는이 위키의 정의와 명명법이이 오래된 위키보다 훨씬 정교하기 때문에 선호됩니다. 특히,이 오래된 …
3
네트워크를 통한 효율적인 DAG 비교
에서는 분산 버전 관리 시스템 (예 의욕 및 힘내 ) 효율적 관한 비교할 비순환 그래프 (DAG에) 할 필요가있다. 저는 Mercurial 개발자이며 두 DAG를 비교하는 시간 및 네트워크 복잡성을 논의하는 이론적 작업에 대해 매우 관심이 있습니다. 해당 DAG는 기록 된 개정으로 구성됩니다. 리비전은 해시 값으로 고유하게 식별됩니다. 각 개정은 이전 개정의 …
1
특정 유형의 쿼리에 대한 최적의 전처리
S = { s 1 , s 2 , … , s n } 요소를 갖는 세미 그룹 이 있다고 가정 합니다. 우리의 목표는 제품 s i ∘ s i + 1 ∘ ⋯ ∘ s j 를 계산하는 것입니다 .(S,∘)(S,∘)(S,\circ)S={s1,s2,…,sn}S={s1,s2,…,sn}S=\lbrace s_1,s_2,\dots,s_n\rbracesi∘si+1∘⋯∘sjsi∘si+1∘⋯∘sjs_i\circ s_{i+1}\circ \cdots\circ s_j "온라인 제품 쿼리에 응답하기위한 최적의 …
1
P-Space Complete 문제의 솔루션 수를 계산하는 것이 얼마나 복잡합니까? 더 복잡한 클래스는 어떻습니까?
나는 그것이 # P-Space라고 불릴 것 같지만 그것을 모호하게 언급 한 기사를 하나만 발견했다. EXP-SPACE-Complete 문제뿐만 아니라 EXP-TIME-Complete, NEXP-Complete의 계산 버전은 어떻습니까? Toda의 정리와 같은 포함 또는 제외 유형과 관련하여 인용 할 수있는 이전 연구가 있습니까?
1
# P-Complete 문제의 단계 전환에 대해 무엇을 알고 있습니까?
# P-Complete 문제에서 위상 전이에 대해 알려진 것은 무엇입니까? 구체적으로, # DNF-k-SAT 및 # CNF-k-SAT에 대해 다른 위상 천이가 존재합니까? 업데이트 : 우리가 알다시피, 랜덤 k-SAT에는 문제를 해결하는 것이 쉬움에서 어려움으로, 다시 쉬움으로 바뀌는 단계 전환이 있습니다. # P-Complete 문제에도 이러한 현상이 있는지 알고 싶습니다. 더 중요한 것은 위상 전이가있는 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.