이론 컴퓨터 과학

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

1
정지 감지기가 얼마나 좋은가요?
거의 모든 튜링 머신의 정지 여부를 결정할 수있는 튜링 머신이 있습니까? 튜링 머신의 열거 와 자연수 세트 ” ⋅ ” 의“크기”에 대한 개념이 있다고 가정 하고 다음을 정의합니다.N→{Mi}N→{Mi}\mathbb{N} \rightarrow \{M_i\}∥⋅∥‖⋅‖\| \cdot \| f(i)=∥{n:Mi can't decide whether Mn halts}∥.f(i)=‖{n:Mi can't decide whether Mn halts}‖.f(i) = \|\{n: M_i \text{ can't decide whether …
1
언어 (및 유형 시스템)가 자체 용어에 대한 이론을 증명할 수있게 만드는 요인은 무엇입니까?
나는 최근 에 자체 용어에 대한 수학적 이론을 입증 할 수있는 미니멀리스트 프로그래밍 언어 인 Aaron 's Cedille-Core 를 구현하려고 시도했다 . 또한 λ로 인코딩 된 데이터 유형에 대한 유도가 입증되었으므로 확장이 필요한 이유가 더 명확 해졌습니다. 더 적은 부분에서, 나는 여전히 그 확장이 어디에서 왔는지 궁금합니다. 왜 그들이 무엇입니까? …
1
엔트로피와 계산의 복잡성
소거 비트가 에너지를 소비해야한다는 것을 보여주는 연구원이 있는데, 이제 계산 복잡도 갖는 알고리즘의 평균 에너지 소비에 대한 연구가 있습니까? 계산 복잡도 F ( n ) 는 평균 에너지 소비와 관련이 있다고 생각 합니다. 여기에서 대답을 얻을 수 있기를 바랍니다.F(n)F(n)F(n)F(n)F(n)F(n)
1
에서 두 세트의 포인트 가 회전에 의해서만 다른 경우 테스트의 복잡성 ?
점 두 가지 크기의 세트 가 있다고 가정 합니다 . 회전에 의해서만 다른 경우 테스트의 (시간) 복잡성은 무엇입니까? : 회전 행렬이 존재 이되도록 ?mmmX,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^nOOT=OTO=IOOT=OTO=IOO^T=O^TO=IX=OYX=OYX=OY 여기에 실제 값을 나타내는 문제가 있습니다. 단순화를 위해 기본 산술 연산 비용을 O (1)로 가정 할 수 있도록 각 좌표에 대해 (짧은) 대수 공식이 있다고 …
1
시간
최근 프리 프린트 https://arxiv.org/abs/1801.00776 에서 실수를 시간 O ( n √) 로 정렬 할 수 있다고 주장합니다.nnn 선형 공간. 알고리즘 정렬 전문가는 아니지만 논문은 합리적으로 보입니다.O(nlogn−−−−√),O(nlog⁡n),O(n \sqrt{\log n}), 맞다면 이론적으로 이것은 중요 할 것입니다. 그러나 주요 주장의 표현은 다소 비공식적이고 비 전통적입니다. 이 논문에서 아무도 눈치 채지 못했습니까? 같은 저자, …
1
두 가지 결정 론적 CFG를 구별하는 정규 언어
두 개의 주어진 가정 해 결정 론적 언어 인식 오토마타 아래로 밀어 와 B를 정기적으로 언어가 있는지 여부를 확인하고, 소원을 R 등이 ⊆ R 및 R ∩ B = ∅ . 기본적으로 문제는 주어진 두 언어 중 어떤 언어가 해당 언어 중 하나에서 왔는지 인식 할 수있는 DFA가 있는지 확인하는 …
1
두 개의 비 등방성 그래프
나는 매우 구체적이기를 원합니다. 다음 제안에 대한 증거 또는 증거를 아는 사람이 있습니까? ∃p∈Z[x],n,k,C∈N,∃p∈Z[x],n,k,C∈N,\exists p \in \mathbb{Z}[x], n, k, C \in \mathbb{N}, ∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),\forall G, H \in STRUC[\Sigma_{graph}] (min(|G|, |H|) = n, G \not\simeq H), ∃φ∈L(Σgraph),∃φ∈L(Σgraph),\exists \varphi \in \mathcal{L}(\Sigma_{graph}), |φ|≤p(n)∧qd(φ)≤Clog(n)k∧G⊨φ∧H⊭φ.|φ|≤p(n)∧qd(φ)≤Clog(n)k∧G⊨φ∧H⊭φ.|\varphi| \leq p(n) \wedge qd(\varphi) \leq Clog(n)^k \wedge G \vDash \varphi \wedge …
1
비 결정적 다항식 시간과 결정 론적 다항식 시간 검증의 동등성에 대한 1 차 소스
다항식 시간에 언어 인증서를 확인할 수있는 경우 언어가 NP에 있음을 가장 먼저 표시 한 사람은 누구입니까? 공식적으로 이것을 증명하는 종이가 있습니까? TCS 커뮤니티는 언제 검증 가능성을 위해 비결정론을 강조하지 않았습니까? 나는 내 인생에서 Papadimitriou와 Arora와 Barak와 같은 텍스트를 넘어서서 이것에 대한 좋은 언급을 찾을 수 없다.
1
패턴 람다 미적분에서의 이타 확장
Klop, van Oostrom 및 de Vrijer에는 람다 미적분학에 패턴이있는 종이가 있습니다. http://www.sciencedirect.com/science/article/pii/S0304397508000571 어떤 의미에서 패턴은 변수의 트리입니다.하지만 ((x, y), z), (t, s))와 같이 중첩 된 변수의 튜플이라고 생각합니다. 논문에서 그들은 패턴이 선형 적이라면 패턴의 변수가 반복되지 않는다는 의미에서 규칙을 보여 주었다. (\p . m) n = m [n/p] 여기서 p는 …
1
오라클 튜링 머신의 정지 문제에 대한 정보 압축
중지 문제는 계산할 수없는 것으로 잘 알려져 있습니다. 그러나 정지 문제에 대한 정보를 기하 급수적으로 "압축"하여 압축을 풀 수 있습니다. 보다 정확하게는 튜링 기계에 대한 설명을 계산할 수 있으며 비트 권고 는 튜링 기계의 모든 에 대한 정지 문제에 대한 답을 어드바이스 상태는 신뢰할 수 있습니다. 어드바이저는 비트 수를 선택하여 …
1
DSPACE (O (s (n)))의 시간 계층
시간 계층 정리에 따르면 튜링 기계는 시간이 충분하다면 더 많은 문제를 해결할 수 있다고합니다. 공간이 무증상으로 제한되는 경우 어떤 방식으로 유지됩니까? 어떻게 DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) 에 관한 DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) 의 경우 fgfg\frac{f}{g} 는 충분히 빨리 자 랍니까? I는, 특히 그 경우에 관심이 s(n)=ns(n)=ns(n) = n , g(n)=n3g(n)=n3g(n) = n^3 및 f(n)=2nf(n)=2nf(n) …
1
이 비표준 버전의 Azuma 불평등의 증거는 무엇입니까?
Dwork 등 의 부스팅 및 차등 개인 정보 보호 정책 부록 B 에서 저자는 증거없이 다음 결과를 언급하고이를 Azuma의 불평등이라고합니다. 하자 C1,…,CkC1,…,CkC_1, \dots, C_k 실수 할 확률 변수는 그 모든 대한 i∈[k]i∈[k]i \in [k] , Pr[|Ci|≤α]=1Pr[|Ci|≤α]=1\Pr[|C_i| \leq \alpha] = 1 모든에 대한 , 우리가 .(c1,…,ci−1)∈Supp(C1,…,Ci−1)(c1,…,ci−1)∈Supp(C1,…,Ci−1)(c_1, \dots, c_{i - 1}) \in …
2
SAT는 문맥이없는 언어입니까?
나는 모든 만족할 수있는 명제 논리 공식, SAT 의 언어를 고려하고 있습니다 (이것은 유한 알파벳을 갖기 위해 우리는 명제 문자를 적절한 방법으로 인코딩 할 것입니다 . [편집 : 대답은 질문에 대한 대답이 강력하지 않을 수 있다고 지적했습니다 다양한 인코딩으로 인해 더 구체적이어야합니다-아래 내 결론 참조] ). 내 간단한 질문은 가 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.