«reference-request» 태그된 질문

참조 요청은 저자가 질문과 관련된 작업에 대해 알아야 할 때 사용됩니다.

1
?
Dick Lipton의 블로그를 읽는 동안 그의 Bourne Factor 게시물 끝 부분에서 다음 사실을 발견 했습니다. 모든 에 대해 ( 2 n ) 형식의 관계가있는 경우 ! = m − 1 ∑ k = 0 a k b c k k 여기서 m = p o l y ( n ) …
4
Biclique를 찾기위한 매개 변수화 된 알고리즘
nnn 정점 무 방향 그래프가 주어지면 k × k -biclique 인 서브 그래프 를 찾는 가장 잘 알려진 런타임 범위 는 무엇입니까? 보다 매개 변수화 된 알고리즘이 더 k×kk×kk\times k(nk)poly(n)(nk)poly(n)\binom{n}{k}\mbox{poly}(n) biclique의 "추측"한 쪽의 시간 알고리즘과 적어도이 있는지 모두에 다른 정점 사건?kkk
1
스캇의 오리지널 LCF 종이를 찾고
다음의 원고는 공개되어 있습니까? Dana Scott, 1969, 더 높은 유형의 계산 가능한 기능 이론 . 미공개 세미나 노트, 7 페이지, 옥스포드 대학. 섹션 8.1.2에서 본 논문의 논의가, 유형 등의 세트 , 카르 도네 & 힌들리, 2006 년 람다 미적분과 조합 적 논리의 역사 ; 또한 10.1 절, 도메인 이론 (Domain …
1
이 유형의 유 방향 그래프 문제의 이름은 무엇입니까?
가장자리가 자연적인 숫자로 꾸며진 지시 그래프 가져 가십시오 . 경로의 각 연속 모서리가 이전 모서리를 장식하는 자연수보다 큰 자연수로 장식되도록 두 정점 과 사이 의 모든 경로 세트를 원합니다 .지지G피피PV1V1v_1V2V2v_2 이를위한 응용 프로그램은 버스 또는 기차 일정입니다. 역 간의 환승을 기반으로 두 도시 사이의 다른 경로를 결정하려는 경우. (첫 번째 …
1
랜덤 k-CNF 모델을 넘어서는 평균 사례 타율 학 / 모순
c n 절을 갖는 n 변수에 대한 랜덤 CNF 공식 은 충분히 큰 상수 c에 대해 높은 확률로 만족스럽지 못합니다 (즉, 모순입니다) . 따라서, 임의의 k- CNF 공식 ( 충분히 c )은 만족할 수없는 부울 공식 (또는 이중, 타우 톨 로지 , 즉 모순의 부정)에 대한 자연 분포를 구성합니다. 이 …
2
제한된 직경의 가장 큰 점 찾기
주어진 점에서 에서 R의 (D) 및 거리 (L)는 그들없이 두개의 유클리드 거리를 초과하는 이들 점의 가장 큰 서브 세트 찾을 패 .p1, ...,p엔p1,…,피엔p_1,\ldots,p_n아르 자형디아르 자형디\mathbb{R}^{d}엘엘l엘엘l 이 문제의 복잡성은 무엇입니까? 두 점의 거리가 최대 일 때마다 모서리가있는 점에 대한 그래프 에서 문제는 최대 경사를 찾는 것과 같습니다. 아니 모든 그래프 (일례는 …
2
비트 이론은 정보 이론적 보안 모델에서 명백한 전송을 제공합니까?
서로를 신뢰하지 않는 두 명의 강력한 참가자가 있다고 가정합니다. 비트 약정 (예 : 한 플레이어가 다른 플레이어에게 전달할 수 있지만 첫 번째 플레이어가 두 번째 키를 제공 할 때까지 열 수없는 데이터가 들어있는 봉인 된 봉투)에 액세스 할 수 있습니다. 이것을 사용하여 명백한 전송 프로토콜을 작성할 수 있습니까? 플레이어가 부정 …
2
평면 그래프에서 삼각형 계산의 시간 복잡성
일반적인 그래프에서 삼각형을 세는 것은 시간에 사소하게 수행 될 수 있으며 훨씬 더 빨리하는 것이 어렵다고 생각합니다 (참조 환영). 평면 그래프는 어떻습니까? 그것은에서 할 수있는 다음의 간단한 절차 쇼 O ( N 로그 N ) 시간. 내 질문은 두 가지입니다.O(n3)O(n3)O(n^3)O(nlogn)O(nlog⁡n)O(n\log{n}) 이 절차에 대한 참조는 무엇입니까? 시간을 선형으로 만들 수 있습니까? …
1
스택으로 단어를 푸시 할 수있는 눈에 띄게 푸시 다운 오토마타 변형이 있습니까?
나는 눈에 띄게 푸시 다운 오토마타를 다루는 논문이나 연구가 있지만 단일 문자가 아닌 단어를 스택에 푸시 할 수 있는지 궁금합니다. 대안 적으로, 심볼이 전환에 푸시 될 수있게하는 구성 은 동일한 목표를 달성 할 수있다.ϵϵ\epsilon 분명히 그러한 변형이 형성 될 수는 있지만 VPA를 흥미롭게 만드는 폐쇄 및 결정 가능성 속성을 망칠 …
1
(홀 홀, 홀 홀이없는) 그래프에 대한 참조?
X-free 그래프는 유도 하위 그래프로 X의 그래프가없는 그래프입니다. 구멍은 적어도 네 꼭지점 사이클이다. 홀수 구멍 정점 홀수와 정공이다. antihole은 구멍의 보수입니다. (홀 홀, 홀 홀 방지) 프리 그래프는 정확히 완벽한 그래프입니다. 이것이 강력한 완전 그래프 정리 입니다. 다항식 시간으로 완벽한 그래프에서 가장 큰 독립 집합 (및 가장 큰 도난) 을 …
1
에서 읽기
이 문제를 이해하려면 무엇을 읽어야합니까? 깊이가 작은 양자 회로의 힘. IS ? 다시 말해, 임의의 양자 알고리즘의 "양자"부분을 다항식 시간 고전 후 처리를 기꺼이 수행 할 수 있다면 polylog (n) 깊이로 압축 할 수 있습니까? (이것은 쇼어 알고리즘에 해당되는 것으로 알려져있다.) 그렇다면, 범용 양자 컴퓨터를 구축하는 것이 일반적으로 생각되는 것보다 …
2
이론적 컴퓨터 과학이 무엇인지 더 배울 수있는 곳은?
저는 수학을 전공하는 대학원생이며 이론적 인 컴퓨터 과학은 주제에 대해 잘 읽을 수 없었기 때문에 그것이 무엇인지 이해하지 못하는 영역입니다. 이 도메인이 실제로 어떤 주제인지, 어떤 주제에 관심이 있는지, 어떤 필수 구성 요소가 필요한지 등을 알고 싶습니다. 지금은 알고 싶습니다. 이론적 인 컴퓨터 과학에 대한 좋은 입문서는 무엇입니까? 그런 것이 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.