이론 컴퓨터 과학

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

1
주어진 점에 대해 다항식을 추정하는 알고리즘에 대한 결과는 무엇입니까?
주어진 다항식이 0인지 여부를 확인하여 다항식 아이덴티티 테스트를위한 많은 무작위 알고리즘이있는 것 같습니다. 특정 포인트 집합에 대해 다항식을 추정하는 알고리즘의 결과가 있습니까? 예를 들어, 다항식이 0으로 평가되는 이러한 점의 일부에 대한 근사치 또는 이러한 점에 대한 다항식의 평균값에 근사 할 수 있습니까? 포인트 세트는 알고리즘에 따라 달라질 수 있습니다.
2
전산 학습 이론 입문
최근에 적절한 수의 CoLT 논문을 읽었습니다. 비록 개별 논문들에 대해 투쟁하지는 않지만 (적어도 다른 이론 논문들과 투쟁하는 것보다 많지는 않지만), 전체적으로 그 분야에 대한 폭 넓은 이해가 있다고 생각하지는 않습니다. 대학원 수준에서 CoLT를 소개하기위한 표준 텍스트, 설문 조사 또는 강의 노트가 있습니까? 나는 기본 이론 A 배경을 가지고 있지만 기계 …
4
P 대 BPP에 대한 Oracle 결과
하자 BE 어떤 EXP 완전한 문제. 그런 다음, P A = N P A 입니다.ㅏAA피ㅏ= N피ㅏPA=NPAP^A = NP^A 를 M (P의 TM)이 수행 할 쿼리를 고려한 오라클 이라고하자. P B ≠ N P B를 얻을 수있다 .비BB미디엄MM피비≠ N피비PB≠NPBP^B \neq NP^B 질문 : P 대 BPP에 대해 비슷한 오라클 결과가 있습니까?
1
이상 부울 오류 정정 코드
부울 벡터 v ∈ { 0 , 1 } n이 주어지면 부울 벡터 를 반환하도록 선형 오류 수정 코드 (알맞은 매개 변수 포함)의 알려진 구성이 있습니까? hp? ( F q 이상 임에도 불구하고 )ECC:Fnq→FmqECC:Fqn→Fqm\mathsf{ECC}:\mathbb{F}_q^n \to \mathbb{F}_q^mv∈{0,1}nv∈{0,1}nv\in \{0,1\}^nFqFq\mathbb{F}_q Pr[ECC(v)∈{0,1}m]>1−ϵPr[ECC(v)∈{0,1}m]>1−ϵ\Pr[\mathsf{ECC}(v) \in \{0,1\}^m]>1-\epsilonv∈{0,1}nv∈{0,1}nv\in \{0,1\}^nϵϵ\epsilon 우리가 조건을 완화하는 경우 그렇지 않은 경우 무엇을 어디 …
1
최소 사이클이 이중 모서리 커버를 형성하도록 둘레
보자 . 모든 g- 사이클 세트가 G 의 이중 모서리 커버를 형성하도록 (즉, 모든 모서리가 정확히 2 개의 g- 사이클에 의해 공유 됨) 임의의 두 교차점이되도록 둘레 g 의 간단한 그래프 G 를 생성해야합니다. g 사이클은 꼭짓점이거나 가장자리이거나 비어 있습니다. 생성 된 그래프는 임의로 커야합니다.지≥ 3g≥3g\geq 3지GG지gg지gg지GGgggggg 세대의 방법은 그것에 …
1
BDD를 사용하여 표현 된 그래프의 알고리즘
그래프에 대한 가장 간단한 표현은 인접 행렬 / 목록을 사용합니다. 즉, 각 노드와 가장자리가 명시 적으로 나타납니다. 규칙 성이 강한 그래프에 대한 암시 적 표현의 중요성은 오랫동안 인식되어 왔습니다. 예를 들어 Galperin & Wigderson (1983), Papadimitriou & Yannakakis ( 1986 년 간결한 그래프 표현에 대한 참고 사항 , 1986)는 인접 …
1
고정 매개 변수 다루기 쉬운 정의의 동기는 무엇입니까?
Wikipedia의 글을 참고하세요 : FPT가 시간에 해결할 수있는 것들이다 다루기 쉬운 문제 파라미터 고정 포함 일부 계산 가능한 함수의 경우 O ( 1 ) f . 일반적으로이 함수는 2 O ( k ) 와 같은 단일 지수로 생각 되지만 그 정의는 더 빠르게 성장하는 함수를 인정합니다. 이것은이 수업의 초기 역사의 …
2
Babbage와 von Neumann의 관계
Charles Babbage의 분석 기계는 현대 Von Neumann 아키텍처와 매우 유사한 아키텍처를 가지고 있음이 잘 알려져 있습니다. 또한 Babbage의 분석 기계 ( http://www.fourmilab.ch/babbage/figures/menat3.png ) 및 von Neumann의 작업 (예 : http://library.ias.edu )에 대한 프로그램을 나타내는 표가 주목할 만합니다. /files/pdfs/ecp/planningcodingof0103inst.pdf )는 매우 유사합니다. von Neumann이 Babbage의 작업에 대해 어느 정도까지 알고 있었는지, …
1
비 결정적, 확률 적 및 양자 계산에서 "분기"를 균일하게 정량화하는 방법은 무엇입니까?
비 결정적 튜링 머신 (NTM)의 계산은 시작 구성에 근거한 구성 트리로 표현할 수있는 것으로 잘 알려져 있습니다. 프로그램의 모든 전환은이 트리에서 아버지-자식 링크로 표시됩니다. 확률 적 및 양자 기계의 계산을 시각화하기 위해 유사한 트리를 구성 할 수도 있습니다. (같은 수준의 트리에서 동일한 구성을 나타내는 두 개의 노드가 양자 간섭으로 인해 …
2
그래프 동형 결정
그래프 동형 결정은 일반적으로 NP-Complete입니다. 기본 그래프에 대수적 구조가있을 때 (예 : Cayley 또는 Cayley coset 그래프에서 명확한 구조를 가진 다른 그래프로 동형 결정) 이러한 문제를 연구하는 결과가 있습니까? 또한 복잡한 결과에 도움이되는 대수 및 / 또는 스펙트럼 기법에 관심이 있습니다.
3
Google의 Turing Doodle은 어떤 유형의 오토 마톤입니까?
Alan Turing의 생일을 축하하기 위해 Google 은 기계를 보여주는 기념일 로고 를 게시했습니다 . 기념일 로고는 어떤 기계입니까? 튜링 컴플리트 언어를 표현할 수 있습니까? 고전적인 튜링 기계와는 명백한 차이점이 있습니다. 유한 테이프, 상태 연결 방법의 제약, ... 기념일 로고는 여기에서 계속 사용할 수 있습니다 (오른쪽 상단의 디스플레이는 예상 출력을 보여줍니다.) …
4
접미사 트리를 사용하여 모든 공통 하위 문자열을 찾을 수 있습니까?
문자열 시퀀스를 비교하기 위해 접미사 트리를 사용하려고합니다. 접미사 트리를 사용하여 가장 긴 공통 하위 문자열 문제에 대한 구현 / 이론을 발견했습니다. 그러나 내가 찾고있는 것은 관련 문제- "모든 공통 하위 문자열"에 대한 토론입니다. 특히, 나는 가장 긴 공통 부분 문자열을 먼저 찾은 다음 이미 찾은 lcs 색인을 포함하지 않는 다음으로 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.