«reference-request» 태그된 질문

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

1
별명 분석에 관한 문헌
CS에서 석사 논문을 작성하고 있으며 별칭 분석을 진행하고 있습니다. 내가 관심이있는 것은 Java와 같은 언어에 대한 절차 내, 흐름에 민감한 필수 및 May-alias 분석입니다. 이 주제의 기본 사항을 자세하게 설명하는 텍스트를 찾고 있지만 실제로 적합한 것을 찾지 못했습니다. 나는 컴파일러와 정적 분석에 관한 많은 교과서에서 살아남 았지만 거기에서 아무것도 찾지 …
1
부울 수식 균형
부울 수식 균형 문제 의 복잡성에 대한 참조를 찾고 있습니다. 특히, 부울 공식은 에서 균형을 수 있다는 것을 알고 있습니까?C0AC0\mathsf{AC^0} 부울 공식 밸런싱이 있다는 간단한 증거가 있습니까?C0AC0\mathsf{AC^0} "단순"이란 아래에서 언급 한 것보다 단순한 증거를 의미합니다. 특히 에있는 부울 수식 평가에 의존하지 않는 증거를 찾고 있습니다.N C1NC1\mathsf{NC^1} 배경 여기에 언급 된 …
2
전산 학습 이론 입문
최근에 적절한 수의 CoLT 논문을 읽었습니다. 비록 개별 논문들에 대해 투쟁하지는 않지만 (적어도 다른 이론 논문들과 투쟁하는 것보다 많지는 않지만), 전체적으로 그 분야에 대한 폭 넓은 이해가 있다고 생각하지는 않습니다. 대학원 수준에서 CoLT를 소개하기위한 표준 텍스트, 설문 조사 또는 강의 노트가 있습니까? 나는 기본 이론 A 배경을 가지고 있지만 기계 …
1
최소 사이클이 이중 모서리 커버를 형성하도록 둘레
보자 . 모든 g- 사이클 세트가 G 의 이중 모서리 커버를 형성하도록 (즉, 모든 모서리가 정확히 2 개의 g- 사이클에 의해 공유 됨) 임의의 두 교차점이되도록 둘레 g 의 간단한 그래프 G 를 생성해야합니다. g 사이클은 꼭짓점이거나 가장자리이거나 비어 있습니다. 생성 된 그래프는 임의로 커야합니다.지≥ 3g≥3g\geq 3지GG지gg지gg지GGgggggg 세대의 방법은 그것에 …
1
BDD를 사용하여 표현 된 그래프의 알고리즘
그래프에 대한 가장 간단한 표현은 인접 행렬 / 목록을 사용합니다. 즉, 각 노드와 가장자리가 명시 적으로 나타납니다. 규칙 성이 강한 그래프에 대한 암시 적 표현의 중요성은 오랫동안 인식되어 왔습니다. 예를 들어 Galperin & Wigderson (1983), Papadimitriou & Yannakakis ( 1986 년 간결한 그래프 표현에 대한 참고 사항 , 1986)는 인접 …
1
양자 컴퓨터가 임의의 양자 역학 시스템을 효율적으로 시뮬레이션 할 수 있다는 증거는 무엇입니까?
JBV는 몇 가지 의견을 질문으로 바꾸겠다고 제안했습니다. 또 다른 질문 [1]은 QM 컴퓨팅의 응용에 대해 묻습니다. 한 가지 대답은 "양자 역학을 효율적으로 시뮬레이션"하는 것이 었습니다. 분명히이 아이디어는 Feynman의 주제에 대한 초기 글로 거슬러 올라갑니다. 비록 참조가 없지만. 그래서: 질문. 양자 컴퓨터가 임의의 양자 기계 시스템을 효율적으로 시뮬레이션 할 수 있다는 …
2
반 공간 범위 계산을위한 트레이드 오프 경계
차원 포인트 집합에 대해 반 공간 범위 카운팅 쿼리를 수행하기 위해 현재 최선의 경계는 무엇입니까? 시간 / 공간 트레이드 오프 형태로 표현됩니다. Matousek의 정액 1993 용지 (정리 6.2 효율적인 계층 적 절단으로, 범위 검색 상태)에 따라, 우리가 교차되어 질의에 대한 범위를 계산 할 수있는 P를 들면 halfspaces을 1 ≤ P …
1
최소 코인 무게 측정 수 결정
정보 이론의 두 가지 문제에 관한 논문 에서 Erdõs와 Rényi는 동전 세트에서 허위 동전의 수를 결정하기 위해 수행해야하는 최소 계량 수에 대한 하한을 제시합니다 .엔nn 더 공식적으로 : 거짓 동전은 오른쪽 동전보다 무게가 작습니다. 오른쪽 동전과 거짓 동전 모두 의 가중치 와 가 알려져 있습니다. 스케일은 임의의 수있는 수단에 의해 …
1
MUB에 대한 최적의 측정
하자 상호 편견 염기 세트 일 (MUB)의 , 즉 각 정규직 교 기초 및 대 우리는 . 에서 임의의 벡터를 구별하는 데 관심이 있습니다. 최소한 MUB의 특정 구성에 대해 최적의 (최악의 경우 또는 평균이 균일 한 사전 평균) POVM 측정이 문헌의 어느 곳에서나 명시 적으로 식별 되었습니까 (예 : Holevo …
1
그래프의 보로 노이 다이어그램
하자 (양) 가중 가장자리 그래프 될. 내가 노드 / 사이트 집합의 보로 노이 다이어그램을 정의 할 노드와 연결, 서브 그래프의 의 엄격 가까이 모든 노드에 의해 유도 의 다른 노드보다 , 호의 무게의 합으로 경로의 길이를 측정합니다. 는 의 보로 노이 지역 입니다. 예를 들어 아래의 녹색 노드는 에 있고 …
3
통계 학습 이론의 최근 발전을위한 자료 / 책
저는 VC-Dimension의 이론에 대해 잘 알고 있지만 통계 학습 이론의 최근 (최근 10 년) 발전을보고 있습니다. 정리, 유사 치수, 지방 산란 치수, 포장 번호, Rademacher 구성 및 내가 모르는 기타 결과 / 도구. 웹 사이트, 설문 조사, 기사 모음 또는 무엇보다도 이러한 주제를 다루는 책이 있습니까? 또는 사람들이 축 정렬 …
2
XOR 대신 AND를 계산하는 양자 알고리즘 ala Deutsch의 알고리즘이 있습니까?
Deutsch의 알고리즘은 한 번의 f 평가로 잘 알려진 양자 컴퓨팅 f(0)+f(1)mod2f(0)+f(1)mod2f(0) + f(1)\mod{2} 입니다 . 우리가 교체 할 경우 + 와 \ cdot 문제는 오히려 다른 될 것으로 보인다. 내 질문은 : 값 계산 양자 알고리즘이 존재 F (0) \ cdot F (1) 의 한 평가 사용 (또는 당신이 선호하는 …
3
과제 이외의 명령형에 대한 형식 유추
명령형 언어의 유형 시스템에 관한 연구 논문에서 필자는 가변 참조가 있지만 복합 연산자, 루프 또는 조건부와 같은 명령형 제어 구조가없는 언어에 대한 솔루션 만 찾습니다. 따라서 http://rust-lang.org 와 같은 부분 형식 유추를 갖는 명령형 언어를 구현할 수있는 방법이 명확하지 않습니다 . 논문은 List of a매개 변수화 된 유형이 Hindley-Milner 유형 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.