이론 컴퓨터 과학

다음과 같은 결정 문제가 NP-complete입니까? 허락하다 GGG 무 방향 그래프이고 b≤cb≤cb \le c 두 정수. 모든 정점을 선택할 수 있습니까?GGG 바로 그거죠 bbb 노드가 더 이상 선택되지 않도록 다른 이웃 ccc 타임스. 경우 b=1b=1b = 1 어떤 문제든지 해결할 수 있습니다 ccc 최대 매칭을 사용하여 다항식 시간으로. 동기 부여 : …

9 cc.complexity-theory  np-hardness  graph-algorithms 

Michael Held와 Richard M. Karp의 " 시퀀싱 문제에 대한 동적 프로그래밍 접근 방법 "을 살펴보면 다음 질문을하게되었습니다. 왜 TSP에 대한 알고리즘의 복잡성이 (p. 199), 요인 어디에서 가져 ? 내가 올바르게 이해한다면 은 도시의 각 하위 집합에 대한 추가 수를 의미합니다. 그럼 왜 각 추가 작업은 나에게 알 수없는와 결합 작업? …

9 ds.algorithms  tsp  exp-time-algorithms 

답장하지 않고 math.SE 에 처음으로 물었습니다 . 평면형 임베드가있는 평면형 그래프가 있는데 트리 분해를 어떻게 찾을 수 있습니까? 최적의 트리 분해는 무엇입니까 디디d-으로-디디d사각형 격자? "최적"을 정의하는 방법을 완전히 알지 못하지만 하나의 큰 백으로 분해하고 많은 큰 백으로 분해하는 것을 구분해야합니다.

9 ds.algorithms  graph-theory  graph-algorithms  treewidth  integer-lattice 

정당을 어떻게 정직하게 만들 수 있습니까 (프로토콜 규칙 준수)? 나는 약속, 증거 등과 같은 메커니즘을 보았지만 전체 문제를 해결하지 못하는 것 같습니다. 프로토콜 디자인의 구조와 그러한 메커니즘이 일을해야한다고 생각합니다. 어느 누구도 그것에 대한 좋은 분류가 있습니까? 편집 보안 프로토콜을 설계 할 때 당사자가 정직하게 행동하도록 강요하면이 시행에는 고유 한 성과가 …

9 cr.crypto-security  gt.game-theory 

