컴퓨터 과학

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

1
신경망의 VC 치수를 효율적으로 계산하거나 근사화
내 목표는 입력 및 출력으로 설명 한 다음 문제를 해결하는 것입니다. 입력: 방향성 비순환 그래프 (directed acyclic graph) 와 노드 소스 및 싱크 ( ).지지G미디엄미디엄mn엔n111m > n ≥1m>n≥1m > n \geq 1 산출: VC 차원 토폴로지 뉴럴 네트워크 (또는 그 근사치) .지지G 자세한 내용 : 각 노드 는 S 자형 …
5
다른 캐시의 태그, 인덱스 및 오프셋 비트 수를 계산하는 방법은 무엇입니까?
구체적으로 특별히: 1) 각 블록에 8 개의 32 비트 워드가있는 4096 개의 블록 / 라인을 갖는 직접 매핑 된 캐시 . 32 비트 주소를 가정하면 태그 및 색인 필드에 몇 비트가 필요합니까? 2) 1)과 같은 질문이지만 완전히 연관성있는 캐시 ? 내가 틀렸다면 나를 수정하십시오. 태그 비트 = 주소 비트 길이-인덱스 …
5
고정 된 점, 컴퓨터 과학의 세계에서 무엇을 의미 하는가
나는 stackexchange에서 질문과 답변의 고정 된 점 에 대한 언급을 계속 접하고 있으며 Wikipedia와 같은 사이트에서 분명히 참조를 찾는 웹의 의미를 찾습니다. 그러나 참고 문헌 중 어느 것도 고정 소수점이 무엇이며 컴퓨터 과학 세계에서 이것이 무엇을 의미하는지에 대한 내 질문에 실제로 대답하지 않습니다.
4
그래프 깊이 우선 검색에서 그레이 노드의 목적
내가 본 깊이 우선 검색의 많은 구현 (예 : here )에서 코드는 회색 정점 (발견되었지만 모든 이웃이 방문되지는 않음)과 검은 정점 (발견 및 모든 이웃이 방문 됨)을 구분합니다. . 이 구별의 목적은 무엇입니까? DFS 알고리즘은 회색이든 검은 색이든 방문한 정점을 절대 방문하지 않는 것 같습니다.
5
정확성 증명이없는 알고리즘의 예
우리는 Hoare 논리를 가지고 있습니다. 알고리즘이 옳다는 것이 여전히 가능하지만 그것이 옳다는 증거가없는 이유는 무엇입니까? 알고리즘이 C로 표현되었다고 가정하면 단계적으로 알고리즘이 수행해야 할 작업을 수행한다고 주장 할 수 있습니다. 그래서 내 질문은 : 옳지 만 정확성을 증명할 수없는 알고리즘의 예를 알려주세요. 편집 : 작은 배경은 내가 가고있는 곳을 명확히하는 데 …
4
유 방향 그래프가 중요한 이유는 무엇입니까?
이 게시물을 개선하고 싶습니까? 인용과 답변이 올바른 이유에 대한 설명을 포함하여이 질문에 대한 자세한 답변을 제공하십시오. 세부 사항이없는 답변은 편집하거나 삭제할 수 있습니다. 우리는 직접 그래프에서 MST, 강력한 연결성, 라우팅 등에 대한 알고리즘에 대해 읽었습니다. 또한 최근에는 방향 그래프에 대한 동적 및 내결함성 알고리즘에 대한 연구를 수행하고 있습니다. 그러나 밑줄 …
2
공식적인 규칙에 사용되는이 분수 형 "이산 수학"스타일 표기법은 무엇입니까?
"Conflict-Free Replicated JSON Datatype" 논문에서 , "규칙"을 공식적으로 정의하는이 표기법을 발견했습니다. 이 표기법은 무엇입니까? 어떻게 읽습니까? 예를 들면 다음과 같습니다. DOC규칙은 "분자"에 아무것도하지 않습니다 - 왜? EXEC및 GET규칙은 그 의미를 무엇을, 선 위에 두 개의 별도의 조건을 가지고있는 것 같습니다? VAR다른 많은 규칙이 화살표의 일종 사용하는 동안이 하나가 아니라 x는 …
1
네트워크 흐름보다 최소 컷이 더 쉬울 수 있습니까?
max-flow min-cut 정리 덕분에 우리는 알고리즘을 사용하여 네트워크 그래프에서 최대 흐름을 계산하여 -min-cut 을 계산할 수 있습니다. 따라서, 최소한의 계산의 복잡성 ( S , T ) 는 최대 계산 복잡도보다 더 절단의 ( S , t ) -flow한다.( s , t )(s,t)(s,t)( s , t )(s,t)(s,t)( s , t )(s,t)(s,t) …
5
제한적이거나 예측 가능한 입력이있는 경우 정지 문제를 해결할 수 있습니까?
일반적인 경우에는 정지 문제를 해결할 수 없습니다. 허용 된 입력을 제한하는 정의 된 규칙을 생각해 내고 해당 특수한 경우 정지 문제를 해결할 수 있습니까? 예를 들어, 예를 들어 루프를 허용하지 않는 언어는 프로그램이 중지되는지 여부를 쉽게 알 수 있습니다. 지금 해결하려는 문제는 프로그램의 유효성을 검사하는 스크립트 검사기를 만들려고한다는 것입니다. 스크립트 …
1
계산 기능이 계산 불가능한 숫자로 수렴 될 수 있습니까?
계산 가능한 기능이 존재 하는가 되도록 :f:N→Qf:N→Qf:\mathbb{N}\rightarrow \mathbb{Q} 모든t∈N:0≤f(t)&lt;Xt∈N:0≤f(t)&lt;Xt\in\mathbb{N}: 0\le f(t) < X limt→∞f(t)=Xlimt→∞f(t)=X\lim\limits_{t\rightarrow\infty} f(t) = X 여기서 XXX 는 계산할 수없는 실수입니다. 내가 찾은이 질문에 대한 유일한 참조에 대한 대답이었다 이 질문 : /math//a/1052579/168764 , 함수가 개최 것 같다,하지만 난 방법을 증명하는 아무 생각이 없다 이 함수의 한계는 계산할 …
1
최근의 모든 SAT 솔버가 회로 SAT 대신 CNF에서 작동하는 이유는 무엇입니까?
2006 년 언젠가 그래프를 처리하고 변환하기 위해 AIGER 라이브러리가 출시 된 후 (제 생각에) 일부 회로 SAT 솔버가 2006-2008 년에 릴리스되었으며, 일부 SAT 레이스 / 경쟁에는 AIG 트랙이있었습니다. 그러나 그 이후로 SMT 또는 clausal SAT 솔버 개선에 전적으로 초점을 둔 것으로 보입니다. 직관적으로 회로 SAT에 집중하는 것은 많은 의미가있는 것 …
5
이론적 인 컴퓨터 과학에서 더 빠른 알고리즘은 무엇을 의미합니까?
어떤 문제 A에 대해 시간 에서 실행되는 알고리즘이 있고 누군가가 시간에서 실행되는 알고리즘 을 발생시키는 경우 , 이전 알고리즘보다 개선 된 것으로 간주됩니까?O ( f( n ) )영형(에프(엔))O(f(n))O ( f( n ) / g( n ) )영형(에프(엔)/지(엔))O(f(n)/g(n))지( n ) = o ( f( n ) )지(엔)=영형(에프(엔))g(n) = o(f(n)) 이론적 인 …
18 algorithms 
2
문맥없는 문법에 '죽은 상태'가있을 수 있습니까?
문맥없는 문법에 다음과 같은 오토 마톤의 "죽은 상태"가 포함될 수 있습니다 G=({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G=({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G = \big(\{a, b, c\}, \{A, B, C\}, \{A\to aB, B\to b, B\to C, C\to cC\}, A\big)\,? 생산 규칙 및 는 영원히 반복되며 단어를 생성하지 않습니다. 이것이 허용되거나 생산 규칙이 어느 시점에서 터미널로 끝나야합니까?C → c CB→CB→CB\to CC→cCC→c씨C\to cC
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.