이론 컴퓨터 과학

1

캐시 불명확 한 B- 트리의 2.2 섹션에서 , 강력하게 균형 잡힌 검색 트리는 다음과 같이 정의됩니다. 일부 상수를 들어 모든 노드 높이에서 갖는다 자손.디디dVVvhhhΘ ( 일h)Θ(디h)\Theta(d^h) 그들은 주장한다 : 속성 1과 2를 만족하는 검색 트리에는 가중치 균형 B- 트리, 결정적 건너 뛰기 목록 및 건너 뛰기 목록이 포함됩니다. 다른 논문들은 …

11 ds.data-structures skip-lists

5

알고리즘 게임 이론-비표준 평형 개념?

알고리즘 게임 이론에 대한 연구를 시작하고 있는데, 일반적으로 취하는 평형 개념은 그래프의 고정 점 개념 인 것 같습니다. 그러나 사람들이 한계주기와 같은 대체 평형 개념을 보았습니까? "좁은"한계주기, 즉 매우 작은 길이의 그래프주기는 평형의 표준 정의에 "가까운"것으로 간주 될 수 있습니다. Google Scholar를 파헤쳐 보았지만 소용이 없었습니다.

11 gt.game-theory

3

리서치 / 출판에 대한 도움을 받으려면 어디서해야합니까?

나는 한동안 SAT 알고리즘을 개발해 왔으며 그것을 공유하고 싶은 시점에 도달했다. 나는 컴퓨터 과학 분야의 많은 사람들을 모른다. 정확히 어디로 돌릴 지 잘 모르겠다. 게시를 고려중인 알고리즘을 가진 사람이 사용할 수있는 리소스가 궁금합니다. 또한 알고리즘의 런타임 및 정확성을 분석하는 데 도움이 필요합니다. 내 주요 문제는 런타임 분석에 있습니다. 이에 대한 …

11 sat soft-question proofs

3

스택을 사용하는 무작위 알고리즘

나는 재귀 무작위 알고리즘 (또는 스택을 사용하는보다 일반적으로 무작위 알고리즘)을 목표로하는 새로운 무작위 화 기법을 개발했습니다. 불행히도, 내 기술을 적용 할 자연 무작위 알고리즘을 찾을 수 없었습니다. 재귀 Markov 체인과 확률 론적 문법 은 내가 찾고있는 것과 매우 가깝습니다. "필수"스택을 사용하는 다른 (보다 자연스러운) 무작위 알고리즘이 있습니까? 6 개월 이상이 …

11 randomness derandomization

3

안정적인 결혼 문제로의 확장?

이것은 TCS 질문보다 사회 과학 질문처럼 들릴 수도 있지만 그렇지 않습니다. 안정적인 결혼 문제를 설명하는 " 랜덤 화 알고리즘 "을 읽을 때 다음을 읽을 수 있습니다 (p54) "모든 선호 목록을 선택할 때마다 적어도 하나의 안정된 결혼이 존재한다는 것을 알 수 있습니다. (다행스럽게도, 주민 수가 많은 동성애자 일부일처 사회에서는 그렇지 않습니다.)" …

11 ds.algorithms graph-theory matching

3

데이터 병렬 연산자와 함께 전체 기능 언어를 사용하여 표현할 수있는 알고리즘은 무엇입니까?

데이터 유형 만 숫자 형 스칼라와 임의의 배열 배열 인 함수형 프로그래밍 언어를 상상해보십시오. 이 언어에는 무제한 반복 수단이 없으므로 다음은 허용되지 않습니다. 명시 적 루프 (어쨌든 부작용없이 많이 사용하지 않음) 재귀 임의의 일류 함수 (y-combinator 없음) 그러나이 언어에는 다음이 있습니다. 최상위 기능 어휘 범위가 지정된 let 바인딩 분기 제어 …

11 complexity-classes functional-programming dc.parallel-comp

2

정점 분리기의 경도

주어진 그래프 에 대해, 분리기 문제는 작은 카디널리티 (또는 가중치)의 정점 또는 에지 세트가 존재하여 제거가 G 가 대략 동일한 크기의 두 개의 분리 된 그래프로 분할되는지를 묻습니다 . 제거 된 세트가 정점 세트 인 경우이를 정점 분리기 문제라고하고 에지 세트 인 경우 모서리 분리기 문제라고합니다. 두 가지 문제 모두 …

11 cc.complexity-theory approximation-hardness

1

정규 언어를위한 Ehrenfeucht-Fraïssé 게임 (실제로는 아지 타이-파긴).

