«soft-question» 태그된 질문

간단한 질문은 이론적 인 컴퓨터 과학의 질문이 아닌 이론적 인 컴퓨터 과학의 분야에 대한 질문입니다.

4
알고리즘 수학적 분석이 있습니까?
있다 알고리즘 그래프 이론 / 숫자 이론 / 조합론 / 정보 이론 / 게임 이론. 알고리즘 수학적 분석이 있습니까? 위키에 따르면 수학적 분석 에는 미분, 통합, 측정, 한계, 무한 시리즈 및 분석 함수 이론이 포함됩니다. 실수 변수의 실수와 실수 함수를 다루는 실수 분석 (wiki) 에 초점을 두는 것이 좋습니다. "알고리즘"은 …
6
이론적 인 CS에 순수한 수학에 관한 주제가 있습니까?
저는 이론적 인 컴퓨터 과학, 특히 근사 알고리즘의 대학원생입니다. 나는 이제 순수한 수학에 더 관심이 있다는 것을 알게되었습니다 (CS 과정보다 수학 과정을 더 많이 즐 겼기 때문에 이것을 말할 수 있습니다). 이론적 인 컴퓨터 과학 분야에서 상당히 순수한 수학 영역 (더 정확하게 말하면, CS에 대한 응용 프로그램을 고려하지 않고 순수 …
3
이론적 인 컴퓨터 과학 연구는 무엇을 포함합니까?
이론적 인 컴퓨터 과학 연구에 관련된 것을 이해하려고합니다. 이론적 인 컴퓨터 과학자들은 무엇을합니까? 나는 대학원생을 가르치고, 감독하고, 자금을 지원하고, 부서별 업무에 많은 시간을 소비한다는 것을 알고 있습니다. 연구 시간을 어떻게 보내십니까? 일반적으로하는 주요 활동은 무엇입니까? 나는 당신이 논문을 읽고, 생각하고, 회의를하고, 문서를 작성한다고 추측합니다. 다른 사람이 있습니까?
4
TCS 논문에서 저자 주문
경험상 TCS 논문에서 저자는 알파벳 순서로 정렬되지만, 주목할만한 반례가 몇 가지 있는데, 여기서 저자는 다른 방식으로 정렬됩니다. 대화 형 증명 시스템을위한 대수적 방법 [Lund, Fortnow, Karloff, Nisan] 디지털 서명 및 공개 키 암호화 시스템을 얻는 방법 [Rivest, Shamir, Adleman] 지수 시간이 필요한 단어 문제 [Stockmeyer, Meyer] 이 논문에서 특이한 저자의 …
1
데이터베이스 집계는 어떻게 monoid를 형성합니까?
에 cs.stackexchange 나는에 대해 질문 algebird 가 추상 대수학 패키지를 필요한 이유에 대한 추측, GitHub의에 스칼라 라이브러리. github 페이지에는 몇 가지 단서가 있습니다. Bloom 필터, HyperLogLog 및 CountMinSketch와 같은 흥미로운 근사 알고리즘을위한 Monoids 구현. 이를 통해 숫자처럼 복잡한 작업을 생각하고 hadoop 또는 온라인에 추가하여 강력한 통계 및 분석을 생성 할 …
3
컴퓨터에서 찾은 증거
1996 년, 오랜 개방 문제가 컴퓨터에 의해 해결되었습니다. 즉, Robbins 대수 와 부울 대수는 동일합니다. 증명은 자동 정리 증명 자에 의해 발견되었습니다. 또한, 4 색 정리의 알려진 증거는 컴퓨터 생성 구성 요소를 포함합니다. 이 질문의 목적은 컴퓨터에서 발견 된 증명 (완전히 또는 부분적으로)을 증명하는 것입니다 (유일하게 알려진 증명이든 처음 발견 …
5
집중할 특정 연구 주제를 찾는 방법은 무엇입니까?
최근에 석사 과정을 시작했습니다. 지난 학기에는 네트워크, 소프트웨어 엔지니어링, 아키텍처 등과 같은 다양한 분야의 코스를 수강했습니다. 최근 알고리즘 및 데이터 구조에 대한 고급 코스를 수강 한 후 가장 관심있는 코스를 찾았습니다 (다른 유사한 주제를 포함하여 프로그래밍 언어 등). ). 논문에 대해 연구 할 수있는 특정 주제의 데이터 구조 또는 알고리즘을 …
2
컴퓨팅 박물관 전시
내가 알고있는 모든 컴퓨터 관련 박물관과 전시회는 컴퓨팅 기계의 역사만을 다루는 것 같지만 컴퓨터 과학에 관한 주제는 없습니다. 귀하는 다양한 컴퓨팅 / 컴퓨터 과학 / 통신 / 수학 주제에 대해 일반 대중을 교육하고, 즐겁게하며, 영감을주기 위해 새로운 전산 박물관을 설립하는 데 참여하고 있습니다. 역사와 유명인이 전시회의 일부가 될 수 있지만 …
3
리서치 / 출판에 대한 도움을 받으려면 어디서해야합니까?
나는 한동안 SAT 알고리즘을 개발해 왔으며 그것을 공유하고 싶은 시점에 도달했다. 나는 컴퓨터 과학 분야의 많은 사람들을 모른다. 정확히 어디로 돌릴 지 잘 모르겠다. 게시를 고려중인 알고리즘을 가진 사람이 사용할 수있는 리소스가 궁금합니다. 또한 알고리즘의 런타임 및 정확성을 분석하는 데 도움이 필요합니다. 내 주요 문제는 런타임 분석에 있습니다. 이에 대한 …
2
이론적 인 컴퓨터 과학에서 열린 문제를 해결하기위한 대규모 온라인 협업
Polymath 프로젝트에서 대규모 그룹은 공개 된 문제에 대해 연구합니다. 이 프레임 워크에서 어떤 종류의 문제가 가장 잘 작동합니까? 이론적 인 컴퓨터 과학에서 polymath 프로젝트에 대한 좋은 후보자가 있습니까? Polymath 프로젝트가 수학의 다른 영역과 비교하여 이론적 인 컴퓨터 과학에서 성공하기 어렵게 만드는 장애물이 있습니까?
3
현장 밖에서 정기적으로 신문을 읽는 것이 유익합니까?
자기 분야와 관계없는 논문을 포함하여 자신의 분야 밖에서 정기적으로 논문을 읽는 것에 대해 어떻게 생각하십니까? 내 직감은 내 문제에 도움이 될 수있는 완전히 다른 관점이나 기술을 줄 수 있다는 것입니다. 그러나 동시에 새로운 지식이 자신의 작업에 도움이되지 않으면 시간 낭비가 될 것이기 때문에 그것에 대해 약간 회의적입니다. 이것에 대한 당신의 …
1
박사 개발; 문학 검토 전술
올바른 지역인지 확실하지 않지만 여기에갑니다. 통신 네트워크 (많은 그래프 이론, 확률 론적 분석 등)에서 신뢰 및 명성 관리에서 박사 학위를 시작했으며, 저보다 앞서 읽어야 할 것이 많습니다. 누구든지 학문 읽기를 관리하는 가장 좋은 방법과 문헌 검토 / 진행 보고서 등을 주목해야 할 사항을 조언 할 수 있습니까?
3
병렬화, 특히 문제 및 알고리즘 패턴에 대한 소개 노트
컴퓨터 과학의 기본 클래스의 병렬 아날로그와 마찬가지로 병렬 프로그래밍에 대한 좋은 소개를 제공하는 온라인 강의 노트 또는 기타 리소스를 찾고 있습니다. 나의 초점은 다음과 같습니다 : 나는 분할 및 정복, 욕심 많은 알고리즘, 동적 프로그래밍 등에 대해 이야기 할 수 있습니다. 예를 들어, 다음 각 문제에 대한 명백한 병렬 접근 …
3
CS의 연구 영역을 M.Tech에서 PhD로 전환하는 것이 얼마나 쉬운가요?
나는 다소 힘든 딜레마에 직면하고있다 :- 2 년 전 CS에서 M.Tech를 수료하고 VLSI Testing 분야에서 논문을 완성했습니다. 저의 연구를 좋아하지만 박사 학위를 받기 위해 돌아가고 싶지 않습니다. 박사 학위를 받기위한 이론적 과정 (근사 / 온라인 알고리즘)을 추구하고 싶었습니다. 그러나 TCS (Theorytical Computer Science)에 대한 연구 경험이 없었기 때문에 미국에서 합리적으로 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.