이론 컴퓨터 과학

UFA (Unambiguous Finite Automatons)는 NFA (Non-deterministic Finite Automatons)의 특수 유형입니다. 모든 단어 허용되는 경로가 하나 이상 있으면 NFA를 명확하게 호출 합니다.w∈Σ∗w∈Σ∗w\in \Sigma^* 이는 입니다.DFA⊂UFA⊂NFADFA⊂UFA⊂NFADFA\subset UFA\subset NFA 알려진 관련 오토 마톤 결과 : NFA 최소화는 PSPACE-Complete입니다. 유한 언어에 대한 NFA 최소화는 DP-Hard 입니다. UFA 최소화는 NP-Complete 입니다. 최소 DFA보다 기하 급수적으로 …

16 cc.complexity-theory  fl.formal-languages  automata-theory  regular-language 

Gowers는 최근 회로 하한값을 증명하는 솔루션과 관련된 문제를 "비 분산 Borel 결정 성"이라고 부릅니다. 복잡한 이론가들에게 적합한 접근법에 대한 요약을 제공 할 수 있습니까? 알려진 하한을 다시 증명하는 것을 포함 하여이 접근법이 무엇 을 증명하는 데 무엇이 필요 할까요?

16 cc.complexity-theory  p-vs-np 

음이 아닌 정수로 선형 디오 판틴 방정식을 푸는 NP- 완전 문제에 대한 정보는 거의 없습니다. 즉, 음이 아닌 을 방정식 a 1 x 1 + a 2 x 2 +로 바꿉니다 . . . 모든 상수가 양수인 + a n x n = b ? 내가 아는 유일한 문제는 Schrijver …

16 cc.complexity-theory  reference-request  np-hardness  counting-complexity 

나는 새로운 TCS 고등학교 프로그램을 가르치라는 제안을 받았는데, 커리큘럼을 구성해야합니다. 이에 대한 의견과 제안을 듣고 싶습니다. 첫째, TCS 프로그램이 성공적으로 (또는 성공적으로) 가르쳐 진 고등학교에 대해 아는 사람이 있습니까? 이 아이디어는 우수 학생을위한 3 주 프로그램 (10-12-12 학년, 16-18 세), 매주 약 8 시간이며, 이는 요구가 많거나 요구되는 것을 의미합니다. …

16 teaching 

이 질문은 아마도 주제와 주제 사이의 경계에있을 것입니다. 그러나 여기서 비슷한 질문을 보았으므로 질문하겠습니다. 입력이 최대 1 개의 만족스러운 할당을 갖는 k -CNF 공식 인 Unique kkk -SAT 솔버를 구현하고 있습니다. 그것의 실제적인 행동을 테스트하기 위해서는 그러한 공식이 필요합니다. 나는 웹에서 그것들을 검색했지만 아무것도 찾지 못했습니다 (반면에, 일반적인 k -CNF …

16 sat 

논문에서 그래프 동형위한 효율적인 알고리즘 Corneil Gotlieb 및 1970에 의해 추측 정해진 알고리즘은 다항식 시간 내에 해결하기위한 GI를 신뢰하는에 명시 하였다. 즉: 대표 그래프는 주어진 그래프의 자동 형성 분할을 나타냄 분명히이 추측은 지금까지 입증되지 않았습니다 (그렇지 않으면 GI가 P에 있음을 알 것입니다). 내 질문은 이미 거짓으로 표시되었고 반대의 예가 주어 …

16 graph-isomorphism  automorphism 

모든 평면 그래프 , 외부 평면 그래프 는 | E ' | ≤ 3 | V ' | - 6 , 각각 | E ' | ≤ 2 | V ' | - 3 , 모든 서브 그래프에 대한 G ' = ( V ' , E ' ) 의 …

16 reference-request  graph-theory  graph-algorithms 

이산 대수에 대한 준 다항식 알고리즘을 주장하는 새로운 논문이 나왔습니다. http://arxiv.org/abs/1306.4244 맞다면, 더 이상 고전 알고리즘과 이산 로그 문제에 대한 양자 버전의 복잡성이 지수 적으로 분리되지 않는다는 의미입니까? 이것이 양자 복잡성 이론과 관련이 있습니까?

16 cc.complexity-theory 

n×nn×nn\times nlog2(n)log2⁡(n)\log^2(n)111∥A∥≤1‖A‖≤1\left\|A\right\|\leq 11/poly1/poly1/\text{poly} 이와 관련하여 곱하기 또는 덧셈을 요구하는 "올바른"근사값은 무엇입니까? (아래 답변 중 하나 참조).

16 determinant  cc.complexity-theory 

우리는 그래프의 에지 색소 것을 알고 있습니다 즉 선 그래프의 특별한 그래프의 정점 색소 의 .GGG GL(G)L(G)L(G)GGG 그래프 의 정점 채색이 그래프 의 가장자리 채색 과 같은 그래프 연산자 가 있습니까? 다항식 시간으로 구성 할 수있는 그래프 연산자에 관심이 있습니다. 즉, 그래프 는 에서 다항식 시간 으로 얻을 수 있습니다 …

16 graph-theory  graph-algorithms 

라고 가정하자 . N P 나는 문제의 클래스 N P 에 어느 쪽도 없습니다 P 도에 N P의 -hard. 여기서 N P I로 추측되는 문제 목록을 찾을 수 있습니다.P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} . 라드의 정리는 경우라고 우리에게 이야기 다음의 무한 계층 구조가 N P I의 문제, 즉있다 N P I의 단단 …

16 cc.complexity-theory  np-hardness  np-intermediate 

현재 작업중 인 문제에서 소음 연산자의 확장이 자연스럽게 발생하며 이전 작업이 있었는지 궁금합니다. 먼저 실수 부울 함수에 대한 기본 노이즈 연산자 TεTεT_{\varepsilon} 을 수정하겠습니다 . 주어진 함수 f:{0,1}n→Rf:{0,1}n→Rf: \{0,1\}^n \to \mathbb{R} 및 εε\varepsilon , ppp 세인트 0≤ε≤10≤ε≤10 \leq \varepsilon \leq 1 , ε=1−2pε=1−2p\varepsilon = 1 - 2p 우리 정의 Tε→RTε→RT_{\varepsilon} …

16 boolean-functions  fourier-analysis 

미안하지만, 이것이 순진한 질문이지만 Bondy-Murty, Diestel 또는 West와 같은 주요 교과서에서 정당성을 찾을 수 없었습니다. 완벽한 그래프 에는 많은 아름다운 특성이 있지만 이것이 완벽한 이유는 무엇입니까? 아니면 Berge의 심미적 선호입니까?

16 graph-theory  co.combinatorics  terminology  graph-colouring 

에지 삽입 만있는 다이내믹 그래프에서 동적 전이 폐쇄를 유지하기위한 가장 결정적인 결과는 무엇입니까? 가장자리 삽입 및 삭제와 함께 동적 전이 폐쇄 문제에 대한 논문을 읽었습니다. 그러나 가장자리 삽입 만하는 더 나은 알고리즘이 있습니까?

16 ds.algorithms  graph-theory  graph-algorithms  dynamic-algorithms 

부울 함수 f : { 0 , 1 } n → { 0 , 1 }f:{0,1}n→{0,1}f: \{0,1\}^n \to \{0,1\} 은 f 에 최대 k 개의 영향을 미치는 변수 가있는 경우 k-kk junta라고 합니다.ffkk 하자 F : { 0 , 1 } N → { 0 , 1 }f:{0,1}n→{0,1}f: \{0,1\}^n \to …

16 co.combinatorics  boolean-functions  fourier-analysis  property-testing