«reference-request» 태그된 질문

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

1
최소 코드리스 홀수 사이클 그래프 완료 : NP-hard입니까?
최근 연구에서 다음과 같은 흥미로운 문제가 발생했습니다. 인스턴스 : 그래프 .지 ( V), E)G(V,E)G(V, E) 솔루션 : 완성 된 그래프 가 모든 에지 가 코드리스 홀수 사이클에 포함되는 특성을 갖도록 에지 세트 의 수퍼 세트 로 정의 된 코드리스 홀수 사이클 완료 . E G ' ( V , E …
5
컴파일러 정확성 증명
초급 학생 수준에서 바람직하게 denotational 방법을 사용하여 컴파일러 정확성 증명을 다루는 자습서 자료를 찾고 있습니다. 또는 문제를 설명하는 데 사용할 수있는 간단한 컴파일러 예제를 알고 있습니까? (나에게 일어난 첫 번째 예는 접두사에서 접미사 표현식으로의 번역가였습니다. 그러나 구문에서 유도를 수행하는 방법 이외의 흥미로운 것은 표시하지 못했습니다.)
2
n 차원 패턴 매칭
n 차원 배열 내에서 정확한 n 차원 하위 ​​배열을 찾는 알려진 결과는 무엇입니까? 1D에서는 문자열 일치 문제 일 뿐이며 KMP는 선형 시간으로 처리합니다. 2D 에서이 논문 은 여분의 공간이 거의없는 선형 시간에 수행 될 수 있음을 보여주었습니다. 고정 치수에 대해 선형 시간 최악의 경우에이 문제를 해결할 수 있습니까?
5
여러 패스로 st-connectivity의 공간 사용량을 줄입니까?
n 개의 꼭짓점이 있는 그래프 가 m 개의 가장자리 스트림으로 표시되지만 스트림을 통해 여러 패스가 허용 된다고 가정 합니다.지GG엔nn엠mm Monika Rauch Henzinger, Prabhakar Raghavan 및 Sridar Rajagopalan 은 데이터에 k 패스가 허용되는 경우 G에 주어진 두 정점 사이에 경로가 있는지 여부를 결정하기 위해 공간이 필요 하다는 것을 관찰했습니다 . 그러나 …
4
무작위 추출기의 구현에 대한 현재 연구가 있습니까?
무작위 추출기 구성 구현에 대한 연구가 있었습니까? 추출기 증명은 Big-Oh를 사용하여 숨겨진 숨겨진 상수가 많을 수 있으므로 프로그래밍 방식으로 구현하는 것은 비현실적입니다. 몇 가지 맥락 : Monte Carlo 시뮬레이션에 사용하기 위해 임의 추출기 (아마도?)의 빠른 소스로 임의 추출기를 사용하는 데 관심이 있습니다. 우리 (ETHZ Computational Physics 그룹)는 무작위 추출을 원하는 …
3
선형 대수 알고리즘 / 복잡성 조사
병렬 ( 계층 구조) 을 강조 하면서 선형 대수 (순위, 역, 고유 값, ... 부울, 및 정수 / 합리 행렬과 같은 연산)의 알고리즘과 복잡성에 대한 좋은 조사를 찾고 있습니다. 및 폴리 타임 알고리즘. 최근에 찾지 못했습니다. NCFpFp\mathbb{F}_pNCNCNC 선형 대수의 복잡성에 대한 최근의 좋은 조사 나 책을 알고 있습니까?
1
효율적인 일반적인 Bonferroni 스타일 경계가 있습니까?
확률 이론의 고전적인 문제는 사건의 확률을보다 구체적인 사건으로 표현하는 것입니다. 가장 간단한 경우에, 하나는 말할 수 . 이벤트 A ∩ B에 대해 A B 를 작성해 봅시다 .P[A∪B]=P[A]+P[B]−P[A∩B]P[A∪B]=P[A]+P[B]−P[A∩B]P[A \cup B] = P[A] + P[B] - P[A \cap B]ABABABA∩BA∩BA \cap B P[∪Ai]P[∪Ai]P[\cup A_i]AiAiA_iP[∪Ai]≤∑P[Ai]P[∪Ai]≤∑P[Ai]P[\cup A_i] \le \sum P[A_i]P[∪Ai]≤∑iP[Ai]−maxj∑i≠jP[AiAj].P[∪Ai]≤∑iP[Ai]−maxj∑i≠jP[AiAj].P[\cup A_i] \le \sum_i P[A_i] …
5
일반 그래프에서 완벽한 매칭을위한 결정적 병렬 알고리즘?
복잡성 클래스 에는 클래스 에 속하지 않는 것으로 추정되는 몇 가지 문제 , 즉 결정 론적 병렬 알고리즘 문제가 있습니다. 최대 흐름 문제가 한 예입니다. 에있을 것으로 예상되는 문제가 있지만 아직 증거를 찾을 수 없습니다.PP\mathsf{P}NCNC\mathsf{NC}NCNC\mathsf{NC} 완벽한 매칭 문제는 그래프 이론에서 제기 된 가장 근본적인 문제 중 하나입니다 : 그래프 주어진 …
3
다른 메트릭스에서의 부동산 테스트?
"속성 테스트"에 대한 많은 문헌이 있는데, 두 경우를 구별하기 위해 함수 에 적은 수의 블랙 박스 쿼리를 만드는 문제가 있습니다.에프: { 0 , 1 }엔→ Rf:{0,1}n→Rf\colon\{0,1\}^n \to R 에프ff 는 일부 함수 클래스 의 멤버입니다.기음C\mathcal{C} 에프ff 는 클래스의 모든 함수와 는 입니다.Cεε\varepsilon기음C\mathcal{C} 함수 의 범위 은 때때로 부울입니다. 이지만 항상 …
3
현재 및 향후 고성능 컴퓨터를위한 알고리즘을 설계하는 데 적합한 이론적 모델은 무엇입니까
이 질문은 알고리즘 및 데이터 구조를 설계하기 위해 컴퓨터의 이론적 모델이 무엇인지에 대한 일반적인 질문 과 유사합니다 . 여기서는 현재 고성능 컴퓨터 (예 : Top 500으로 나열된 컴퓨터 ) 또는 심지어 다가오는 슈퍼 컴퓨터. 이 컴퓨터는 일반적으로 거대한 데이터 세트 (일부 사람들은 주로 결합 된 메인 메모리를 가지고 있기 때문에 …
2
언어 자체를“내장”
주요 / 일반 질문 언어로 하자 . 언어 를 및 로 . 고려하십시오 . 그래서 우리는 을 얻기 위해 을 그 자체에 반복적으로 포함 시켰다 .LLLLiLiL_iL0=LL0=LL_0 = LLi={xwy:xy∈Li−1,w∈L}Li={xwy:xy∈Li−1,w∈L}L_i = \{xwy : xy \in L_{i-1}, w \in L\}L = ⋃ L의 I의 L의 Li≥1i≥1i \geq 1L^=⋃LiL^=⋃Li\hat{L} = \bigcup L_iLLLL^L^\hat{L} 했습니다 연구되어? …
1
단열 양자 계산을위한 기하학적 그림이 있습니까?
단열 양자 계산 (AQC)에서, 문제의 해밀턴 (Hamiltonian) 면 상태에서 최적화 문제에 대한 솔루션을 인코딩한다 . 이 기저 상태로 얻으려면, 당신은 해밀턴과 쉽게 냉각 가능한 초기 (접지) 상태에서 시작 을 향한와 "어닐링"(단열 교란) , 즉,HpHpH_pHiHiH_iHpHpH_p H(s)=sHi+(1−s)HpH(s)=sHi+(1−s)Hp H(s) = s H_i + (1-s) H_p 여기서 입니다. AQC에 대한 세부 사항 : http://arxiv.org/abs/quant-ph/0001106v1s∈[0,1]s∈[0,1]s …
2
Grover 알고리즘의 런타임
Grover 알고리즘의 시간 복잡성 (쿼리 복잡성이 아닌)은 무엇입니까? 그것은 그것이 나에게 분명한 것 같다 가 있기 때문에 반복하고 각 반복은 결국 시간이 걸립니다 반사 동작의 사용을 필요로 표준 범용 게이트 세트를 사용하는 .Ω ( 로그( N) N−−√)Ω(log⁡(N)N)\Omega(\log(N) \sqrt{N})Ω ( N−−√)Ω(N)\Omega(\sqrt{N})Ω ( 로그( N) )Ω(log⁡(N))\Omega(\log(N)) 문제는 Grover 알고리즘의 시간 복잡성이 이라는 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.