이론 컴퓨터 과학

특수한 경우 DFA 교차에 대한 효율적인 알고리즘에 관심이 있습니다. 즉, DFA가 특정 구조를 따르거나 제한된 알파벳으로 작동하는 경우. 그러한 경우 알고리즘을 찾을 수있는 소스가 있습니까? 질문을 너무 광범위하게 만들지 않기 위해 다음 구조가 특히 중요합니다. 교차 할 모든 DFA는 이진 알파벳 (0 | 1)으로 작동하며, 상관 없음 기호를 사용할 수도 …

9 automata-theory  time-complexity  dfa 

이 질문은 두 가지로 구성되며 주로 참조 지향적입니다. 세부 사항에 너무 많이 들어 가지 않고 그래프 사소한 정리를 증명하기위한 주요 직관이있는 곳이 있습니까? 나는 그 증거가 길고 어렵다는 것을 알고 있지만 더 쉬운 방법으로 전달 될 수있는 핵심 아이디어가 있어야합니다. 그래프에서 준 차수로 표시 될 수있는 다른 관계가있을 수 있습니다. …

9 reference-request  graph-theory  graph-minor 

내 Java 프로젝트 중 하나는 parboiled 포크이며 Antlr 또는 JavaCC와 달리 파서는 런타임에 생성됩니다. 생성 된 문법은 Parsing Expression Grammars 또는 PEG입니다 (다른 용어는 "패킷"이라고 들었습니다). 런타임 생성에는 복잡성이 추가되지만 (바이트 코드 생성 관련) 또 다른 측면은 파서 이론 자체와 관련이 있습니다. 불행히도 컴퓨터 과학에 대한 탄탄한 배경이 없기 때문에 …

9 research-practice  books  parsing 

