이론 컴퓨터 과학

부치 오토마타가 LTL보다 더 표현력이 높은 모델 일뿐만 아니라 특정 수식을 LTL로 표현할 수 없다는 것을 증명할 수있는 일반적인 기술을 찾고 있습니다. 예를 들어, " 는 적어도 짝수 위치에서 발생합니다"는 다음 Buchi 오토마타로 설명 할 수 있습니다. ( q 0 , q 1 , Σ , δ , q 0 …

11 lo.logic  automata-theory 

편집 (Tara B에 의해) : 나는 내 자신의 논문에 대해 스스로 그것을 증명해야했기 때문에 여전히 이것에 대한 증거 에 대한 참조 에 관심 이 있습니다. 이 백서에 나오는 정리 4의 증거를 찾고 있습니다. Liu와 Weiner 의 문맥이없는 언어의 교차로의 무한 계층 . 정리 4 차원 아핀 매니 치수이며, 각각의 매니 …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice 

한정된 양자 게이트 세트 은 가 범용 게이트 세트 인지 결정할 수 (계산 이론적 의미에서) ? 한편으로, "거의 모든"게이트 세트는 보편적이며, 다른 한편, 비 유니버설 게이트 세트는 여전히 잘 이해되지 않는다 (특히, 모든 비 유니버설 게이트 세트가 고전적으로 시뮬레이션 가능한지 여부는 알려져 있지 않다), 따라서 보편성을 검사하기위한 명시 적 알고리즘을 …

11 quantum-computing 

주어진 함수의 로컬 최소 (최대)를 찾을 수있는 그라디언트 하강 알고리즘에 익숙합니다. 함수가 여러 국소 극한을 갖는 절대 최소값 (최대)을 찾을 수있는 경사 하강의 수정이 있습니까? 절대 극한을 찾기위한 국소 극한을 찾을 수있는 알고리즘을 향상시키는 일반적인 기술이 있습니까?

11 ds.algorithms  approximation-algorithms  machine-learning 

최근에 석사 과정을 시작했습니다. 지난 학기에는 네트워크, 소프트웨어 엔지니어링, 아키텍처 등과 같은 다양한 분야의 코스를 수강했습니다. 최근 알고리즘 및 데이터 구조에 대한 고급 코스를 수강 한 후 가장 관심있는 코스를 찾았습니다 (다른 유사한 주제를 포함하여 프로그래밍 언어 등). ). 논문에 대해 연구 할 수있는 특정 주제의 데이터 구조 또는 알고리즘을 …

11 soft-question  career 

내가 감독하는 학생들에게 다음 운동이 전달되었습니다. 평면에 점이 주어지면 , 모든 점 쌍 중 거리가 최소 인 한 쌍의 점을 찾는 알고리즘을 고안하십시오. 알고리즘은 시간에 실행되어야합니다 .o ( n 2 )엔엔n영형 ( n2)영형(엔2)o(n^2) 시간 의 작업을 해결하는 (상대적으로) 간단한 나누기 및 정복 알고리즘이 있습니다.Θ ( n 로그엔)Θ(엔로그⁡엔)\Theta(n \log n) 질문 …

11 ds.data-structures  cg.comp-geom 

를 호출하는 것의 차이점은 무엇입니까λλ\lambda계산법 대신에 -calculus를 대수 ? " 미적분학은 미적분학이 아니라 대수학"(다나 스캇에 기인 한 iirc)이라는 어딘가를 읽었 기 때문에이 질문을 제기합니다 . 요점이 뭐야? 감사.λλ\lambda

11 soft-question  lambda-calculus 

내가 이해하는 것처럼, 컴퓨터 과학에서 데이터 유형은 Russell의 역설과 같은 것들 때문에 이론을 기반으로하지 않지만 실제 프로그래밍 언어에서는 "자체를 포함하지 않는 집합"과 같은 복잡한 데이터 유형을 표현할 수 없다. 실제로 type은 인스턴스 멤버쉽이이 유형 / 세트에 고유 한 여러 기능 (특정 속성, 메소드의 존재)으로 정의되는 무한한 멤버 집합이라고 말합니까? 반대의 …

