«polynomial-time» 태그된 질문

Treewith는 그래프가 나무와 얼마나 가까이 있는지를 나타내는 중요한 그래프 매개 변수입니다 (엄격한 토폴로지 의미는 아니지만). 트리 폭을 계산하는 것은 NP-hard 인 것으로 잘 알려져있다. treewidth 를 계산하기 어려운 자연스러운 그래프 클래스가 있습니까? 비슷하게: treewidth 계산이 쉬운 흥미로운 그래프 클래스가 있습니까? 그렇다면, 악용 될 수있는 구조적 특성 / 시험이 있습니까? 즉, …

13 graph-theory  np-hardness  polynomial-time  treewidth 

P / poly는 다항식 크기의 부울 회로로 해결할 수있는 결정 문제의 클래스입니다. 대안 적으로 다항식 시간 튜링 기계로 정의 될 수 있으며, 다항식 크기는 n 단위이고 어드바이스 문자열은 n 크기에만 기반하는 어드바이스 문자열을받습니다. mP / poly는 다항식 크기의 모노톤 부울 회로로 해결할 수있는 의사 결정 문제의 클래스이지만 다항식 시간 튜링 …

13 cc.complexity-theory  complexity-classes  circuit-complexity  polynomial-time  monotone 

실제 문제의 크기 에 대해 지수 알고리즘이 가장 잘 알려진 다항식 시간 대응보다 훨씬 빠르게 실행되는 모든 문제 (바람직하게는 다소 잘 알려진)를 알고 있습니까 ? 예를 들어, 문제의 실제 크기가 이고 두 개의 알려진 알고리즘이 있다고 가정합니다 . 하나는 2 n 이고 다른 하나는 상수 c에 대해 n c 입니다 …

13 time-complexity  polynomial-time  exp-time-algorithms 

문제를 해결하려고 노력하면서 결국 그 부분을 다음 정수 선형 프로그램으로 표현했습니다. 여기서 는 모두 다음과 같이 주어진 양의 정수입니다. 입력의 일부. 변수 의 지정된 서브 세트는 0으로 설정되며 나머지는 양의 정수 값을 취할 수 있습니다.x i jℓ , m , n1, n2, … , nℓ, c1, c2, … , c미디엄, …

13 reference-request  linear-programming  polynomial-time  integer-programming  integrality-gap 

다음 문제를 고려하십시오. 자 세트 양수 있는 상수, 우리로 세트 분할 할 크기의 서브 세트 되도록 각각의 합계의 생성물 부분 집합이 최대화됩니다.n=kmn=kmn = k m{a1,…,an}{a1,…,an}\{ a_1, \dots, a_n \}k≥3k≥3k \ge 3mmmkkk 이 문제는 각 파티션의 수에 제한이 있다는 점을 제외하고 잘 알려진 way 숫자 분할 과 매우 유사 합니다. 들면 …

12 cc.complexity-theory  np-hardness  application-of-theory  polynomial-time 

음이 아닌 간선 가중치와 두 개의 고유 정점 s,ts,ts,t 로 연결된 무 방향 그래프를 고려하십시오 . 다음은 모두 다음과 같은 형식의 일부 경로 문제입니다. 경로에서 가장자리 가중치의 일부 기능이 최소가 되도록 s−ts−ts-t 경로를 찾으십시오 . 이런 의미에서 그것들은 모두 최단 경로 문제의 "상대적"입니다. 후자의 함수는 단순히 합계입니다. 참고 : 우리는 …

10 graph-theory  graph-algorithms  np-complete  polynomial-time 

복잡성 동물원에서는 말한다 [ 1 ], 기술적 복잡성, 즉 PPP 식의 세 가지 종류로 정의 될 수 있고, FO(LFP)FO(LFP)FO(LFP) 도 FO(nO(1))FO(nO(1))FO(n^{O(1)}) , 및 또한 SO(HORN)SO(HORN)SO(HORN) . 그러나, 예를 들어 몇 가지 예외가 있는데, EvennessEvennessEvenness (FP가 LFP와 같은 표현력을 갖는다) FP로 표현 될 수 없다. ConnectivityConnectivityConnectivity 및 2−colourability2−colourability2-colourability 는 1 차 …

10 lo.logic  polynomial-time  descriptive-complexity 

Mahaney 's Theorem은 다항식 다 대다 축소에서 희소 완전 세트 가 있으면 라고 말합니다 . ( " NP의 스파 스 전체 세트 : Berman과 Hartmanis의 추측 솔루션 "참조)NPNPNPP=NPP=NPP = NP 다른 복잡한 클래스에 대해 희소 한 완전한 세트가 존재하는 것으로 알려진 결과가 있습니까? 특히, 로그 공간 다원 감소 아래에 희소 …

10 cc.complexity-theory  complexity-classes  reductions  polynomial-time  logspace 

인지 인지는 알 수 .P⊆CSLP⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL PPP 는 결정 론적 튜링 머신에서 다항식 시간으로 결정할 수있는 모든 언어 세트입니다. CSLCSLCSL 은 선형 경계 오토마타에 의해 결정된 언어 인 NSPACE (O (n)) 과 동등한 것으로 알려진 상황에 맞는 언어의 클래스입니다 NSPACE(O(n))NSPACE(O(n))NSPACE(O(n)). 많은 오픈 질문은 한 가지 대답을 향한 경향 (이 …

10 cc.complexity-theory  fl.formal-languages  polynomial-time 

죄송합니다. 이것은 "부드러운"질문입니다. 정보 이론에는 계산 복잡성의 개념이 없습니다. 예를 들어, SAT의 인스턴스, 또는 SAT의 인스턴스 및 만족도를 나타내는 비트에 동일한 양의 정보가 전달된다. "다 항적으로 알 수있는"개념을 공식화하는 방법이 있습니까? 이러한 프레임 워크는 예를 들어 Y가 주어진 다항식 시간에서 X를 계산하는데 필요한 비트 수로서 랜덤 변수 X 상대 Y …

9 cc.complexity-theory  it.information-theory  polynomial-time