«reference-request» 태그된 질문

구체적이고 좁은 문제에 관한 논문을 요구하는 질문.

2
빠른 알고리즘이없는 결정 문제
다항식 시간에 해결할 수있는 어려운 결정 문제의 예는 무엇입니까? 최적의 알고리즘이 "느린"문제 또는 가장 빠른 알려진 알고리즘이 "느린"문제를 찾고 있습니다. 다음은 두 가지 예입니다. 완벽한 그래프 인식. FOCS'03 논문 [1] Cornuéjols에서 Liu와 Vuskovic는 문제에 대해 시간 알고리즘을 제공했으며, 여기서 은 꼭짓점의 개수입니다. 이 경계가 개선되었는지 확실하지 않지만 이해하면 더 빠른 …
4
증명 계층 구조를위한 저장소가 있습니까?
나는 스스로 배우는 증거 조수 이며 기본적인 증거를 시작하고 내 길을 가기로 결정했습니다. 증명은 다른 증명을 기반으로하므로 계층 구조를 형성하므로 증명 계층 구조의 저장소가 있습니까? 특정 증명 보조자를 선택하고 라이브러리를 분석하여 계층 구조를 추출 할 수 있지만 체인에서 다음 증명을 찾으려면 라이브러리에 없을 때 할 수 없습니다. 내 마음에 나는 …
2
빈 문자열의 λ 원점은 무엇입니까?
나는 보통 빈 문자열 (빈 단어 또는 null 문자열)에 기호를 사용합니다 . 그러나 일부 사람들 은 ε 대신 λ 를 사용 한다는 것을 알고 있습니다 .εε\varepsilonλλ\lambdaεε\varepsilon 은 "빈"이라는 단어에서 파생 된 것 같습니다 . 그러나 나는 λ 의 기원이 무엇인지 모른다 .εε\varepsilonλλ\lambda 오토마타 이론에는 오토마타의 엡실론 전이가 있으며 람다 전이라고도합니다. …
1
조합 ILP 알고리즘의 가장 빠른 알려진 복잡성
나는 BIG-의 측면에서, 가장 잘 알려진 알고리즘 무엇인가 궁금하네요 정수 선형 계획법을 해결하기 위해, 표기?영형영형O 나는 문제가 완전 하다는 것을 알고 있으므로 다항식을 기대하지 않습니다. 그리고 CPLEX와 같은 실제 응용 프로그램에 사용되는 휴리스틱이 많이 있지만 정확한 알고리즘의 공식적인 최악의 복잡성에 더 관심이 있습니다.엔피엔피NP 일부 - 완전한 문제는 시간의 알고리즘이 및 …
2
실수로 복잡한 클래스가 있습니까?
최근에 한 학생이 NP 경도 증거를 확인하도록 요청했습니다. 그들은 다음 라인을 따라 축소를 수행했습니다. 내 문제 에 대해 NP- 완전으로 알려진 이 문제 줄입니다 (폴리 타임 다 대일 감소로) 는 NP-hard입니다.P′P′P'PPPPPP 내 대답은 기본적으로 다음과 같습니다. 이후 의 값을 가진 경우가 당신이 감소를 건너 뛸 수 있도록이 하찮게 튜링 계산할 …
6
구간에서 두 숫자의 최대 XOR 찾기 : 이차보다 더 잘 할 수 있습니까?
두 개의 숫자 과 r 이 주어지고 l ≤ i에 대해 max ( i ⊕ j ) 를 찾고 싶다고 가정 해 봅시다 .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)} .l≤i,j≤rl≤i,j≤rl\le i,\,j\le r 순진한 알고리즘은 단순히 모든 가능한 쌍을 확인합니다. 예를 들어 루비에는 다음이 있습니다. def max_xor(l, r) max = 0 (l..r).each do |i| (i..r).each …
2
효율적 짧은 샘플링
하자 그래프, 그리고하자 과 두 꼭지점 . 우리는 효율적 짧은 샘플링 수 - 사이에있는 모든 최단 경로들의 세트로부터 임의로 독립적으로 클리핑 및 ? 간단히하기 위해 는 단순하고 방향이 지정되지 않고 가중치가 없다고 가정 할 수 있습니다 .GGGssstttGGGssstttssstttGGG 많은 제한된 그래프에서도 가장 짧은 경로의 수 sss 와 수는 크기에서 지수가 될 …
1
반전 쌍 계산
나누기와 정복의 고전적인 적용은 다음 문제를 해결하는 것입니다. 어레이 주어 별개 유사한 요소 배열의 반전 쌍의 개수를 카운트 : 쌍 ( I , J ) 이되도록 [ I ] > [ J ] 와 I < J .a[1…n]a[1…n]a[1\dots n](i,j)(i,j)(i,j)a[i]>a[j]a[i]>a[j]a[i] \gt a[j]i<ji<ji \lt j 이에 대한 한 가지 접근 방식은 병합 …
2
병렬 컴퓨팅 및 클래스 NC에 대한 몇 가지 질문
이 두 가지 주제에 대한 여러 가지 관련 질문이 있습니다. 첫째, 대부분의 복잡한 텍스트는 클래스에만 적용됩니다 . 연구를 더 깊이 다루는 좋은 자료가 있습니까? 예를 들어 아래의 모든 질문에 대해 설명합니다. 또한, 는 병렬화와의 연관성으로 인해 여전히 상당한 양의 연구를보고 있다고 가정 하지만 틀릴 수 있습니다. 복잡성 동물원의 섹션은별로 도움이되지 …
1
는 "왼쪽에서 오른쪽으로 스캔, 가장 오른쪽 파생"이라는 의미를 언제 얻었 습니까?
Wikipedia 기사 에 따르면 L in 는 "왼쪽에서 오른쪽으로 스캔"을 의미하고 "R"은 "가장 오른쪽 파생"을 의미합니다. 그러나 L R ( k ) 문법 에 대한 Knuth의 원본 논문에서 그는 L R ( k ) (610 페이지의 L R ( k ) )를 "왼쪽에서 오른쪽으로 바운드 k 로 번역 할 수있는"언어로 …
1
실제로 캐시 불명확의 성능 평가에 관한 연구
캐시를 모르는 알고리즘과 데이터 구조 는 Frigo et al. 에서 캐시-잊기 알고리즘, 1999 . 같은 해 의 Prokop의 논문 은 초기 아이디어도 소개합니다. Frigo 등의 논문. 이론과 캐시-불명확 한 알고리즘 및 데이터 구조의 가능성을 보여주는 실험 결과를 제시한다. 많은 캐시가 모르는 데이터 구조는 정적 검색 트리를 기반으로합니다. 이러한 트리를 저장하고 …
1
이진 트리에서 최소 대역폭의 근사치
최소 대역폭 문제는 인접한 두 노드 사이의 최대 거리를 최소화하는 정수 라인에서 그래프 노드의 순서를 찾는 것입니다. 이진 트리의 경우에도 결정 문제는 NP 완료입니다. 대역폭 최소화를위한 복잡성 결과. Garey, Graham, Johnson and Knuth, SIAM J. Appl. 수학, Vol. 34, No.3, 1978 년 . 이진 트리에서 최소 대역폭을 계산할 때 가장 …
4
컴퓨터 과학의 자기 연구
저는 16 살의 남성으로 최근에 친구로부터 컴퓨터 과학에 관한 큰 백과 사전을 받았습니다. 나는 보통 컴퓨터와 기술에 관심이 없지만 컴퓨터 과학이 나를 매혹하기 시작했다. 그러나 CS가 아닌 물리 및 / 또는 수학을 공부하려고하는데 내 질문은 컴퓨터 과학에 대한 자기 연구를 수행하는 것이 유용할까요? 나는 물론 BSc 수준이 아닌 CS의 기본 …
1
더하기, 곱하기, 평등 만있는 랜덤 액세스 머신
문헌은 원시적 곱셈을 갖는 단가 RAM이 비합리적이라는 것을 분명히 알 수있다. 다항식 시간에 튜링 머신으로 시뮬레이션 할 수 없음 다항식 시간에 PSPACE- 완전 문제를 해결할 수 있습니다 그러나이 주제 (Simon 1974, Schonhage 1979)에서 찾을 수있는 모든 참조에는 부울 연산, 정수 나누기 등이 포함됩니다. 더하기, 곱하기 및 같음 만 있는 RAM의 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.