«ho.history-overview» 태그된 질문

주제의 역사 : 그들의 이름은 어디에서 왔으며, 누가 발견했는지, 처음 입증되었을 때, 몇 년 동안 어떻게 진화했는지.

7
계산 이론 분야에서 람다 미적분학의 기여는 무엇입니까?
람다 미적분학을 읽고 "알아라"는 것입니다. 나는 그것을 튜링 머신과는 다른 대안적인 계산 방식으로 본다. 함수 / 감소 (엄청나게 말해서)로 일을하는 흥미로운 방법입니다. 그래도 몇 가지 질문이 계속 나에게 잔소리합니다. 람다 미적분의 요점은 무엇입니까? 왜 이러한 모든 기능 / 감소를 수행해야합니까? 목적은 무엇입니까? 그 결과 람다 미적분학이 CS 이론을 발전시키기 위해 …
2
Shor 알고리즘의 감소가 원래 Shor에 의해 발견 되었습니까?
이것은 연구 질문보다 "역사적 질문"이지만, Peter Shor가 처음 발견 한 인수 분해에 대한 Shor의 알고리즘에서 주문을 찾기위한 고전적인 축소입니까, 아니면 이전에 알려졌습니까? 쇼어 이전의 감축을 설명하는 논문이 있습니까, 아니면 간단히 "민간 결과"입니까? 아니면 같은 논문에서 또 다른 획기적인 것일까 요?
14
컴퓨터 과학에 대한 토폴로지 응용
컴퓨터 과학에서 토폴로지의 응용 프로그램에 대한 설문 조사를 작성하고 싶습니다. 나는 컴퓨터 과학의 토폴로지 아이디어의 역사를 다루고 현재의 몇 가지 발전을 강조 할 계획이다. 아래 질문에 대해 누구나 의견을 제시 할 수 있다면 매우 도움이 될 것입니다. Computer Science에서 토폴로지 사용의 연대기를 설명하는 논문이나 메모가 있습니까? 컴퓨터 과학에 토폴로지에서 결과의 …
5
treewidth 개념의 기원
오늘의 나의 질문은 (평소와 같이) 약간 바보입니다. 하지만 친절히 생각해 보라고 부탁합니다. treewidth 개념의 기원과 동기에 대해 알고 싶었습니다. 나는 그것이 FPT 알고리즘에서 사용된다는 것을 이해하지만, 이것이 이것이이 개념이 정의 된 이유라고 생각하지 않습니다. 나는 로빈 토마스 교수 의 수업에서이 주제에 대한 서기관 노트 를 작성했습니다 . 나는이 개념의 응용 …
5
Turing Machine을 주요 계산 모델로 채택한 역사적 이유.
Turing의 모델이 계산을 설명 할 때 "표준"이되었다는 것을 이해하고 있습니다. 왜 이것이 사실인지 알고 싶습니다. 즉, TM 모델이 다른 이론적으로 동등한 (내 지식과 같은) 모델보다 더 널리 사용되는 이유는 무엇입니까? 전자는 나중에까지 나타나지 않았고 후자는 원래 계산 모델로 특별히 설계되지 않았지만 대안이 처음부터 존재했음을 보여줍니다). 내가 생각할 수있는 것은 TM …
1
Rabin / Yao가 있습니까 (적어도 인용 할 수있는 형태로) 있습니까?
Andrew Chi-Chih Yao의 고전적인 1979 년 논문에서 "준비 중 MO Rabin과 AC Yao"를 언급합니다. 이 항등 함수 EQ의 경계 오차 통신 복잡도 그 결과위한 (범위 두 정수인지 으로 동일)은 .NN_N000N−1N−1N-1O(loglogN)O(log⁡log⁡N)O(\log\log N) Andrew Chi-Chih Yao, 분산 컴퓨팅과 관련된 몇 가지 복잡한 질문 (예비 보고서) , STOC 1979, 209–213 쪽. 도 : …
7
TCS에서 가장 오래된 공개 문제점은 무엇입니까?
이 문제는 이 MO 질문 에서 영감을 얻었 으며 매우 흥미로 웠습니다. TCS에서 가장 오래된 공개 문제점은 무엇입니까? 분명히이 질문에는 약간의 설명이 필요합니다. 먼저 TCS 란 무엇입니까? 홀수 완벽한 숫자의 존재는 TCS가 아니라고 생각합니다. 나는 그 말을 힐베르트의 열 번째 문제는 TCS이다. 나는 "우리가 통치자와 나침반으로 X를 구성 할 수 …
8
컴퓨터 과학에 Alan Turing의 공헌
(이론적) 컴퓨터 과학의 선구자 중 한 사람인 Alan Turing 은 Turing 기계 정의, 교회-투어링 논문, 결정 불가능 성 및 Turing 테스트 정의를 포함하여 우리 분야에 많은 과학적 기여를했습니다. 그러나 그의 중요한 발견은 내가 열거 한 것으로 제한되지 않습니다. 그의 100 번째 생일을 기리기 위해, 나는 그의 작품에 대한 더 나은 …
2
3 색의 NP- 경도에 대한 참고 자료?
역사적인 질문이 있습니다. 그래프의 3 색도 (또는 주어진 k ≥ 3의 색도 )가 NP-hard 라는 사실에 대한 참조를 결정하려고합니다 .kkkk≥3k≥3k\geq 3 유혹적인 대답은 "Karp 's original paper"이지만 잘못입니다. 여기에 스캔이있다 : 조합 문제들 사이의 환원성, Karp (1972) . 색수 (입력 : 그래프, 출력 : )가 어렵다는 것을 증명합니다 . 이는 …
2
"스티브 클래스": SC의 기원
우리는 가 Steve Cook의 이름이고 N C의 이름이 Nick Pippenger의 이름임을 알고 있습니다. 내가 실수하지 않으면 Steve Cook은 Nick Pippenger를 기리기 위해 NC로 지명했으며 그 반대도 마찬가지라고 들었습니다. 그러나 나는 DCFL에 관한 Steve Cook의 논문이나 R L ⊆ S C 라는 Nisan의 증거에서 후자의 사실에 대한 증거를 찾지 못했습니다 .S …
2
이론 A 대 이론 B의 기원과 적용?
최근 몇 가지 질문 ( q1 q2 )에서, "이론 A"와 "이론 B"에 대한 논의가 있었으며, 논리와 프로그래밍 언어에 대한 연구와 알고리즘과 복잡성에 대한 연구를 구분하는 것으로 보입니다. 이 용어는 나에게 새로운 것이었고, 빠른 웹 검색에는 그것을 설명하는 명백한 참고 문헌이 나오지 않았습니다. 이 용어의 기원을 설명하는 참조 또는 참조를 아는 …
1
왜 일반 언어가“일반”이라고합니까?
왜 정규 언어 (및 정규 표현식)가 "정규"라고 불리는가? 문맥이없는 언어에는 다른 유형의 언어에도 규칙 성 이 많이 있습니다. 처음에는 형용사 "정규"가 다른 "비정규"또는 다른 언어와 다른 유형의 언어를 구별하는 데 사용되었다고 가정합니다. 그렇다면 이러한 다른 유형은 무엇이며 비 규칙 성은 무엇입니까?
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.