동일한 제안에 대한 두 가지 결정 가능한 증거의 평등의 결정 가능성이 유도 건축의 미적분학에 대한 추가 공리없이 입증 될 수 있는지 알고 싶습니다. 특히, 나는 Coq에 추가 공리가 없다면 이것이 사실인지 알고 싶습니다. ∀P:Prop,P∨¬P⇒(∀p1:P,∀p2:P,{p1=p2}∨{p1≠p2})∀P:Prop,P∨¬P⇒(∀p1:P,∀p2:P,{p1=p2}∨{p1≠p2})\forall P: \texttt{Prop}, P \vee \neg P \Rightarrow (\forall p_1 : P, \forall p_2: P, \{p_1 = …

9 coq  constructive-mathematics  calculus-of-constructions 

입력 x (T, x)가 입력 x의 T 출력을 영원히 출력하는 Turing-machines 및 범용 Turing-machine U의 인코딩을 수정합시다. U (p) = x가되도록 가장 짧은 프로그램 p의 길이로 x, K (x)의 Kolmogorov 복잡도를 정의합니다. 모든 n> N에 대해 K (x) = n 인 x가있는 N이 있습니까? 말. 보편적 인 Turing-machines를 다른 방식으로 …

9 cc.complexity-theory  universal-computation  kolmogorov-complexity  universal-turing-machines 

다음 문제에 대한 참조를 찾고 있습니다 : 주어진 정수 nnn그리고 , 개의 꼭짓점과 나무 너비 에 모든 비 등방성 평면 그래프를 열거합니다 . 이론적 결과와 실제 결과에 관심이 있지만 가능한 많은 및 값 ( 및 ) 으로 코딩하고 실행할 수있는 대부분 실용적인 알고리즘입니다 . 이미 답변이 있다면 아래의 문제를 무시하십시오.kkknnn≤k≤k\leq …

9 reference-request  graph-theory  graph-algorithms  treewidth 

현재의 대부분의 암호화 방법은 두 개의 큰 소수의 곱인 숫자를 분해하기가 어렵습니다. 내가 이해하는 것처럼, 큰 소수를 생성하는 데 사용되는 방법을 결과 복합 수를 인수 분해하는 데 사용할 수없는 한 (그리고 큰 숫자 자체를 인수 분해하는 것이 어렵다면) 어렵습니다. 수학자들이 때때로 더 나은 지름길을 찾는 것처럼 보이고 암호화 시스템을 주기적으로 …

9 cr.crypto-security  primes 

그래프에서 최대 가중치 일치의 변형에 관심이 있는데,이를 "최대 공정 일치"라고합니다. 그래프가 가득 차고 (즉, ), 짝수의 정점이 있으며 가중치는 이익 함수 p : {V \ choose 2} \ to \ mathbb N에 의해 주어진다고 가정합니다 . 일치하는 M이 주어지면 M (v)로 표시됩니다 . 가장자리 v 의 이익 이 일치합니다.이자형=V×VE=V×VE=V\times V피:(V2)→엔p:(V2)→Np:{V\choose …

9 ds.algorithms  graph-algorithms  np-hardness  matching  bipartite-graphs 

레이놀즈는 원래 2 차 다형성 람다 미적분에 대한 관계 의미론을 제안했다 [1]. 그러나 그는 나중에이 접근법이 고전적 이론과 일치하지 않음을 보여 주었다 [2]. Pitts는 구성 논리와 일치하는 hyperdoctrine 모델과 topos 모델의 프레임 워크를 설명했다 [3]. 아마도 관계형 hyperdoctrine과 topos 모델이 개발되었다. 그들에 대해 어디서 읽을 수 있습니까? [1] 유형, 추상화 …

9 type-theory  parametricity 

랜덤 포레스트는 실무자들 사이에서 가장 효과적인 분류 기술 중 하나로 명성을 얻고 있습니다. 그러나 우리는 학습 이론 문헌에서 그것들을 많이 만나지 않습니다. 이 이론을 깊이 탐구하고 싶다면 어디에서 시작해야할까요?

9 machine-learning  lg.learning 

우리는 1 차 만족도를 결정하는 것이 일반적으로 결정 불가능하다는 것을 교회의 정리에서 알 수 있지만, 1 차 만족도를 결정하기 위해 사용할 수있는 몇 가지 기술이 있습니다. 가장 확실한 것은 유한 모델을 검색하는 것입니다. 그러나 1 차 논리에는 유한 모델이 없음을 보여줄 수있는 많은 진술이 있습니다. 예를 들어, 주사 및 비 …

9 reference-request  lo.logic  automated-theorem-proving 

알파벳 대한 임의의 문맥이없는 문법 를 고려하십시오 . 이 문법의 제작에 두 개의 고정 된 문맥에 맞지 않는 제작 : 및 . 결과 문법 를 " 제작 보완 된 "를 나타냅니다.GGG{0,1,0¯¯¯,1¯¯¯}{0,1,0¯,1¯}\lbrace 0,1,\overline{0} ,\overline{1} \rbracePPP0¯¯¯0→ϵ0¯0→ϵ\overline{0} 0 \rightarrow \epsilon1¯¯¯1→ϵ1¯1→ϵ\overline{1} 1 \rightarrow \epsilonGPGPG^PGGGPPP 이것은 문법 얻어 알고리즘 수득 가능 , 문자열은 위에 및 …

9 context-free  decidability 

허락하다 fff수 -variate 다항식 사이즈 폴리 연산 회로로서 소정의 과 보자 소수 일.nnn(n)(n)(n)p=2Ω(n)p=2Ω(n)p = 2^{\Omega(n)} 시간이 이고 오류 확률이 인 경우 보다 가 동일하게 0 인지 테스트 할 수 있습니까? 선험적 인 경계? 가 일 변량 이면 ?fffZpZp\mathbb{Z}_ppoly(n)poly(n)\mbox{poly}(n)≤1−1/poly(n)≤1−1/poly(n)\leq 1-1/\mbox{poly}(n)fff 경우에 당신이 효율적으로 테스트 할 수 있습니다 동일하게 A와 제로 공식적인 …

9 polynomials  arithmetic-circuits 

나는 독특한 게임 추측과 Max-Cut of Khot 등의 유명한 축소를 공부하고 있습니다. 논문과 인터넷의 다른 곳에서 대부분의 저자는 MAX-CUT 축소와 긴 코드에 대한 특정 테스트 구성 간의 암시 적 동등성을 사용합니다. 그 동등성에 대한 명확성이 부족하기 때문에 나는이 생각의 흐름을 따르기 위해 고군분투한다. 또한 이러한 설명에서 감소는 순전히 그래프의 관점에서 …

9 cc.complexity-theory  approximation-hardness  pcp  max-cut  unique-games-conjecture 

컬러 그래프는 튜플로 설명 할 수 있습니다 (G,c)(G,c)(G,c) 어디 GGG 그래프이며 c:V(G)→Nc:V(G)→Nc : V(G) \rightarrow \mathbb{N}착색입니다. 두 개의 컬러 그래프(G,c)(G,c)(G,c) 과 (H,d)(H,d)(H,d) 동형이 존재하는 경우 동형이라고한다 π:V(G)→V(H)π:V(G)→V(H)\pi : V(G) \rightarrow V(H) 착색이 준수되도록, 즉 c(v)=d(π(v))c(v)=d(π(v))c(v) = d(\pi(v)) 모든 v∈V(G)v∈V(G)v \in V(G). 이 개념은 매우 엄격한 의미에서 컬러 그래프의 동형을 캡처합니다. …

9 terminology  graph-isomorphism  equivalence