이론 컴퓨터 과학

가중 가장자리가있는 강하게 연결된 digraph G가 주어지면 G의 최소 강력 연결 하위 그래프 (MSCS)의 일부가 아닌 가장자리를 식별하고 싶습니다. 이러한 에지를 찾는 한 가지 방법은 수정 된 Floyd-Warshall 알고리즘입니다. Floyd-Warshall 알고리즘을 사용하여 정점 i에서 j로가는 데 가장 적합한 옵션이 아닌 모서리를 식별 할 수 있습니다. 이 노드는 둘 이상의 다른 …

10 ds.algorithms  graph-theory  graph-algorithms 

이 질문은 이전 질문에 대한 András Salamon과 Colin McQuillan의 기여를 읽은 후 Monotone-2CNF 공식 계산 솔루션을 읽은 후에 떠 올랐습니다 . EDIT 30 일 2011년 3월 추가 질문 N ° 2 EDIT 29 번째 2010년 10월 질문의 개념을 통해이를 공식화 안드라스 제안 후 고쳐 솔루션 세트의 좋은 표현 (나는 그의 …

10 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

I는 가중 된 그래프가 있다고 가정 G = ( V, E, w )G=(V,E,w)G = (V,E,w) 되도록 w : 전자→ [ − 1 , 1 ]w:E→[−1,1]w:E\rightarrow [-1,1] 네거티브 가중치 허용 유의 - 가중 함수이다. f:2V→Rf:2V→Rf:2^V\rightarrow \mathbb{R} 은 꼭짓점 하위 집합의 속성을 정의 한다고 가정 해 봅시다 S⊂VS⊂VS \subset V. fffargmaxS⊆Vf(S)arg⁡maxS⊆Vf(S)\arg\max_{S \subseteq …

10 ds.algorithms  graph-theory  co.combinatorics 

그래프 자동 형성은 엣지 세트 에 대한 주입을 유도하는 그래프 노드의 순열입니다 . 공식적으로, 그것은 ( u , v ) ∈ E iff ( f ( u ) , f ( v ) ) ∈ E 와 같은 노드 의 순열 f 입니다. 이자형이자형E에프에프f( u , v ) ∈ E(유,V)∈이자형(u,v)\in …

10 cc.complexity-theory  graph-theory  automorphism  symmetry 

a´a´\acute{\rm a}HHHHHH∈PTIME∈PTIME\in PTIME 정의 등 표준 트리 분해 및 트리 폭에 대한 훌륭한 설문 조사는 여기를 참조 하십시오 (JeffE! 를 자서전 이라고하자 .HHH 그런 다음 하이퍼 그래프 와 매핑 경우HHHγ: 전자( H) → [ 0 , ∞ )γ:E(H)→[0,∞)\gamma : E(H) \rightarrow [0,\infty) B ( γ) =B(γ)=B(\gamma) = { }.v ∈ …

10 cc.complexity-theory  graph-theory  hypergraphs  treewidth  csp 

포럼을 검색하여 이전에 요청되었는지 확인했으며 알고리즘 게임 이론을 논의하는 동안이 특정 문제를 찾을 수 없었습니다. 유한 한 n 인 게임에서 근사 (혼합 전략) 내쉬 평형을 계산하기위한 가장 잘 알려진 알고리즘이 무엇인지 알아 내려고합니다. 물론이 알고리즘은 PPAD입니다. 알고리즘의 완벽한 정확성보다 속도 / 효율에 더 관심이 있습니다. 고마워, 필립

10 ds.algorithms  gt.game-theory 

분산 시스템의 오류 처리에 대한 논문은 무엇입니까?

10 reference-request  dc.distributed-comp 

n 개의 변수와 m 절이 주어지면 임의의 k-sat에 대한 위상 전이의 현재 상태를 알고 싶습니다. 상한 및 하한에 가장 잘 알려진 c = m / n은 무엇입니까?

10 cc.complexity-theory  sat  lower-bounds  upper-bounds  phase-transition 

온라인 최적화 문제를 포함하는 복잡성 클래스가 있습니까? 그렇지 않다면 어떻게 그러한 클래스를 정의 할 수 있습니까? 빈 포장 문제의 온라인 버전과 같은 많은 문제가 온라인 버전에 있음을 알고 있습니다. 온라인 문제는 경쟁 비율로 측정하기가 더 어렵습니다. 그리고 나는 복잡성 동물원 에서 비슷한 것을 찾지 못했습니다 . 기본적으로 온라인 문제는 없지만 …

10 cc.complexity-theory  complexity-classes 

A가 B에 포함되면 R (H (A), H (B))와 같은 세트 H (.) 및 관계 R (.,.)에 대한 해시 함수를 찾고 있습니다. 물론, R (.,.)은 검증하기 쉬워야하고 (일정한 시간), H (A)는 선형 시간으로 계산되어야합니다. H와 R의 한 예는 다음과 같습니다. (K)가 고정 된 정수 및 h (x)를 통해 정수 해시 함수이다.H( …

10 ds.algorithms  hash-function 

나는 라는 가정하에 NPI에 희소 언어 (지연된 diagolanization으로 구성됨)가 있는지 알고 싶습니다 .피≠ N피피≠엔피P \neq NP

10 cc.complexity-theory  complexity-classes 

무적의 생성기는 다음과 같이 정의됩니다. NP 관계로하고 M을 L ( R ) 을 받아들이는 기계 라고 하자 . 비공식적 프로그램이있다 무적 발생기 입력의 경우, (1) n은 , 그것은 인스턴스 생성 감시 쌍 ( X , w ) ∈ R을 가진 | x | x 가 주어진 다항식 적 대적이 무한히 …

10 cc.complexity-theory  cr.crypto-security  oracles  relativization  kolmogorov-complexity 

P ≠ N P라고 가정피≠ N피P≠NPP \neq NP 다음 표기법을 사용하십시오 테트 레이션을위한 (즉.나는ㅏia{}^ia ).나는a = aㅏ⋅⋅⋅ㅏ나는 배ia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | x | 인스턴스 x의 크기입니다. L을 언어로, 패 |에프( i ) ≤ | x | < g( 나는 ): = { x ∈ L | ∃ …

10 cc.complexity-theory  np-hardness  complexity-classes 

NP 완전 문제의 "단단한"개별 사례에 관심이 있습니다. Ryan Williams 는 Richard Lipton의 블로그에서 SAT0 문제에 대해 논의했습니다 . SAT0은 SAT 인스턴스에 모두 0으로 구성된 특정 솔루션이 있는지 묻습니다. 이것은 "하드"일 가능성이있는 SAT 인스턴스 구성에 대해 생각하게했습니다. 포화 인스턴스 고려 와 m의 조항 및 N 변수, 여기서 α = m / …

10 cc.complexity-theory  sat  hard-instances 

여기서 많은 사람들 은 자연적인 기하학적 설정에서 nets에 대한 Alon의 최근 슈퍼 리니어 하한을 알고있을 것입니다 [PDF] . 그러한 하한값이 관련 세트 커버 / 타격 세트 문제의 근사성에 대해 무엇을 의미하는지 알고 싶습니다. ϵϵ\epsilon 좀 더 구체적으로 말하면 패밀리와 같이 범위 공간 패밀리를 고려하십시오. { (X, R ){(엑스,아르 자형)\big\{(X,\mathcal{R}) : …

10 cg.comp-geom  set-cover  hypergraphs  approximation-hardness  epsilon-nets