이론 컴퓨터 과학

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

3
파이 타입의 funsplit 및 극성
A의 최근 스레드 AGDA 메일 링리스트의 질문 ηη\eta 법은 피터 핸콕이 수행하는, 팝업 생각을 자극하는 발언을 . 나의 이해는 ηη\eta 법칙은 부정적 유형, 즉 어떤 도입 규칙이 돌이킬 수없는 결합 물. 함수에 대해 를 비활성화하려면 ηη\etaHank는 일반적인 응용 프로그램 규칙 대신 맞춤형 제거기 funsplit 을 사용하는 것이 좋습니다. 극성 측면에서 …
5
계산 가능한 숫자가 합리적인지 또는 정수인지 테스트 할 수 있습니까?
계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 isInteger나 isRational? 나는 그것이 불가능하다는 것을 추측하고 있으며, 두 숫자가 같은지 테스트 할 수는 없지만 그것을 증명하는 방법을 알지 못한다는 사실과 관련이 있습니다. 편집합니다 계산 가능한 수는 엑스xx 함수에 …
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 
2
시스템 F (또는 다른 정규화 된 λ- 미적분학) 내에서 -equivalence 를 결정할 수 있습니까?
형식화되지 않은 람다 미적분에 대해 -equivalence 를 결정하는 것은 불가능하다는 것을 알고 있습니다. Barendregt 인용 , HP Lambda 미적분학 : 구문과 의미론. 암스테르담, 노스 홀랜드 (1984). :ββ\beta A와 B가 동일하지 않은 람다 항의 비 연속 세트 인 경우 A와 B는 재귀 적으로 분리 할 수 ​​없습니다. A가 평등하게 닫힌 사소한 …
2
- 이론에서 Karp-reductions을 사용하는 동기
다항식 시간 감소 (Cook reductions) 개념은 매우 직관적 인 개념의 추상화입니다. 다른 문제에 대한 알고리즘을 사용하여 문제를 효율적으로 해결합니다. 그러나 이론에 -completeness의 개념 - 경도 매핑 감소 (카프 감축)를 통해 캡처됩니다. 이 "제한된"축소 개념은 (적어도 나에게는) 직관적이지 않다. 그것은 다소 덜 직관적 인 경도 개념을 생성하기 때문에 약간 생각한 것처럼 …
2
범주 이론 / 추상 대수와 계산 복잡성을 결합한 이론이 있습니까?
범주 이론과 추상 대수는 함수가 다른 함수와 결합 될 수있는 방법을 다룹니다. 복잡성 이론은 함수가 얼마나 어려운지를 다루고 있습니다. 나는 그들이 자연스럽게 짝을 이루는 것처럼 보이기 때문에 아무도이 연구 분야를 결합시키는 것을 보지 못했다는 것이 이상합니다. 아무도 전에 이것을 한 적이 있습니까? 동기를 부여하는 예로서, monoid를 살펴 보자. 연산이 모노 …
3
변경 프리 서버로서의 프레임 규칙?
프레임 규칙은 , 아래의 하나처럼, 프로그램 주어진한다는 생각 캡처 c전제 조건으로 p이 실행되기 전에 보유 및 사후 q이후 보유, 일부 분리 된 조건이 r전후를 보유해야 c실행됩니다. ( *연결은 인수가 분리되어야합니다.) 종종 사전 및 사후 조건은 힙의 상태이며 c힙을 어떤 방식 으로든 수정하는 효과적인 프로그램입니다. {p} c {q} ----------------- (where no …
11
가장 잘 알려진 알고리즘이 런타임
나는 분모에 로그가있는 알고리즘을 본 적이 없으며이 양식에 실제로 유용한 알고리즘이 있는지 궁금합니다. 정렬 또는 트리 기반 알고리즘과 같이 런타임에 로그 팩터가 곱해질 수있는 많은 것들을 알고 있지만 로그 팩터로 나눌 수있는 것은 무엇입니까?
3
무작위성이 P 내부에서 우리를 사나요?
하자 바운드 양면 에러를 갖는 결정 문제의 클래스가이 알고리즘은 실행 시간에 무작위 .O ( f ( n ) )BPTIME(f(n))BPTIME(f(n))\mathsf{BPTIME}(f(n))O(f(n))O(f(n))O(f(n)) Q \ in \ mathsf {PTIME} (n ^ k) , Q \ not \ in \ mathsf {DTIME} (n ^ k) 와 같은 문제 알고 있습니까? 존재하지 않는 것이 입증 되었습니까? …
2
마피아는 얼마나 힘든가요?
마피아 는 파티에서 인기있는 롤 플레잉 게임이며, 자세한 설명은 wikipedia http://en.wikipedia.org/wiki/Mafia_%28game%29 에서 볼 수 있습니다 . 기본적으로 다음과 같이 작동합니다. 처음에는 각 명의 플레이어에게 비밀리에 마피아 나 타운과 같은 역할이 배정됩니다. 각 역할에는 특별한 능력이있을 수 있습니다. 나중에 그것에 대해 더 많은.엔엔N 낮과 밤의 두 가지 게임 단계가 있습니다. 밤에는 …
1
임의 2-SAT의 계산 복잡성은 무엇입니까?
# 2-SAT 의 임의 사례의 복잡성 이 절 밀도에 따라 어떻게 달라지는 작업이 수행 되었습니까? 즉 , 절 밀도가 변함에 따라 임의로 생성 된 2-SAT 인스턴스에 대한 만족스러운 솔루션 계산의 어려움은 어떻게 달라 집니까? 특히 임계 임계 값과 관련하여 알려진 엄격한 결과가 있습니까? 물론 2-SAT ∈ P 이므로 일반적인 계산 …
2
구분자 쿼리에서 트리 재구성
가 구조를 모르는 상수도 트리 라고 가정하십시오 . 문제는 "노드 가 노드 에서 노드 까지의 경로에 있습니까?" 와 같은 쿼리를 요청 하여 트리 를 출력하는 것입니다 . 오라클은 각 쿼리에 일정한 시간 안에 응답 할 수 있다고 가정합니다. 트리의 노드 수인 값을 알고 있습니다. 목표는 트리를 출력하는 데 걸리는 시간을 …
3
시간 복잡성을 위해 단일 테이프 Turing 기계를 사용하는 이유는 무엇입니까?
아시다시피 시간이 때 단일 테이프 튜링 기계에 대한 많은 유사점이 있습니다 . 멀티 테이프 TM 시뮬레이션, 만으로 더 큰 테이프 알파벳의 시뮬레이션 , 시간 구성 성, 시간 계층 정리의 견고성, ...{ 0 , 1 , b }o ( n2)o(n2)o(n^2){ 0 , 1 , b }{0,1,b}\{0,1,b\} 또한 와 같은 결과 및 …
2
n으로 나눌 수있는 이진 문자열을 받아들이는 유한 오토마타
나는 수업에 대한 문제 세트를 만들고 있는데, 내가 일하고있는 것과 관련된 질문을 생각했습니다. 정수 n으로 나눌 수있는 숫자를 나타내는 이진 문자열을 허용하기 위해 유한 오토 마톤이 가져야하는 상태의 최소 개수가 있습니까? 이전 문제 세트에서는 3으로 3으로 나눌 수있는 이진 문자열을 허용하는 DFA를 구성 할 수있었습니다. 이것이 우연의 일치입니까, 아니면 최소 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.