이론 컴퓨터 과학

나는 d-Dimensional Hitting Set 문제라고 부르는 것의 매개 변수화 된 복잡성에 관심이 있습니다. 범위 공간 (예 : 세트 시스템 / 하이퍼 그래프) S = (X, R) 최대 d 및 a 양의 정수 k, X는 R의 모든 범위를 치는 k의 부분 집합을 포함합니까? 문제의 매개 변수화 된 버전은 k로 매개 변수화됩니다. …

37 cc.complexity-theory  cg.comp-geom  set-cover  parameterized-complexity  vc-dimension 

소개 및 설명에서 종종 튜링 머신을 통해 제공되는 P 및 NP 복잡성 클래스. 계산 모델 중 하나는 람다 미적분입니다. 나는 모든 계산 모델이 동등하다는 것을 이해하고 (Turing machine이라는 용어로 무엇이든 도입 할 수 있다면 모든 계산 모델로 이것을 도입 할 수 있음) 이해하지 못했지만 람다 계산법을 통해 설명 아이디어 P …

36 cc.complexity-theory  complexity-classes  turing-machines  lambda-calculus 

와 completes 사이에 진정한 복잡성이 존재하는 의 새로운 문제를 감안할 때 ,이를 해결하는 것이 어렵다는 것을 증명하는 데 사용할 수있는 두 가지 방법이 있습니다.NPNP\mathsf{NP}PP\mathsf{P} 문제가 GI- 완료임을 보여줌 (GI = 그래프 동형) 문제가 줍니다. 알려진 결과에 따르면, 이러한 결과는 문제가 NP- 완료이면 PH가 두 번째 수준으로 축소됨을 의미합니다. 예를 들어, …

36 cc.complexity-theory  np-hardness  graph-isomorphism  np-intermediate 

PCP 정리의 중요한 적용은 "근사 경도"유형 결과를 산출한다는 것입니다. 비교적 간단한 경우에는 PCP없이 그러한 경도를 증명할 수 있습니다. 그러나 근사 결과의 경도가 PCP 정리를 사용하여 처음 증명 된 경우, 즉 결과는 이전에 알려지지 않았지만 나중에 PCP에 의존하지 않는 더 직접적인 증거가 발견 되었습니까? 다시 말해서 PCP가 먼저 필요하지만 나중에 제거 …

36 cc.complexity-theory  approximation-hardness  pcp 

