이론 컴퓨터 과학

하이퍼 컴퓨팅은 튜링 머신을 사용하여 시뮬레이션 할 수없는 계산 모델을 말합니다. (하이퍼 컴퓨터가 반드시 물리적으로 실현 가능한 것은 아닙니다!) 일부 하이퍼 컴퓨터는 표준 튜링 기계 의 정지 문제 를 해결할 수있는 리소스에 액세스 할 수 있습니다. 이것을 "초능력"이라고 부릅니다. 초능력을 가진 하이퍼 컴퓨터는 표준 Turing 기계의 종료 여부를 결정할 수 …

17 computability  hypercomputation 

n 개의 볼을 n 개의 빈으로 던지면 가장 많이 적재 된 빈에 O(logn)O(log⁡n)O(\log n) 볼 이있을 가능성이 높습니다 . 일반적으로, 빈 에서 공에 대해 물을 수 있습니다 . Raab과 Steger의 RANDOM 1998의 논문은 증가 시키면 의 예상 값보다 조금 더 높아질 확률 이 급격히 감소 함을 보여 주면서이를 자세히 조사합니다 …

17 reference-request  pr.probability 

"고유 게임 추측"과 "PCP 정리"의 관계가 무엇인지 어떻게 알 수 있습니까? "독특한 게임 추측"이 "PCP 정리"의 더 강력한 형태라고 어떻게 설명합니까?

17 cc.complexity-theory  pcp  unique-games-conjecture 

괴롭히는 사람 문제가 길기 때문에 본질을 포착하는 특별한 경우가 있습니다. 문제 : A를 3-SAT에 대한 결정론적인 알고리즘이라고합시다. 알고리즘 A를 완전히 시뮬레이션하는 문제입니다 (문제의 모든 인스턴스에서). P-Space 열심히? (보다 정확하게,이 작업이 P-Space가 어렵다고 믿을만한 이유가 있습니까?이 방향으로 무언가가 표준 CC 추측을 따르고 있으며이 작업이 X 클래스라고 생각되는 복잡한 클래스 X에 대해 …

17 cc.complexity-theory  big-picture  structural-complexity 

LTL과 동일하지만 추적과 같은 두 가지 전이 시스템의 쉬운 예를 찾고 있습니다. 필자는 "모델 확인 원칙"(Baier / Katoen) 책에서 LTL 동등성보다 미량 동등성에 대한 증거를 읽었지만 실제로 이해하고 있는지 잘 모르겠습니다. 그림을 그릴 수 없습니다. 차이를 시각화 할 수있는 간단한 예가 있습니까?

17 lo.logic  model-checking  linear-temporal-logic 

오토마타 이론 (finite automata, pushdown automata, ...)과 복잡성에는 "모호성"이라는 개념이 있습니다. 적어도 2 개의 별개의 수용 실행을 갖는 단어 가 있으면, 오토 마톤은 모호하다 . 기계는 모든 단어에 대한 경우 -ambiguous 가장에있다가 기계에 의해 허용 받아들이는 별개의 실행 .k w k wwwwkkkwwwkkkwww 이 개념은 문맥이없는 문법에 대해서도 정의됩니다. 문법은 두 …

17 lo.logic  automata-theory  regular-language  nondeterminism  finite-model-theory 

꿈의 경력에 ​​대한 나의 생각은 도전적이고 실제적인 사용법을 가진 문제를 해결하는 산업 연구의 경력입니다. 이를 위해 TCS에서 박사 학위를 추구하고 있습니까? (분산 / 병렬 알고리즘, 온라인 알고리즘과 같은 주제에 관심이 있습니다) 나쁜 생각입니까? 나는 TCS의 박사 과정에 지원하는 모든 학생들이 학계에서 경력을 쌓을 것으로 예상된다는 생각을 가지고 있습니다. 이 사이트를 …

17 soft-question  advice-request  career 

그래프 의 교집합 수 (모든 모서리를 덮는 데 필요한 최소의 수수께끼) 를 계산하는 매개 변수화 된 복잡성에 대해 알려진 것이 있다면 ? 긴 NP-완료된 것으로 알려져, 그것은 커널을 가지고 있기 때문에 그것은 분명히 FPT의있다 : 당신이 그래프 커버 할 수있는 경우 파벌을 한 후가 최대 2 K 정점의 다른 폐쇄 …

17 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

Turing 완성도에는 무한한 기억과 무한한 시간이 필요하다는 것을 알고 있습니다. 그러나이 서비스에는 한정된 양의 원자가 있으므로 메모리가 제한됩니다. 예를 들어, 가 비합리적 이지만 우주의 모든 원자가이 목적으로 사용 되더라도 특정 자릿수를 초과하여 저장할 수있는 방법은 없습니다 .ππ\pi 그러면 우주의 한계를 기반으로 구현 된 튜링 머신 (우주의 모든 자원을 사용할 수 …

17 computability  upper-bounds 

이번 달 Fischer의 논문 은 간결한 데이터 구조의 기술과이를 사용하는 알고리즘에 대해 내가 아는 것이 거의 없음을 상기시켰다. 간결한 데이터 구조에 대해 모르는 사람들을 위해 : a (n) 별개의 구성과 알려진 "유용한"표현 가진 조합 구조가 주어 집니다. 약 lg ( a ( n ) ) 비트의 저장 공간을 차지 하지만 …

17 ds.data-structures  lower-bounds 

잘 알려진 바와 같이, PARITY는 폴리 크기의 일정 깊이 회로에서 수행 될 수 없으며, 실제로 const-dept 회로는 EXP 수의 게이트를 필요로한다. 퀀텀 회로는 어떻습니까? a) 패리티는 일정한 깊이와 많은 수의 게이트를 갖는 양자 회로로 수행 될 수 있습니까? b) 내 질문도 이해가 되나요?

