이론 컴퓨터 과학

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

1
이 유형의 유 방향 그래프 문제의 이름은 무엇입니까?
가장자리가 자연적인 숫자로 꾸며진 지시 그래프 가져 가십시오 . 경로의 각 연속 모서리가 이전 모서리를 장식하는 자연수보다 큰 자연수로 장식되도록 두 정점 과 사이 의 모든 경로 세트를 원합니다 .지지G피피PV1V1v_1V2V2v_2 이를위한 응용 프로그램은 버스 또는 기차 일정입니다. 역 간의 환승을 기반으로 두 도시 사이의 다른 경로를 결정하려는 경우. (첫 번째 …
3
“튜링 머신을 만들 수있는 물리적 물건”이라는 이름이 있습니까?
컴퓨터 과학의 놀라운 점 중 하나는 물리적 구현이 어떤 의미에서 "부적절하다"는 것입니다. 사람들은 릴레이, 진공관, 이산 트랜지스터 등과 같은 여러 가지 기판으로 컴퓨터를 성공적으로 구축했습니다. 곧 비선형 광학 재료, 다양한 생체 분자 및 기타 기판으로 Turing-complete 컴퓨터를 만드는 데 성공할 수 있습니다. 원칙적으로 당구 공 컴퓨터 를 구축하는 것이 가능해 …
3
외국 함수 인터페이스 (FFI) 및 다중 언어 바인딩을 설명하는 프로그래밍 언어 이론이 있습니까?
외국 함수 인터페이스 (FFI) 및 다중 언어 바인딩을 설명하는 프로그래밍 언어 이론이 있습니까? 나는 물었다 유래에 대한 몇 가지 구현 문제 여기에 적합하지 않습니다. 그러나 나는이 사이트의 관점에서 묻고 여기서 얻을 수있는 것이 무엇인지보고 싶다. 답장을 보내 주셔서 감사합니다! 메타에 대한 그의 대답에 대해 Dave Clarke에게 감사합니다 !
3
핑거 트리 구조 부트 스트랩
2 ~ 3 개의 손가락 나무로 작업 한 후 나는 대부분의 작업에서 그들의 속도에 깊은 인상을 받았습니다. 그러나 내가 겪었던 한 가지 문제는 큰 손가락 나무의 초기 생성과 관련된 큰 오버 헤드입니다. 건물은 일련의 연결 작업으로 정의되므로 불필요한 손가락 트리 구조를 많이 만들게됩니다. 2-3 손가락 나무의 복잡한 특성으로 인해 부트 …
1
랜덤 k-CNF 모델을 넘어서는 평균 사례 타율 학 / 모순
c n 절을 갖는 n 변수에 대한 랜덤 CNF 공식 은 충분히 큰 상수 c에 대해 높은 확률로 만족스럽지 못합니다 (즉, 모순입니다) . 따라서, 임의의 k- CNF 공식 ( 충분히 c )은 만족할 수없는 부울 공식 (또는 이중, 타우 톨 로지 , 즉 모순의 부정)에 대한 자연 분포를 구성합니다. 이 …
3
주장되는 이점에도 불구하고 왜 차동 근사 비율이 표준과 비교하여 잘 연구되지 않습니까?
근사 비율이 표준 근사 이론이 있습니다 supAOPTsupAOPT\sup\frac{A}{OPT}( MINMINMIN 목표 문제의 경우 ). AAA 일부 알고리즘 A에서 반환 된 값 AAA과 OPTOPTOPT 최적 값. 그리고 또 다른 이론 은 근사 비율이 \ inf \ frac {\ Omega-A} {\ Omega-OPT} 이고 \ Omega- 주어진 인스턴스에 대해 실현 가능한 솔루션의 최악의 값인 차등 …
3
K가 Kolmogorov 복합성 인 K (xx) <K (x)와 같은 x가 존재한다.
가 문자열 의 Kolmogorov 복잡성을 나타내도록 하자 . 와 같은 문자열이 ? (여기서 는 와 자체를 연결 한 것입니다). 비슷하지만 다른 질문이 여기 에 요청 되었지만 해당 질문에 대한 답변에 제시된 반례는이 질문에 작동하지 않습니다.x K ( x x ) &lt; K ( x ) x x xK(x)K(x)K(x)xxxK(xx)&lt;K(x)K(xx)&lt;K(x)K(xx)<K(x)xxxxxxxxx
2
거의 같은 크기의 가늘고 유사한 데이터 구조의 빠른 결합
주어 두 AVL 트리 T1T1T_1 및 T2T2T_2 및 값 trtrt_r 되도록 ∀x∈T1,∀y∈T2,x&lt;tr&lt;y∀x∈T1,∀y∈T2,x&lt;tr&lt;y\forall x \in T_1, \forall y \in T_2, x < t_r < y , 그것이 함유하는 새로운 AVL 트리를 구성하기 쉽다 trtrt_r 하고있는 숫자 에서 T1T1T_1 과 T2T2T_2 시간에서 O(1+|h(T1)−h(T2)|)O(1+|h(T1)−h(T2)|)O(1+|h(T_1) - h(T_2)|) , 여기서,h(T)h(T)h(T) 트리의 높이이고TTT 긴 나무)들은 높이 …
2
TSP에 대한 Bellman-Held-Karp 알고리즘의 시간 복잡성, 2 소요
최근의 질문 은 Bellman 과 Held-Karp 와 독립적으로 인해 TSP에 대한 현재 고전적인 동적 프로그래밍 알고리즘에 대해 논의했습니다 . 알고리즘은 보편적 으로 시간 으로 실행되는 것으로보고됩니다 . 그러나 최근에 한 학생이 지적했듯이이 러닝 타임에는 불합리하게 강력한 계산 모델이 필요할 수 있습니다.O(2nn2)O(2nn2)O(2^n n^2) 다음은 알고리즘에 대한 간략한 설명입니다. 입력 값은 개의 …
2
제한된 직경의 가장 큰 점 찾기
주어진 점에서 에서 R의 (D) 및 거리 (L)는 그들없이 두개의 유클리드 거리를 초과하는 이들 점의 가장 큰 서브 세트 찾을 패 .p1, ...,p엔p1,…,피엔p_1,\ldots,p_n아르 자형디아르 자형디\mathbb{R}^{d}엘엘l엘엘l 이 문제의 복잡성은 무엇입니까? 두 점의 거리가 최대 일 때마다 모서리가있는 점에 대한 그래프 에서 문제는 최대 경사를 찾는 것과 같습니다. 아니 모든 그래프 (일례는 …
1
가족이 스 퍼너 가족인지 여부를 결정하는 복잡성
우리는 {1, ..., n} 의 부분 집합으로 구성된 가족을받습니다 . 가 Sperner 제품군 인지를 결정하는 복잡성에 대한 사소한 하한값을 찾을 수 있습니까? 사소한 하한은 이고 나는 그것이 타이트하지 않다는 것을 강력하게 의심합니다.FF\mathcal{F}mmmFF\mathcal{F}O(nm)O(nm)O(n m) 그 리콜 세트 Sperner 계열 인 경우에 대한 및 의 ; 는 및 Y \ nsubseteq X를 …
2
순열 행렬에 대한 표지 설정
nxn 순열 행렬의 집합 S (N! 가능한 순열 행렬의 작은 부분에 불과 함)를 감안할 때, T의 행렬을 추가하는 것이 모든 위치에서 적어도 1을 갖도록 S의 최소 크기 부분 집합 T를 어떻게 찾을 수 있습니까? S가 S_n의 작은 하위 그룹 인이 문제에 관심이 있습니다. 욕심 많은 알고리즘보다 훨씬 빠른 근사 알고리즘을 …
5
“One Way Functions”에는 암호화 외부의 응용 프로그램이 있습니까?
함수 f 가 다항식 시간 알고리즘으로 계산 될 수 있지만 모든 랜덤 화 된 다항식 시간 알고리즘 A에 대해 단방향입니다 .f:{0,1}∗→{0,1}∗f:{0,1}∗→{0,1}∗f \colon \{0, 1\}^* \to \{0, 1\}^*fffAAA Pr[f(A(f(x)))=f(x)]&lt;1/p(n)Pr[f(A(f(x)))=f(x)]&lt;1/p(n)\Pr[f(A(f(x))) = f(x)] < 1/p(n) 각 다항식 와 충분히 큰 N ,라고 가정 X하면 으로부터 선택되는 균일 { 0 , 1 } N …
2
정지 문제의 제한된 버전에 대해 무엇을 알고 있습니까?
( 업데이트 : 아래에 허용 된 답변에 대한 주석 이이 질문이 잘 정의되어 있지 않기 때문에 더 나은 질문이 여기 에 제기 됩니다) 정지 문제의 불가능성에 대한 고전적인 증거는 정지 감지 알고리즘을 입력으로 적용하려고 할 때 모순을 입증하는 데 달려 있습니다. 자세한 내용은 아래 배경을 참조하십시오. 설명 된 모순은 자기 …
2
비트 이론은 정보 이론적 보안 모델에서 명백한 전송을 제공합니까?
서로를 신뢰하지 않는 두 명의 강력한 참가자가 있다고 가정합니다. 비트 약정 (예 : 한 플레이어가 다른 플레이어에게 전달할 수 있지만 첫 번째 플레이어가 두 번째 키를 제공 할 때까지 열 수없는 데이터가 들어있는 봉인 된 봉투)에 액세스 할 수 있습니다. 이것을 사용하여 명백한 전송 프로토콜을 작성할 수 있습니까? 플레이어가 부정 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.