«big-picture» 태그된 질문

큰 그림 태그는 "문제 또는 문제의 전체, 전체적인 관점 또는 관점"을위한 것입니다.

4
복잡성 이론의 응용
복잡성 이론은 우주의 구조에 대한 근본적인 무언가를 포착하는 것으로 보입니다. 우주의 구조는 어떤 문제는 다른 문제보다 어렵다는 직관적 인 개념을 공식화한다는 점입니다. Scott Aaronson 은 "NP 경도 가정은 결국 열역학 제 2 법칙 또는 초강력 신호 전달의 불가능과 유사 할 것"이라고 예측했다 . 소위 "하드 문제"는 현대 암호화의 기초입니다. 어떤 …
1
이론적 컴퓨터 과학 경력
저는 현재 고등학생이며 이론적 인 컴퓨터 과학 및 응용 수학에 관심이 있습니다. 나는 선형 대수와 미적분학, 구체적인 수학을 스스로 가르쳤다. 더 나은 알고리즘을 작성하려면 새로운 구조에 대해 배우고 그 구조를 사용하여 더 복잡하고 더 빠른 알고리즘을 형성 할 수 있기 때문에 가능한 한 많은 수의 수학을 알아야한다는 순진한 개념이 있습니다. …
3
알고리즘의 정확한 시뮬레이션 및 복잡성 클래스 관련 작업
괴롭히는 사람 문제가 길기 때문에 본질을 포착하는 특별한 경우가 있습니다. 문제 : A를 3-SAT에 대한 결정론적인 알고리즘이라고합시다. 알고리즘 A를 완전히 시뮬레이션하는 문제입니다 (문제의 모든 인스턴스에서). P-Space 열심히? (보다 정확하게,이 작업이 P-Space가 어렵다고 믿을만한 이유가 있습니까?이 방향으로 무언가가 표준 CC 추측을 따르고 있으며이 작업이 X 클래스라고 생각되는 복잡한 클래스 X에 대해 …
3
무작위로 또는 아닙니다?
이 질문은 조지아 기술 알고리즘 및 임의성 센터 의 티셔츠에서 영감을 얻었습니다. 특히 적대적인 환경에서 작동 할 때 무작위 배정이 도움이되는 많은 예가 있습니다. 무작위 화가 도움이되지 않거나 다 치지 않는 설정도 있습니다. 내 질문은 : 무작위 화 (일부 합리적인 방식으로)하면 실제로 어떤 설정이 손상됩니까? 문제의 복잡성, 입증 가능한 보증, …
2
이론적 컴퓨터 과학 연구에서 범주 이론과 모나드의 현상?
배경 . 저는 범주 이론, 모나드 및 하스켈 관련 연구에 관심이있는 학사 학생이며 해당 분야의 학사 논문 주제를 찾고 싶습니다. 나는 종이를 보았다 Eugenio Moggi ,“ 계산과 모나드의 개념 ”, 1991, 아직 많이 이해하지 못합니다. 아마 그것을 완전히 이해하려면 꽤 시간이 필요할 것입니다. 그러나 공부에 더 많은 시간을 투자하기 전에 …
10
물리학의 원리로서 NP- 완전 문제의 난이도?
나는 항상 P 대 NP 문제에 대한 실험 수학의 수치 적 증거가 부족하다는 것에 흥미를 느낀다. Riemann 가설은 수치 검증을 통해 뒷받침되는 증거가 있지만 P 대 NP 문제에 대한 비슷한 증거는 알지 못합니다. 또한, 결정 불가능한 문제 (또는 계산할 수없는 기능의 존재)의 존재로 인한 직접적인 물리적 세계 결과에 대해 알고 …
6
계산의 기하학적 해석
물리학에서 나는 기하학적 관점에서 많은 문제를 조사하도록 훈련되었습니다. 예를 들어, 역학 시스템 등에서 매니 폴드의 차등 기하학. 컴퓨터 과학의 기초를 읽을 때, 나는 항상 기하학적 해석을 찾으려고 노력합니다. 재귀 적으로 열거 가능한 집합에 대한 그럴듯한 기하학적 해석처럼 수식) 또는 숫자 정렬을위한 간단한 알고리즘의 아름다운 기하학적 결과. 나는 전문가가 아니지만 기하학적 …
2
대화 형 증명 시스템의 조경
첫 번째 질문은 대화식 증명 시스템 특성화가 모든 고전적인 복잡성 클래스에 알려져 있는지 여부입니다. P, NP, PSPACE, EXP, NEXP, EXPSPACE, 재귀 및 재귀 적으로 열거 가능한 함수 클래식 (다른 것들 중에서)이라고 부릅니다. 특히, 대화 형 증명 시스템 특성화가 재귀 적이며 재귀 적으로 열거 가능한 기능으로 알려져 있습니까? IP = PSPACE이고 …
5
축소가 문제의 다루기 쉬움에 대해 어느 정도 낙관적이어야합니까?
대부분의 복잡한 이론가들은 일반적으로 다음과 같은 철학적 규칙을 믿는 것 같습니다. 우리가 문제에 대한 효율적인 알고리즘을 알아낼 수없는 경우 , 우리는 문제를 줄일 수 있습니다 문제에 , 다음이 아마 문제에 대한 효율적인 알고리즘 아닌 중 하나.A B BㅏAAㅏAA비BB비BB 예를 들어, 새로운 문제가 NP- 완료로 입증 될 때, 우리는 단순히 나타낼 …
7
수학적 분석과 계산의 복잡성?
계산 복잡성에는 많은 양의 조합론과 수 이론, 확률론의 일부 무분별 함, 새로운 대수학이 포함됩니다. 그러나 저는 분석 분야이기 때문에이 분야에 분석을 적용 할 수 있는지 아니면 분석에서 영감을 얻은 아이디어가 있는지 궁금합니다. 이것에 약간 일치하는 것은 유한 그룹의 푸리에 변환입니다. 도와주세요?
1
Martin-Löf가 왜 직관적 인 유형 이론을 만들 필요가 있었습니까?
나는 직관적 인 유형 이론 (ITT)을 읽었으며 이해가됩니다. 그러나 내가 이해하기 위해 고군분투하는 것은 "왜"그것이 처음에 만들어 졌는가? 직관적 인 논리 (IL)와 단순 유형 미적분 (STLC) 및 유형 이론은 일반적으로 Martin-Löf 자신의 존재를 앞두고 있습니다! ITT에서 할 수있는 STLC에서 모든 것을 할 수있는 것 같습니다 (잘못되었지만 적어도 그렇게 느낍니다). λλ\lambda …
4
기술적 배경이없는 프로그래머에게 쉽게 설명 할 수있는 흥미로운 TCS 결과
전문 프로그래밍 과정 (/ 자기 생각)을 수강했지만 대학 수준의 수학을 공부하지 않은 프로그래머와 만나고 있다고 가정합니다. 그들에게 TCS의 아름다움을 보여주기 위해, 쉽게 설명 할 수있는 TCS에서 나오는 멋진 결과 / 공개 질문을 수집하고 싶습니다. 이 목적에 적합한 후보 (IMHO)는 중지 문제를 결정할 수 없음을 보여줍니다. 다른 하나는 비교 기반 정렬의 …
2
이론적 인 컴퓨터 과학이란 무엇입니까?
이론적 인 컴퓨터 과학이란 정확히 무엇입니까? 다양한 언어로 코딩하고 플랫폼에서 앱을 만드는 법을 배우고 있습니까? 아니면 컴퓨터에서보다 효율적으로 작업을 수행 할 수 있도록 더 빠르고 더 빠른 알고리즘을 생각하고 있습니까? 아니면 컴퓨터에서 시뮬레이션 할 수있는 새로운 삶의 상황을 프로그래밍하고 생각하고 있습니까? 여기서 정확히 무엇을하려고합니까? 예를 들어, 물리학은 그것을 지배하는 모든 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.