이론 컴퓨터 과학

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

1
가장 잘 알려진 점근 적 PCP 크기 / 3-SAT
확률 적으로 확인할 수있는 증거의 크기에 대해 가장 잘 알려진 점근 적 상한은 무엇입니까? 이상적으로, 나는이 광범위한 질문에 대한 현대적인 설문 조사를 찾고 있지만 아무것도 없다면 3-SAT의 근사성에 특히 관심이 있습니다. 7 / 8 + ε-3-SAT를 3-SAT로 설정하고 절의 7 / 8 + ε 비율이 만족스러운 경우 인스턴스를 만족시킬 수 …
1
금지 된 미성년자를 찾는 알고리즘이 있습니까?
로버트슨 - 시모어 정리는 말한다 사소한 폐쇄 가족GG\mathcal G 그래프는 유한하게 많은 금지 된 미성년자에 의해 특징 지워질 수있다. 입력을위한 알고리즘이 있습니까? GG\mathcal G 금지 된 미성년자를 출력하거나 결정 불가능합니까? 분명히 대답은 GG\mathcal G입력에 설명되어 있습니다. 예를 들어GG\mathcal G 에 의해 주어진 MGMGM_\mathcal G 멤버십을 결정할 수 있고 MGMGM_\mathcal G아무것도 …
2
MLTT에서 형식 유추 및 형식 검사의 결정 가능성
마틴 LOF의에서 유형의으로 intuitionistic 이론 : 서술 부분 은 유형 검사 있음을 입증 decidable되는 대상 존재의 typeable 처음에 폐쇄 typeable 용어에 대한 정규화 정리를 증명함으로써,. 다른 한편으로, (intensal) MLTT에서 형식 검사가 결정 가능한 여러 위치 (Wikipedia, Nördstrom 등)에 쓰여진 것을 보았습니다. 입력 가능한 용어로 암시 적으로 제한하고 있습니까?a : Aa:Aa …
1
단일체가 언어를 인식한다는 문장의 일반화
허락하다 ㅏAA유한 한 알파벳이어야합니다. 주어진 언어L ⊆ㅏ※L⊆A∗L \subseteq A^{\ast}구문 모노 이드 미디엄( L )M(L)M(L)공식적인 언어 이론에서 잘 알려진 개념입니다. 또한, monoid미디엄MM 언어를 인식 엘LL morphism이 있다면 φ :ㅏ※→ Mφ:A∗→M\varphi : A^{\ast} \to M 그런 L =φ− 1( φ ( L ) ) )L=φ−1(φ(L)))L = \varphi^{-1}(\varphi(L))). 그런 다음 좋은 결과를 얻습니다. …
1
폴리 로그 독립이 바보라는 결과에서 지수를 강화하는 데 진전이 있었습니까?
Braverman은 ( L O g미디엄ϵ)O (디2)(엘영형지미디엄ϵ)영형(디2)(log \frac{m}{\epsilon})^{O(d^2)}현명한 독립 ϵϵ\epsilon바보 깊이 디디d ㅏ씨0ㅏ씨0AC^0 크기의 회로 미디엄미디엄m 스몰 렌스키 근사와 푸리에 근사를 "함께 붙이기" ㅏ씨0ㅏ씨0AC^0-계산 가능한 부울 함수. 저자와 이것을 추측 한 사람들은 원래 지수가 다음과 같이 감소 될 수 있다고 추측했다.O ( 일)영형(디)O(d), 상관 거리에 가까운 다항식을 생성하고 실제로 많은 수의 …
3
불균일성이 어떻게 유용한 지에 대한 예는 무엇입니까?
불균일성이 계산에 유용하다는 것을 알게 된 방법이 궁금합니다. 한 가지 방법은 무작위성입니다.BPP⊆P/polyBPP⊆P/polyBPP \subseteq P/poly, 다른 하나는 모든 언어에 비 균일 회로가 있음을 나타내는 데 사용되는 조회 테이블입니다. 특히, 확률 론적 방법을 통해 존재하는 것으로 알려진 객체와 다른 비 구조적 (또는 비 구조적) 증명 방법을 비 균일 성을 사용하여 활용할 수있는 …
2
비합리적 가중치를 가진 최대 흐름 알고리즘에 대한 반례?
지방 파이프 휴리스틱 (최대 흐름에 대한 두 가지 알고리즘)이있는 Ford-Fulkerson 또는 Edmonds-Karp는 일부 가중치가 비합리적 일 경우 정지 할 필요가 없습니다. 사실, 그들은 심지어 잘못된 가치 에 수렴 할 수도 있습니다 ! 그러나 문헌에서 찾을 수있는 모든 예제 [아래 참조와 여기에 참조]는 단일 비합리적인 값을 사용합니다 : 켤레 황금 비율 …
1
매개 변수화 된 복잡성이 복잡성 이론의 미래가 될 것인가?
저는 알고리즘 및 복잡성 이론을 연구하는 연구 학자이며 매개 변수화 된 복잡성을 어느 정도 사용합니다. 나에게 매개 변수가있는 복잡성에 관한 연구자들은 연구 논문 수 측면에서 매우 활발한 것으로 보입니다 (다른 사람들이 그렇지 않다는 것을 의미하지는 않습니다). 통신 복잡성, 산술 복잡성 등의 연구원들도 다양한 매개 변수를 더 많이 사용하고 있음을 알았습니다. …
1
유형 이론에서의 칸토르 정리
캔터의 정리에 따르면 모든 세트 A의 경우, A의 모든 서브 세트 세트는 A 자체보다 카디널리티가 엄격합니다. ZFC 세트를 참조하지 않고 유형 / 명제 만 사용하여 이와 같은 것을 인코딩 할 수 있습니까? 이 제안을 종속적으로 유형이 지정된 언어로 인코딩하기위한 코드 또는 의사 코드가 인정 될 것이다.
5
신경망을 사용하여 알고리즘을 고안 할 수 있습니까?
보드 게임에서 신경망의 새롭고 새로운 성공을 거둔 후, 우리가 설정 한 다음 목표는 Starcraft에서 인간을 때리는 것보다 더 유용한 것일 수 있습니다. 더 정확하게는 신경망을 훈련하여 고전적인 알고리즘 문제를 해결할 수 있습니까? 예를 들어 네트워크는 가중 가장자리와 두 개의 정점 와 지정된 입력 그래프 를 얻을 수 있으며 가능한 한 …
1
전력 간 거리를 계산하는 알고리즘
coprime 주어지면 을 빠르게 계산할 수 있습니까?a,ba,ba, bminx,y>0|ax−by|minx,y>0|ax−by| \min_{x, y > 0} |a^x - b^y| 여기서 x,yx,yx, y 는 정수입니다. 분명히 x = y = 0을 취하는 것은 x=y=0x=y=0x = y = 0흥미없는 대답을 제공합니다. 일반적으로 이러한 힘은 얼마나 가까이 갈 수 있습니까? 또한 최소화하는 x,yx,yx, y 어떻게 빨리 계산 …
1
QFBV SMT 솔버의 성능 이해
Z3 또는 Boolector와 같은 SMT 솔버는 복잡한 휴리스틱을 사용하여 문제를 해결합니다. 그러나 이것은 또한 주어진 문제에 대한 그러한 솔버의 성능을 예측하는 것을 매우 어렵게 만듭니다. 내 질문은 따라서 : 질문 QFBV (Quantifier-free Bitvectors) 이론에서 특정 SMT 솔버의 성능을 이해하거나 통찰력을 얻는 방법이 있습니까? 여기에는 솔버가 "고정 된"위치를 이해하는 데 도움이되는 …
1
높은 나무 너비와 일정한 정도의 하위 그래프 찾기
I 그래프 부여하고 와 treewidth 임의 정도 및 I는 서브 그래프 찾고 싶은 의 (반드시 유도 서브 그래프)을되도록 일정 수준을 가지고 있으며 treewidth 가능한 높은 같다. 형식적 내 문제는 다음과 같다 : 결합도를 선택하는 데 "최고"기능이 무엇인지, 와 같은, 임의 그래프 와 treewidth , 최대 학위 및 treewidth 가진 의 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.