컴퓨터 과학

컴퓨터 과학의 학생, 연구원 및 실무자를위한 Q & A

1
Shift-Resolve 구문 분석-질문
최근 에 제목에서 언급 한 파싱 기술을 설명 하는 논문을 보았습니다 . 불행히도,이 논문에 사용 된 용어는 제 이해력을 뛰어 넘는 것이므로 구성 알고리즘을보다 직관적으로 파악하려고 노력하고 있습니다. 나는 내가 성공했다고 생각한다 ( 이 프리젠 테이션 은 아하 순간의 원천이었다). 그러나 기술이나 그 안에 포함 된 용어에 익숙한 누군가의 정확성에 …

1
이분 그래프에 대한 최소 정점 삭제가 NP-complete임을 보여줍니다
입력 인스턴스가 간단한 그래프 이고 자연 정수 k 인 다음 문제를 고려하십시오 .GGGkkk 세트 있는가 하도록 G - S는 양자과는 | S | ≤ k ?S⊆V(G)S⊆V(G)S \subseteq V(G)G−SG−SG - S|S|≤k|S|≤k|S| \leq k 3-SAT, k -CLIQUE, k -DOMINATING SET 또는 k -VERTEX COVER를 줄임으로써이 문제가 임을 보여 드리고자합니다.NPNP\rm{NP}kkkkkkkkk 3-COLORING 문제를 줄일 …

3
결정 가능한 언어와 제한없는 문법?
튜링 머신과 제한되지 않은 문법은 RE 언어를 정의하는 두 가지 다른 형식입니다. 일부 RE 언어는 결정 가능하지만 모든 언어는 아닙니다. 언어의 모든 문자열을 중지하고 허용하고 언어가 아닌 모든 문자열을 중지 및 거부하는 언어에 대한 TM이있는 경우 언어를 결정할 수 있다고 말함으로써 Turing 기계로 결정 가능한 언어를 정의 할 수 있습니다. …

2
현대 컴퓨터의 이론상 최소 레지스터 수는?
나는 학부 연구에서 컴파일러에 대해 강의했다. 거기서 우리는 장난감 자바와 같은 언어로 소스 프로그램을 장난감 조립 언어 (통역사가있는)로 컴파일하는 컴파일러를 작성했다. 이 프로젝트에서 우리는 다음을 포함하여 "실제"네이티브 실행 파일과 밀접하게 관련된 대상 시스템에 대한 몇 가지 가정을했습니다. 전용 스택 포인터 ( "SP") 레지스터에 의해 추적되는 런타임 스택 전용 힙 포인터 …

3
익명의 람다 함수 (함수 프로그래밍)
익명 (람다) 함수 란 무엇입니까? 함수형 프로그래밍 언어에서 익명 함수의 공식적인 정의는 무엇입니까? 간단한 용어로, scheme / lisp에서 프로그래밍 할 때 익명 (lambda) 함수는 식별자에 바인딩되지 않은 함수라고 말합니다. 람다 함수에 대해 공식적으로 말할 수있는 모든 것입니까? 이 간단한 정의에 더 많은 세부 사항이 추가 될 수 있다고 생각합니다. 정교하게 …

