컴퓨터 과학

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

2
동형 그룹화를위한 동형 그룹화
계산 복잡성에 대한 일부 블로그를 읽을 때 (예 : 여기 ) 두 그룹이 동형인지 판단하는 것이 동형에 대한 두 개의 그래프를 테스트하는 것보다 쉽다는 개념을 동화했습니다. 예를 들어, 명시된 페이지에서 그래프 동형은 그룹 동형보다 더 일반적인 문제라고 말합니다. 따라서 나는 다음을 포즈 그룹 감안할 때 캔 누군가가 그래프의 건설 제공 …
1
컴파일 타임 보장에 대해 더 연구하지 않는 이유는 무엇입니까?
나는 컴파일 시간 인 모든 것을 좋아하며 일단 프로그램을 컴파일하면 실행에 대해 많은 보장이 이루어집니다. 일반적으로 정적 유형 시스템 (Haskell, C ++, ...)은 동적 유형 시스템보다 강력한 컴파일 타임 보장을 제공하는 것 같습니다. 내가 이해 한 바에 따르면, Ada는 컴파일 시간 검사와 관련하여 훨씬 더 나아가고 실행 전에 더 많은 …
5
exp (x)보다 2 ** x가 ​​계산 속도가 더 빠릅니까?
내가이 질문을하는 방식과 내가 묻는 사실에 명백한 naïveté를 용서하십시오. 수학자들은 일반적으로 를 이론에서 가장 단순하고 가장 기초적인 기초 (미적분학으로 인해)로 사용합니다. 그러나 컴퓨터는 모든 것을 바이너리로 처리하는 것처럼 보이므로 컴퓨터에서 보다 계산하는 것이 더 빠릅니다 .expexp\exp2**xMath::exp(x)
1
그래프 이론과 그래프 알고리즘의 연구
매우 일반적인 질문이 있습니다. 연구와 관련이 있습니다. 그래프 이론에 관심이 있습니다. 나는 그것에 과정을 완료했습니다. 수학 이론으로 수학을하는 관점에서 그래프 이론과 관련된 몇 가지 주제를 다루었 고 그래프 알고리즘도 연구했습니다. 그래프 이론에서 연구 인턴쉽을하려고합니다. 그러나 그래프 알고리즘 연구 나 수학 학생으로서의 그래프 이론의 실제 차이에 대한 적절한 독창적 인 아이디어가 …
4
비정규 언어 연합
나는 그 질문을 보았습니다 : "노동자들이 정규 언어를 출력하지 않는 두 개의 정규 언어의 예를 들어보십시오." 나는 정규 언어가 노동 조합에서 폐쇄되었다고 믿기 때문에 나에게 충격적입니다. 어느 내가이 개 일반 언어와 조합을 가지고가는 경우에, 나는 나에게 의미 합니다 정규 언어를 얻을. 그리고 나는 그 증거를 이해한다고 생각합니다. 내 말로, 언어가 …
2
k-bound spanning tree가 NP-complete 문제인 이유는 무엇입니까?
당신이 무향 그래프가 어디 트리 문제를 걸친 것은 -bounded 하고 당신이 각 정점은 최대의 정도가되도록 스패닝 트리가 있는지 여부를 결정해야 .케이kk지 ( V), E)G(V,E)G(V,E)케이kk 의 경우 이것이 Hamiltonian 경로 문제 라는 것을 알고 있습니다. 그러나 경우에는 문제가 있습니다 . 인 기존 스패닝 트리에 더 많은 노드를 추가 할 수 있다는 …
4
Quantum Computer는 아날로그입니까?
우리는 수십 년 전에 아날로그 컴퓨터를 가지고있었습니다. 현대 컴퓨터는 디지털입니다. Quantum 컴퓨터는 어떻습니까? 아날로그인가 디지털인가? qubit이 동시에 많은 것들이 될 수 있기 때문에 이것을 요구하고 있습니다.
9
알고리즘은 정확히 무엇입니까?
나는 이것이 상자 밖으로 조금 들릴 수 있다는 것을 알고 있습니다. 사실 나는 항상 상자 안에서 생각하는 데 사용되었지만 최근에는 컴퓨터 과학이 아닌 다른 프로그램을 고안하는 방법에 대해 컴퓨터 과학이 높은 자유를 제공하기 때문에 생각하고 있습니다. 대학에서 가르친 것들. 계승 함수를 고려하십시오. 일반적으로 우리는이 기능을 다음과 같이 정의합니다 int fact(int …
12 algorithms 
1
점 사이의 최소 거리를 최대화하기 위해 부분 집합 선택
점 세트 가 있고 각 점 사이의 거리가 있습니다. 이 거리는 유클리드이지만 점은 실제로 피쳐 공간에 있습니다.D ( P I , P의 J )씨CCD ( P나는, P제이)D(Pi,Pj)D(P_i,P_j) 로부터 점 I는의 부분 집합 선택합니다 포인트. 이 부분 집합 전화 . 새 세트 모든 점 사이의 최소 거리를 최대화하기 위해이 부분 집합을 …
2
페이징을 고려한 가비지 수집기가 있습니까?
가비지 콜렉션은 회수 할 수있는 메모리를 찾기 위해 살아있는 모든 오브젝트를 방문해야합니다. (많은 세대가있는 것은 이것을 조금 지연시킵니다) 모든 것이 동일하므로 다른 블록을 페이징하고 일부 객체를 페이징하기 전에 이미 RAM으로 페이징 된 객체를 먼저 방문하는 것이 좋습니다. 또 다른 가능성은 OS가 프로세스에서 램 페이지를 가져 가기를 원할 때 GC에 페이지를 …
1
자체 컴파일러 Turing-complete를 표현할 수있는 언어가 있습니까?
tex.SE에 대한 의견 은 나를 놀라게했습니다. 진술은 본질적으로 다음과 같습니다. 언어 X에서 언어 X에 대한 컴파일러를 작성할 수 있다면 X는 Turing-complete입니다. 계산 및 공식 언어 용어로 다음과 같습니다. 경우 결정 L ⊆ L T M 및 ⟨ M ⟩ ∈ L 후 F L = R E를 .MMML⊆LTML⊆LTML \subseteq L_{\mathrm{TM}}⟨M⟩∈L⟨M⟩∈L\langle …
2
쓰기 방지 입력이있는 단일 테이프 튜링 기계는 일반 언어 만 인식합니다
여기 문제가 있습니다 : 입력 문자열이 포함 된 테이프 부분에 쓸 수없는 단일 테이프 Turing Machine은 일반 언어 만 인식한다는 것을 증명하십시오. 내 생각은이 특정 TM이 DFA와 동등하다는 것을 증명하는 것입니다. 이 TM을 사용하여 DFA를 시뮬레이션하는 것은 매우 간단합니다. 그러나이 DFA를 사용하여 TM을 시뮬레이션하려고 할 때 문제가 발생합니다. TM 전이 …
3
멀티 코어 SAT 솔버
25k 절 5k 변수 SAT 문제를 해결하려고합니다. 한 시간 동안 실행되어 (precosat) 나중에 더 큰 것을 풀고 싶기 때문에 멀티 코어 SAT-Solver를 찾고 있습니다. 많은 SAT-Solvers가있는 것처럼 나는 상당히 길을 잃었습니다. 누구든지 내 사건에 가장 적합한 것을 지적 할 수 있습니까? 누군가가 나에게 대략적인 시간을 줄 수 있다면 기쁠 것입니다 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.