이론 컴퓨터 과학

Kalai의 2 페이지 SODA 논문 은 상관 없음 (한 문자와 일치하는 와일드 카드) 과 패턴 일치를위한 간단하고 효율적인 알고리즘을 제공합니다 . 본질적으로 컨볼 루션만큼 쉽습니다. 그러나 신경 쓰지 않는 여러 패턴을 검색하면 어떻게됩니까 ? 예를 들어 FFT 기반 기술로 어떻게 든 해결할 수 있습니까?

9 ds.algorithms  reference-request  string-matching 

허락하다 L⊆A∗L⊆A∗L \subseteq A^* 언어이고 정의 에프엘:ㅏ※×ㅏ※→ { 0 , 1 }fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\}하여 IFF . 다음에 대한 참조를 찾고 있습니다.에프엘( x , y) = 1fL(x,y)=1f_L(x, y) = 1x ⋅ y∈ Lx⋅y∈Lx\cdot y \in L 제안. 의 결정적인 통신 복잡성 이 일정 은 규칙적 이다.엘LL에프엘fLf_L 즉, …

9 reference-request  communication-complexity  regular-language 

Elementary Affine Logic은 기본 시간에서 줄일 수있는 λ-Term 클래스를 캡처하는 유형 시스템입니다. 또한, Lamping 알고리즘의 추상 조각을 사용하여 EAL 유형의 용어를 줄일 수 있습니다. 내 질문은 어떻게 EAL을 기본 유형 시스템으로 사용하여 실용적인 프로그래밍 언어를 만들 수 있습니까? 즉, 그 특성에 영향을 미치지 않으면 서 핵심 유형 시스템에 어떤 종류의 …

9 type-theory 

1991 년부터 색도 지수를 결정하는 경도에 대해 알려진 것을 나타내는 다른 그래프 클래스 가족에 대한 세 개의 다이어그램이 포함 된 멋진 논문 이 있습니다. 그 이후로 뉴스가 있습니까? 경계 색 수가있는 그래프에 대해 가장 관심이 있습니다. /mathpro/238448/hypergraph-edge-colouring 으로 호기심이 생겼습니다 .

9 graph-theory  np-hardness  graph-colouring 

저는 컴퓨터 과학에 관심이있는 동성애 이론가입니다. 이론적 컴퓨터 과학에서 동종 학 대수학 (모델 범주, 무한대 범주, 단순 범주 등)의 흥미로운 응용이 무엇인지 묻고 싶습니다.

9 big-list  algebraic-topology 

원시 재귀 함수는 자연수에 대해 정의됩니다. 그러나 개념이 다른 데이터 형식으로 일반화되는 것처럼 보이므로 예를 들어 목록을 이진 트리에 매핑하는 기본 재귀 함수에 대해 이야기 할 수 있습니다. 유추하여 자연수에 대한 부분 재귀 함수는 모든 데이터 유형의 계산 가능한 함수로 훌륭하게 일반화되며 원시 재귀 함수에 대해 동일한 종류의 일반화를 만드는 …

9 computability 

하자 통해 균일 한 분포 될 비트 및하자 통해 배포 될 비트들이 독립적이며 각 비트는 비트 확률로 . 일 때 와 사이의 통계적 거리 가 이라는 것이 사실 입니까?UUUnnnDDDnnn1111/2−ϵ1/2−ϵ1/2-\epsilonDDDUUUΩ(ϵn−−√)Ω(ϵn)\Omega(\epsilon \sqrt{n})n≤1/ϵ2n≤1/ϵ2n \le 1/\epsilon^2

9 pr.probability 

Schönhage–Strassen 정수 곱셈 알고리즘을 구현하려고했지만 재귀 단계에서 걸림돌을 쳤습니다. 이 I 값이 와 비트 및 I를 계산하려는 X ^ 2 \ pmod를 2 ^ {n은 + 1} . 나는 원래 아이디어가 선택하는 줄 알았는데 K 있도록 4 ^ K \ GEQ 2N , 분할 X 로 K ^ 2 각 …

