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

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

10
"현대"컴퓨터 과학이 등장하기 전의 확률 적 (무작위 화) 알고리즘
편집 : 2012 년 12 월 6 일까지 가장 높은 점수를받은 답변을 선택했습니다. 이것은 간단한 질문입니다. (결정 론적) 알고리즘의 개념은 BC로 거슬러 올라갑니다. 확률 알고리즘은 어떻습니까? 에서 이 위키 항목 , 계산 기하학에서 가장 가까운 쌍 문제에 대한 라빈의 알고리즘은 첫 번째 무작위 알고리즘으로 주어졌다 (년 ???). Lipton은 Rabin 알고리즘을 …
2
그래프의 스펙트럼 파티셔닝을위한 논문
경우 무향 인 정규적인 그래프와 기수의 정점의 집합이다 통화 에지 확장 의 금액d S ≤ | V | / 2 SG = ( V, E)G=(V,E)G=(V,E)디dd에스SS≤ | V| / 2≤|V|/2\leq |V|/2에스SS ϕ ( S) : = E디지즉 S ( S, V− S)디⋅ | 에스| ⋅ | V− S|ϕ(S):=Edges(S,V−S)d⋅|S|⋅|V−S|\phi(S) := \frac {Edges(S,V-S)}{d\cdot …
1
라빈-카르 프 및 카르 프-라빈
Wikipedia의 현명한 다른 편집자들은 Rabin–Karp 알고리즘 의 Wikipedia 기사를 Rabin–Karp 이름이 더 자주 사용된다는 이유로 Karp–Rabin 알고리즘이라고하는 생각 으로 옮기라 는 요청을 거부 했습니다. 구글 학자의 숫자로 가거나 거짓으로 들린다면 (거의?) 원래 출판 이름 순서는 Karp and Rabin으로, 알파벳 순으로 이론 논문에서와 같이 알파벳 순서로 이동을 요청했습니다. Rabin–Karp 이름 순서의 …
1
누가 Pi를 계산하기 위해 Monte Carlo 알고리즘 사용을 처음 제안 했습니까?
나는 모든 사람들이 18 세기 부폰의 바늘 실험에 대해 알고 있다고 확신 한다. 이것은 를 계산하는 최초의 확률 알고리즘 중 하나이다 .ππ\pi 컴퓨터에서 알고리즘을 구현하려면 일반적으로 또는 삼각 함수를 사용해야합니다.이 함수는 잘린 시리즈로 구현 되더라도 목적에 맞지 않습니다.ππ\pi 이 문제를 피하기 위해 잘 알려진 거부 방법 알고리즘이 있습니다 : 단위 …
2
Lambda 미적분학의 원래 의도는 무엇입니까?
나는 처음에 교회 가 그의 논리 논리 논문 의 일부로 미적분학을 제안했다는 것을 읽었습니다. 그러나 Kleene은 그의 "시스템"이 일관성이 없다는 것을 증명 한 후, 교회는 "유효한 계산 능력"에 대한 그의 작품과 관련된 것들을 추출하고 그의 논리에 대한 그의 이전의 작품을 포기했습니다.λλ\lambda 그래서 내가 이해하는 것처럼 시스템과 그 표기법은 논리와 관련 …
2
Kolmogorov가 Karatsuba의 알고리즘을 게시 한 이유는 무엇입니까?
빠른 곱셈에 대한 가라 쓰바의 알고리즘 은 A. Karatsuba and Yu에 처음 출판되었습니다. Ofman (1962), "자동 컴퓨터에 의한 많은 디지털 숫자의 곱셈", 소련 과학 아카데미 145 : 293-294의 절차. 에 따르면 카라 츠바 (1995, "계산의 복잡성" . 수학의 PROC Steklov 연구소 211 : 169-183) ,이 논문은 실제로 카라 츠바의 지식없이 …
3
비 결정적 계산을 누가 도입 했습니까?
두 가지 역사적 질문이 있습니다. 누가 비 결정적 계산을 처음 설명했습니까? Cook은 NP-complete 문제를 설명했으며 Edmonds는 P 알고리즘이 "효율적"또는 "좋은"알고리즘이라고 제안했습니다. 이 위키피디아 기사를 검색 하고 "계산의 복잡성 알고리즘"을 훑어 보았지만 비결정론 적 계산이 처음 논의 된 시점에 대한 언급을 찾을 수 없었습니다. NP 클래스에 대한 첫 번째 참조는 무엇입니까? …
2
P의 회로 복잡도에 대한 Kolmogorov의 추측에 대한 논쟁
(확인되지 ​​않은) 역사적 설명에 따르면, Kolmogorov는 모든 언어에 PP\mathsf{P}선형 회로 복잡성이 있다고 생각했습니다 . ( P 는 선형 크기 회로를 가짐에 대한 Kolmogorov의 추측에PPP 대한 이전 질문을 참조하십시오 .) 의미 P≠NPP≠NP\mathsf{P}\neq \mathsf{NP}합니다. 그러나 Kolmogorov의 추측은 실패 할 것으로 보인다. 예를 들어 Ryan Williams는 최근의 논문 에서 다음과 같이 썼다 . …
3
튜링 머신의 개념은 오토마타에서 파생 되었습니까?
최근에 "튜링 머신이 오토마타에서 파생 된 것입니까 아니면 다른 방법일까요?" 나는 물론 답을 알지 못했지만 궁금한 점이 궁금합니다. Turing Machine은 기본적으로 Push-Down Automata의 약간 더 정교한 버전입니다. 그로부터 나는 튜링 머신이 오토마타에서 파생되었다고 가정하지만, 확실한 증거 나 설명은 없습니다. 나는 단지 잘못되었을 수도 있습니다 ... 아마도 그들은 고립되어 개발되었을 것입니다. …
5
경제학자들이 계산 복잡성에 관심을 가져야하는 이유
경제학자들이 인쇄에서 복잡성 이론의 관련성을 확신 시키려고 할 때 인용에 대한 표준 참조가 있습니까? 저는 Noam Nisan의 블로그 게시물 , Tim Roughgarden의 설문 조사 및 Scott Aaronson의 에세이 11 장에 익숙 합니다. 이 게시물은 컴퓨터 과학자가 액세스 할 수 있지만 경제학자의 언어를 사용하지 않으며 일반적으로 읽는 장소에는 게시되지 않습니다. 경제학자를 …
1
누가 복잡성 등급 AC를 도입 했습니까?
나는 오늘 하한을 가르쳤으며 , 한 학생은 라는 이유에 대해 물었습니다 . 공식적인 설명은 "A"는 "Alternation"을 나타냅니다.AC0AC0AC^0ACACAC 몇 년 전에 Nick Pippenger Steve Cook이 Nick Pippenger (Nick의 수업)의 이름을 , 나중에 Nick이 Steve (Steve의 수업)의 이름을 지명 했다는 말을 모호하게 기억 합니다.NCNCNCSCSCSC 이야기 의 부분은 예를 들어 Wikipedia 와 복잡한 …
6
알려진 알고리즘에 대한 더 나은 범위를 언제 찾았습니까?
입증 된 범위로 게시 된 알고리즘과 나중에 더 나은 범위가 게시 된 흥미로운 알고리즘 인스턴스가 있습니까? 더 나은 범위를 가진 더 나은 알고리즘은 아닙니다-분명히 그 일이 일어났습니다! 그러나 기존 알고리즘에 대한 더 나은 경계로 이끄는 더 나은 분석 나는 행렬 곱셈이 이것의 한 예라고 생각했지만, Coppersmith–Winograd와 그 친구들을 더 잘 …
1
논리에서“바운드 변수”를 제거하는 Schönfinkel의 작업이 중요한 이유는 무엇입니까?
AFAIK, 고차 함수 사용에 대한 첫 번째 증거는 Schönfinkel의 1924 년 논문 인 "수학적 논리의 빌딩 블록에 관한 것"으로 되돌아갑니다. 흥미로운 것 같습니다. 그러나 그의 작업 (및 Curry의 확장 기능)에 대해 읽은 모든 것은 어떤 형태 또는 다른 형태로 한 가지를 암시하는 것처럼 보입니다. [고차 함수] ... 이것은 바운드 변수의 …
1
시공간 상충 관계에 대한 특정 결과의 초기 역사?
범용 시공간 트레이드 오프에 대한 출판 된 결과의 초기 역사에 관심이 있습니다. 특히, 데이터 흐름 그래프의 깊이 (폭이 아님)에 비례하는 공간 (크기를 더한 크기)을 사용하여 정도가 O (1) 인 임의의 데이터 흐름 그래프가있는 계산을 평가하는 다음 유형의 알고리즘을 누가 먼저 설명했는지 알고 싶습니다 그래프의 간단한 깊이 우선 평가를 수행하여 입력의). …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.