이론 컴퓨터 과학

직선 모서리가있는 평면에 평면 그래프를 평면으로 임베드하는 경우 두 개의 연속 모서리 사이의 최대 각도가 180보다 큰 경우 정점을 날카로운 정점으로 정의합니다. 즉, 통과하는 선이있는 경우 그 정점에 입사하는 모든 가장자리가 선의 한쪽에 놓 이도록 임베딩에 정점을두면 정점은 "날카 로워"그렇지 않으면 그렇지 않습니다. 또한 학위가 3 이상인 정점에 대해서만 걱정합시다. …

15 graph-theory  cg.comp-geom  graph-drawing 

Larry Wasserman은 최근 "p-value police"에 대해 이야기하는 게시물을 가지고 있습니다. 그는 흥미로운 점 (모든 강조점) (내가 추가 한 이탤릭체의 전제와 그 아래의 그의 반응)을 만듭니다. 가장 일반적인 불만은 물리학 자와 언론인이 p- 값의 의미를 잘못 설명한다는 것입니다. 예를 들어, p- 값이 0.000001 인 경우 "신호가 진짜라는 99.9999 %의 신뢰도가 있습니다"와 …

15 ds.algorithms  soft-question  big-list 

나는 최근 Bernardy and Moulin의 2012 LICS 논문 ( https://dl.acm.org/citation.cfm?id=2359499 ) 을 본 후 파라 메트릭에 관심을 가지게되었습니다 . 이 백서에서는 종속 유형이있는 순수 유형 시스템에서 단항 매개 변수를 내재화하고 구성을 임의의 배열로 확장 할 수있는 방법에 대해 설명합니다. 이전에 정의 된 이진 파라 메트릭 만 보았습니다. 내 질문은 이진 …

15 lo.logic  pl.programming-languages  type-systems  logical-relations  parametricity 

블룸 필터를 구현할 때 기존 방식에서는 여러 개의 독립적 해시 함수가 필요합니다. Kirsch와 Mitzenmacher 는 실제로 두 개만 필요하며 나머지는 선형 조합으로 생성 할 수 있음을 보여주었습니다. 내 질문은 : 실제로 두 해시 함수와 두 배의 엔트로피가있는 차이점은 무엇입니까? 이것은 실제로 해시 함수의 출력으로 수행하는 작업을 살펴 ​​보는 것에서 비롯됩니다. …

15 ds.data-structures  it.information-theory  hash-function 

연결된 그래프는 이중 연결된 구성 요소로 분해 될 수 있습니다. 이 블록 컷 포인트 트리는 고유합니다. 유사하게, 이중 연결된 그래프는 삼중 연결된 구성 요소로 분해 될 수 있습니다. 해당 SPQR 트리는 그래프의 모든 2 꼭지점 컷을 설명하며 그래프에서 고유하게 결정됩니다. 이 프로세스는 더 높은 연결성을 일반화하지 않습니다. 예를 들어, 주어진 …

15 graph-theory  co.combinatorics 

평면 그래프는 프리입니다. 이러한 그래프는 평면 또는 K 5 구성 요소 로 알려진 3 개의 연결된 구성 요소로 분해 될 수 있습니다 .케이3 , 3케이삼,삼K_{3,3}케이5케이5K_5 속 하나의 그래프의 "좋은"분해가 있습니까? Roberston과 Seymour는 그래프 마이너에 대한 주요 작업에서 모든 마이너 프리 그래프가 "거의 평면"그래프의 "클리크-합"으로 분해 될 수 있음을 보여주었습니다. 물론 …

15 graph-theory  co.combinatorics  planar-graphs  graph-minor 

프로그래밍 언어 관점에서 서브 타이핑이란 무엇입니까? "상속은 하위 유형이 아닙니다"라고 들었습니다. 그렇다면 상속과 하위 유형의 차이점은 무엇입니까?

15 pl.programming-languages  type-theory  type-systems  object-oriented 

max{k,n/k}max{k,n/k}\max \left\{k, n/k\right\}k=n−−√k=nk=\sqrt n 이산 로그를 계산하기위한 베이비 스텝 자이언트 스텝 알고리즘 ,O(n−−√)O(n)O(\sqrt n) 시간 및 메모리에서의 정적 2D 직교 범위 계산 ,O(n)O(n−−√)O(n)O(\sqrt n)O(n)O(n)O(n) EXTRACT-MIN이 있고 에 DECREASE-KEY가있는 우선 순위 큐 ,O(1)O ( n−−√케이)O(nk)O(\sqrt[k] n)O ( 1 )O(1)O(1) 다항식 시간에 색상 으로 3 색 그래프를 채색 ,O ( n−−√)O(n)O(\sqrt n) …

15 ds.algorithms  ds.data-structures  big-list  teaching 

전문. 복잡성 등급 AM 은 검증 자 "Merlin"과 검증 자 "Arthur"사이의 양방향 대화 형 증명 시스템으로 해결할 수있는 문제입니다. 다음과 같은 경우 객체 X 의 일부 속성을 테스트하는 문제 는 AM입니다 . 대한 찬성 (다항식 길이) 임의의 "도전"메시지의 경우, 아더는 멀린은 (다항식 길이)를 공식화 아서 증거로 사용할 수있는 회신 할 …

15 cc.complexity-theory  interactive-proofs  unique-solution 

부울 대수는 이런 식으로 (예를 들어) 형식화되지 않은 람다 미적분학으로 표현 될 수 있습니다 . true = \t. \f. t; false = \t. \f. t; not = \x. x false true; and = \x. \y. x y false; or = \x. \y. x true y; 또한 부울 대수는 다음과 같은 …

15 lo.logic  type-theory  lambda-calculus 

-1- 희미 Weisfeiler 리먼 알고리즘 (WL)은 일반적으로 표준 라벨 또는 색상 정제 알고리즘으로 알려져있다. 다음과 같이 작동합니다. 초기 착색 , 균일 C 0 ( V ) = 1 모든 꼭지점에 대한가 v에 ∈ V ( G ) ∪ V ( H를 ) .씨0씨0C_0씨0( v ) = 1씨0(V)=1C_0(v) = 1v ∈ …

15 cc.complexity-theory  graph-theory  graph-isomorphism  logspace 

사전 정의 된 범용 게이트 세트를 통해 에서 양자 회로로 단위를 분해 할 수있는 소프트웨어 패키지가 있습니까?유( 2엔)유(2엔)U(2^n)

15 quantum-computing  software 

Q1. 두 개의 프로그램 (C ++과 같은 프로그래밍 언어로 작성)이 언제 다르다고 말할 수 있습니까? 첫 번째 극단은 두 프로그램이 동일하다면 동일하다는 것입니다. 다른 극단적 인 점은 두 개의 프로그램이 동일한 기능을 계산할 때 동등하다는 것입니다 (또는 유사한 환경에서 동일한 관찰 가능한 동작을 보여줍니다). 그러나 이것들은 좋지 않습니다. 우선 순위를 …

15 pl.programming-languages  semantics  equivalence 

우리가 현재 가지고있는 알고리즘이 점진적으로 최적이라는 것을 알고있는 사소한 문제는 무엇입니까? (튜링 머신 용) 그리고 이것이 어떻게 증명됩니까?

15 cc.complexity-theory  ds.algorithms  complexity-classes 

다음 문제를 고려하십시오. 입력 : 표준 이진 표현에서 벡터 a ∈ Z n 및 b ∈ Z 로 주어진 초평면 H = { y ∈ R n : a T y = b } .H={y∈Rn:aTy=b}H = \{ \mathbf{y} \in \mathbb{R}^n: \mathbf{a}^T\mathbf{y} = {b}\}a∈Zn\mathbf{a} \in \mathbb{Z}^nb∈Zb \in \mathbb{Z} 출력 :x ∈ …

15 cc.complexity-theory  optimization  linear-algebra  integer-lattice