«soft-question» 태그된 질문

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

3
부울 함수의 푸리에 분석이 왜 작동합니까?
수년에 걸쳐 많은 TCS 정리가 이산 푸리에 분석을 사용하여 증명되는 것을 보았습니다. Walsh-Fourier (Hadamard) 변환은 속성 테스트, 의사 난수, 통신 복잡성 및 양자 컴퓨팅을 포함하여 TCS의 거의 모든 하위 필드에서 유용합니다. 문제를 해결할 때 부울 함수의 푸리에 분석을 매우 유용한 도구로 사용하는 것이 편했지만 푸리에 분석을 사용하는 경우에 대해 꽤 …
10
DFA에 대해 남아있는 문제가 있습니까?
저학년에서 결정 론적 유한 상태 오토마타 (DFA)를 공부 한 후, 그것들이 매우 잘 이해되었다고 생각했습니다. 내 질문은 우리가 여전히 이해하지 못하는 것이 있는지 여부입니다. DFA의 일반화를 의미하는 것이 아니라 우리가 공부하는 원래 수정되지 않은 DFA는 저학년입니다. 이것은 모호한 질문이지만 아이디어를 얻길 바랍니다. DFA를 완전히 이해한다고 말하는 것이 공정한지 이해하고 싶습니다. …
7
증거를 무너 뜨리는 방법
증명을 확인하기위한 일반적인 지침은 무엇입니까? 나는 이것이 나와 같은 대학원생에게 중요하다고 생각합니다. 나는 우리가 무언가를 증명하기 위해 무엇을해야하는지 이미 알고 있지만, 그것을 보내기 전에 항상 모든 것을 점검해야합니다. 당신의 고문에게도. 시행 착오를 통해 몇 가지 전략을 개발했으며 조언자로부터 많은 조언을 받았습니다. 그러나 이것은 항상 매우 지루한 작업입니다. 일반적으로 무언가를 끝내면 …
8
인간의 마음이 빠르게 달성 할 수있는 것과 가장 밀접한 복잡성 클래스는 무엇입니까?
이 질문은 내가 오랫동안 궁금했던 것입니다. 사람들이 P 대 NP 문제를 설명 할 때, 종종 클래스 NP를 창의성과 비교합니다. 그들은 이미 작곡 된 심포니가 모차르트 음질 (P 작업과 유사 함)인지 확인하는 것보다 모차르트 음질의 교향곡 (NP 작업과 유사)을 작성하는 것이 훨씬 어렵다고 지적합니다. 그러나 NP는 실제로 "창의성 클래스"입니까? 다른 후보자가 …
6
직업을 얻는 방법
나는 사이트를 처음 사용합니다. mathoverflow에서 이것은 커뮤니티 위키가 될 것이지만 여기서 설정하는 방법을 보지 못했습니다. 연구 문제는 아니지만 전문적인 이론적 컴퓨터 과학자들에게 흥미가 있습니다. 저는 이론적으로 2 학년 학생이며, 학계에서 경력을 쌓기 위해 지금해야 할 일에 대해 커뮤니티가 어떤 조언을했는지 궁금했습니다. 나는 "훌륭한 연구를해야한다"는 것을 알고있다. :-) 나는 덜 분명한 …
15
오픈 액세스 저널
인터넷 (및 상식)의 출현으로 오픈 액세스 리서치에 대한 요구가 점점 더 커지고 있습니다. 저를 포함한 몇몇 연구자들은 출판 된 동료 검토 연구 논문이 유료화에 뒤 떨어진다는 사실에 실망감을 느낍니다. 모든 수락 된 출판물을 모든 사람이 자유롭게 이용할 수있는 저널 및 컨퍼런스 (이론적 컴퓨터 과학, 그래프 이론, 조합론, 조합 최적화)를 찾고 …
16
논문 작성에 어떤 도구를 사용하십니까?
논문 작성에 어떤 도구를 사용하십니까? 내가 가진 약간의 경험으로부터, 이론가들은 실제로 창조적 인 것 외에도 논문을 쓰고 정제하는데 많은 시간을 소비합니다. 즉, 자신의 작업을 다른 사람들에게 알리는 것입니다. 논문이 그렇게하는 올바른 방법은 아니지만 다른 토론을 위해 남겨 두어야 할 수도 있습니다. 어쨌든 가능한 한 좋은 소프트웨어 도구를 사용하여 결과를 작성하는 …
5
모든 CS 블로그를 읽어야합니까?
많은 최고 수준의 컴퓨터 과학 연구원 및 연구 그룹)은 활발한 블로그를 운영하여 저자의 관심 분야에 대한 최신 연구에 대한 최신 정보를 제공합니다. 대부분의 경우 블로그 게시물은 공식 기술 문서보다 이해하기 쉽습니다. 대부분의 기술적 인 세부 사항은 생략하고 직감 (일반적으로 논문은 생략)을 강조하기 때문입니다. 따라서 다른 권장 리소스 목록과 같은 방식으로 …
21
이론적 인 컴퓨터 과학에 대한 저녁 식사 설명?
나는 종종 이론적 인 컴퓨터 과학자가하는 일을 묻는다. 이 질문에 대한 좋은 답변을 얻는 것이 좋을 것입니다. 나는 전문 용어로 되돌아가는 경향이 있으며 사람들의 눈은 보통이 시점에서 눈부신 다. 컴퓨터 과학자가 아닌 사람들이 이해할 수있는 용어로 이론적 인 컴퓨터 과학자는 무엇을 하는가? 좋은 답변은 모호하거나 들리지 않는 정신적 견고하고 정확해야합니다. …
18
가장 기억에 남는 CS 논문 제목
MO에서 유익한 질문을 한 후에 CS에서 주목할만한 종이 이름을 논의하는 것이 가치가 있다고 생각했습니다. 우리 중 대부분은 흥미로운 제목의 논문을 읽거나 (또는 ​​적어도 회의에서 논문 목록을 검토 할 때마다 읽거나) 열악하게 읽는 것을 피할 수 있다는 점이 분명합니다. 명명 된 기사. 제목 (필요하지는 않지만 내용)으로 인해 어떤 논문을 기억하십니까? 내가 …
8
비 구조적인 알고리즘 존재 증명이 있습니까?
특정 복잡성으로 해결할 수있는 것으로 입증되었지만 실제로는이 복잡성에 도달하는 알려진 알고리즘이없는 문제에 대한 참조가 발생했을 수 있습니다. 나는 이것이 어떻게 일어날 수 있는지 내 마음을 감싸는 데 어려움을 겪는다. 알고리즘의 존재에 대한 비 구조적 증거가 어떻게 보이는지. 실제로 그러한 문제가 있습니까? 그들은 실질적인 가치가 있습니까?
6
수학자가 복잡한 이론에 대한 현재 연구에 대한 정보를 유지하는 방법
복잡성 이론은 저의 중요한 이차 관심사이지만 저의 주요 연구 관심사가 아니므로 모든 회의에 참석하고 모든 블로그를 읽고 "in"crowd cc : me of me 핫 뉴스. 나는 이것의 일부를 시도하지만 어떤 방법이 나에게 가장 큰 타격을 줄지 궁금해하고있다 (또는 시간 이이 맥락에서 돈보다 제한 요소이기 때문에 오히려 시간이다). 내가 시도한 몇 …
6
TCS에서 잘 작성하는 방법에 대한 좋은 예
학생 원고를 편집하고있었습니다. 학생은 출판 된 작품에서 양질의 글쓰기의 예를 보는 것이 좋을 것이라고 말했고, 나는 정말 좋은 예를 내 머리 꼭대기에서 내놓을 수 없다는 것을 깨달았습니다. 당신이 본 양질의 수학적 글쓰기의 가장 좋은 예는 무엇입니까? 규칙 : 가능한 한 TCS 논문을 선호합니다. 우리의 스타일은 TCS에 초점을 맞추는 것이 더 …
5
증거 주변의 캐주얼 투어
오늘 Ryan Williams는 최근 ACC 하한 기술의 기술 수준이 낮은 arXiv (이전 SIGACT 뉴스에 실린 기사)에 기사 를 게시했습니다 . 내 질문은 기술 자체에 관한 것이 아니라 (물론 엄청난 찬사를받을 가치가있는) 종이의 스타일에 관한 것이다. 초록에서 그는 다음과 같이 씁니다. 그 증거는 그것을 발견하려는 누군가의 관점에서 설명 될 것입니다. 대박! …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.