1
잠재적 함수 이진 힙 추출 최대 O (1)
추출 최대가 상각 시간에 완료되도록 최대 힙에 대한 잠재적 함수를 계산하는 데 도움이 필요합니다 . 잠재적 인 방법을 잘 이해하지 못한다고 덧붙여 야합니다.O(1)O(1)O(1) 인서트 함수는 추출 비용을 줄이기 위해 더 많은 "지급"해야한다는 것을 알고 있으며 이는 힙 높이와 관련이 있어야합니다 ( 가 삽입은 또는 이어야 함2 로그 ( n ) …

4
GCD = 1 인 가장 작은 부분 집합의 크기 찾기
이것은 폴란드 대학 프로그래밍 콘테스트 2012 연습 세션에서 발생하는 문제입니다 . 주요 콘테스트의 솔루션을 찾을 수는 있지만이 문제에 대한 솔루션을 어디에서나 찾을 수없는 것 같습니다. 문제는 다음의 세트를 가지는 보다 크지 않은 별개의 양의 정수 사이즈 찾아 1 이외의 공약수가없는 작은 서브 세트의 이고 최대 500 및 용액 존재한다고 가정 …

1
선형 구속 조건으로 볼록 함수 최대화
F를 최대화 ( x )대상 X = Bmaximize f(x)subject to Ax=b\text{maximize } f(\mathbf{x}) \quad\text{subject to } \mathbf{Ax} = \mathbf{b} 어디 에프( x ) = ∑나는 = 1엔1 + x4나는( ∑엔나는 = 1엑스2나는)2−−−−−−−−−−−−−⎷,에프(엑스)=∑나는=1엔1+엑스나는4(∑나는=1엔엑스나는2)2,f(\mathbf{x}) = \sum_{i=1}^N\sqrt{1+\frac{x_i^4}{\left(\sum_{i=1}^{N}x_i^2\right)^2}}, x =[ x1, x2, . .. , x엔]티∈ R엔× 1엑스=[엑스1,엑스2,...,엑스엔]티∈아르 자형엔×1\mathbf{x} = [x_1,x_2,...,x_N]^T \in \mathbb{R}^{N\times 1} …


3
만약 증명
다음 사항을 증명하는 데 도움을 주셔서 감사합니다. 경우 후, P = N P를 .N T i m e ( n100) ⊆ D T i m e ( n1000)NTime(n100)⊆DTime(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P = N PP=NP\mathrm{P}=\mathrm{NP} 여기서, 은 비 결정적 튜링 기계에 의해 O ( n 100 ) 의 다항식 시간에 의해 결정될 …

7
발표 된 연구 논문은 어디서 찾을 수 있습니까?
컴퓨터 과학 박사 학위를 추구하려는 사람의 POV에서 나온 것입니다. 박사 학위를받을 때 연구에 집중할 대상을 결정하는 데 어려움을 겪고 있습니다. academia.SE에서이 질문을 참조하십시오 . 그래서 나는 어떤 연구가 진행되고 있고 어떤 연구 논문이 발표되고 있는지에 대한 최신 정보를 읽고 유지하는 것이 좋은 영감의 원천이라고 생각합니다. 알아야 할 좋은 지식. 최근에 …

3
범위에서 가져온 간선 가중치에 대한 Dijkstra의 알고리즘 수정
가 일정한 범위 에서 그려진 가장자리 가중치가있는 유 방향 그래프가 있다고 가정 합니다. Dijkstra의 알고리즘을 사용하여 최단 경로를 찾으려면 알고리즘 / 데이터 구조를 수정하고 시간 복잡성을 무엇입니까?[ 1 , … , K][1,…,K][1,\dots, K]케이KKO ( | V| + | 이자형| )O(|V|+|E|)O(|V|+|E|)

1
상대화의 직관
전산 복잡도에 대해 강의합니다. 내 문제는 상대화 방법을 이해하지 못한다는 것 입니다. 불행히도 지금까지 많은 교과서에서 약간의 직관을 찾으려고 노력했지만 성공하지 못했습니다. 누군가가이 주제에 대한 빛을 비추어 스스로 계속할 수 있다면 고맙겠습니다. 다음 문장들 중 일부는 관계 화에 대한 질문과 생각으로 토론을 탐색하는 데 도움이 될 것입니다. 종종 상대화는 대각선 …

1
여러 날의 과제 문제
과제 문제로 줄일 수있는 문제가 있습니다. (이전 질문에서 나는 그것을 수행하는 방법을 발견했습니다.) 이것은 비용 함수 c ( i , j ) 뿐만 아니라 에이전트 세트 AㅏA 와 태스크 세트를 가지고 있음을 의미 T티T합니다 . 총 비용이 최소화되도록 과제를 찾아야합니다.c(i,j)씨(나는,제이)c(i,j) 헝가리어 알고리즘은 최소한의 최적의 솔루션 찾을 수 O(n4)영형(엔4)O(n^4) . 나에게 …


당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.