«reference-request» 태그된 질문

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

7
사회 과학의 알고리즘 렌즈
알고리즘 렌즈를 통해 (알고리즘 또는 복잡성의 관점 에서) 질문을 보는 것은 컴퓨터 과학의 '표준 영역'이외의 분야에서 유용하게되었습니다. 특히 CS는 전산 생물학을 통한 생물학, 양자 정보 처리를 통한 물리학에 영향을 미쳤으며 인공 지능과 복잡성 이론은 정기적으로 신경 과학과 상호 작용하는 것으로 보입니다. 자연 과학은 TCS에 비교적 편안한 것처럼 보입니다. 따라서 저의 …
1
LOGLOG = NLOGLOG입니까?
LOGLOG를 결정적 Turing machine에 의해 공간 O (loglog n)에서 계산할 수있는 언어 클래스로 정의하십시오 (입력에 대한 양방향 액세스). 마찬가지로 NLOGLOG를 비 결정적 튜링 머신 (입력에 대한 양방향 액세스)으로 공간 O (log log n)에서 계산할 수있는 언어 클래스로 정의하십시오. 이 클래스들이 다르다는 것이 실제로 알려지지 않았습니까? 나는 오래된 설문 조사와 L …
14
확률에 관한 책
고등학교와 대학교 모두에서 확률 이론에 대한 몇 가지 과정을 통과했지만 TCS 논문을 읽을 때 어려움을 겪고 있습니다. TCS 논문의 저자는 확률에 매우 익숙한 것 같습니다. 그들은 마술로 확률 공식을 다루고 이론을 매우 쉽게 증명합니다. 하나의 공식이 어떻게 도출되고 어떻게 정체성 (또는 불평등)이 입증되는지 이해하기 위해 좋은 시간을 보내야합니다. 나는 내 …
7
프로그래밍 언어 의미론에 관한 책
나는 Nielson & Nielson의 " Semantics with Applications "를 읽었으며 , 그 주제를 정말 좋아합니다. 프로그래밍 언어 의미에 대한 책을 하나 더 갖고 싶지만 실제로는 하나만 얻을 수 있습니다. 나는 한 번 봐했다 Turbak / 포드의 책을,하지만 너무 장황한이다; 나는 Winskel이 괜찮을 것이라고 생각했지만 그것에 접근 할 수 없었습니다 (대학 …
2
양자 행렬 곱셈?
이것이 알려진 것처럼 보이지는 않지만 양자 컴퓨팅 모델에서 행렬 곱셈의 복잡성에 대한 흥미로운 하한이 있습니까? 양자 컴퓨터를 사용하여 Coppersmith-Winograd 알고리즘의 복잡성을 극복 할 수있는 직관이 있습니까?
2
복잡도 결과를위한 다항식 방법
Combintorial Nullstellensatz 와 Chevalley–Warning 정리 는 다항식 방법 이 부가적인 조합론에서 강력한 도구 라고 말합니다 . 적절한 다항식의 문제를 나타내면 솔루션의 존재 또는 다항식에 대한 솔루션의 수를 보장 할 수 있습니다. 그들은 같은 문제를 해결하기 위해 사용 된 제한 sumsets 또는 제로 합 문제 ,이 영역에 정리 중 일부는 그러한 …
5
알고리즘 렌즈를 통한 생태와 진화
생태와 진화에 대한 연구는 점점 더 수학적으로 발전하고 있지만 대부분의 이론적 도구는 물리학에서 나온 것 같습니다. 그러나 대부분의 경우 문제는 매우 불 연속적이며 (예 : SLBS00 참조 ) 컴퓨터 과학의 관점에서 이점을 얻을 수 있습니다 . 그러나 나는 생태와 진화에 대한 특정 질문을 다루려고하는 TCS의 심각한 결과 만 알고 있습니다. …
10
"현대"컴퓨터 과학이 등장하기 전의 확률 적 (무작위 화) 알고리즘
편집 : 2012 년 12 월 6 일까지 가장 높은 점수를받은 답변을 선택했습니다. 이것은 간단한 질문입니다. (결정 론적) 알고리즘의 개념은 BC로 거슬러 올라갑니다. 확률 알고리즘은 어떻습니까? 에서 이 위키 항목 , 계산 기하학에서 가장 가까운 쌍 문제에 대한 라빈의 알고리즘은 첫 번째 무작위 알고리즘으로 주어졌다 (년 ???). Lipton은 Rabin 알고리즘을 …
1
Karger-Stein 분기 증폭의 다른 응용 분야?
방금 대학원 알고리즘 수업에서 Karger-Stein randomized mincut 알고리즘 을 가르쳤습니다 . 이것은 진짜 알고리즘 보석 내가 할 수 있도록 하지 가르쳐,하지만 주요 기술의 다른 응용 프로그램을 모르기 때문에 항상 나를 좌절 떠난다. (그래서 요점을 운전하는 숙제를 할당하는 것은 어렵습니다.) Karger와 Stein의 알고리즘은 Karger의 이전 알고리즘을 개선 한 것으로, 그래프에 꼭짓점이 …
6
기하 급수적으로 긴 분해능 증명이 필요한 잘 알려진 부울 수식 클래스
SAT 솔버에서 절단 평면 방법, 가변 전파, 분기 및 바운드, 절 학습, 지능형 역 추적 또는 핸드 메이드 인간 휴리스틱을 찾을 수 있습니다. 그러나 수십 년 동안 최고의 SAT 솔버는 해상도 증명 기술에 크게 의존해 왔으며 단순히 다른 스타일의 조합을 사용하여 도움을주고 해상도 스타일을 직접 검색했습니다. 분명히 어떤 알고리즘이라도 적어도 …
1
누가 Pi를 계산하기 위해 Monte Carlo 알고리즘 사용을 처음 제안 했습니까?
나는 모든 사람들이 18 세기 부폰의 바늘 실험에 대해 알고 있다고 확신 한다. 이것은 를 계산하는 최초의 확률 알고리즘 중 하나이다 .ππ\pi 컴퓨터에서 알고리즘을 구현하려면 일반적으로 또는 삼각 함수를 사용해야합니다.이 함수는 잘린 시리즈로 구현 되더라도 목적에 맞지 않습니다.ππ\pi 이 문제를 피하기 위해 잘 알려진 거부 방법 알고리즘이 있습니다 : 단위 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.