컴퓨터 과학

최소 대역폭 문제는 인접한 두 노드 사이의 최대 거리를 최소화하는 정수 라인에서 그래프 노드의 순서를 찾는 것입니다. 이진 트리의 경우에도 결정 문제는 NP 완료입니다. 대역폭 최소화를위한 복잡성 결과. Garey, Graham, Johnson and Knuth, SIAM J. Appl. 수학, Vol. 34, No.3, 1978 년 . 이진 트리에서 최소 대역폭을 계산할 때 가장 …

14 complexity-theory  np-complete  reference-request  approximation 

GGG 를 문맥없는 문법으로 하자 . 단자의 비끝의 문자열 GGG 것으로 알려져 sentential 형태 의 GGG 는의 제작에 적용하여 얻을 수있는 경우 GGG 의 시작 심볼 0 번 이상 SSS . SF(G)SF⁡(G)\operatorname{SF}(G) 일련의 형태로 보자 GGG. 하자 α∈SF(G)α∈SF⁡(G)\alpha \in \operatorname{SF}(G) 및하자 ββ\beta 의 문자열이 될 αα\alpha - 우리가 전화 조각 …

14 formal-languages  context-free  formal-grammars  closure-properties 

나는 썼다 ∑i=1n1i=∑i=1nO(1)=O(n)∑i=1n1i=∑i=1nO(1)=O(n)\qquad \displaystyle \sum\limits_{i=1}^n \frac{1}{i} = \sum\limits_{i=1}^n \cal{O}(1) = \cal{O}(n) 그러나 내 친구는 이것이 잘못되었다고 말합니다. TCS 치트 시트에서 나는이 합이 이라고도 HnHnH_n알려져 있는데, 이는 에서 로그 성장을 nnn합니다. 따라서 내 경계는 매우 선명하지 않지만 필요한 분석에 충분합니다. 내가 뭘 잘못 했어? 편집 : 내 친구는 같은 추론으로 그것을 …

14 asymptotics  landau-notation 

"위 / 아래 / 오른쪽 / 왼쪽으로 이동"명령을 제공 할 수있는 2 차원 미로가 제공됩니다. 미로를 알고 있지만 사람이 어디에 있는지 아는 경우 미로를 종료하도록 보장하는 최소 명령 시퀀스를 찾는 방법은 무엇입니까? 미로에서 어디에서 시작하든 작동하는 단일 명령 시퀀스를 찾고 있습니다. 오른쪽에 벽이있을 때 파트너에게 "오른쪽으로 이동"명령을 내린다면 그는 자신이있는 …

14 algorithms  graphs  graph-traversal 

컴퓨터 과학에서 '키'의 의미가 정확히 무엇인지에 대해 약간 혼란스러워합니다. 키-값 쌍, 기본 키 등을 이해하고 있습니다. 그러나 '키'라는 용어 자체의 의미에 대한 정의를 찾을 수 없습니다. 내가 알 수있는 한 단지 데이터 조각을 의미합니다. CLRS에서 트리 노드와 관련된 데이터를 '키'라고합니다. 해시 테이블을 검색하는 데이터를 '키'라고합니다. 이것이 '핵심'인가?

14 terminology 

컨텍스트는 다음과 같습니다 ( "로컬 이름"이라는 제목 아래 컴퓨터 프로그램의 구조 및 해석 , 1.1.8 절). 프로 시저의 공식 매개 변수는 공식 매개 변수의 이름이 중요하지 않기 때문에 프로 시저 정의에서 매우 특별한 역할을합니다. 이러한 이름을 바운드 변수 라고하며 프로 시저 정의 가 형식 매개 변수를 바인딩 한다고합니다 . 정의 …

14 logic 

이용 가능한 자동 정리 프로 버를 사용하여 다음 진술을 증명할 수 있습니까? 입니다.(a+b)2=a2+b2+2ab(a+b)2=a2+b2+2ab(a+b)^2=a^2+b^2+2ab 만약 다음 (11) | 7 - 5 (B) .11∣2a−3b11∣2a−3b 11 \mid 2a-3b11∣7a−5b11∣7a−5b 11 \mid 7a-5b 만약 X 2 + B , X + C = 0 , 다음 X = - B ± √ax2+bx+c=0ax2+bx+c=0 ax^2+bx+c=0 .x=−b±b2−4ac√2ax=−b±b2−4ac2ax=\frac{-b\pm\sqrt{b^2-4ac} }{2a} …

14 automated-theorem-proving 

