이론 컴퓨터 과학

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

2
결정 불가능한 문제의 NP- 완전 변형?
결정 불가능한 세트 의 경계 완전 변형의 예 :엔피NPNP 경계 정지 문제 = { | NTM 기계 M이 정지하고 t 단계 내에서 x를 받아들입니다 }( M, x , 1티)(M,x,1t)(M, x, 1^t)미디엄MM엑스xx티tt 경계 바둑판 식 배열 = { | T의 타일에 의한 면적 t 2 의 타일링이 있습니다 }( T, 1티)(T,1t)(T, …
1
제한된 스타 시스템 문제의 경도?
스타 시스템은 n- 요소 세트 의 n 서브 세트로 구성된 패밀리 입니다 . 몇몇 그래프가 있으면 스타 시스템은 그래픽 인 되도록 의 정점 이웃의 가족 . 주어진 스타 시스템이 그래픽인지 여부를 결정하는 것은 입니다.FFFSSSG(V,E)G(V,E)G(V,E)FFFGGGNPNPNP 문제가 -complete를 유지하도록 각 요소의 최소 발생은 무엇입니까 ?NPNPNP 12-12-2010 편집 : 다른 질문을 추가했습니다. 문제가 …
5
"가장 최악의 사례"이외의 사례에 대한 복잡성 클래스
평균 사례의 복잡성과 관련하여 복잡성 클래스가 있습니까? 예를 들어, 예상되는 다항식 시간을 결정하는 데 문제가있는 명명 된 복잡성 클래스가 있습니까? 또 다른 질문은 아래에 예시 된 최상의 사례 복잡성을 고려합니다 . 결정 에 적어도 지수 시간이 필요한 일련의 (자연) 문제가 있습니까? 명확히하기 위해 EXP가 완료된 언어 고려하십시오 . 분명히 모든 …
2
균형 벡터의 빠른 인코딩
어떤 에 대해서도 {0,1} 에서 {0,1} 1-1 매핑 가 존재하여 어떤 에 대해서도 벡터 는 "균형"입니다. 즉, 1과 0의 개수가 같습니다. 주어진 우리가 효율적으로 계산할 수 있도록 그러한 를 정의 할 수 있습니까?F n n + O ( log n ) x F ( x ) F x F ( …
2
선형 만족도 문제에 대한 하한
에서는 SODA 1,995 제프 에릭슨 선형 satisfiability 경우 (검사의 경우, 일부 하부 범위를 나타내었다 의 -subset N 실수 만족에 선형 방정식 R의 변수). 증명 방법은 무한대와 Tarski의 전송 원리를 사용 합니다.아르 자형rr엔nn아르 자형rr 누군가가이 경계를 증명하기 위해 취해진 경로의 직관을 설명 할 수 있습니까? 다음과 같은 직접적인 증거를 얻는 데 …
5
오토마타 이론 / 공식 언어 논문 주제
모두 안녕하세요, 저는 현재 일부 자동화 이론의 일부 또는 공식 언어와 관련된 견고한 석사 논문 주제를 찾으려고 노력하고 있습니다. 나는 수용 가능한 주제가 무엇인지, 야심은 있지만 동시에 할 수있는 것에 대한 좋은 아이디어를 만들어 내려고 노력하고 있습니다. 어떤 제안이라도 대단히 감사하겠습니다!
1
BPP / 선형과 같은 약간 비 균일 한 클래스의 무작위 화가 연구 되었습니까?
BPP / 선형으로 나는“올바른”조언이 주어 졌을 때 약속을 이행하는 선형 조언을 가진 BPP 기계를 언급하며, 무작위 화는 우리에게 P / 선형 또는 (SUBEXP / 선형) 알고리즘을 제공해야한다. 우리가 불균일 한 가정을 사용한다면, 우리는 불균일 한 적을 "바보"할 수 있기 때문에 고전적인 결과가 효과가 있다고 생각합니다. 그러나 와 같은 균일 한 …
3
어떤 증거가 있습니까?
어떤 증거가 있습니까?coRP≠NPcoRP≠NPcoRP \neq NP coRPcoRPcoRP 는 다항식 시간으로 실행되고 언어에 속하는 입력에 대해 항상 예라고 대답하고 해당 언어에 속하지 않는 입력에 대해 절반 이상은 아니오로 대답하는 확률 론적 튜링 머신이 존재하는 언어 클래스입니다.
2
여러 개의 oracle 테이프가있는 Turing 기계에 대한 명확한 참조가 있습니까?
대부분의 문헌은 특정 문제에 대해 단일 oracles가있는 기계에 관한 것으로 보이지만, 여러 oracles가있는 기계를 고려한 논문이 몇 개있는 것으로 보입니다. 그러한 기계에 대해 알려진 것에 대한 개요를 제공하는 좋은 논문이나 논문이 있습니까? 특히 저는 여러 개의 oracles를 가진 P에 관심이 있습니다.
2
“재사용 가능한 보편적”이라는 개념의 공식 명칭이 있습니까?
계산 보편성에 대한 여러 가지 (아마도 동등한) 개념이 있으며 (예를 들어 http://www.dna.caltech.edu/~woods/download/WoodsNearyTCS07-DRAFT.pdf 의 마지막 몇 페이지 참조 ) 합의가 없습니다. 가장 올바른 개념에 대한 전문가 (예 : http://cs.nyu.edu/pipermail/fom/2007-October/012148.html 참조 ) 생체 분자 계산의 특정 모델에 대해 말하려고합니다. 프로그램을 실행하고 마지막에 입력을 삭제하고 다른 프로그램을 실행할 준비가 된 범용 시스템을 만들 …
1
FFT 일반화
FFT의 분할 및 정복 특성을 다른 변환 (z 변환, 처프 등)으로 자동으로 일반화 할 수 있습니까? 변환에 대한 설명 (필요한 정보가 무엇인지 알 수 없음)을 취하고 빠른 FFT와 같은 기능을 생성 할 수있는 알고리즘이 있습니까?
3
존 정리의 더 직관적 인 증거?
존 정리는 우리가 다른 라인으로 n 라인의 배열을 찌르면 그 존 의 총 복잡도, 그에 인접한 모든 0, 1, 2면의 집합은 O (n)이라고 말합니다. 실제 상수는 적어도 다양한 교과서에 명시된 바와 같이 6n과 같으며 증거는 합리적으로 신중한 청구 논증으로 유도됩니다. 나는 수업 시간 에이 질문을 받았으며 대답이 없습니다. 존 정리에 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.