이론 컴퓨터 과학

9

구현하기에는 너무 복잡한 합법적 인 유틸리티 알고리즘은 무엇입니까? 명확하게하자 : 나는 현재 asymptotic 최적 행렬 곱셈 알고리즘 (Coppersmith-Winograd)과 같은 알고리즘을 찾고 있지 않지만 구현하기에는 합리적이지만 실제로는 쓸모없는 상수를 가지고 있습니다. 실용적인 가치를 가질 수는 있지만 구현이 불가능하거나 매우 인공적인 환경에서만 구현되거나 현저히 특수한 용도로만 구현 될 수있는 코딩이 어려운 알고리즘을 …

67 ds.algorithms ds.data-structures big-list implementation

13

이론적 컴퓨터 과학에서 대수적 구조의 사용

저는 소프트웨어 전문가이며 개인 연구를위한 대수 구조에 대한 설문 조사를 작성하고 있으며 이러한 구조가 이론적 인 컴퓨터 과학 (및 컴퓨터 과학의 다른 하위 분야)에서 어떻게 사용되는지에 대한 예를 만들려고합니다. . 그룹 이론 하에서 나는 공식 언어에 대한 구문 모노 이드와 병렬 / 동시 컴퓨팅에 대한 트레이스 및 히스토리 모노 이드를 …

67 reference-request big-list big-picture algebra

7

TCS에서 어떤 흥미로운 이론이 선택의 공리에 의존 하는가? (또는 대안으로 결정의 공리?)

수학자들은 때때로 선택의 공리 (AC)와 결정의 공리 (AD)에 대해 걱정합니다. 선택 공리는 : 모든 컬렉션을 감안 비어 있지 않은 세트,이 함수 F 설정된 소정 그 S 에서 C 의 부재 반환 S를 .CC{\cal C}fffSSSCC{\cal C}SSS 결정의 공리 : 를 무한히 긴 비트 열의 집합으로 하자 . Alice와 Bob은 Alice가 첫 …

67 cc.complexity-theory lo.logic pl.programming-languages big-picture set-theory

12

TCS 프로그래밍 방법을 아는 것이 얼마나 중요합니까?

좀 더 수학적 배경에서 나온 코드 작성법을 배우지 못했습니다. 나는 TCS에서 박사 학위를 시작하고 있으며 많은 사람들이 프로그래밍에 대해 (그리고 일반적으로 컴퓨터에 대해) 거의 알지 못하는 것에 놀랐습니다. 의사 코드로 알고리즘을 작성할 수는 있지만 실제로 프로그래밍 언어를 모릅니다. 언젠가 내 작업에 알고리즘을 구현해야한다고 생각할 수 있지만이 순간을 기다릴 수 있습니까? …

66 soft-question big-list advice-request career

7

인가

현재 완전 문제 또는 완전 문제를 해결하는 것은 일반적으로 큰 입력에 대해서는 불가능합니다. 그러나 둘 다 지수 시간과 다항식 공간에서 해결할 수 있습니다.P S P A C E엔피NPNP피에스피C이자형PSPACEPSPACE 우리는 비 결정적이거나 '운이 좋은'컴퓨터를 만들 수 없기 때문에 문제가 또는 이라면 우리에게 어떤 차이가 있습니까?P S P A C E엔피NPNP피에스피C이자형PSPACEPSPACE

66 cc.complexity-theory np-hardness big-picture

11

PCP 정리의 증거를 이해하는 것에 대한 좋은 언급은 무엇입니까?

PCP 정리 (주로 근사 알고리즘) 를 사용하는 많은 결과에 익숙 하지만 PCP 정리에 대한 명확한 설명을 얻지 못했습니다 (즉, ).NP=PCP(O(log(n)),O(1))NP=PCP(O(log⁡(n)),O(1))\mathsf{NP} = \mathsf{PCP}(O(\log(n)),O(1)) 읽을만한 좋은 논문 / 책은 무엇입니까?

64 cc.complexity-theory reference-request pcp

7

P의 런타임 경계는 결정할 수 있습니까? (답변 : 아니오)

질문은 다음 질문을 결정할 수 있는지 여부입니다. 문제는 정수 주어 kkk 와 튜링 기계 MMM P 판정 약속의 실행 인 MMM O(nk)O(nk){O}(n^k) 입력 길이에 대하여 nnn ? "예", "아니오"또는 "공개"에 대한 좁은 대답은 용인 할 수 있지만 (참조, 증거 스케치 또는 현재 지식에 대한 검토와 함께) 더 넓은 대답도 매우 …

64 cc.complexity-theory approximation-hardness

1

PP의 PH에 대한 자세한 내용은?