11 type-theory  set-theory  type-systems 

하자 1 , a는 2 , ... , m은 정수의 시퀀스 일 여기서 각 J ∈ { 1 , 2 , ... , N } . 들어 난 ∈ { 1 , 2 , ... , N } ,하자 m I = | { j : a j = i …

11 ds.algorithms  reference-request  communication-complexity  data-streams 

에서는 분산 버전 관리 시스템 (예 의욕 및 힘내 ) 효율적 관한 비교할 비순환 그래프 (DAG에) 할 필요가있다. 저는 Mercurial 개발자이며 두 DAG를 비교하는 시간 및 네트워크 복잡성을 논의하는 이론적 작업에 대해 매우 관심이 있습니다. 해당 DAG는 기록 된 개정으로 구성됩니다. 리비전은 해시 값으로 고유하게 식별됩니다. 각 개정은 이전 개정의 …

11 cc.complexity-theory  dc.distributed-comp  directed-acyclic-graph 

전통적인 미술관 문제 는 지역을 설정하고 가시성에 대한 개념을 가지고 있으며, 전체 지역을보기 위해 배치해야하는 최소한의 경비원을 요구합니다. 가시 영역이 대신 가드 쌍 으로 정의되는 아트 갤러리 변형을 본 사람이 있습니까 ? 예를 들어, 최소 경계 디스크가 그것을 보호하는 한 쌍의 가드가있는 경우 점을 덮는 것이 하나의 공식 일 수 …

11 reference-request  cg.comp-geom 

이 질문은 관련이 최근 문제 로 Janoma . 배경 제약 프로그래밍에있어서, 일반 글로벌 제약 도메인을 통해 한 쌍 과 변수 튜플 (범위) 및 도메인 위에 DFA . 과제 에 만족 경우 문자열을 수락 .cccDDD(s,M)(s,M)(s, M)sssMMMDDDθθ\thetassscccMMMθ(s1)θ(s2)…θ(sn)θ(s1)θ(s2)…θ(sn)\theta(s_1)\theta(s_2)\ldots\theta(s_n) 아래에서는 도메인 가 고정되어 있다고 가정합니다 . 모든 DFA 대해 또는 경우 가 되도록 문자열 …

11 co.combinatorics  fl.formal-languages  automata-theory  regular-language 

가장자리 가 가중 비 지향 그래프가 주어지면 주어진 정점 쌍 사이의 근사 거리가 2 미만으로 계산되고 싶습니다. 물론, 나는 이차 공간과 아 선형 쿼리 시간을 사용하고 싶습니다.m = o ( n2)m=o(n2)m = o(n^2) 행렬 곱셈을 사용하는 Zwick의 결과를 알고 있지만 조합 알고리즘이이 문제로 알려진 경우 궁금합니다.

11 ds.algorithms  graph-algorithms 

S = { s 1 , s 2 , … , s n } 요소를 갖는 세미 그룹 이 있다고 가정 합니다. 우리의 목표는 제품 s i ∘ s i + 1 ∘ ⋯ ∘ s j 를 계산하는 것입니다 .(S,∘)(S,∘)(S,\circ)S={s1,s2,…,sn}S={s1,s2,…,sn}S=\lbrace s_1,s_2,\dots,s_n\rbracesi∘si+1∘⋯∘sjsi∘si+1∘⋯∘sjs_i\circ s_{i+1}\circ \cdots\circ s_j "온라인 제품 쿼리에 응답하기위한 최적의 …

11 cc.complexity-theory  graph-theory  ds.data-structures 

나는 그것이 # P-Space라고 불릴 것 같지만 그것을 모호하게 언급 한 기사를 하나만 발견했다. EXP-SPACE-Complete 문제뿐만 아니라 EXP-TIME-Complete, NEXP-Complete의 계산 버전은 어떻습니까? Toda의 정리와 같은 포함 또는 제외 유형과 관련하여 인용 할 수있는 이전 연구가 있습니까?

11 cc.complexity-theory  complexity-classes  counting-complexity  pspace