«reference-request» 태그된 질문

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

3
체 르노 프 바운드 확장
다음 Chernoff 확장에 대한 참조 (증거가 아니라 할 수 있음)를 찾고 있습니다. 하자 은 부울 랜덤 변수이며 반드시 독립적 일 필요 는 없습니다 . 대신, 각 i 및 { X j | 에 의존하는 모든 이벤트 C 에 대해 P r ( X i = 1 | C ) < …
1
결정 론적 오류 감소, 최신 기술?
하나는 비트의 무작위성을 사용 하는 무작위 (BPP) 알고리즘 를 가지고 있다고 가정하자 . 선택된 대해 성공 확률을 로 증폭시키는 자연스러운 방법 은 다음과 같습니다.AAArrr1−δ1−δ1-\deltaδ>0δ>0\delta>0 독립적 인 런 + 과반수 투표 : 독립적으로 번 실행하고 출력의 과반수 투표를합니다. 임의의 비트이며 요소에 의해 실행 시간을 줄 입니다.AAAT=Θ(log(1/δ)T=Θ(log⁡(1/δ)T=\Theta(\log(1/\delta)rT=Θ(rlog(1/δ))rT=Θ(rlog⁡(1/δ))rT =\Theta(r\log(1/\delta))T=Θ(log(1/δ))T=Θ(log⁡(1/δ))T=\Theta(\log(1/\delta)) 독립 실행 + 체비 …
1
엔트로피와 계산의 복잡성
소거 비트가 에너지를 소비해야한다는 것을 보여주는 연구원이 있는데, 이제 계산 복잡도 갖는 알고리즘의 평균 에너지 소비에 대한 연구가 있습니까? 계산 복잡도 F ( n ) 는 평균 에너지 소비와 관련이 있다고 생각 합니다. 여기에서 대답을 얻을 수 있기를 바랍니다.F(n)F(n)F(n)F(n)F(n)F(n)
1
비 결정적 다항식 시간과 결정 론적 다항식 시간 검증의 동등성에 대한 1 차 소스
다항식 시간에 언어 인증서를 확인할 수있는 경우 언어가 NP에 있음을 가장 먼저 표시 한 사람은 누구입니까? 공식적으로 이것을 증명하는 종이가 있습니까? TCS 커뮤니티는 언제 검증 가능성을 위해 비결정론을 강조하지 않았습니까? 나는 내 인생에서 Papadimitriou와 Arora와 Barak와 같은 텍스트를 넘어서서 이것에 대한 좋은 언급을 찾을 수 없다.
2
숫자 필드 체의 최악의 경우 복잡도는 무엇입니까?
주어진 합성 일반 숫자 필드 체는 N의 정수 인수 분해를위한 가장 잘 알려진 인수 분해 알고리즘입니다 . 무작위 알고리즘이며 예상되는 O의 복잡성을 얻습니다 ( e √N∈NN∈NN\in\Bbb NNNNN을 인수분해합니다.O(e649√(logN)13(loglogN)23)O(e649(log⁡N)13(log⁡log⁡N)23)O\Big(e^{\sqrt{\frac{64}{9}}(\log N)^{\frac 13}(\log\log N)^{\frac 23}}\Big)NNN 이 무작위 알고리즘에서 최악의 경우 복잡성에 대한 정보를 찾았습니다. 그러나 정보를 찾을 수 없습니다. (1) Number field sieve의 …
5
알고리즘 설계의 추가 조합 응용
Trevisan 과 Lovett 가 TCS의 부가 조합 응용 프로그램에 대한 설문 조사를 읽고 있습니다. 이러한 응용 프로그램의 대부분은 계산 복잡성 , 예를 들어 하한에 해당합니다. 첨가제 조합론이 알고리즘 설계 에서도 응용 프로그램을 찾았는지 궁금합니다 . 내 질문에 대한 동기는 다음과 같습니다. 가산 조합과 복잡성 사이의 연결은 다소 자연스러운 것처럼 보이지만 …
2
다음 아이디어를위한 문학 자료 찾기
나는 내가 제시 할 아이디어를 가장 먼저 접한 사람이 아니라고 확신한다. 그러나 아이디어와 관련된 문헌을 찾을 수 있다면 도움이 될 것입니다. 아이디어는 P = NP 인 경우 M이 다항식 시간에 3-SAT를 해결한다는 특성으로 Turing Machine M을 구성하는 것입니다. (3-SAT의 선택은 임의적입니다. NP의 문제 일 수 있습니다). 분명히, 이것은 P = …
1
최적의 무작위 비교 정렬
따라서 (결정 론적) 비교 정렬 알고리즘에 의한 최악의 비교 수에 대한 비교 트리 하한값 을 알고 있습니다. 무작위 비교 정렬에는 적용되지 않습니다 (최악의 경우 입력에 대한 예상 비교를 측정하는 경우). 예를 들어, 의 경우 결정 론적 하한은 5 개의 비교이지만 모든 입력에 대해 비교를 갖는 무작위 알고리즘 (입력을 임의로 치환 …
2
작은주기가없는 그래프의 해밀턴주기
cstheory 에서이 질문에 대답하면서 나는 (비공식적으로) 다음 정리를 즉석에서 증명했습니다. 정리 : 고정 경우 해밀턴 사이클 프로브는 길이 ≤ l 사이클을 포함하지 않는 최대 3 도의 평면 2 분자 무 방향 그래프로 제한 되더라도 NP- 완료 상태를 유지합니다 .l≥3l≥3l \geq 3≤l≤l\leq l 아직 어딘가에 나타나지 않은 것 같습니다. 그러나 "SGS에 …
1
APX 경도는 QPTAS를 의미하지 않습니까?
따라서 웹에서 빠른 검색을 통해 "APXHardness는 [일부 복잡성 클래스]가 일부 [다른 복잡성 클래스]에 포함되어 있지 않으면 문제에 대한 QPTAS가 없음을 암시하며 잘 알려져 있습니다"라고 믿었습니다. 나를 제외하고 모두가 이것을 알고있는 것 같습니다. 불행히도이 진술을 뒷받침하는 언급은 없습니다. 두 가지 질문이 있습니다. 현재 알려진이 진술의 가장 강력한 버전은 무엇입니까? 참조? 부디? …
2
반다이 크의 언어에 대한 참조 인
반다이 크 언어 는 다음의 문법에 의해 정의되는 S → S S를Dyck(k)Dyck(k)\mathsf{Dyck}(k) 심볼들의 세트를 통해 { ( 1 , ... , ( K , ) 1 , ... , ) (K) } . 직관적으로 Dyck 언어는 k 가지 종류의 균형 괄호 언어입니다. 예를 들어, (S→SS|(1S)1|…|(kS)k|ϵS→SS|(1S)1|…|(kS)k|ϵ S \rightarrow SS \,|\, (_1 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.