이론 컴퓨터 과학

G=(V,E)G=(V,E)G=(V,E)e(S,Sc)SScminS⊂V e(S,Sc)min(|S|,|Sc|),minS⊂V e(S,Sc)min(|S|,|Sc|),\min_{S \subset V} ~\frac{e(S,S^c)}{\min(|S|,|S^c|)},e(S,Sc)e(S,Sc)e(S,S^c)SSSScScS^c 더 구체적으로 말하면 지름이 적어도 (또는 최대) 라는 것을 알고 있습니다. 이것이 있다면 컨덕턴스에 대해 무엇을 알려줍니까? 반대로, 컨덕턴스가 최대 (또는 적어도) 인지 알고 있다고 가정 합니다. 이것이 있다면 직경에 대해 무엇을 말합니까?DDDαα\alpha

14 graph-theory  co.combinatorics  expanders 

Greg Egan은 그의 소설 "Dark Integers"(산술에서 불일치에 대한 이론을 증명함으로써 두 개의 서로 다른 수학을 가진 두 개의 우주에 관한 이야기)에서 기본적인 기능만을 사용하여 기존 인터넷 라우터에서만 범용 컴퓨터를 구축 할 수 있다고 주장합니다. 패킷 스위칭 (정확한 체크섬 수정). 원칙적으로 이것이 가능합니까? 최신 정보. 질문을보다 정확하게하려면 : 라우터 네트워크에서 범용 …

14 computability  universal-computation 

데이터 흐름 및 제어 흐름 그래프를 최적화하고 특히 계산이 더 복잡합니다. 그러나 들여다 보는 구멍 최적화 분야의 최신 발명에 대해 아는 것도 흥미로울 것입니다.

14 optimization  compilers 

다음 문제에 대해 알려진 것이 있습니까? 전혀 말이 되나요? 뭐라고 해요? 다른 문제와 사소한 것입니까? 시간 복잡성은 무엇입니까? 방향이 지정되지 않은 (일반 / 평면 / 경계도 등) 그래프 G = (V, E)가 주어지면 G '= (V, E-E')가 연결되도록 에지 E '의 최대 하위 집합을 찾습니다. E '의 모든 모서리 e는 …

14 ds.algorithms  graph-theory 

LP 작업을 위해 SM을 구현하는 데 관심이 있지만 가능한 함정에 대해 들었습니다. Cormen의 책에 따르면 순진한 구현이 기하 급수적으로 작동하도록 입력 데이터를 가질 수 있다고합니다. 또한 순진한 구현으로 인해 일종의 데이터가 반복 될 수 있다고 들었습니다. SM의 실제 구현에 대한 뉘앙스를 설명하는 책 / 종이 / 소스가 있습니까? 미리 감사드립니다.

14 ds.algorithms  linear-programming  software  implementation  simplex 

Koebe의 아름다운 정리 ( 여기 참조 )는 평면 그래프를 디스크의 키스 그래프 (매우 낭만적 인 ...)로 그릴 수 있다고 언급합니다. (약간 다르게, 평면 그래프는 디스크의 교차 그래프로 그릴 수 있습니다.) Koebe 정리는 증명하기가 쉽지 않습니다. 내 질문 : 디스크 대신 지방 볼록한 모양을 사용할 수있는이 정리의 쉬운 버전이 있습니까? 모든 …

14 cg.comp-geom  planar-graphs 

TCS의 두 부분은 알고리즘과 복잡성입니다. 간단히 말해서 알고리즘은 상한에 대한 연구이며 제한된 리소스로 무언가 를 할 수 있음을 보여 주며 복잡성은 당신에게 수없는 최소한의 자원없이 그것을 할. 복잡한 알고리즘에 배치하기 위해 결정 모델에 알고리즘 문제가 종종 언급됩니다. 그러나 항상 나를 괴롭히는 것은 일부 기본 알고리즘이 특정 클래스에 속하는 것으로 절대 …

14 cc.complexity-theory  sorting 

