이론 컴퓨터 과학

관련 분야의 이론 컴퓨터 과학자 및 연구자를위한 Q & A

4
"효율적인"및 "가능한"계산 / 알고리즘의 기원
이 두 용어의 역사에 대해 알고 싶습니다 : " 효율적인 ", " 가능한 " 누가 처음으로 계산 / 알고리즘에 대해 사용 했습니까? (이러한 용어의 의미에서, 즉 20 세기). 그들은 어떻게 주류가 되었습니까? 이 두 용어는 어떻게 동의어로 사용되기 시작 했습니까? 나는 Cobham 이 다항식 시간 계산 성과 관련된 그의 논문 …
2
명백한 튜링 기계 에뮬레이션 하한
잊어 버린 튜링 머신에서 튜링 머신의 에뮬레이션을 미만으로 수행 할 수 없다는 증거가 있습니까? 여기서 은 튜링 머신이 사용하는 단계 수입니다. ? 아니면 상한입니까?O(mlogm)O(mlog⁡m)\mathcal{O}\left(m\log m\right)mmm Vitányi는 폴 비 타니 (Paul Vitányi)의 논문에서 관련성이없는 튜링 기계에 관한 논문에서 "그들은 [ Pippenger 및 피셔, 1979 기계 튜링 1 테이프 실시간 인식 느릅 …
1
알고리즘 벡터 문제
GF (2) 필드의 벡터와 관련된 대수 문제가 있습니다. 하자 일 차원 (0,1)를 -vectors N 및 m = N ^ {O (1)} . u 가 v_1, v_2, \ ldots 중 (\ log n) ^ {O (1)} 벡터 의 합이 아닌 동일한 차원 의 (0,1)-벡터 u 를 찾는 다항식 시간 알고리즘을 찾습니다. …
2
개념적으로 간단한 선형 시간 접미사 트리 구성
1973 년 Weiner는 최초의 선형 시간 접미사 트리를 만들었습니다. 이 알고리즘은 1976 년 McCreight에 의해, 1995 년에는 Ukkonen에 의해 단순화되었습니다. 그럼에도 불구하고, Ukkonen의 알고리즘은 상대적으로 개념적으로 관련되어 있습니다. 1995 년부터 Ukkonen 알고리즘이 단순화 되었습니까?
3
이 최적의 여행 문제는 나무의 마감 시간이 NP-hard입니까?
내 친구 중 하나가 트리에서 다음과 같은 일정 문제를 묻습니다. 나는 그것이 매우 깨끗하고 재미 있다는 것을 알았습니다. 그것에 대한 참조가 있습니까? 문제 : 나무 있으며 각 모서리의 대칭 이동 비용은 1 입니다. 각 정점 에 대해 마감일 전에 완료해야하는 작업이 있습니다T(V,E)T(V,E)T(V,E)viviv_ididid_i . 작업은 또한 로 표시됩니다 . 각 작업의 …
1
최소 각도를 최대화하는 그래프 임베딩
평면 그래프가 주어지면 선형 시간에 격자를 자유롭게 가로 질러 포함시킬 수 있습니다 . 효율적인 알고리즘이 n c × n c 그리드에 자유롭게 교차하는 평면 그래프를 직선으로 포함시키는 것으로 알려져 있는지 , 작은 c에 대해 두 모서리 사이의 최소 각도가 최대화되도록 관심이 있습니까?n × nn×nn \times n엔씨× n씨nc×ncn^c \times n^c씨cc
1
화음 그래프의 특정 서브 클래스에서 지배적 인 세트 문제의 복잡성
나는 화음 그래프의 서브 클래스 인 특정 그래프 클래스에서 지배적 인 세트 문제 (DSP)의 복잡성에 관심이 있습니다 . 무 방향 트리에있는 경로 패밀리의 정점 교차 그래프 인 경우 그래프는 무 방향 경로 그래프 입니다. UP을 무 방향 경로 그래프의 클래스로 둡니다. 그래프는 경로가 지정되지 않은 트리에서 경로 패밀리의 모서리 교차 …
2
램지 번호의 적용
램지 번호의 정의는 다음과 같습니다. 하자 적어도 위해 모든 그래프되도록 양수 R ( , B는 ) 중 하나에 도당 포함 정점거나 안정된 세트 정점.R ( a , b )R(a,b)R(a,b)R ( a , b )R(a,b)R(a,b)ㅏaa비bb Ramsey Numbers의 일부 확장을 위해 노력하고 있습니다. 이 연구에는 이론적 인 관심이 있지만 이러한 수치의 동기를 …
4
종속 유형 이론의 모델링 객체 (OOP)
객체 지향 프로그래밍에서 종속 유형 이론으로 객체를 모델링하는 데 관심이 있습니다. 가능한 응용 프로그램으로, 명령형 프로그래밍 언어의 다른 기능을 설명 할 수있는 모델을 갖고 싶습니다. 종속 유형 이론에서 객체 모델링에 관한 논문을 하나만 찾을 수 있었다 . A. Setzer (2006)의 종속 유형 이론에서의 객체 지향 프로그래밍 내가 놓친 주제에 대한 …
6
컴퓨터 과학 대학원에 대한 조언
조언과 피드백을 찾고 있습니다. 배경 : 저는 이론 컴퓨터 과학 (계산 복잡성, 그래프 이론, 조합론)에 관심이있는 학부 수학 학생입니다. 컴퓨터 과학 박사 학위를 찾고 이론에 집중하고 싶습니다. 저의 배경은 컴퓨터 과학의 수학적으로 집중적 인 분야이지만 컴퓨터 과학에 대한 배경이 더 부족합니다. 특히 PhD 프로그램의 전제 조건으로 프로그래밍, 알고리즘, 운영 체제 …
1
SERF- 환원성 및 서브 지수 알고리즘
Impagliazzo, Paturi 및 Zane 의 SERF-reducibility 및 subexponential algorithm에 관한 질문이 있습니다 . SERF- 환원성의 정의는 다음을 제공합니다. 경우 SERF 환원성이다 거기에 에 대한 알고리즘 각 , 후가 에 대한 알고리즘 각 . (두 문제에 대한 경도 파라미터는 으로 표시됩니다 .)P 2 O ( 2 ε n ) P 2 …
2
점 사이의 거리 만 주어진 구조의 최소 치수를 결정하는 가장 좋은 방법
나는 컴퓨터 과학에서 멀리 떨어진 물리학 영역 에서이 문제를 겪었지만 CS에서 연구 된 질문 유형처럼 보이므로 여기서 운이 좋을 것이라고 생각했습니다. 점 집합 과 점 d i j 사이의 거리 목록 이 있다고 가정합니다 . 이러한 점을 포함해야하는 공간의 최소 치수를 결정하는 가장 효율적인 방법은 무엇입니까? 다시 말해, 거리 제약 …
1
스스로 감소하는 람다-칼루 루스 항
람다 미적분학을 배우려고 계속 노력하고있는 Hindley & Seldin의 "Lambda-Calculus and Combinators a Introduction"은 다음 논문 (Bruce Lercher)에 의해 언급 된 다음 논문 (Bruce Lercher) 이 자신과 동일한 유일한 환원 가능한 표현 (모듈로 알파 변환)을 언급 합니다. 는 : .( λ x . x x ) ( λ x . x …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.