이론 컴퓨터 과학

관련 분야의 이론 컴퓨터 과학자 및 연구자를위한 Q & A

1
어떻게 NP에 문제가있을 수 있고 NP가 완전하지 않고 NP가 완전하지 않습니까?
나는 오랫동안 (1) NP-hard이고 (2) NP에 있으면 문제가 NP-complete라고 생각했다. 그러나 유명한 논문 "타원체 방법과 조합 최적화의 결과" 에서 저자들은 소수 색수 문제가 NP에 속하고 NP-hard이지만 NP- 완전한 것으로 알려져 있지 않다고 주장합니다. 논문의 세 번째 페이지에서 저자는 다음과 같이 씁니다. ... 그래프의 꼭짓점-포장 문제는 분수 색수 문제와 같은 의미로,이 …
1
공간 근사값
그들의 논문에서 대략적인 거리 Oracles 에서 Thorup과 Zwick은 가중 무지향 그래프에 대해 ( 2 k - 1 ) - 근사값을 반환 할 수 있는 크기 의 데이터 구조를 구성 할 수 있음을 보여주었습니다. 그래프에서 정점 쌍 사이의 거리.O ( k 값 N1 + 1 / k)영형(케이엔1+1/케이)O(k n^{1+1/k})( 2 k - …
1
최고의 커뮤니케이션 복잡성
결정적인 2 자 프로토콜은 최악의 경우 n + 1 비트를 보내지 않고 비트 입력 에서 DISJ (Disjointness Problem)를 해결할 수 없다는 것은 잘 알려져 있습니다 ( 예 : Kushilevitz 및 Nisan의 저서 참조). 경계 오차 랜덤 프로토콜의 경우, 일부 상수 δ에 대한 δ n의 하한은 Razborov [Razborov92]의 논문으로도 보여졌다. 내 …
1
다면체의 Löwner-John 타원체 계산
볼록 세트 의 Löwner-John 타원체 는 그것을 둘러싸는 최소 볼륨 타원체 (MVE)입니다. 타원체는 Khachiyan의 방법을 사용하여 계산할 수 있으며 가 (볼록 껍질) 점 집합 인 경우 사용할 수있는 근사값이 많이 있습니다 .씨씨C씨씨C 다면체의 MVE에 대한 빠른 (즉, 비엘 리포이드 방법 기반) 근사값이 교차점이 정의하는 하프 플레인 측면에서만 표시됩니까? 특히, 차원에서 …
1
선형 프로그램 제약 조건이 기대에 충족되기에 충분합니까?
종이에서 온라인 양자 매칭 순위의 무작위의 근원 - 듀얼 분석 순위 알고리즘이 있음을 증명하는 동안, 경쟁적이며, 저자는 이중이 기대에 부합 함을 보여준다 (5 페이지의 Lemma 3 참조). 내 질문은 :(1−1e)(1−1e)\left(1 - \frac{1}{e}\right) 선형 프로그램 제약 조건이 기대에 충족되기에 충분합니까? 목적 함수의 예상 값이 무엇인가를 보여주는 것은 한 가지입니다. 그러나 타당성 …
3
흰 코끼리 선물 교환 : 공정한 분할을위한 메커니즘
북미 휴일 파티에서 인기있는 게임은 흰 코끼리 선물 교환 입니다. 간단히 말하면 (변이 무시) 다음과 같이 작동합니다. 있습니다 사람과 N 포장 선물. 플레이어는 임의로 주문됩니다. 에서 I 번째 라운드 선수 나 어느엔엔n엔엔n나는일나는일i^{\text{th}}나는나는i 포장 된 선물을 선택하여 선물로 풀기 이미 열린 선물 중 하나를 "도둑질"합니다 (일부 플레이어 ).k &lt; 나는케이&lt;나는k < …
1
람다 미적분의 확장에서의 η- 전환 대 확장 성
나는 종종 η- 변환과 확장 성의 관계에 혼란스러워한다. 편집 : 의견에 따르면, 확장 등가와 관측 등가의 관계에 대해서도 혼란스러워합니다. 그러나 함수에 대한 확장 평등이있는 Agda에서 (가정으로), 단순하게 입력 된 람다 미적분학 (실수가 아닌 경우 완전히 추상적 인 의미론을 가짐)의 경우, 동등성 동등성은 관측 적 동등성과 동일합니다. 의견이나 답변으로 나를 바로 …
2
매듭 문제에서 영감을 얻은 GI에 대한 접근
GI 와 Knot Problem은 모두 수학적 객체의 구조적 동등성을 결정하는 문제입니다. 그들 사이에 연결을 설정 한 결과가 있습니까? 매듭 다항식을 통해 통계 물리학에 대한 매듭 문제의 좋은 연관성이 탐구되었으며 , 대해 유사한 결과가 있습니까?GIGIGI G I를 조사하기 전에 표준 결과 / 경고 / 제안 / 의견이 있는지 알아두면 특히 도움이됩니다.GIGIGI …
3
오토마타와 일반 언어에서 국가 복잡성의 중요성?
나는 두 개의 정규 언어 (Galina Jiraskova에 의한)의 연결로 인한 상태 복잡성에 대해 2009 년 Galina Jiraskova의 " 정규 언어와 설명 복잡성 연결 "을 읽고 있지만, 국가 복잡성의 실질적인 영향이 무엇인지 이해할 수 없습니다. . 나를 놀라게 한 첫 번째 사소한 생각은 복잡성이 높을수록 기계에 더 많은 시간과 공간이 필요하다는 …
2
0-1 선형 프로그래밍 : 최적 공식 계산
고려 차원 공간 및하자 형태의 선형 제약 될 여기서 , 및 .nnn{0,1}n{0,1}n\{0,1\}^ncccㅏ1엑스1+ a2엑스2+ a삼엑스삼+ . . . + a n - 1엑스n - 1+ a엔엑스엔≥ka1x1+a2x2+a3x3+ ... +an−1xn−1+anxn≥ka_1x_1 + a_2x_2 + a_3x_3 +\ ...\ + a_{n-1}x_{n-1} + a_nx_n \geq kai∈Rai∈Ra_i \in \mathbb{R}xi∈{0,1}xi∈{0,1}x_i \in \{0,1\}k∈Rk∈Rk \in \mathbb{R} 분명히 ccc 는 두 개의 …
2
treewidth와 관련된 그래프 매개 변수
다음 프로세스를 통해 생성 할 수있는 개의 정점 에 대한 그래프에 관심 이 있습니다.nnn 정점 에서 임의의 그래프 시작 합니다. 모든 정점 레이블 G를 같이 하지 않는 .k ≤ n GGGGk≤nk≤nk\le nGGG 새로운 생산 그래프 G′G′G' 새로운 정점 부가함으로써 vvv 하나 이상에 접속되어, 미사용 정점 GGG , 및 연결되지 않은 …
1
유형 클래스의 수학적 (범주) 설명
기능적 언어는 객체가 유형과 형태 기능인 카테고리 로 볼 수 있습니다 . 이 모델에서 타입 클래스 는 어떻게 맞습니까? 필자는 대부분의 유형 클래스가 가지고 있지만 Haskell로 표현되지 않은 제약 조건을 만족시키는 구현만을 고려해야한다고 가정합니다. 예를 들어, 우리는 Functorwhich fmap id ≡ id및 fmap f . fmap g ≡ fmap (f …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.