G를 n- 노드 무 방향 그래프로하고 T를 터미널 이라고하는 V (G)의 노드 서브 세트라고 합니다. (G, T) 의 거리 보존제 는 특성을 만족시키는 그래프 H이다. 디H( u , v ) = d지( u , v )디H(유,V)=디지(유,V)d_H(u,v) = d_G(u,v) 모든 노드 u, v에서 T. (H는 반드시 G의 하위 그래프는 아닙니다.) 예를 …

14 ds.algorithms  reference-request  graph-algorithms  planar-graphs 

나는 이미 stackoverflow 에서이 질문을 했지만이 사이트에 더 적합 할 수 있습니다. 문제는: 서명되지 않은 정수의 N 쌍이 있습니다. 정렬해야합니다. 쌍의 끝 벡터는 각 쌍의 첫 번째 숫자에 따라 감소하지 않고 각 쌍의 두 번째 숫자에 의해 증가하지 않아야합니다. 각 쌍은 어느 시점에서든 첫 번째 요소와 두 번째 요소를 교환 …

14 ds.algorithms  sorting 

다음과 같은 자연적인 질문을 고려해 유한 언어 감안할 때 , 가장 작은 문맥 자유 문법 생성 무엇 L은 ?엘엘L엘엘L 우리는 언어의 순서 지정하여 질문을 더 재미있게 만들 수 있습니다 , 예를 들어 대한 L N 의 모든 순열의 집합입니다 { 1 , ... , N } : 직관적위한 CFG L …

14 reference-request  fl.formal-languages  lower-bounds  grammars  context-free 

"너무 좋아서"데이터 구조의 존재를 배제한 결과가 알려져 있습니까? 예를 들어 , 주문 유지 보수 데이터 구조 에 and 기능을 추가 하고 ( Dietz 및 Sleator STOC '87 참조 ) 여전히 시간 작업을 얻을 수 있습니까?에스P l i t에스피엘나는티Split제이o 나 n제이영형나는엔JoinO (1)영형(1)\mathcal{O}(1) 또는 정수 키와 시간 연산으로 순서 집합을 구현할 수 …

14 ds.data-structures  big-list  lower-bounds  time-complexity 

주어진 그래프 의 정점 커버 수를 세는 # P- 완전 문제를 고려하십시오 .G=(V,E)G=(V,E)G = (V, E) 이러한 문제의 경도가 일부 매개 변수에 따라 어떻게 다른지 보여주는 결과가 있는지 알고 싶습니다 (예 : d = | E |GGG).d=|E||V|d=|E||V|d = \frac{|E|}{|V|} 제 생각에는 가 드문 드문하고 G 가 조밀 할 때 문제가 …

14 cc.complexity-theory  graph-theory  counting-complexity  time-complexity 

나는 순수하게 기능적인 방식으로 DBMS를 작성한다는 아이디어를 탐구하고 있습니다. 인덱싱에 사용되는 일반적인 데이터 구조는 B-Tree입니다. 디스크 액세스를 최소화하도록 최적화 된 B-Tree와 완전히 동일한 기능을 알고 싶습니다. 감사.

14 ds.data-structures  functional-programming  db.databases 

다음 과 같은 언어 고려하십시오 LLL. L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) 그래서 L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) 즉, 빠른 시스템 계산 시간에 와 가장 공간 효율적인 시스템 계산 공간 사용시 .MMMLLLO(f(n))O(f(n))O(f(n))M′M′M'LLLO(g(n))O(g(n))O(g(n)) M의 공간 효율성 또는 M '의 시간 효율성에 대해 무엇을 말할 수 있습니까? 또는 더 정확하게, 경우 모든 시스템이 …

14 cc.complexity-theory  ds.algorithms  open-problem  space-time-tradeoff 

TCS에서 다음 문제가 얼마나 잘 조사 되었습니까? (문제 진술이 모호한 경우 사과드립니다!) Computation MC 모델 (Turing Machine, Cellular Automata, Kolmogorov-Uspenskii Machine 등)과 MC 계산에 영향을 줄 수 있는 Noise 모델을 고려할 때이 노이즈로 인한 오류 를 복구 할 수있는 방법 이 효과적인 방법은? 예를 들어, 어떤 유형의 소음이 Turing Machine …

14 machine-models