이론 컴퓨터 과학

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

2
하이퍼 그래프의 선 그래프 인식
하이퍼 그래프 의 선 그래프 는 비어 있지 않은 교차점이있는 경우 두 모서리가있는 정점이 인접 하므로 모서리를 갖는 (단순) 그래프 입니다. 하이퍼 그래프는 각 모서리에 최대 개의 정점 이있는 경우 하이퍼 그래프입니다 .G H H G r rHHH지GGHHHHHH지GG아르 자형rr아르 자형rr 그래프 주어 다음 문제의 복잡도 란 존재 않는 -hypergraph의 되도록 …
4
무한 그래프는 무엇입니까?
방금 독일 위키 백과 에서 무한 그래프는 무한한 수의 노드 또는 무한한 수의 가장자리가있는 그래프라는 것을 읽었습니다 . 유한 그래프에 대한 응용 프로그램 및 알고리즘 만 알고 있습니다. 무한 그래프는 무엇입니까? 그것들의 응용은 무엇입니까? 무한 그래프를 저장할 수 없으므로 무한 그래프에서 작동하는 알고리즘을 상상할 수 없습니다. 그래서 당신은 그것에 작동 …
1
최소 코드리스 홀수 사이클 그래프 완료 : NP-hard입니까?
최근 연구에서 다음과 같은 흥미로운 문제가 발생했습니다. 인스턴스 : 그래프 .지 ( V), E)G(V,E)G(V, E) 솔루션 : 완성 된 그래프 가 모든 에지 가 코드리스 홀수 사이클에 포함되는 특성을 갖도록 에지 세트 의 수퍼 세트 로 정의 된 코드리스 홀수 사이클 완료 . E G ' ( V , E …
2
경계 깊이 확률 분포
경계 깊이 계산에 대한 두 가지 관련 질문 : 1) n 비트로 시작하고 비트 i로 시작하려면 확률 p (i)를 독립적으로 0 또는 1로 가정하십시오. (문제가 간단 해지면 모든 p (i)가 0,1 또는 1/2이라고 가정 할 수 있습니다.또는 그들 모두 1/2입니다.) 이제 제한된 수의 계산 라운드를 만듭니다. 각 라운드에서 분리 된 …
2
나무와 레 벤슈 테인 거리를위한 효율적인 diff 알고리즘
나는 최근 에 나무 사이의 차이점을 다루는 데 관련된 문제에 대한 요약 을 읽었 으며이 문제에 대한 최신 기술을 배우는 데 관심이있었습니다. 또한 허용 된 편집 조작 사이에 기존의 추가 / 삭제 노드, 복사 / 이동 서브 트리의 확장 조작을 추가하는 컨텐츠 편집이 있다고 가정하면 (최적의 diff를 찾는 중) 문제점이 …
4
데이터 구조 동형
면책 조항 : 저는 CS 이론가가 아닙니다. 나는 추상 대수에서 유래하여 동형에 해당하는 것들을 다루는 데 익숙하지만이 개념을 데이터 구조로 변환하는 데 어려움을 겪고 있습니다. 나는 처음에는 이론적 인 형용사 형태가 충분하다고 생각했지만 벽에 아주 빨리 뛰어 들었습니다. 그것들은 단지 인코딩 일 뿐이며 데이터 구조의 계산 본질을 포착하지 못했습니다. 더 …
5
컴파일러 정확성 증명
초급 학생 수준에서 바람직하게 denotational 방법을 사용하여 컴파일러 정확성 증명을 다루는 자습서 자료를 찾고 있습니다. 또는 문제를 설명하는 데 사용할 수있는 간단한 컴파일러 예제를 알고 있습니까? (나에게 일어난 첫 번째 예는 접두사에서 접미사 표현식으로의 번역가였습니다. 그러나 구문에서 유도를 수행하는 방법 이외의 흥미로운 것은 표시하지 못했습니다.)
1
세트 패밀리의 세트 포함 포즈를 얼마나 빨리 계산할 수 있습니까?
일련의 가족을 감안할 때 FF\mathcal{F} 우주의 부분 집합의 UUU . 보자. S1,S2∈FS1,S2∈FS_1,S_2 \in \mathcal F우리는 대답하고 싶다 S1⊆S2S1⊆S2S_1 \subseteq S_2. 나는 이것에 빨리 대답 할 수있는 데이터 구조를 찾고 있습니다. 내 응용 프로그램은 정점과 그 주변을 삭제하면 격리 된 정점이 남아 있는지 확인하고 각 정점 목록에 대해 격리 된 정점을 …
2
n 차원 패턴 매칭
n 차원 배열 내에서 정확한 n 차원 하위 ​​배열을 찾는 알려진 결과는 무엇입니까? 1D에서는 문자열 일치 문제 일 뿐이며 KMP는 선형 시간으로 처리합니다. 2D 에서이 논문 은 여분의 공간이 거의없는 선형 시간에 수행 될 수 있음을 보여주었습니다. 고정 치수에 대해 선형 시간 최악의 경우에이 문제를 해결할 수 있습니까?
5
여러 패스로 st-connectivity의 공간 사용량을 줄입니까?
n 개의 꼭짓점이 있는 그래프 가 m 개의 가장자리 스트림으로 표시되지만 스트림을 통해 여러 패스가 허용 된다고 가정 합니다.지GG엔nn엠mm Monika Rauch Henzinger, Prabhakar Raghavan 및 Sridar Rajagopalan 은 데이터에 k 패스가 허용되는 경우 G에 주어진 두 정점 사이에 경로가 있는지 여부를 결정하기 위해 공간이 필요 하다는 것을 관찰했습니다 . 그러나 …
2
MAX 3SAT를위한 초 다항식 시간 근사 알고리즘
PCP 정리는 아닌 한 만족할만한 3SAT 공식의 절을 만족하는 할당을 찾기 위해 MAX 3SAT에 대한 다항식 시간 알고리즘이 없다고 명시하고 있습니다 .7 / 8 +ϵ7/8+ϵ7/8+ \epsilonP=N피피=엔피P = NP 절의 을 만족시키는 사소한 다항식 시간 알고리즘이 있습니다. 그래서 우리가 다항식 알고리즘을 허용한다면 보다 더 잘할 수 있습니까 ? 준 다항식 시간 …
1
NP의 문제이지만 Average-P / poly의 문제는 아닙니다.
카프-립톤 Theoem이 경우한다고 다음 P H는 축소되어 Σ P 2 . 그러므로, Σ P 2 와 Σ P 3 사이의 분리를 가정하면 , N P- 완전 문제는 P / p o l y에 속하지 않을 것이다 .N P ⊂ P / p o l yNP⊂P/poly\mathsf{NP} \subset \mathsf{P/poly}P HPH\mathsf{PH}Σ피2Σ2P\mathsf{\Sigma^P_2}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP3Σ3P\mathsf{\Sigma^P_3}NPNP\mathsf{NP}P/polyP/poly\mathsf{P/poly} 다음 질문에 …
4
순열 게임 redux
이것은 이전의 질문을 다시 말한 것입니다 . Alice와 Bob이라는 두 명의 플레이어 사이에 있는 다음과 같은 공정한 완벽한 정보 게임을 고려하십시오 . 플레이어는 정수 1에서 n까지의 순열을받습니다. 매 턴마다 현재 순열이 증가하면 현재 플레이어가 패배하고 다른 플레이어가 승리합니다. 그렇지 않으면 현재 플레이어가 숫자 중 하나를 제거하고 다른 플레이어에게 패스를 전달합니다. …
3
추상 기계가 자체를 시뮬레이션 할 수 있다면 튜링이 완료됩니까?
예를 들어, 프로그래밍 언어에서는 X-in-X 컴파일러 / 인터프리터를 작성하는 것이 일반적이지만,보다 일반적인 수준에서 알려진 많은 Turing-complete 시스템은 인상적인 방식으로 시뮬레이션 할 수 있습니다 (예 : Conway의 Game of Life에서 Conway의 Game of Life 시뮬레이션) ). 그래서 내 질문은 : 시스템이 튜링이 완료되었음을 증명하기에 충분히 시뮬레이션 할 수 있습니까? 반드시 필요한 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.