앨리스와 밥은 자신의 소원에 따라 죽은 삼촌 찰리의 부동산 ( 이산 품목 의 유한 컬렉션 을 나누고 있습니다. 먼저 A는 항목을 선택한 다음 B, A 등을 선택합니다.XXX Alice와 Bob은 각각 추가 유틸리티 함수 를 가지므로 Alice가 세트 끝나는 경우 유틸리티는 입니다.uA,uBuA,uBu_A, u_BY⊆XY⊆XY \subseteq X∑y∈YuA(y)∑y∈YuA(y)\sum_{y \in Y}u_A(y) 이러한 유틸리티 기능은 Alice와 …

9 gt.game-theory 

이것은 이전 질문의 특수 버전입니다 : 행렬의 고유 분해를 찾는 복잡성 . NxN 대칭 행렬의 경우, O (N ^ 3) 시간이 고유 분해를 계산하기에 충분하다는 것이 알려져 있습니다. 문제는 하위 큐브 복잡성을 달성 할 수 있습니까? 감사.

9 ds.algorithms  time-complexity  matrices  linear-algebra  na.numerical-analysis 

전산 복잡도 이론 은 고유의 난이도에 따라 문제를 분류합니다. 복잡한 시스템 이론 은 시스템 개별 부품의 특성에서 명백하게 발생하지 않는 동작을 나타내는 시스템을 다룹니다. 예를 들어 혼돈 시스템, 복잡한 적응 시스템 또는 비선형 시스템이 있습니다. 이 분야들 사이에 공식적인 다리가 있습니까? 그만한 가치가 있기 때문에 셀룰러 오토마타 로 암호화를 수행한다는 …

9 cc.complexity-theory  soft-question  big-picture 

데이터 구조, 기본적으로 맵 트리를 찾고 있는데, 각 노드의 맵에는 새로운 노드와 부모 노드 맵의 요소가 포함되어 있습니다. 여기서 맵은 STL의 맵 또는 파이썬의 dict와 같은 키와 값이있는 프로그래밍 맵을 의미합니다. 예를 들어 루트 노드가있을 수 있습니다. root = {'car':1, 'boat':2} 부모 맵에 요소를 각각 추가하는 2 명의 자식 child1 …

9 ds.data-structures  tree  hash-function 

그래프가 있다고 가정 해 봅시다. 지GG 그리고 매개 변수 k , ϵk,ϵk,\epsilon. 에 대한 값의 범위가 있습니까케이kk (또는 모두를 위해 할 수 있습니까? 케이kk) 여부를 테스트 할 수있는 지GG 이다 ϵϵ\epsilon-적어도 독립적 인 크기의 세트를 갖는 것 케이kk 제 시간에 O ( n + 폴리 ( 1 / ϵ ) …

9 ds.algorithms  graph-theory  reference-request  property-testing 

나는 최근 물리학 관련 질문을 양자 CS로 "가져 오는"것에 대해 생각했다. 해밀턴 시스템에서 지역 법 현상의 개념은 일반적으로 일부 격자에서 로컬 해밀턴을 나타냅니다. 일반적인 상태). 유명한 추측은 모든 끊임없는 해밀턴 사람들 이이 지역 법을 나타내는 지 여부입니다. 1 차원 시스템의 경우,이 질문은 Hastings (arXiv : 0705.2024)에 의해 긍정적으로 대답되었습니다. 그러나 …

9 quantum-computing  big-picture 

실행 시간이 최악의 경우 다항식이면 일반적으로 알고리즘을 "좋은 알고리즘"이라고합니다. 그러나 경우에 따라 (예 : Simplex 알고리즘) 최악의 알고리즘이 기하 급수적이지만 실제로는 잘 작동 할 수 있습니다. Simplex 알고리즘 이외의이 상황에 대한 (결정 론적) 예가 있습니까?

9 ds.algorithms 

서브 세트 합계라고하는 NP-Complete Problem에는 FPTAS가있는 것으로 잘 알려져 있습니다. FPTAS도있는 PSPACE Complete 문제가 있는지 궁금합니다. 미리 감사드립니다.

9 ds.algorithms  space-bounded  big-picture 

정규 (행-열 내부 곱) 기술을 사용한 행렬 곱셈에는 곱셈과 추가가 필요합니다. 그러나 크기 비트 의 동일한 크기의 항목 (두 행렬의 각 항목에있는 비트 수)을 가정 하면 덧셈 연산은 실제로 비트에서 발생합니다.O(n3)O(n3)O(n^{3})O(n3)O(n3)O(n^{3})mmmO(n3nm)=O(n4m)O(n3nm)=O(n4m)O(n^{3}nm) = O(n^{4}m) 따라서 비트 복잡도를 통해 측정 된 경우 행렬 곱셈의 실제 복잡성은 이어야합니다 .O(n4)O(n4)O(n^{4}) (1)(1)(1) 이것이 맞습니까? 총 …

9 cc.complexity-theory  algebraic-complexity 

닫은. 이 질문은 주제에 맞지 않습니다 . 현재 답변을받지 않습니다. 이 질문을 개선하고 싶습니까? 이론적 인 컴퓨터 과학 스택 교환에 대한 주제가 되도록 질문을 업데이트하십시오 . 휴일 삼년 전에 . 보편적 재귀 함수 의 짧은 명시 적 구성이 있습니까? 내가 본 모든 정의에는 어떤 방식 으로든 튜링 머신의 번호가 매겨져 …

9 lo.logic  computability  pl.programming-languages 

숫자가 아닌 값 a, b, c를 취하는 랜덤 변수가 있고이 변수의 샘플의 경험적 분포가 실제 분포와 어떻게 다른지 정량화하려고한다고 가정 합니다. 이 경우 다음과 같은 불평등 ( Cover & Thomas )이 적용됩니다.엔nn 정리 12.4.1 (Sanov의 정리) : Let 엑스1,엑스2, ... ,엑스엔X1,X2,…,XnX_1, X_2, \ldots, X_n iid이다 ∼ Q ( x )∼Q(x)\sim …

9 pr.probability  chernoff-bound