Huck Bennett 의 최근 질문 에 클래스 PH가 클래스 PP에 포함되어 있는지 묻는 질문 이 다소 모순 된 답변을 받았습니다 (모두 사실입니다). 한편으로는 여러 오라클 결과가 반대로 나타 났으며, 다른 Scott은 Toda의 정리에 따르면 PH가 PP의 확률 적 변형 인 BP.PP에 있음을 보여 주므로 대답이 긍정적일 가능성이 높으며 일반적으로 무작위 …

63 cc.complexity-theory counting-complexity derandomization relativization

3

논문은 어떻게 추천합니까?

아래 업데이트 우리는 모두 동료 검토의 중요한 중요성을 알고 있습니다. 품질 관리 및 연구에 대한 피드백의 주요 형태입니다. 그러나 초기 단계의 연구원 (나 같은)에게는 때때로 혼란스러운 시스템 / 프로세스 일 수 있습니다. 따라서 과학적 심판 과정에 대한 지침이 몇 가지있다. 컴퓨터 과학의 두 가지 (매우 다른) 예제 ( Parberry의이 1994 …

62 soft-question big-list paper-review

11

이론적 컴퓨터 과학에 대한 일반적인 거짓 신념

08/12/08에 편집 : 더 많은 사람들이 자신의 의견을 공유 할 수 있도록 질문을 수정하려고합니다. 우리는 당신의 공헌이 필요합니다! 이 게시물은 MO의 한 주제에서 영감을 얻었습니다 . 수학에 대한 일반적인 거짓 신념의 예 . 큰 목록은 때때로 그 품질을 통제하기 어려운 많은 답변을 생성하지만 MO 관련 게시물의 성공 후 나는 TCS에 …

62 big-list examples

30

더 나은 TCS 회의를위한 작은 단계?

종종 TCS 회의에 참여할 때 회의 주최자가 처리했으면하는 세부 사항이 거의 없습니다. 그리고 회의를 조직 할 때 이미 잊어 버렸습니다. 따라서 질문 : 우리가 쉽게 TCS 회의를 개선하기 위해 취할 수있는 작은 어떤 단계 ? 이 질문이 컨퍼런스를 조직 할 때마다 다시 한 번 확인하여 동일한 실수를 반복해서 반복하지 않도록하는 …

61 soft-question big-list research-practice conferences

14

컴퓨터 과학에 대한 토폴로지 응용

컴퓨터 과학에서 토폴로지의 응용 프로그램에 대한 설문 조사를 작성하고 싶습니다. 나는 컴퓨터 과학의 토폴로지 아이디어의 역사를 다루고 현재의 몇 가지 발전을 강조 할 계획이다. 아래 질문에 대해 누구나 의견을 제시 할 수 있다면 매우 도움이 될 것입니다. Computer Science에서 토폴로지 사용의 연대기를 설명하는 논문이나 메모가 있습니까? 컴퓨터 과학에 토폴로지에서 결과의 …

61 reference-request ho.history-overview topology survey

5

treewidth 개념의 기원

오늘의 나의 질문은 (평소와 같이) 약간 바보입니다. 하지만 친절히 생각해 보라고 부탁합니다. treewidth 개념의 기원과 동기에 대해 알고 싶었습니다. 나는 그것이 FPT 알고리즘에서 사용된다는 것을 이해하지만, 이것이 이것이이 개념이 정의 된 이유라고 생각하지 않습니다. 나는 로빈 토마스 교수 의 수업에서이 주제에 대한 서기관 노트 를 작성했습니다 . 나는이 개념의 응용 …

61 graph-theory co.combinatorics big-picture ho.history-overview treewidth

12

P에서 NP-hard까지 매개 변수화 된 복잡성

나는 매개 변수화 된 문제의 예를 찾고 있는데 , 여기서 문제의 경도는 에서 비단 조적 이다 . 내 경험상 대부분의 문제에는 단일 위상 전이가 있습니다. 예를 들어 -SAT에는 (문제가 P 인 경우)에서 (여기서 문제는 NP- 완료입니다). 증가함에 따라 양방향에서 상 전환 이 쉬운 문제에 관심이 있습니다 .k∈Nk∈Nk \in \mathbb{N}k k …

60 cc.complexity-theory np-hardness big-list phase-transition

17

고전 수학에 TCS를 적용 하시겠습니까?

TCS에서 우리는 종종 고전 수학 (대수, 토폴로지, 분석, 기하학 등)의 강력한 결과와 아이디어를 사용합니다. 다른 방향으로 갔을 때 어떤 예가 있습니까? 여기 내가 아는 것들이 있습니다 (그리고 내가 요구하는 결과 유형을 맛볼 수 있습니다). 입방체 거품 (Guy Kindler, Ryan O'Donnell, Anup Rao 및 Avi Wigderson : 구형 큐브 및 높은 …

60 reference-request big-list