이론 컴퓨터 과학

나는이 문제에 관심이 있어요 : 무향 그래프 주어 의 파티션이 있습니까 G 그래프로 G 1 ( E 1 , V 1 ) 및 G 2 ( E 2 , V 2 ) 그러한 G (1) 그리고 G 2 는 동형?G(E,V)G(E,V)G(E, V)GGGG1(E1,V1)G1(E1,V1)G_1(E_1, V_1)G2(E2,V2)G2(E2,V2)G_2(E_2, V_2)G1G1G_1G2G2G_2 여기서 는 두 개의 분리 된 세트 …

16 cc.complexity-theory  graph-theory  graph-isomorphism 

순열 구문은 표준 (E) BNF 컨텍스트 프리 문법 정의의 확장입니다. 순열 구문 에는 n 개의 프로덕션 (또는 이와 동일하게 비 터미널) A 1 - A n이 포함 됩니다. 순열 구의 위치에서, 우리는이 작품들 모두를 정확히 한 번보고 싶어하지만,이 비 터미널의 순서에는 관심이 없습니다.{ A1, … , A엔}{ㅏ1,…,ㅏ엔}\{ A_1, \dots, A_n …

16 ds.algorithms  fl.formal-languages  parsing  context-free 

이 백서 의 Eppstein 알고리즘에 따른 경로 그래프 P ( G )P(G)P(G) 의 작동 방식과 해당 힙 구성 H ( G )를 사용하여 s 에서 t 까지 k 개의 최단 경로를 재구성하는 방법을 알아 내려고 노력 중 입니다.kkssttH(G)H(G) 지금까지: O U t ( V )out(v)out(v) 정점 떠나는 모든 모서리 포함 …

16 ds.algorithms  graph-theory  graph-algorithms  directed-acyclic-graph 

잘 알려진 바와 같이, 그래프의 트리 분해 트리 구성 T 연관된 가방 T V ⊆ V ( G ) 각 정점에 대한 V ∈ V ( T ) ,하기 요건을 만족하는 :GGGTTTTv⊆V(G)Tv⊆V(G)T_v \subseteq V(G)v∈V(T)v∈V(T)v \in V(T) 모든 정점은 T의 일부 백에서 발생합니다 .GGGTTT 모든 모서리에는 모서리의 양쪽 끝 점이 포함 …

16 ds.algorithms  graph-theory  graph-algorithms  treewidth 

입력 비트 의 AND와 OR를 동시에 계산하는 데 필요한 최소 이진 게이트 수는 얼마입니까? 사소한 상한은 입니다. 나는 이것이 최적이라고 생각하지만 이것을 증명하는 방법은 무엇입니까? 표준 게이트 제거 기술은 입력 변수 중 하나에 상수를 할당하여 출력 중 하나를 트리 비아 리즈하는 것처럼 작동하지 않습니다.nnn2n−22n−22n-2 이 문제는 Ingo Wegener의 "부울 함수의 …

16 cc.complexity-theory  lower-bounds  circuit-complexity 

및 K 3 , 3 은 평면 그래프에 대해 금지 된 마이너 인 것으로 잘 알려져있다 . 원환 체에 임베드 가능한 그래프 에는 수백 가지의 금지 된 마이너가 있습니다 . 금지의 개수 미성년자 그래프의이 표면에 임베드 속 g 것은 의 지수 함수 g . 내 질문은 다음과 같습니다.K5K5K_5K3,3K3,3K_{3,3} 명시 있는가 …

16 graph-theory  co.combinatorics  graph-minor  algebraic-topology 

대부분의 미국 대학은 한 분야에서만 응용 프로그램을 수락하기 때문에 CS 이론 프로그램에 적용 할 때의 장점 / 단점과 관심이있는 응용 수학 프로그램이 두 부서 어딘가에 있는지 파악하려고합니다. 보다 구체적으로, 감소 순서에 관심이있는 분야는 다음과 같습니다. 1. 조합론 (대수 및 극치), 2. 최적화 (볼록 및 조합), 3. 확률 이론, 무작위 알고리즘 …

16 soft-question  advice-request  career 

나는 일반 그래프에서 ΣP2Σ2P\mathsf{\Sigma^P_2} 에 속하는 문제를 찾고 있지만 경계 트리 폭 그래프 에서 에 있습니다. 사실,이 문제는 경계 트리 그래프에서 정상적인 동적 프로그래밍을 사용하여 해결하는 것보다 어렵다고 생각합니다.PP\mathsf{P}

16 cc.complexity-theory  graph-theory  treewidth 

제목 질문에 대한 명확한 답변을 찾고 있습니다. 흑백으로 합법적 인 움직임 만하는 경우 프로그램이 중단되면 게임이 유한 한 시간 안에 종료되도록 프로그램을 무한 보드의 유한 조각 구성으로 변환하는 규칙 세트가 있습니까? 규칙은 일반 체스에서 50 이동 규칙, 교환 및 거세를 뺀 것과 같습니다. 그리고 체스와 같은 게임이 튜링 완료되는 데 …

16 computability  turing-machines  board-games  halting-problem  recreational 

여분의 출판물이 기록을 손상시킬 수있는 경우가 있습니까? 이것은 부정확하거나 논란의 여지가있는 결과를 게시하는 명백한 경우를 피합니다. 또한 유한 시간의 경우를 피하십시오. 생각하고 쓸 시간이 너무 많아서 논문을 쓰면 다른 프로젝트에서 시간을 잃을 수 있습니다. 사용 사례의 예는 다음과 같습니다. 이론적 인 컴퓨터 과학에서 직책을 목표로하고 있지만 더 넓은 CS 캐노피 …

16 soft-question  advice-request  career 

PTIME 또는 coNP-hard에서 다음 문제가 있습니까? 변수 에서 부정없이 두 개의 부울 식 및 가 주어지면 (즉, 식은 및 를 통해 완전히 작성됩니다 ). 인지 , 즉 변수에 대한 모든 지정에 대해 동일한 값을 갖는지 여부를 결정 하십시오.이자형1이자형1e_1이자형2이자형2e_2엑스1, … , x엔엑스1,…,엑스엔x_1,\dots,x_n∧∧\wedge∨∨\vee이자형1≡ e2이자형1≡이자형2e_1 \equiv e_2 두 표현이 모두 DNF로 주어지면, 우선 …

16 cc.complexity-theory  time-complexity  boolean-functions  monotone 

최악의 경우와 평균적인 경우 분석은 알고리즘의 복잡성에 대한 잘 알려진 방법입니다. 최근에 심화 된 경우에 왜 최악의 경우 지수가되는 일부 알고리즘이 실제로 잘 작동하는지 설명하는 또 다른 패러다임으로 스무딩 분석이 등장했습니다. 내 질문은-알고리즘의 복잡성을 측정하는 다른 패러다임이 있습니까? 특히 최악의 복잡성이 나쁜 일부 알고리즘이 실제로 잘 작동하는 이유를 설명하려는 알고리즘에 …

16 cc.complexity-theory  average-case-complexity  smoothed-analysis 

이 이론의 증거 DFAS의 교차점에 대한 순진 직교 - 제품 구성은 "우리가 할 수있는 최선"이라고는. 두 DFA의 연결은 어떻습니까? 간단한 구성은 각 DFA를 NFA로 변환하고 엡실론 전환을 추가하고 결과 NFA를 결정하는 것입니다. 더 잘할 수 있을까요? 최소 연결 DFA의 크기 ( "접두사"및 "접미사"DFA의 크기 측면)에 알려진 경계가 있습니까?

16 cc.complexity-theory  fl.formal-languages  automata-theory  dfa 

다음의 원고는 공개되어 있습니까? Dana Scott, 1969, 더 높은 유형의 계산 가능한 기능 이론 . 미공개 세미나 노트, 7 페이지, 옥스포드 대학. 섹션 8.1.2에서 본 논문의 논의가, 유형 등의 세트 , 카르 도네 & 힌들리, 2006 년 람다 미적분과 조합 적 논리의 역사 ; 또한 10.1 절, 도메인 이론 (Domain …

16 reference-request  lo.logic  type-theory  domain-theory 

우리는 종종 추론 규칙에 따라 객체 를 정의하려고합니다 . 이러한 규칙 은 단조 일 때 최소 고정 점 μ F를 생성하는 생성 함수 F 를 나타냅니다 . 우리는 걸릴 을 : = μ F 의 "유도 정의"로 . 더욱이 F의 단 조성은 "유도 원리"로 추리하여 집합에 A 가 포함 된시기 …

16 lo.logic  pl.programming-languages  type-theory  proof-assistants  coq