«reference-request» 태그된 질문

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

2
1-in-3 SAT에서 제한된 수의 변수 발생
변수 발생 수가 제한된 1-in-3-SAT의 복잡성 클래스에 대해 알려진 결과가 있습니까? Peter Nightingale과 함께 다음과 같은 비열한 감소를 생각해 냈지만 이것이 알려지면 인용하고 싶습니다. 여기에 우리가 생각 해낸 트릭이 있습니다. 이는 변수 당 3 개의 발생으로 제한되는 1-in-3-SAT가 NP 완료이고 #P 완료 (1-in-3-SAT이므로) 이므로 3-SAT가 3 개의 발생으로 제한됨 은 …
4
알고리즘 수학적 분석이 있습니까?
있다 알고리즘 그래프 이론 / 숫자 이론 / 조합론 / 정보 이론 / 게임 이론. 알고리즘 수학적 분석이 있습니까? 위키에 따르면 수학적 분석 에는 미분, 통합, 측정, 한계, 무한 시리즈 및 분석 함수 이론이 포함됩니다. 실수 변수의 실수와 실수 함수를 다루는 실수 분석 (wiki) 에 초점을 두는 것이 좋습니다. "알고리즘"은 …
6
이론적 인 CS에 순수한 수학에 관한 주제가 있습니까?
저는 이론적 인 컴퓨터 과학, 특히 근사 알고리즘의 대학원생입니다. 나는 이제 순수한 수학에 더 관심이 있다는 것을 알게되었습니다 (CS 과정보다 수학 과정을 더 많이 즐 겼기 때문에 이것을 말할 수 있습니다). 이론적 인 컴퓨터 과학 분야에서 상당히 순수한 수학 영역 (더 정확하게 말하면, CS에 대한 응용 프로그램을 고려하지 않고 순수 …
1
끈 동질의 존재를 결정
다음 문제를 고려하십시오. 두 개의 스트링 x, y가 주어지면, f (x) = y와 같은 스트링 동형이 존재하는지 여부를 결정하십시오. 이 문제가 에 있음을 쉽게 알 수 있습니다. 이 문제에 관해 우리가 말할 수있는 다른 것들이 있습니까? 예를 들어 또는 있습니까?NPNPNPcoNPcoNPcoNPPPP 이 문제는 매우 자연스러워 보이므로 철저히 연구해도 놀라지 않습니다. 그러나 …
2
실수의 계산 복잡성의 정의를 판단하는 방법은 자연 스럽거나 적합합니까?
우리가 알고 있듯이, 알고리즘의 계산 복잡도의 정의는 거의 논쟁의 여지가 없지만, 실제의 계산 복잡성 또는 실수에 대한 계산 모델의 정의는 그러한 경우가 아닙니다. 우리는 Computable Analysis 책에서 Blum and Smales의 모델과 모델을 알고 있습니다. 그리고 Computable Analysis의 모델은 클래식 모델과 일치하지만 실수의 계산 복잡도 정의는 클래식 모델로 이식 될 수 …
1
최단 경로에 쓸모없는 모서리 식별
그래프 고려하십시오 지지G(문제는 방향 그래프와 비 방향 그래프 모두에 해당됩니다). 통화 의 거리 행렬 : 정점으로부터 최단 거리 인 정점에 의 (예를 들면, 특정 고정 집계 기능 또는 ).미디엄지미디엄지M_G지지G미디엄지[ 나는 , j ]미디엄지[나는,제이]M_G[i, j]나는나는i제이제이j지지G+++최대최대\max I는 서브 그래프라고 지'지'G' 의 지지G (동일한 정점 세트) 인 SP 상당 하는 지지G 경우 미디엄지= …
3
게임에 대한 초현실적 숫자의 구현
초현실적 인 숫자의 Conway에 의해 아주 멋진 건축이 있습니다. 그것들은 실수와 서 수가 모두 포함 된 "숫자"이며, 완전히 순서가 정해지고, 필드의 모든 속성을 갖습니다 (단, 집합이 아닌 클래스를 제외하고). 소개는 이 pdf 또는 Wikipedia 를 참조하십시오 . 그들은 조합 게임을 연구하기 위해 원래 도입 된 소위 "게임"으로 더욱 일반화 될 …
1
자연 변환 및 파라 메트릭
에서 무료 정리 (theorem)! Wadler는 매개 변수의 특성화는 자연스런 자연 변형의 관점에서 다시 표현 될 수 있으며 이는 추가 논문의 주제가 될 것이라고 말했다. 그는 어떤 종이를 언급하고 있습니까? 내가 아는 매개 변수에 대한 범주 적 접근 은 Bainbridge, Freyd, Scedrov 및 PJ Scott의 Functorial Polymorphism 에서와 같이 자연 변형 …
2
경계도 그래프의 W [1]-하드 문제
경계도 그래프에서도 W [1]-어려운 문제를 알고 있습니까? 미터법 차원은 최대 3 도인 그래프에서는 어렵지만 W [2]입니다. Red-Blue Nonblocker는 경계도 그래프에서 W [1] -hard 였지만 증거에 오류가 있었으며 (Downey Fellows 2013의 책), 파란색 정점이 경계도 인 경우에만 어렵습니다.
1
Impagliazzo와 Wigderson의 유명한 P = BPP 용지
1997 년 Impagliazzo와 Wigderson의 유명한 논문을 읽고 있습니다.이 분야를 처음 접했고이 논문은 간결한 컨퍼런스 버전이므로 증명을 따르기가 어렵습니다. 특히, 그들의 새로운 정리 중 일부는 증거가 부족합니다. 내가 아는 한 저널 버전은 출판되지 않았다.P=BPPP=BPP\mathsf P=\mathsf{BPP} 나는 그들의 결과를 배울 수있는 자료를 찾고있다. 그런 자료에 대해 말씀해 주시면 감사하겠습니다.
7
고급 알고리즘 핸드북
알고리즘의 고급 주제 (CLRS 및 DPV와 같은 알고리즘 교과서에서 다루지 않는 주제)에 대한 리소스 (바람직하게는 핸드북)를 찾고 있습니다. Erik Demaine 및 David Karger의 Advanced Algorithms 코스 와 같은 알고리즘 코스에서 주제를 가르치는 데 사용할 수있는 자료 유형입니다 . 핸드북과 같은 분야에 대한 개요를 제공하는 자료가 바람직하지만 Vijay Vazirani의 "근사 알고리즘"책과 …
1
완전한 그래프 동형화 문제
Graph Isomorphism (GI) 완료 문제를 연구하고 싶습니다. Kellogg S. Booth (1979)의 논문 "다항식으로 그래프 동형에 해당하는 문제"에서 Edge 교체 기술, 컴포지션 기술 등을 사용하여 많은 기본 문제가 GI 완료됨을 증명했습니다. 최근 논문에서 사용되는 몇 가지 기술을 더 배우고 싶습니다. 어떤 그래프 클래스가 GI 완료임을 증명하는 데 더 집중된 최근 논문을 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.