«reference-request» 태그된 질문

이 문제에 대해 더 많이 알아 내기 어려운 점 중 하나는 그래프 매칭 문제가 훨씬 더 유명한 사촌 인 매칭 문제와 다르지만 검색 엔진을 사용할 때 구별하기 어렵다는 것입니다. 주어 두 그래프 및 이되도록이 과제는 가능한 한 와 가장자리 사이에 많은 대응 관계를 설정 하도록 bijection 를 찾는 것 입니다.G=(V,E)G=(V,E)G=(V,E)G′=(V′,E′)G′=(V′,E′)G'=(V',E')|V|=|V′||V|=|V′||V| …

11 reference-request  graph-theory  graph-isomorphism 

전산 암호화 보안의 맥락에서 비트 코인 프로토콜을 이해하려고합니다. 이 질문은 비트 코인에 대한 암호화 기사의 기초에 대한 참조 요청입니다. 첫 번째 질문은 추상 암호화 프로토콜 비트 코인이 구현하려고하는 것입니다. 비트 코인을 캡처하는 암호화에서 전자 화폐 / 디지털 통화에 대한 정의가 있습니까? 안전한 전자 화폐에 대한 보안 요구 사항은 무엇입니까? 대답이 …

11 reference-request  cr.crypto-security 

이 완벽한 정보 게임은 알고 있거나 연구 한 그래프에서 재생됩니까? 그래프 주어지면 G=(V,E)G=(V,E)G= (V,E)두 명의 플레이어가 교대로 에지 또는 고립 된 노드를 선택합니다. 플레이어가 에지 e=(u,v)e=(u,v)e = (u,v) 하면 두 개의 노드 uuu 및 vvv 가 입사 에지와 함께 삭제됩니다. 플레이어가 격리 된 노드를 선택하면 노드가 삭제됩니다. 이동할 수없는 첫 …

11 reference-request  combinatorial-game-theory 

부울 함수의 복잡성 측정에 대한 연구에서 매우 흥미로운 개방형 문제는 소위 감도 대 블록 감도 추측입니다. 감도 대 블록 감도에 대한 배경 지식은 http://www.scottaaronson.com/blog/?p=453 에서 S. Aaronson의 다음 블로그 게시물을 참조하십시오 . 내가 아는 한, 와 관련 하여 에 알려진 최고의 상한 은 입니다. [케넌, Kutin 용지]하지만 물론 아마도 관련된 …

11 cc.complexity-theory  reference-request  fourier-analysis 

일부 배경 : LWE (Learning with Errors) 문제에 대한 "알려지지 않은"하한 (또는 경도 결과) 및 링 위의 오류를 사용한 학습과 같은 일반화를 찾는 데 관심이 있습니다. 구체적인 정의 등을 보려면 다음과 같이 Regev의 훌륭한 설문 조사를 참조하십시오 . http://www.cims.nyu.edu/~regev/papers/lwesurvey.pdf (R) LWE 스타일 가정의 표준 유형은 (아마도, 양자) 감소를 통해 (아마도, …

11 cc.complexity-theory  reference-request  cr.crypto-security  machine-learning  lg.learning 

NP가 coNP와 같은지에 대한 질문에 관심이 있습니다. 나는 좋은 간행물에 대한 조언을 많이 읽어 주셔서 감사합니다. 기록을 위해이 질문은 P가 NP와 같은지 여부에 대한 질문과 밀접하게 관련되어 있음을 알고 있습니다 (NP! = coNP이면 P! = NP). 건배, 데릭

11 cc.complexity-theory  reference-request  p-vs-np 

편집 (Tara B에 의해) : 나는 내 자신의 논문에 대해 스스로 그것을 증명해야했기 때문에 여전히 이것에 대한 증거 에 대한 참조 에 관심 이 있습니다. 이 백서에 나오는 정리 4의 증거를 찾고 있습니다. Liu와 Weiner 의 문맥이없는 언어의 교차로의 무한 계층 . 정리 4 차원 아핀 매니 치수이며, 각각의 매니 …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice 

