이론 컴퓨터 과학

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

1
3 가지 색상 주기로 Markov 체인을 빠르게 혼합
Glauber 역학은 각 단계에서 무작위로 선택한 정점을 임의의 색상으로 다시 칠하기 위해 그래프의 채색에 대한 Markov 체인입니다. 5 사이클의 3 가지 색상에는 혼합되지 않습니다. 3 가지 색상은 30 가지이지만 단일 정점 색상 변경 단계를 통해 15 가지만 도달 할 수 있습니다. 보다 일반적으로, n = 4가 아닌 한 n- 사이클의 …
2
파라미터 화 된 CLIQUE의 경도?
하자 과 의사 결정 문제를 고려0≤p≤10≤피≤10\le p\le 1 CLIQUE P의 입력 : 정수 의 그래프 G 와 t 정점과 ⌈ P ( tp피_p s에스sG지Gt티t가장자리질문 :않습니다G는최소한의 파벌 포함의정점을?⌈p(t2)⌉⌈피(티2)⌉\lceil p\binom{t}{2} \rceil G지Gs에스s CLIQUE의 인스턴스 p는 비율을 포함 P 모든 가능한 에지의 아웃. 분명히 CLIQUE p는 어떤 값을 쉽게 페이지 . CLIQUE 0 …
2
효율적인 프로 버를 갖춘 MIP
검증 기가 다항식 시간 (MIP)으로 실행되는 2 개 대화식 증명 시스템을 갖는 언어 세트는 NEXP 인 것으로 잘 알려져있다. 그러나 속담자가 권력을 제한 할 때 그러한 대화 형 증거의 힘에 대해 알려진 바가 있습니까? 예를 들어, 다항식 시간 증명을 통해 두 가지 대화 형 증명을 허용하는 언어 클래스는 무엇입니까? 더 …
3
리더, 라이터 모나드
CCC 를 CCC 라고 하자 . (×)(×)(\times) 를 의 제품 보조 기능으로 합시다 CCC. 으로 고양이 CCC는, 우리는 카레 수 (×)(×)(\times) : curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times B Functor 범주 에는 일반적인 단일체 구조가 있습니다. C⇒CC⇒CC \Rightarrow C 모노 이드에서 …
2
H 프리 컷 문제
연결되고 단순하고 방향이없는 그래프 H가 있다고 가정합니다. H 프리 컷 문제는 다음과 같이 정의됩니다. 단순하고 방향이없는 그래프 G가 주어지면, 컷 세트 (L 및 R)에 의해 유도 된 그래프가 모두 H에 대한 동형 하위 그래프를 포함하지 않도록 컷 (정점을 두 개의 비빈 세트 L, R로 분할)이 있습니까? . 예를 들어, H가 …
4
무차별 대입 알고리즘과 최상의 알고리즘 사이의 격차에 기반한 복잡성에 대한 대체 개념?
일반적으로 효율적인 알고리즘에는 다항식 런타임과 지수 적으로 큰 솔루션 공간이 있습니다. 이것은 문제가 두 가지 의미로 쉬워야 함을 의미합니다. 첫째, 다항식 단계로 문제를 해결할 수 있으며 둘째, 런타임은 가능한 솔루션 수에서 다항식이므로 솔루션 공간은 매우 구조화되어야합니다. 그러나 때때로이 두 개념은 다양하며 문제는 첫 번째 의미에서만 쉽다. 예를 들어 근사 알고리즘과 …
1
관계형 대수 / 미적분학과 범주 이론 사이에는 관계가 있습니까?
나는 관계형 데이터베이스를 이해하기위한 적어도 두 가지 다른 이론적 접근법, 즉 Codd의 관계형 대수 / 미적분학 및 범주 이론을 알고 있습니다. 이 두 접근법 사이에 어떤 관계가 있습니까? 그것들은 어떤 의미에서 동등합니까? 이 두 프레임 워크가 관계형 데이터베이스를 설명하는 방법을 설명하는 입문 작업이 있습니까? 배경 : 얼마 전에 나는 데이비드 …
2
이론적 컴퓨터 과학 연구에서 범주 이론과 모나드의 현상?
배경 . 저는 범주 이론, 모나드 및 하스켈 관련 연구에 관심이있는 학사 학생이며 해당 분야의 학사 논문 주제를 찾고 싶습니다. 나는 종이를 보았다 Eugenio Moggi ,“ 계산과 모나드의 개념 ”, 1991, 아직 많이 이해하지 못합니다. 아마 그것을 완전히 이해하려면 꽤 시간이 필요할 것입니다. 그러나 공부에 더 많은 시간을 투자하기 전에 …
1
감도가 블록 감도와 동일한 부울 함수
감도 대 블록 감도에 대한 일부 연구 는 가 보다 다 항적으로 더 크다는 추측을 해결하기 위해 와 사이에 가능한 한 큰 간격을 가진 함수를 조사하는 것을 목표로하고 있습니다. . 반대 방향은 어떻습니까? 함수에 대해 알려진 것은 무엇입니까 ?s(f)s(f)s(f)bs(f)bs(f)bs(f)bs(f)bs(f)bs(f)s(f)s(f)s(f)s(f)=bs(f)s(f)=bs(f)s(f) = bs(f) 분명히 상수 함수는 입니다. 또한 사소하게, 함수 에는 있습니다. …
3
두 파티션 사이의 거리 편집
나는 의 두 파티션을 가지고 [1…n][1…n][1 \ldots n]있으며 그들 사이의 편집 거리를 찾고 있습니다. 이를 통해 파티션 A에서 파티션 B로 이동하는 데 필요한 다른 그룹으로 노드의 최소 단일 전환 수를 찾고 싶습니다. 예를 들어 {0 1} {2 3} {4}안으로 들어가는 거리는 {0} {1} {2 3 4}2입니다. 검색 후 나는 이 …
2
Is
다음 논문의 "첫 페이지"의 "마지막 단락"에서 Vikraman Arvind , Johannes Köbler , Uwe Schöning , Rainer Schuler , "NP에 다항식 회로가있는 경우 MA = AM" , Theorytical Computer Science, 1995. 다소 반 직관적 인 주장이있었습니다. (ΣP2∩ΠP2)NP=ΣP3∩ΠP3(Σ2P∩Π2P)NP=Σ3P∩Π3P(\Sigma^P_2 \cap \Pi^P_2)^{NP} = \Sigma^P_3 \cap \Pi^P_3 위의 정체성은 다음과 같은 것으로 추론됩니다. (ΣP2)NP=ΣP3(Σ2P)NP=Σ3P(\Sigma^P_2)^{NP} = …
1
괴델 기계의 타당성
최근에 나는 아주 흥미로운 이론적 구성을 발견했다. 소위 고델 기계 자체 최적화가 가능한 일반적인 문제 해결사입니다. 반응 환경에 적합합니다. 내가 이해하는 것처럼, 요구 사항은 현재 사용 가능한 하드웨어를 훨씬 뛰어 넘지 만 범용 Turing machine 용 프로그램으로 구현할 수 있습니다. 그래도 많은 세부 정보를 찾을 수 없었습니다. 그러한 기계를 실제로 …
1
이 그래프 문제의 복잡성은 무엇입니까?
무 방향 그래프 주어지면 꼭짓점 GGG의 부분 집합 A≠∅A≠∅A\neq \emptyset 를 찾습니다. 모든 정점 x∈Ax∈Ax\in A 의 의 이웃 중 적어도 절반 xxx도AAA및 A 의 크기AAA 는 최소입니다. 즉, 우리는 모든 내부 정점 근처의 절반 이상이 내부로 유지되는 클러스터를 찾고 있습니다. 전체 정점 세트 V(G)V(G)V(G) 항상 특성 1을 갖기 때문에 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.