컴퓨터 과학

연결 언어에 대한 컴파일러를 개발 중이며 형식 유추 지원을 추가하고 싶습니다. Hindley–Milner를 이해하고 있지만 유형 이론을 배우고 있으므로이를 적용하는 방법을 잘 모르겠습니다. 다음과 같은 시스템은 소리가 나지 않으며 추론 할 수 없습니까? 용어는 리터럴, 용어 구성, 용어 인용 또는 기본형입니다. e::=x∣∣ee∣∣[e]∣∣…e::=x|ee|[e]|… e ::= x \:\big|\: e\:e \:\big|\: [e] \:\big|\: \dots …

15 programming-languages  logic  compilers  type-theory  type-checking 

우리는 두 알고리즘의 복잡성과 비교하면,이 경우는 일반적으로 그 중 f(n)=O(g(n))f(n)=O(g(n))f(n) = O(g(n)) 또는 g(n)=O(f(n))g(n)=O(f(n))g(n) = O(f(n)) (아마도 모두), fff 및 예를 들어 두 알고리즘의 실행 시간입니다.ggg 항상 그런가요? 즉, 관계 및 항상 유지 됩니까? , 일반 함수 , ? 그렇지 않다면, 어떤 가정을해야합니까? 그리고 알고리즘 실행 시간에 대해 이야기 할 …

15 asymptotics  mathematical-analysis 

제가 학생이었을 때, 디지털 시스템 / 로직 디자인 교과서에서 N 군인들이 일렬로 서서 동시에 쏘고 싶어한다는 문제를 봤습니다. 문제의 더 어려운 버전은 군인들이 줄 대신 일반적인 네트워크에 서 있다는 것입니다. 이것이 고전적인 문제라고 확신하지만 그 이름을 기억할 수 없습니다. 당신은 나에게 상기시킬 수 있습니까?

15 algorithms  distributed-systems  clocks 

다음 되풀이 방정식에 대한 바운드 를 찾으려고합니다 .ΘΘ\Theta 티( n ) = 2 T( n / 2 ) + T( N / 3 ) + (2) N2+5n+42T(n)=2T(n/2)+T(n/3)+2n2+5n+42 T(n) = 2 T(n/2) + T(n/3) + 2n^2+ 5n + 42 하위 정리와 사단의 수가 다르기 때문에 마스터 정리가 부적절하다고 생각합니다. 또한 재귀 …

15 asymptotics  recurrence-relation  master-theorem 

선형 경계 오토마타의 결정 불가능한 속성이 있습니까 (빈 세트 언어 트릭을 피하십시오)? 결정 론적 유한 오토 마톤은 어떻습니까? (난도를 제쳐두고). Turing 머신을 명시 적으로 사용하지 않고 정의 할 수 없는 결정 가능한 문제의 예를 얻고 싶습니다 . 계산할 수없는 문제를 지원하기 위해 모델의 Turing 완전성이 필요합니까?

15 computability  automata  undecidability 

나는이 나무를 다음 예와 같이, (그래프 이론의 의미에서) : 이것은 하나의 시작 노드 (루트)와 많은 끝 노드 (잎)가있는 지시 트리입니다. 각 모서리에는 길이가 지정되어 있습니다. 내 질문은 루트에서 시작하여 나뭇잎에서 끝나는 가장 긴 경로를 찾는 방법입니다. 무차별 접근 방식은 모든 루트 리프 경로를 확인하고 최대 길이의 경로를 사용하는 것이지만 더 …

15 algorithms  graphs 

프로그래머가 클래스를 정의한 후 언제라도 클래스를 확장 / 재정의 할 수있게하는 루비 (및 자바 스크립트)와 같은 언어의 기능과 관련하여 (문자열과 같은 클래스 포함) 나중에 이론적으로 프로그램을 확장 할 수있는 언어를 설계하는 것이 가능합니까? 그것의 의미론. 예 : Ruby는 다중 상속을 허용하지 않지만 다중 상속 구현을 허용하기 위해 기본 언어 동작을 …

15 programming-languages  semantics 