I 제대로 이해한다면, 실제 함수의 값을 계산하는 알고리즘 계산 복잡도 갖는다 다음 보유 만약 우리가 계산되면 정밀도 의 주문에 요구 단계 .fffO(g(n))O(g(n))O(g(n))fffδδ\deltag(n)g(n)g(n) 우리가 처음은 "컴퓨팅에 대한보다 효율적인 알고리즘 발견 한 알고리즘이 경우, 어떤 "다음 계산 ?ffffff 다시 말해, 다음을 수행 하는 알고리즘 가 있다면 어떻게 될까요 ?AAA 계산을위한 효율적인 알고리즘 …

14 complexity-theory 

Conor McBride의 일부 작품 인 Diff , Dissect 는 데이터 유형의 파생물을 "단일 컨텍스트 유형"과 관련시킵니다. 즉, 유형의 미분을 취하면 데이터 유형이 주어진 지점에서 내부에서 어떻게 보이는지 보여주는 데이터 유형이 남습니다. 예를 들어 (Haskell에) 목록이 있다면 data List a = [] | a : List a 이것은에 해당 data List …

14 graph-theory  type-theory 

최대 흐름 문제에 대해 읽고 있습니다 . 잔차 그래프의 직관을 이해할 수 없었습니다. 흐름을 계산할 때 뒤쪽 모서리를 고려하는 이유는 무엇입니까? 누구든지 잔류 그래프의 개념을 이해하도록 도울 수 있습니까? 무 방향 그래프에서 알고리즘은 어떻게 변경됩니까?

14 algorithms  graphs  graph-theory  network-flow 

CSS / 프로그래밍 용어의 어원을 이해하지 못하면 일반적으로 중요한 기본 개념을 놓치거나 오해했음을 의미합니다. 나는 Kleene 스타가 Kleene 클로저라고도하는 이유를 이해하지 못합니다. 바인딩되지 않은 로컬 변수가있는 함수 인 프로그래밍의 클로저와 관련이 있습니까? ... 반성에 대해서는 아마도 개방형 집합을 닫힌 표현 형식으로 쓸 수 있기 때문일 수 있습니다. ... 오래된 고무 …

14 automata  regular-expressions 

나는 HoTT 책을 읽고 있는데 장 1의 내용에 대해 (아마도 순진한) 질문이 있습니다. 이 장에서는 함수 유형 를 소개 한 다음 를 종속 시켜 일반화합니다 이를 종속 함수 유형 이라고합니다 .f:A→Bf:A→B f:A\to B BBBx:Ax:Ax:A B:A→U,g:∏x:AB(x)B:A→U,g:∏x:AB(x)B:A\to\mathcal{U},\qquad g:\prod_{x:A}B(x) 다음으로이 장에서는 제품 유형 를 소개 한 다음 를 종속 시켜 일반화합니다 그리고이를 종속 …

14 type-theory  dependent-types  homotopy-type-theory 

나는 일반적으로 계산 복잡성과 Chomsky 계층 사이의 관계에 대해 궁금합니다. 특히, 어떤 문제가 NP-complete라는 것을 안다면, 그 문제 의 언어 가 문맥에 맞지 않는 것입니까? 예를 들어, 문제가 NP- 완료입니다. 클리 스키가있는 모델에 해당하는 언어는 Chomsky 계층 구조에서 약간의 복잡성을 갖습니다 (모델을 문자열로 인코딩하는 모든 / 일부 방법에 대해)?

14 complexity-theory  formal-languages 

따라서 알려진 바와 같이 ILP의 0-1 결정 문제는 NP- 완료입니다. NP로 표시하는 것은 쉽지만 원래 감소는 SAT에서 나왔습니다. 그 이후로, 많은 다른 NP-Complete 문제는 ILP 공식화 (그러한 문제에서 ILP 로의 감소로 기능 함)를 갖는 것으로 나타났습니다. 왜냐하면 ILP는 매우 유용하기 때문입니다. 인하 에서 ILP는 더 힘들어 자신을하거나 추적 중 하나에 …

14 np-complete  reductions  satisfiability  integer-programming 

DFS 순회를 사용하는 트리의 최소 정점 커버를 찾기위한 탐욕스러운 알고리즘이 있습니다. 트리의 각 잎에 대해 부모를 선택하십시오 (즉, 부모가 최소 정점 덮개에 있음). 각 내부 노드에 대해 : 하위가 선택되지 않은 경우이 노드를 선택하십시오. 이 탐욕스러운 전략이 최적의 답변을 제공한다는 것을 어떻게 증명합니까? 위의 알고리즘이 생성하는 것보다 크기가 작은 꼭지점이 …

14 algorithms  trees  greedy-algorithms