«reference-request» 태그된 질문

참조 요청은 저자가 질문과 관련된 작업에 대해 알아야 할 때 사용됩니다.

2
H 프리 컷 문제
연결되고 단순하고 방향이없는 그래프 H가 있다고 가정합니다. H 프리 컷 문제는 다음과 같이 정의됩니다. 단순하고 방향이없는 그래프 G가 주어지면, 컷 세트 (L 및 R)에 의해 유도 된 그래프가 모두 H에 대한 동형 하위 그래프를 포함하지 않도록 컷 (정점을 두 개의 비빈 세트 L, R로 분할)이 있습니까? . 예를 들어, H가 …
1
관계형 대수 / 미적분학과 범주 이론 사이에는 관계가 있습니까?
나는 관계형 데이터베이스를 이해하기위한 적어도 두 가지 다른 이론적 접근법, 즉 Codd의 관계형 대수 / 미적분학 및 범주 이론을 알고 있습니다. 이 두 접근법 사이에 어떤 관계가 있습니까? 그것들은 어떤 의미에서 동등합니까? 이 두 프레임 워크가 관계형 데이터베이스를 설명하는 방법을 설명하는 입문 작업이 있습니까? 배경 : 얼마 전에 나는 데이비드 …
2
이론적 컴퓨터 과학 연구에서 범주 이론과 모나드의 현상?
배경 . 저는 범주 이론, 모나드 및 하스켈 관련 연구에 관심이있는 학사 학생이며 해당 분야의 학사 논문 주제를 찾고 싶습니다. 나는 종이를 보았다 Eugenio Moggi ,“ 계산과 모나드의 개념 ”, 1991, 아직 많이 이해하지 못합니다. 아마 그것을 완전히 이해하려면 꽤 시간이 필요할 것입니다. 그러나 공부에 더 많은 시간을 투자하기 전에 …
2
P에서
3 가지 일반 마그네틱의 교집합은 NP-hard ( source )이며, 이는 해밀턴 사이클에서 감소를 통해 이루어집니다. 축소에는 하나의 그래픽 matroid와 두 개의 연결 matroid가 사용됩니다. 내가 작업중 인 문제의 특별한 경우는 여러 그래픽 matroids를 교차시켜 해결할 수는 있지만이 문제가 P인지 여부는 찾을 수 없었습니다. 질문 : 알려진가요? 누군가 제게 종이나 무언가를 …
2
선형 시간의 정수 "거의 정렬"
선형 시간 으로 양의 정수 값 을 정렬하는 데 관심이 있습니다 (균일 한 비용 측정을 가진 RAM 모델에서, 즉 정수는 최대 로그 크기를 가질 수 있지만 그에 대한 산술 연산은 가정합니다) 단위 시간). 물론 이것은 비교 기반 정렬 알고리즘으로는 불가능하므로 "근사"정렬, 즉 일부 순열 의 은 실제로 정렬되지 않지만 의 …
2
철학적 측면을 가진 최근 TCS 간행물
1950 년대와 1960 년대의 많은 컴퓨터 과학 출판물에는 마음의 본질과 물리적 세계와 관련된 정보의 의미에 대한 매혹적인 철학적 추측이 들어 있습니다. 유명한 예로는 "Turing Test", Zuse의 "Calculating Space", Wheeler의 "it from bit"등이 있습니다. 오늘날 이러한 주제는 대중적인 과학 서적에서 광범위하게 다루어 지지만 진지한 연구 출판물에서 제외 된 것 같습니다. 철학적 …
1
혼합 그래프 비순환 테스트 알고리즘에 대한 참조?
혼합 그래프는 방향이 지정된 가장자리와 방향이없는 가장자리를 모두 가질 수있는 그래프입니다. 그 방향이없는 방향이없는 그래프는 방향이 지정된 가장자리의 방향을 잊어 버려서 얻을 수 있으며, 다른 방향으로 각 방향이없는 방향에 방향을 할당하여 혼합 그래프의 방향이 나타납니다. 방향이 지정된주기를 형성하도록 방향을 지정할 수있는 경우 모서리 세트가 혼합 그래프에서주기를 형성합니다. 혼합 그래프는주기가없는 경우에만 …
1
합계에서 임계 값으로 표현할 수있는 모노톤 부울 함수는 무엇입니까?
예를 들어 문제를 소개하겠습니다. 특정 독립적 인 질문으로 구성된 시험을 설계한다고 가정 해 봅시다 (후보자가 옳고 그름을 얻을 수 있음). 총점이 특정 임계 값을 초과하는 응시자는 통과하고 나머지는 실패하는 규칙을 사용하여 각 질문에 부여 할 점수를 결정하려고합니다.nnn 실제로, 당신은 이것에 대해 매우 철저 하고 가능한 모든 결과를 구상 했으며 ,이 …
1
유 방향 그래프에서 간단한 경로를 계산하는 복잡성
하자 이중 음자 (반드시 DAG를)하고하자 의 , t ∈ V ( G을 ) . 간단한 s - t 경로 의 수를 계산하는 복잡성은 무엇입니까?GGGs,t∈V(G)s,t∈V(G)s,t \in V(G) s−ts−ts-t . GGG 문제가 # P 일 것으로 기대합니다PP{\mathsf P} 완전한 하지만 정확한 참조를 찾을 수 없었습니다. 또한 여러 가지 유사한 질문이 여기와 다른 …
2
내부의 학습 가능성 상태
임계 값 게이트를 통해 표현할 수있는 기능의 복잡성을 이해하려고 노력하고 있으며이를 통해 . 특히, 나는 해당 분야 의 전문가가 아니기 때문에 현재 T C 0 내부 학습에 대해 알려진 것에 관심 이 있습니다.TC0TC0\mathsf{TC}^0TC0TC0\mathsf{TC}^0 지금까지 내가 발견 한 것은 : 모든 C 0 을 통해 균일 한 분포 하에서 quasipolynomial 시간 …
2
복잡성 클래스 연산자에 대한 좋은 참조?
복잡성 클래스 연산자 에 대해 쓸 때 참조 할 수있는 좋은 설명 기사 나 설문 조사가 있는지에 관심 이 있습니다. 연산자의 예 다음은 답변이 설명 할 수있는 최소한의 연산자 목록으로 해석 될 수 있습니다. 여기서 CC\mathbf C 는 임의의 유한 알파벳 대한 임의의 언어 세트입니다 ΣΣ\Sigma. ∃C:={L⊆Σ∗∣∣∣∃A∈C∃f∈O(poly(n))∀x∈Σ∗:[x∈L⟺∃c∈Σf(|x|):(x,c)∈A]}∃C:={L⊆Σ∗|∃A∈C∃f∈O(poly(n))∀x∈Σ∗:[x∈L⟺∃c∈Σf(|x|):(x,c)∈A]}\exists \mathbf C := …
2
그래프의 엣지 커버 수 계산의 복잡성
에지 커버 그래프의 각 정점이 상기 커버의 적어도 하나의 에지에 인접하도록 그래프의 에지들의 부분 집합이다. 다음 두 논문은 계산 에지 커버는 말을 #P - 완전한 : 에지 커버 계산에 대한 간단한 FPTAS 및 경로 그래프의 생성 가장자리 커버를 . 그러나 내가 놓친 것이 없다면 그들은이 주장에 대한 참조 또는 증거를 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.