나는 일반적인 stackoverflow 에서이 질문을 했고 여기에 지시되었다. 일반적으로 부분 또는 완전 동적 그래프 문제에 접근하는 방법을 설명 할 수 있다면 좋을 것입니다. 예를 들면 다음과 같습니다. 각 인스턴스에서 에지가 제거 될 때 인스턴스 에 대한 무 방향 가중치 그래프에서 두 정점 사이의 최단 경로를 찾습니다 .( u , v …

15 algorithms  data-structures  graphs 

불행히도 여전히 스위프 라인 알고리즘 을 이해하는 데 그리 강하지 않습니다 . 주제에 관한 모든 논문과 교과서는 이미 읽었지만 이해는 아직 멀다. 더 명확하게하기 위해 가능한 많은 운동을 해결하려고합니다. 그러나 정말 흥미롭고 중요한 작업은 여전히 ​​어려운 과제입니다. 다음 운동 은 전능 한 Jeff Erickson 의 Line Segment Intersection 강의 노트에서 …

15 algorithms  computational-geometry 

논리 게이트는 전자기 릴레이, 진공관 또는 트랜지스터로 구현할 수있는 추상 장치입니다. 이러한 구현은 기본 이진 안정성 이상의 연쇄 성, 내구성 및 크기의 다양한 속성으로 인해 컴퓨팅에서 부분적으로 성공했습니다. 또한 전기는 쉽게 운반 할 수있는 에너지 원이기 때문에 잘 작동합니다. 나는 나무, 대리석, 중력으로 만들어진 가산기를 보았습니다 . 내가 본 것 …

15 computer-architecture  didactics 

이것은의 후속 질문 이 하나 . 이국적인 상태 머신 에 대한 이전 질문 에서 Alex ten Brink와 Raphael은 고유 한 상태 머신의 계산 기능 : 최소 힙 오토마타를 다루었습니다. 그들은 그러한 기계들 ( )에 의해 받아 들여진 언어 세트가 컨텍스트가없는 언어 세트의 서브 세트도 아니고 수퍼 세트도 아니라는 것을 보여줄 …

15 formal-languages  automata  nondeterminism 

글쓰기에 소요되는 시간이나 요구 사항에 대한 생각이 개발 시간에 영향을 줄 것이라는 증거가 있습니까? Standish (1995)의 연구에 따르면 불완전한 요구 사항 (13.1 %)이 프로젝트 실패에 기여한 것으로 나타났습니다. 요구 사항 분석에 소요 된 시간이 프로젝트의 개발 시간에 영향을 미치거나 프로젝트의 성공 여부에 영향을 미치는 연구 결과가 있습니까?

15 software-engineering 

일정한 언어로 주어진 길이의 단어 수의 대수적 특성이 있습니까? Wikipedia 의 결과는 다소 부정확합니다. 정규 언어 대해 상수 및 다항식 존재하므로 모든 대해 숫자 은 에서 길이 단어는 방정식 합니다.λ 1 ,LLLp 1 ( x ) ,λ1,…,λkλ1,…,λk\lambda_1,\,\ldots,\,\lambda_kn s L ( n ) n L s L ( n ) = …

15 formal-languages  regular-languages  word-combinatorics 

쿼드 트리 (또는 옥트리)에 기하학적 객체를 배치 할 때 몇 가지 방법으로 단일 노드보다 큰 객체를 배치 할 수 있습니다. 객체의 참조를 포함하는 모든 리프에 객체 참조 배치 객체 참조가 완전히 포함 된 가장 깊은 노드에 객체 참조 배치 # 1과 # 2 예를 들면 다음과 같습니다. 이 이미지에서는 네 …

15 graphics  data-structures  computational-geometry 

세트는 자연수와 함께 bijection 이 있는 경우 셀 수 있으며 멤버를 열거하는 알고리즘이있는 경우 계산 가능합니다 (ce) . 열거 할 수없는 계산 가능한 집합은 계산할 수 있어야합니다. 계산할 수없는 계산 가능한 집합의 예가 있습니까? 즉,이 세트와 자연수 사이에 궤적이 존재하지만이 궤적을 계산할 수있는 알고리즘은 없습니다.

15 computability  semi-decidability