이것은 기술적이지 않은 질문이지만 TCS 커뮤니티와 관련이 있습니다. 부적절한 것으로 간주되면 자유롭게 닫으십시오. 복잡성 동물원 웹 페이지 (http://qwiki.stanford.edu/index.php/Complexity_Zoo) 확실히 년간 TCS 커뮤니티에 큰 봉사하고있다. 분명히 꽤 오랜 시간이 지났기 때문에 다운되었습니다. 나는 누군가가 여전히 그것을 유지하고 있는지, 이동했는지, 백업 서버가 있는지, 또는 복잡한 클래스, 관계 및 인용에 대한 훌륭한 데이터베이스를 …

36 cc.complexity-theory  reference-request  soft-question 

배경 : 이 질문에 대한 동기는 두 가지입니다. 먼저, 진행중인 회의 대 저널 토론 을 더 잘 이해하기 위해 몇 가지 어려운 사실을 알고 싶습니다 . 둘째,이 정보가 이용 가능한 경우 검토를 위해 논문을 제출할 때보다 정확한 결정을 내릴 수 있습니다. 편집자가 심판을 선발하고 양치기하는 일을 잘하는 저널을 선호합니다. 질문 …

36 soft-question  research-practice  paper-review  journals 

임의성이 다항식 시간 알고리즘의 검정력을 확장하지 않는 것으로 추측됩니다. 즉, 는 보류하도록 추측됩니다. 반면, 임의성은 다항식 시간 단축 에 상당히 다른 영향을 미치는 것으로 보입니다 . 용감한 및 Vazirani의 공지 된 결과에 의해, S T는 로 감소 U S T 랜덤 다항식 시간 단축을 통해. N P = U P를 …

36 cc.complexity-theory  reductions  derandomization 

이 질문은 교사, 학생 비서, 교사 등 문제를 할당하는 사람들을 대상으로합니다. 이것은 12 년 동안 교수로서 몇 번이나 일어났던 일입니다. 저는 서둘러 "이것이 좋아 보인다"고 생각하는 글에서 몇 가지 문제를 배정했습니다. 그런 다음 나중에 해결할 수 없다는 것을 깨달았습니다. 더 부끄러운 일이 거의 없습니다. 최근 예는 다음과 같습니다. "그래프 에 …

36 soft-question  teaching 

이상적으로 다음과 같은 속성을 갖는 여러 정수 세트의 해시를 저장하는 방법이 있는지 궁금합니다. O (1) 공간을 사용합니다 O (1) 시간에 삽입 또는 삭제를 반영하도록 업데이트 할 수 있습니다. 두 개의 동일한 콜렉션 (즉, 동일한 다중성을 갖는 동일한 요소를 갖는 콜렉션)은 항상 동일한 값으로 해시해야하며, 두 개의 고유 한 콜렉션은 확률이 …

36 ds.algorithms  ds.data-structures  hash-function 

리니어 프로그램에 대한 솔루션을 찾기위한 심플 렉스 알고리즘의 상한은 무엇입니까? 그러한 경우에 대한 증거를 찾으려면 어떻게해야합니까? 각 정점은 그것이 그 방문 할 경우 최악의 경우 인 것처럼 보인다 . 그러나 실제로는 표준 알고리즘이 이보다 더 빠른 속도로 표준 알고리즘을 실행합니다.오 ( 2엔)영형(2엔)O(2^n) 이 방법을 사용하여 해결되는 문제의 평균 복잡성을 어떻게 …

36 ds.algorithms  linear-programming  simplex  smoothed-analysis 

두 개 이상의 다른 기관의 공동 저자가 라텍스로 논문을 작성하고 있으며 초안을 반복해서 이메일로 보내는 것보다 더 나은 방법을 원한다고 가정하십시오. 그들은 Dropbox 계정을 무료로 개설하고 암호를 공유하며 컴퓨터의 종이 버전을 dropbox의 계정과 동기화 할 수 있다는 것을 알고 있습니다. 그러나 두 사람이 동시에 같은 섹션을 편집하는 경우 서로 변경 …

36 soft-question  research-practice  software  writing 

이 문제는 이 MO 질문 에서 영감을 얻었 으며 매우 흥미로 웠습니다. TCS에서 가장 오래된 공개 문제점은 무엇입니까? 분명히이 질문에는 약간의 설명이 필요합니다. 먼저 TCS 란 무엇입니까? 홀수 완벽한 숫자의 존재는 TCS가 아니라고 생각합니다. 나는 그 말을 힐베르트의 열 번째 문제는 TCS이다. 나는 "우리가 통치자와 나침반으로 X를 구성 할 수 …

36 soft-question  open-problem  ho.history-overview 

자연수에 대한 지수 함수 는 다항식 시간에 계산할 수 없다는 것을 알고 있습니다 . 출력의 크기는 입력의 크기에 다항식으로 묶이지 않기 때문입니다.exp(x,y)=xyexp⁡(x,y)=xy\exp(x,y) = x^y 이것이 지수 함수를 계산하는 데 어려움을 겪는 주된 이유입니까, 아니면 이러한 고려 사항과 관계없이 지수를 계산하는 것이 본질적으로 어려운가요? 지수 함수의 비트 그래프의 복잡성은 무엇입니까? {⟨x,y,i⟩∣x,y,i∈N …

36 cc.complexity-theory  nt.number-theory 

내쉬 균형의 존재 여부를 결정하는 것은 쉽다 (항상 그러하다). 그러나 실제로 하나를 찾는 것은 어렵다고 생각됩니다 (PPAD- 완전). 의사 결정 버전은 쉽지만 검색 버전은 비교적 어려운 (결정 버전과 비교) 문제의 다른 예는 무엇입니까? 의사 결정 버전이 중요하지 않은 문제에 특히 관심이 있습니다 (내쉬 평형의 경우와 달리).

36 cc.complexity-theory  big-list 

그래프 알고리즘 구현을 테스트하기 위해 거대한 데이터 세트의 소스를 찾고 있습니다. 또한 그래프가 알려진 경우 소스의 그래프 유형 / 분포 (예 : 직접 / 비 지향, 단순 / 간단하지 않음, 가중 / 비가 중)에 대한 정보를 제공하십시오.

36 ds.algorithms  graph-theory  ds.data-structures  data-sets