이론 컴퓨터 과학

관련 분야의 이론 컴퓨터 과학자 및 연구자를위한 Q & A

3
게임에 대한 초현실적 숫자의 구현
초현실적 인 숫자의 Conway에 의해 아주 멋진 건축이 있습니다. 그것들은 실수와 서 수가 모두 포함 된 "숫자"이며, 완전히 순서가 정해지고, 필드의 모든 속성을 갖습니다 (단, 집합이 아닌 클래스를 제외하고). 소개는 이 pdf 또는 Wikipedia 를 참조하십시오 . 그들은 조합 게임을 연구하기 위해 원래 도입 된 소위 "게임"으로 더욱 일반화 될 …
1
BQPSPACE가 PSPACE에서 기하 급수적으로 긴 실행 시간을 가질 수있는 이유는 무엇입니까?
BQPSPACE가 PSPACE에 있다는 표준 증거는 경로 적분에 대한 Savitch 게임 유형 분석에 의존합니다. 그러나 BQPSPACE의 실행 시간이 기하 급수적으로 길다고 가정합니다. 이는 PSPACE의 경우에도 마찬가지이지만 고정 된 자유도를 가진 닫힌 양자 시스템의 경우 상태 벡터의 지수 특성으로 인해 Poincare 재발 전에 일반적으로 두 배의 시간이 걸립니다. 그렇다면 증거가 아직 통과하고 …
1
제한된 교차 크기로 표지 설정
따라서 후보 세트 중 어느 것도 서로 교차하지 않으면 세트 표지 문제는 사소한 것입니다. 그러나 후보 세트의 쌍에 대한 교집합의 크기가 최대 1이면 어떻게됩니까? 이 문제가 NP-hard입니까? 통찰력을 주셔서 감사합니다. 고마워 개렛
11 set-cover 
2
Principia Mathematica 스타일 형식화에 적합한 자동 정리 증명 패러다임은 무엇입니까?
나는 Russell 's Principia Mathematica (PM)와 논리적 실증주의에서 영감을 얻은 책을 소유하고있다. 공리를 결정하고 그것들로부터 이론을 추론함으로써 특정 영역을 공식화하려고 시도한다. 요컨대, PM이 수학을 위해 시도한 것을 그 영역을 위해 시도합니다. PM과 마찬가지로 자동 정리 증명 (ATP)이 가능하기 전에 작성되었습니다. 나는 현대의 ATP 시스템에서 이러한 공리를 표현하려고 노력하고 있으며, 처음에는 …
1
W 타입과 유도 타입
Martin-Löf 유형 이론은 W 유형을 사용하여 정수, 목록 등과 같은 유도 구조를 정의합니다. 그러나 유도 구조의 미적분학은 동일한 방식으로 구조를 사용하지 않으며 유도 유형은 공리 스키마와 비슷합니다. 이 두 가지 접근 방식은 동등합니까? 하나가 다른 것보다 더 나은 철학적 이유가 있습니까? (나에게있어 W 유형은 특별한 구조의 나무이기 때문에 더 직관적 …
4
금지 된 유도 순환 하위 그래프에 의해 정의 된 그래프 클래스의 다항식 문제
MO 에서 크로스 포스트 . 는 유한 한 수의 금지 된 유도 된 그래프에 의해 정의 된 그래프 클래스라고 하자 .씨씨C Clique 및 Clique cover 이외의 대해 다항식 시간으로 해결할 수있는 NP-hard 그래프 문제가 있습니까?씨씨C 올바르게 기억하면 독립적 인 세트 ( 아닌 경우)가 불가능합니다 .피= N피피=엔피P=NP graphclasses.org에서 검색 한 결과가 …
3
이론적 인 컴퓨터 과학 연구는 무엇을 포함합니까?
이론적 인 컴퓨터 과학 연구에 관련된 것을 이해하려고합니다. 이론적 인 컴퓨터 과학자들은 무엇을합니까? 나는 대학원생을 가르치고, 감독하고, 자금을 지원하고, 부서별 업무에 많은 시간을 소비한다는 것을 알고 있습니다. 연구 시간을 어떻게 보내십니까? 일반적으로하는 주요 활동은 무엇입니까? 나는 당신이 논문을 읽고, 생각하고, 회의를하고, 문서를 작성한다고 추측합니다. 다른 사람이 있습니까?
1
을 감안할 때
juntas를 배우는 것과 비슷한 맛의 문제가 있습니다. 입력 : 멤버십 oracle, 즉 x 를 지정한 oracle로 표시되는 함수 은 f ( x )를 반환합니다 .에프: { 0 , 1 }엔→ { − 1 , 1 }에프:{0,1}엔→{−1,1}f: \{0,1\}^n \rightarrow \{-1,1\}엑스엑스x에프( x )에프(엑스)f(x) 목표 : 하위 큐브를 찾기 에스에스S 의를 { 0 …
1
자연 변환 및 파라 메트릭
에서 무료 정리 (theorem)! Wadler는 매개 변수의 특성화는 자연스런 자연 변형의 관점에서 다시 표현 될 수 있으며 이는 추가 논문의 주제가 될 것이라고 말했다. 그는 어떤 종이를 언급하고 있습니까? 내가 아는 매개 변수에 대한 범주 적 접근 은 Bainbridge, Freyd, Scedrov 및 PJ Scott의 Functorial Polymorphism 에서와 같이 자연 변형 …
1
Linial, Shraibman의 양자 통신 복잡성에 대한 하한이 확실하지 않다는 증거가 있습니까?
내가 아는 한, Linial과 Shraibman이 제공 한 인수 분해 표준 하한은 본질적으로 양자 통신 복잡성으로 알려진 유일한 하한입니다 (또는 적어도 다른 모든 것을 포함합니다). 이 한계에 대한 증거가 부족한가? 내가 말한 인수 분해 표준 ( 경계 라고도 함 )은 Linial의 정리 13 , Shraibman 2008 입니다. 실제로,이 한계는 양자 통신 …
3
"작은"튜링 머신 / NFA의 비 구조적 증거가 있습니까?
알고리즘의 비 구조적 존재 증명에 관한 관련 질문을 읽은 후에 실제로 그것을 작성하지 않고 "작은"(예 : 상태 별) 계산 기계의 존재를 보여주는 방법이 있는지 궁금했습니다. 공식적으로 : 언어 가 주어지고 일부 계산 모델 (NFA / 튜링 머신 등)을 수정 한다고 가정 합니다.L ⊆ Σ※L⊆Σ∗L\subseteq \Sigma^* L에 대한 머신 이 존재하지만 …
2
매듭을 어떻게 계산할 수 있습니까?
매듭을 계산하는 문서화 된 방법이 있습니까? (3 차원 유클리드 공간에 포함 된 둘레). 내 말은 데이터 유형을 나타내는 데이터 유형과 데이터 유형의 두 인스턴스가 동일한 매듭을 나타내는 지 여부를 결정하는 알고리즘입니다. 대답이 긍정적이라면 그 문제의 복잡성은 어떻습니까?
1
거의 항상 거의 옳다
나는 BPP는 이미 같은 질문을했다 P.에 관련된 APX에 관한 복잡한 클래스를 찾고 있어요 여기에 , 그러나 아마 TCS는 답변보다 유익한 장소가 될 것입니다. 문제의 원인은 실제 문제에서 종종 충분히 높은 신뢰도를 가진 대략적인 답변 (따라서 APX)을 찾아야하기 때문에 (따라서 BPP), 제한된 확률 적 근사 알고리즘의 문제 클래스를 잠재적으로 계산 가능한 …
1
“의미 적으로 관찰 가능한”부작용은 정확히 무엇을 의미합니까?
순수한 기능에 관한 질문이 있습니다. Wikipedia 페이지에 따르면 순수한 기능을위한 필수 조건 중 하나는 다음과 같습니다. 결과의 평가는 변경 가능한 객체의 돌연변이 또는 I / O 장치로의 출력과 같이 의미 적으로 관찰 가능한 부작용 또는 출력을 유발하지 않습니다. 이것이 실제로 무엇을 의미합니까? 또는 의미 론적으로 관찰 할 수없는 부작용을 어떻게 …
2
경계도 그래프의 W [1]-하드 문제
경계도 그래프에서도 W [1]-어려운 문제를 알고 있습니까? 미터법 차원은 최대 3 도인 그래프에서는 어렵지만 W [2]입니다. Red-Blue Nonblocker는 경계도 그래프에서 W [1] -hard 였지만 증거에 오류가 있었으며 (Downey Fellows 2013의 책), 파란색 정점이 경계도 인 경우에만 어렵습니다.
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.