9 ds.algorithms 

이것은 결정 론적 계산의 비결정론 적 속도 향상에 대한 후속 조치 입니다. 비결정론 (또는보다 일반적으로 대체)이 결정 론적 계산의 일반적인 2 차 속도를 허용 할 가능성이 있는가? 또는 과 같은 알려진 결과가 있습니까?DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n)

9 cc.complexity-theory  nondeterminism  speed-up  alternation  tradeoff 

Wikipedia [1]에 따르면 Frege Proof의 크기에 대해 가장 잘 알려진 하한은 2 차이며 Frege Proof의 줄 수에 대해 알려진 초 선형 하한은 없습니다. 질문 : 1) 확장 된 Frege Proof의 라인 수에 대해 가장 잘 알려진 하한은 무엇입니까? 2) 확장 된 Frege Proof의 크기에 대해 가장 잘 알려진 하한은 무엇입니까? …

9 proof-complexity 

경계 방문 비 결정적 선형 경계 오토마타는 일반 언어 만 인식합니까? 비결정론 적 선형 경계 오토 마톤 (nLBA)은 입력이 양 끝에 엔드 마커로 "채워져"덮어 쓰여질 수없는 단일 테이프 비결정론 적 튜링 머신을 의미하며, 헤드가 입력 영역 밖으로 이동할 수 없도록합니다. endmarkers "외부". 숫자가있는 경우 LBA는 경계 방문입니다 있도록 모두 에서 …

9 automata-theory  turing-machines  regular-language  space-bounded 

암호화에 대해이 질문 을 본 후 여러 번에 다음 질문에 대해 생각하고 있습니다. 질문 허락하다 RRR수 TFNP의 관계. 임의의 오라클이 P / Poly 가 중단 되도록 도울 수 RRR무시할 수없는 확률로? 보다 공식적으로, \newcommand{\Pr}{\operatorname{Pr}} \newcommand{\E}{\operatorname{\mathbb{E}}} \newcommand{\O}{\mathcal{O}} \newcommand{\Good}{\mathsf{Good}} 않습니다 모든 P / 폴리 알고리즘 에 대해 는 무시할 수 있습니다AAAPrx[R(x,A(x))]Prx⁡[R(x,A(x))]\Pr_x [R(x, …

9 cr.crypto-security  relativization  advice-and-nonuniformity  search-problem  random-oracles 

NEXP가 P / poly에 포함되어 있는지 여부는 알려져 있지 않습니다. 실제로 NEXP가 P / poly에 있지 않다는 것을 증명하면 일부 응용 프로그램이 임의 화 해제에 적용됩니다. C가 P / 폴리에 포함되어 있지 않다는 것을 증명할 수있는 가장 작은 클래스 C는 무엇입니까? co-NEXP가 P / poly에 포함되어 있지 않다는 것을 보여주는 …

9 complexity 

고정 된 방향 그래프 (digraph) 가 주어지면 , COLORING 결정 문제는 입력 digraph 가 와 동질성을 갖는지 묻습니다 . ( 에서 의 동형은 호를 보존하는 에서 의 매핑 입니다 . 즉, 가 의 호 이면 는 )디DD디DD지GG디DD지GG디DD에프ffV( G )V(G)V(G)V( D )V(D)V(D)너 vuvuv지GG에프( u ) f( V )f(u)f(v)f(u)f(v)디DD COLORING 문제 의 …

9 reference-request  graph-theory  np-hardness  csp  homomorphism 

한편으로 고델의 제 2 차 불완전 성 정리는 기본적인 산술 진술을 표현하기에 충분히 강력한 일관성있는 형식 이론은 그 자체의 일관성을 증명할 수 없다고 말합니다. 반면에, 교회-로저의 공식 (재 작성) 시스템 속성은 모든 방정식이 도출 될 수있는 것은 아니라는 점에서 일관성이 있음을 알려줍니다 (예 : K).≠≠\neq나는 그것들이 같은 일반적인 형태를 갖지 …

9 lo.logic  type-theory  lambda-calculus