17 cc.complexity-theory  quantum-computing  circuit-complexity 

방향성 비순환 그래프 가 주어지면 다음 작업을 효율적으로 지원할 수 있습니까?G(V,E)G(V,E)G(V,E) :를 결정은의 경로가있는 경우 G 노드로부터노드isConnected(G,a,b)isConnected(G,a,b)isConnected(G,a,b)GGGaaabbb : 선택된 행 에지에 B 그래프 Glink(G,a,b)link(G,a,b)link(G,a,b)aaabbbGGG : 에지로부터 제거 을 에 B 의 Gunlink(G,a,b)unlink(G,a,b)unlink(G,a,b)aaabbbGGG : G에 꼭짓점을 추가합니다add(G,a)add(G,a)add(G,a) : G에서 꼭짓점을 제거합니다remove(G,a)remove(G,a)remove(G,a) 몇 가지 참고 사항 : 만약 우리가 허용하지 않는다면 , …

17 ds.algorithms  graph-algorithms  directed-acyclic-graph  online-algorithms 

나는“ 함수 알고리즘 디자인의 진주 ”와“ 프로그래밍의 대수학 ”을 읽으려고 노력해 왔으며 , 재귀 적으로 (그리고 다항식으로) 정의 된 데이터 유형과 조합 객체 사이에 명백한 대응이 있으며, 동일한 재귀 정의를 가지며 그 이후에 선행합니다 조합 종에 대한 서두에 나와있는 것과 동일한 형식의 전력 계열 (또는 함수 생성)에 대해 설명합니다 (“ …

17 cc.complexity-theory  co.combinatorics  functional-programming  ct.category-theory 

여기서 고려할 문제는 잘 알려진 간격 채색 문제의 확장입니다. 간격 대신 축과 평행 한 변을 갖는 직사각형을 고려합니다. 두 개의 겹치는 사각형에 서로 다른 색이 할당되도록 최소 수의 색을 사용하여 사각형에 색을 지정하는 것이 목적입니다. 이 문제는 NP-hard로 알려져 있습니다. Xin Han, Kazuo Iwama, Rolf Klein 및 Andrezej Lingas (상자 …

17 ds.algorithms  approximation-algorithms  cg.comp-geom  graph-colouring  online-algorithms 

나는 Simon Peyton Jones의 The Functional Programming Languages의 구현을 읽고 있는데, 나를 놀라게 한 한 가지 진술이 있습니다 (39 페이지). 명령형 언어의 경우보다 훨씬 더 많은 기능적 언어는 의미 론적 차이가 거의없는 서로의 구문 상 변형입니다. 이제이 내용은 1987 년에 작성되었으며이 주제에 대한 나의 생각은 당시에 널리 사용되지 않았거나 인기가없는보다 …

17 functional-programming  semantics  imperative-programming