125 페이지로 Immerman (설명 적 복잡성, 1999) 선물 존재 모나드 두 번째 순서 (Ajtai-FAGIN 게임)에 대한 EF 게임 다음과 같이 단어 MSO하는 일반 언어에 해당 게임은 기록 할 수 있습니다.∃∃\exists 언어 : 그리고 데릴라 다음 게임에서 승리 전략이없는 경우 만 규칙적 1. 삼손 선택 , 2 데릴라를 선택한다면 , 3 …

11 lo.logic automata-theory descriptive-complexity

2

두 밀도 매트릭스의 차이의 트레이스 규범이 하나 인 것은이 두 밀도 매트릭스가 동시에 대각선 화 될 수 있다는 것을 의미합니까?

이 질문에 대한 답은 잘 알려져 있습니다. 그러나 불행히도, 나는 모른다. 양자 컴퓨팅에서 혼합 상태는 밀도 행렬로 표현됩니다. 그리고 두 밀도 매트릭스의 차이의 미량 규범은 두 개의 해당 혼합 상태의 구별 성을 특징으로합니다. 여기서 미량 규범 의 정의 는 밀도 곱의 모든 고유 값의 합이며, 곱셈 계수 1/2 (두 분포의 …

11 quantum-computing quantum-information

2

평균 왜곡 임베딩

두 개의 미터법 공간 및 ( Y , f ) 과 포함 μ : X → Y를 고려하십시오 . 전통적인 미터법 공간 임베딩 은 원래 거리와 최종 거리의 최악의 비율 인 μ 의 품질을 측정합니다 . ρ = max p , q ∈ X { d ( x , y …

11 approximation-algorithms cg.comp-geom embeddings

1

사람들이 부울 회로에서 루프 중첩을 보나요?

EE 학부 과정에서 몇 개의 강의에 참석하여 몇 개의 중첩 루프가 있는지에 대한 부울 회로의 훌륭한 특성을 제시했습니다. 복잡성에서, 부울 회로는 종종 dags로 생각되지만 실제 하드웨어주기에서는 일반적입니다. 이제 루프가 무엇인지, 그리고 중첩 루프를 구성하는 것에 대한 몇 가지 기술은 기본적으로 하드웨어에서 오토 마톤을 구현하려면 두 개의 중첩 루프가 필요하며 프로세서를 …

11 cc.complexity-theory reference-request circuit-complexity machine-models ar.hardware-architecture

1

Kolmogorov 복잡성을 사용하여 증명 복잡도 하한을 설정합니까?

이 질문에 대한 동기는 대부분의 n 비트 문자열이 압축 불가능하다는 사실입니다. 직관적으로, 우리는 Tautology에 대한 대부분의 증명이 다항식 크기로 압축 할 수 없다는 것을 유추 할 수 있습니다. 기본적으로 내 직감은 일부 증거는 본질적으로 무작위이며 압축 할 수 없다는 것입니다. 콜로 모고 로프 (Kolmogorov) 복잡도 결과를 사용하여 타우 톨 로지의 …

11 lower-bounds proof-complexity kolmogorov-complexity

1

Reingold의 UST-CONN 알고리즘에 대한 시간 복잡도 분석

Omer Reingold 의 방향 이 지정되지 않은 st-connectivity 로그 공간 알고리즘 의 정확한 시간 복잡도는 얼마입니까?

11 cc.complexity-theory randomness

2

쌍을 가진 시스템 F는 강력한 정규화 및 주제 축소 특성을 가지고 있습니까?

많은 교과서에서 시스템 F에 대한 주제 축소 및 강력한 정규화에 대한 증거를 쉽게 볼 수 있으며 때로는 시스템 F에 대한 쌍이있는 정의가 있습니다. 여기서 (t, r)은 인코딩뿐만 아니라 용어입니다. 문제는이 시스템에 대한 참조는 무엇입니까?

11 reference-request lo.logic type-theory lambda-calculus polymorphism

1

최대 H 프리 세트의 계산

그래프에서 독립 집합은 유도 된 하위 그래프로 가장자리를 포함하지 않는 정점 하위 집합입니다. 그래프에서 가장 큰 독립 집합을 찾는 문제는 근본적인 알고리즘 문제이며 어려운 문제입니다. 그래프에서 가장 큰 H- 프리 세트를 찾는 (크기의) 더 일반적인 질문을 고려해 봅시다. 여기서 H- 프리는 고정 된 그래프 H의 사본을 유도 된 서브 그래프로 …

11 ds.algorithms reference-request graph-theory np-hardness co.combinatorics