이론 컴퓨터 과학

관련 분야의 이론 컴퓨터 과학자 및 연구자를위한 Q & A

4
평면 그래프의 어떤 특성이 더 높은 차원 / 하이 그래프로 일반화됩니까?
평면 그래프 횡단 에지를 구비하지 않고, 평면에 내장 될 수있는 그래프이다. 하자 수 유전율 즉 하이퍼 그래프 등 모든 간선 가지고 있다는 크기 K--uniform 하이퍼 그래프.G = ( X, E)G=(X,E)G=(X,E)케이kk 이있었습니다 할 몇 가지 작업 (클러스터링의 컨텍스트 또는 다른 응용 프로그램) 평면에 하이퍼 그래프를 삽입에 있지만, 종종, 데이터는 단지 비행기에 …
1
의 결과
의 증명 시도의 일부가 있습니다. 증명 시도는 -완전한 문제 3- 일반 정점 표지에서 SAT 로의 Karp 축소로 구성됩니다 .⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}⊕P⊕P\oplus \mathbf{P}⊕⊕\oplus 입방 그래프 주어지면 , 감소 는 다음 특성을 모두 갖는 CNF 공식 를 출력 합니다.GGGFFF FFF 는 최대 만족스러운 과제를 가지고 있습니다.111 FFF 의 정점 커버 수가 …
5
양자 영감 알고리즘 목록
양자 컴퓨팅의 발전으로 새로운 클래식 알고리즘이 개발되었습니다. 최근의 주목할만한 예는 선형 대수학에 대한 양자 영감 알고리즘입니다. 추천 시스템을위한 양자 영감 클래식 알고리즘 주성분 분석 및 감독 클러스터링을위한 양자 영감 클래식 알고리즘 차원에 대한 로그 의존성으로 양자에서 영감을 얻은 낮은 순위 확률 적 회귀 저급 선형 시스템을 해결하기위한 양자에서 영감을 얻은 …
2
유니버스 계층 구조로 유전 대체
나는 간단한 람다 미적분학 과 논리 체계 를 구별하는 용어와 유형을 가진 유전 적 대체에 대해 읽었습니다 . 궁금합니다. 우주 계층 구조를 사용하는 종속 형식 시스템에서 유전 대체의 예가 있습니까? 즉, 여기서 True:Set0:Set1:Set2True:Set0:Set1:Set2 True : Set_0 : Set_1:Set_2 등 특히 그러한 시스템에서 유도 측정을 설정하는 방법이 궁금합니다. 간단하게 입력 된 …
1
DSPACE (n) = DSPACE (1.5n)입니까?
공간 계층 정리에서 가 공간 구성 가능한 경우 DSPACE ( )가 DSPACE ( 과 같지 않다는 것이 알려져 있습니다.에프ff2 f ( n ) f ( n ) )2 개 f( n )2f(n)2f(n)에프( n ) )f(n))f(n)) 여기서 DSPACE ( 나는 고정 알파벳이있는 튜링 머신에 의해 공간 에서 해결할 수있는 모든 문제의 …
1
비교할 수없는 자연수
"가장 큰 숫자 게임 이름 지정"은 두 명의 플레이어에게 비밀 번호를 적어달라고 요청하며, 승자는 큰 숫자를 쓴 사람입니다. 이 게임은 일반적으로 플레이어가 특정 시점에서 평가 된 기능을 기록 할 수 있도록 허용하므로 222222222^{2^{2^{2}}} 도 기록 할 수 있습니다. Busy Beaver 기능인 BB(x)비비(엑스)BB(x) 값은 x엑스x 큰 값에 대해 (ZFC 또는 합리적인 …
1
정규 언어 포함의 매개 변수화 된 복잡성
나는 고전적인 문제 정규 언어 포함에 관심이 있습니다. 정규 표현식 주어지면 , 우리는 그와 관련된 정규 언어 를 로 표시합니다. (일반 표현식은 고정 알파벳 에 있으며 조합, Kleene-star 및 연결이 있습니다.)L ( E ) Σ이자형EE패 ( E)L(E)L(E)ΣΣ\Sigma 입력 : 두 정규 표현식 및 질문 : 그것은 사실이다 ?E 2이자형1E1E_1이자형2E2E_2 패 …
1
공간 계층 정리는 비 균일 계산으로 일반화됩니까?
일반적인 질문 공간 계층 정리는 비 균일 계산으로 일반화됩니까? 몇 가지 더 구체적인 질문이 있습니다. 가 ?L / P O 패 Y⊊ P에스피C이자형/ polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly 모든 공간 구성 가능 함수 에프( n )f(n)f(n) 에 대해 D S피C이자형( o ( f( N ) ) ) / P O 패 Y⊊ …
5
용도에서 바인더까지의 함수를 사용하여 바운드 변수 표시
구문으로 바인딩 된 변수를 표현하는 문제, 특히 캡처를 피하는 대체 문제는 잘 알려져 있으며 여러 가지 솔루션이 있습니다. 그러나 그럼에도 불구하고 다른 명백한 접근 방식이있는 것 같습니다. 즉, 기본 구문에서 우리는 하나의 "가변"이라는 용어를 라고 쓰고 , 개별적으로 각 변수를 그 범위에 속하는 바인더에 매핑하는 함수를 제공합니다. 따라서 λ 용어는∙∙\bulletλλ\lambda …
2
주어진 정규 언어에 무한 접두사가없는 부분 집합이 있습니까?
유한 알파벳 위의 단어 세트는 하나가 다른 하나의 접두사 인 두 개의 다른 단어가없는 경우 접두사 가 없습니다. 질문은 ~이야: NFA로 지정된 일반 언어에 무한 접두사가없는 하위 집합이 포함되어 있는지 확인하는 것이 복잡합니까? 답 (아래의 Mikhail Rudoy로 인해) : 다항식으로 할 수 있으며 NL에서도 생각합니다. Mikhail의 답을 해석하면 (Σ,q0,F,δ)(Σ,q0,F,δ)(\Sigma,q_0,F,\delta) 정상적인 …
2
Monadic 클래스의 최첨단?
결정 문제의 Monadic Class라고도하는 Monadic First Order Logic은 모든 술어가 하나의 인수를 취하는 곳입니다. Ackermann이 결정할 수있는 것으로 나타 났으며 NEXPTIME-complete 입니다. 그러나 SAT 및 SMT와 같은 문제는 이론적 인 한계에도 불구하고이를 해결하기위한 빠른 알고리즘을 가지고 있습니다. 궁금합니다. 모나 딕 1 차 로직에 대한 SAT / SMT와 유사한 연구가 있습니까? …
3
미적분학 : 가장 작은 형태로 표현 압축
건축 미적분학 이 강력하게 정규화되고 있음을 알고 있습니다. 즉, 모든 표현에는 베타가 될 수없는 정규 표현식이 있으며 더 이상 감소시킬 수 없습니다. 실제로 이것은 원래 표현식과 동일한 값을 계산하는 가장 효율적인 표현식입니다. 그러나 어떤 경우에는 정규화로 작은 표현을 큰 표현으로 줄일 수 있습니다 (크기 측면에서). 가장 작은 형태의 표현이 있습니까? …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.