하자 1 , a는 2 , ... , m은 정수의 시퀀스 일 여기서 각 J ∈ { 1 , 2 , ... , N } . 들어 난 ∈ { 1 , 2 , ... , N } ,하자 m I = | { j : a j = i …

11 ds.algorithms  reference-request  communication-complexity  data-streams 

전통적인 미술관 문제 는 지역을 설정하고 가시성에 대한 개념을 가지고 있으며, 전체 지역을보기 위해 배치해야하는 최소한의 경비원을 요구합니다. 가시 영역이 대신 가드 쌍 으로 정의되는 아트 갤러리 변형을 본 사람이 있습니까 ? 예를 들어, 최소 경계 디스크가 그것을 보호하는 한 쌍의 가드가있는 경우 점을 덮는 것이 하나의 공식 일 수 …

11 reference-request  cg.comp-geom 

N L 에서 다음 문제를 결정할 수 있는지 알고 싶습니다.NLNL\mathsf{NL} (비 결정적 로그 공간) . 두 개의 구별되는 꼭짓점 s 와 t 가 있는 유향 그래프 가 주어지면 G 에서 s 에서 t 까지 의 고유 한 경로 가 있습니까?GGGssstttssstttGGG ? s - t 경로가 있는지 여부와 그러한 경로가 없는지 …

11 reference-request  graph-theory 

저는 현재 로컬 통신이 아닌 게임과 양자 통신의 유익한 측면에 관한 좋은 참고 자료를 찾고 있습니다. 예를 들어, 로컬 게임이 아닌 게임은 QKD 프로토콜의 보안을 보장 할뿐만 아니라 경계의 복잡성을 낮추는 데 능숙하다는 것을 알고 있습니다. 내가 알고 싶은 것은 양자 통신에서 비 로컬 게임에 관한 큰 논문은 무엇입니까? 이 …

11 reference-request  quantum-computing  communication-complexity  quantum-information 

이것은 입력으로서 취 알고리즘을 구성 할 수있다 푸시 다운 오토 마톤 이 오토 마톤 수락 언어한다는 약속과 함께 결정적 문맥 자유 언어이고 출력 결정적 푸시 마톤 정확하게 언어를 허용 받아 에 의해 ?MMML(M)L(M)L(M)NNNMMM 동등한 문제는 입력으로 푸시 다운 오토마타 ( 이 위와 같이 결정적 이라는 약속 )과 결정 론적 푸시 …

11 reference-request  computability  fl.formal-languages  automata-theory 

평균 사례 공간 복잡성이 분석 된 문제를 찾으려고합니다. 보다 구체적으로, 검증 된 공간 복잡도 하한에 초선 형인 문제가 있는지, 특히 평균 사례 분석 (예 : 알고리즘이 허용되는 경우에도 한계 보유)에 대해 알고 싶습니다. 적은 시간 동안 오류를 범하는 등) 미리 감사드립니다

11 cc.complexity-theory  reference-request  space-bounded  average-case-complexity 

조건부 논리는 다른 조건 개념 (예 : 인과 조건부 A)에 해당하는 모달 연산자를 사용하여 기존의 논리적 인 의미를 보강하는 논리입니다 " A 는"B "또는 확률 적 조절" A | B "," A given B ").A□→BA◻→BA\; \square\!\!\!\!\to BAAAA|BA|BA|BAAABBB 일반적으로 이러한 논리는 이론적으로 모델 적으로 연구되지만 프로그래밍 언어 설계 (예 : 명령형 …

11 reference-request  lo.logic  pl.programming-languages  type-theory  proof-theory 

나는 "1 차 공식 에 모델이있다"라는 질문은 일반적으로 결정 불가능 하다는 것을 안다 .ϕϕ\phi 누구든지 유한 모델에 대한 답변을 제공하는 링크 나 책을 줄 수 있습니까? 1 차 수식 가있는 경우 에 유한 모델이 있는지 여부를 결정할 수 있습니까? 나는 그 질문이 잘 알려져 있다고 확신하지만 답을 찾기 위해 어디서부터 …

11 reference-request  lo.logic  computability  finite-model-theory